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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Tarski monster group
|
| gptkbp:isA |
simple group
non-abelian group infinite group finitely generated group |
| gptkbp:isomorphicTo |
gptkb:group_of_people
abelian group |
| gptkbp:namedAfter |
gptkb:Alfred_Tarski
|
| gptkbp:orderOfEveryProperSubgroup |
prime p
|
| gptkbp:usedIn |
group theory
|
| gptkbp:bfsParent |
gptkb:Group_theory
|
| gptkbp:bfsLayer |
5
|