{"id":"Q83478","label":"group","description":"algebraic set with an invertible, associative internal operation admitting a neutral element","aliases":["group (algebra)","group (math)","mathematical group","algebraic group"],"kind":"thing","url":"https://aidb.si/e/group-Q83478","image":"https://commons.wikimedia.org/wiki/Special:FilePath/Rubiks_revenge_tilt.jpg?width=1200","coordinates":null,"wikipedia":"https://en.wikipedia.org/wiki/Group_(mathematics)","wikidata":"https://www.wikidata.org/wiki/Q83478","website":null,"facts":[{"property":"P279","label":"Subclass of","values":[{"type":"entity","id":"Q208237","label":"monoid","url":"https://aidb.si/e/monoid-Q208237","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q3022118","label":"inverse semigroup","url":"https://aidb.si/e/inverse-semigroup-Q3022118","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q6918890","label":"Moufang loop","url":"https://aidb.si/e/moufang-loop-Q6918890","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q1196038","label":"groupoid","url":"https://aidb.si/e/groupoid-Q1196038","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q5382940","label":"epigroup","url":"https://aidb.si/e/epigroup-Q5382940","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q205464","label":"algebraic structure","url":"https://aidb.si/e/algebraic-structure-Q205464","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q765994","label":"group object","url":"https://aidb.si/e/group-object-Q765994","rank":"normal","qualifiers":{"P361":{"label":"Part of","values":[{"type":"entity","id":"Q2518298","label":"category of sets","url":"https://aidb.si/e/category-of-sets-Q2518298"}]}},"sources":[]},{"type":"entity","id":"Q3836720","label":"loop","url":"https://aidb.si/e/loop-Q3836720","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2354","label":"Has list","values":[{"type":"entity","id":"Q5419318","label":"Examples of groups","url":"https://aidb.si/e/examples-of-groups-Q5419318","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1552","label":"Has characteristic","values":[{"type":"entity","id":"Q4720939","label":"closure","url":"https://aidb.si/e/closure-Q4720939","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q177251","label":"associativity","url":"https://aidb.si/e/associativity-Q177251","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q185813","label":"identity element","url":"https://aidb.si/e/identity-element-Q185813","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q338057","label":"inverse element","url":"https://aidb.si/e/inverse-element-Q338057","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q17079612","label":"Latin square property","url":"https://aidb.si/e/latin-square-property-Q17079612","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2579","label":"Studied by","values":[{"type":"entity","id":"Q874429","label":"group theory","url":"https://aidb.si/e/group-theory-Q874429","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q217413","label":"category theory","url":"https://aidb.si/e/category-theory-Q217413","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q159943","label":"abstract algebra","url":"https://aidb.si/e/abstract-algebra-Q159943","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P2534","label":"Defining formula","values":[{"type":"string","value":"\\begin{aligned}&(\\cdot)\\colon G\\times G\\to G\\\\&\\forall x,y,z\\in G\\colon (x\\cdot y)\\cdot z=x\\cdot(y\\cdot z)\\\\&\\exists1\\in G\\forall x\\in G\\colon 1\\cdot x=x\\cdot1=x\\\\&\\forall x\\in G\\exists y\\in G\\colon x\\cdot y=y\\cdot x=1\\end{aligned}","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1963","label":"Properties for this type","values":[{"type":"entity","id":"P1164","label":"group cardinality","url":"https://aidb.si/e/group-cardinality-P1164","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P527","label":"Members / parts","values":[{"type":"entity","id":"Q36161","label":"set","url":"https://aidb.si/e/set-Q36161","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q164307","label":"binary operation","url":"https://aidb.si/e/binary-operation-Q164307","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q185813","label":"identity element","url":"https://aidb.si/e/identity-element-Q185813","rank":"normal","qualifiers":{},"sources":[]},{"type":"entity","id":"Q7017933","label":"inverse","url":"https://aidb.si/e/inverse-Q7017933","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P1889","label":"Different from","values":[{"type":"entity","id":"Q16887380","label":"group","url":"https://aidb.si/e/group-Q16887380","rank":"normal","qualifiers":{},"sources":[]}]},{"property":"P7235","label":"In defining formula","values":[{"type":"string","value":"G","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q83478","label":"group","url":"https://aidb.si/e/group-Q83478"}]}},"sources":[]},{"type":"string","value":"1","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q68019776","label":"multiplicative identity","url":"https://aidb.si/e/multiplicative-identity-Q68019776"}]}},"sources":[]},{"type":"string","value":"\\cdot","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q99839939","label":"group operation","url":"https://aidb.si/e/group-operation-Q99839939"}]}},"sources":[]},{"type":"string","value":"x","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q379825","label":"element","url":"https://aidb.si/e/element-Q379825"}]}},"sources":[]},{"type":"string","value":"y","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q379825","label":"element","url":"https://aidb.si/e/element-Q379825"}]}},"sources":[]},{"type":"string","value":"z","rank":"normal","qualifiers":{"P9758":{"label":"Symbol represents","values":[{"type":"entity","id":"Q379825","label":"element","url":"https://aidb.si/e/element-Q379825"}]}},"sources":[]}]},{"property":"P31","label":"Instance of","values":[{"type":"entity","id":"Q24034552","label":"mathematical concept","url":"https://aidb.si/e/mathematical-concept-Q24034552","rank":"normal","qualifiers":{},"sources":[]}]}],"series":[],"identifiers":[{"pid":"P7666","label":"Article ID in the Lithuanian Universal Encyclopedia Online","value":"grupe","url":"https://www.vle.lt/straipsnis/grupe/"},{"pid":"P2581","label":"BabelNet ID","value":"00041943n","url":"https://babelnet.org/synset?id=bn%00041943n&lang=EN"},{"pid":"P508","label":"BNCF Thesaurus ID","value":"5497","url":"https://thes.bncf.firenze.sbn.it/termine.php?id=5497"},{"pid":"P5019","label":"Brockhaus Enzyklopädie online ID","value":"gruppe-mathematik","url":"https://brockhaus.de/ecs/enzy/article/gruppe-mathematik"},{"pid":"P6706","label":"De Agostini ID","value":"gruppo+(algebra)","url":"https://www.sapere.it/enciclopedia/gruppo%2B(algebra).html"},{"pid":"P1036","label":"Dewey Decimal Classification","value":"512.2","url":null},{"pid":"P10556","label":"Enciclopedia del Novecento ID","value":"gruppi","url":"https://www.treccani.it/enciclopedia/gruppi_(Enciclopedia-del-Novecento)"},{"pid":"P1417","label":"Encyclopædia Britannica Online ID","value":"topic/group-mathematics","url":"https://www.britannica.com/topic/group-mathematics"},{"pid":"P3219","label":"Encyclopædia Universalis ID","value":"groupes-mathematiques-generalites","url":"https://www.universalis.fr/encyclopedie/groupes-mathematiques-generalites/"},{"pid":"P7554","label":"Encyclopedia of Mathematics article ID","value":"Group","url":"https://encyclopediaofmath.org/wiki/Group"},{"pid":"P646","label":"Freebase ID","value":"/m/04xl4","url":"https://www.google.com/search?kgmid=/m/04xl4"},{"pid":"P227","label":"GND ID","value":"4022379-6","url":"https://d-nb.info/gnd/4022379-6"},{"pid":"P12385","label":"Gran Enciclopèdia Catalana ID","value":"algebra-associativa","url":"https://www.enciclopedia.cat/gran-enciclopedia-catalana/algebra-associativa"},{"pid":"P1296","label":"Gran Enciclopèdia Catalana ID (former scheme)","value":"0157361","url":"https://www.enciclopedia.cat/ec-gec-0157361.xml"},{"pid":"P4342","label":"Great Norwegian Encyclopedia ID","value":"gruppe_-_matematikk","url":"https://wikidata-externalid-url.toolforge.org/?p=4342&url_prefix=https://snl.no/&id=gruppe_-_matematikk"},{"pid":"P8417","label":"Group Properties article ID","value":"Group","url":"https://groupprops.subwiki.org/wiki/Group"},{"pid":"P8408","label":"KBpedia ID","value":"Group-Mathematics","url":"https://kbpedia.org/knowledge-graph/reference-concept/?uri=Group-Mathematics"},{"pid":"P6058","label":"Larousse ID","value":"divers/groupe/186120","url":"https://www.larousse.fr/encyclopedie/divers/groupe/186120"},{"pid":"P12987","label":"LMFDB knowl ID","value":"group","url":"https://www.lmfdb.org/knowledge/show/group"},{"pid":"P14534","label":"Mathlib Declaration ID","value":"Group","url":"https://leanprover-community.github.io/mathlib4_docs/find/?pattern=Group#doc"},{"pid":"P2812","label":"MathWorld ID","value":"Group","url":"https://mathworld.wolfram.com/Group.html"},{"pid":"P12888","label":"Metamath statement ID","value":"df-grp","url":"https://us.metamath.org/mpeuni/df-grp.html"},{"pid":"P6366","label":"Microsoft Academic ID (discontinued)","value":"93063749","url":"https://web.archive.org/web/https://academic.microsoft.com/v2/detail/93063749"},{"pid":"P8885","label":"Namuwiki ID","value":"군(대수학)","url":"https://namu.wiki/w/%EA%B5%B0(%EB%8C%80%EC%88%98%ED%95%99)"},{"pid":"P6900","label":"NicoNicoPedia word article ID","value":"群(数学)","url":"https://dic.nicovideo.jp/a/%E7%BE%A4(%E6%95%B0%E5%AD%A6)"},{"pid":"P691","label":"NL CR AUT ID","value":"ph180740","url":"https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph180740"},{"pid":"P4215","label":"NLab ID","value":"group","url":"https://ncatlab.org/nlab/show/group"},{"pid":"P7305","label":"Online PWN Encyclopedia ID","value":"3908259","url":"https://web.archive.org/web/2/https://encyklopedia.pwn.pl/haslo/;3908259.html"},{"pid":"P7726","label":"PlanetMath ID","value":"Group","url":"https://planetmath.org/Group"},{"pid":"P3365","label":"Treccani ID","value":"gruppo","url":"https://www.treccani.it/enciclopedia/gruppo"},{"pid":"P5844","label":"Treccani Vocabulary ID","value":"gruppo","url":"https://www.treccani.it/vocabolario/gruppo"},{"pid":"P8814","label":"WordNet 3.1 Synset ID","value":"06026202-n","url":"https://en-word.net/view/synset/06026202-n"}],"license":{"name":"CC0 1.0","url":"https://creativecommons.org/publicdomain/zero/1.0/"},"source":"Wikidata, via AIDB","modified":"2026-09-23T19:58:52Z"}