Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
|
| gptkbp:allProperSubgroupsAre |
cyclic
of order p |
| gptkbp:builtBy |
gptkb:A._Yu._Olshanskii
|
| gptkbp:definedIn |
sufficiently large primes
|
| gptkbp:existenceProvedIn |
1980
|
| gptkbp:hasProperty |
every nontrivial proper subgroup is cyclic of order p
|
| gptkbp:isA |
gptkb:non-abelian_group
gptkb:simple_group gptkb:infinite_group finitely generated group |
| gptkbp:isomorphicTo |
gptkb:group_of_people
gptkb:abelian_group |
| gptkbp:namedAfter |
gptkb:Alfred_Tarski
|
| gptkbp:orderOfEveryProperSubgroup |
prime p
|
| gptkbp:usedIn |
group theory
|
| gptkbp:bfsParent |
gptkb:Group_theory
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Tarski monster group
|