Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
|
| gptkbp:containsElement |
identity element
|
| gptkbp:cycle |
true
|
| gptkbp:hasNoNontrivialSubgroups |
true
|
| gptkbp:hasNormalSubgroup |
every group
|
| gptkbp:hasSubgroup |
every group
|
| https://www.w3.org/2000/01/rdf-schema#label |
Trivial group
|
| gptkbp:isCofinalIn |
every group
|
| gptkbp:isDirectFactorOf |
any group
|
| gptkbp:isFinite |
true
|
| gptkbp:isHopfian |
true
|
| gptkbp:isIdentityObjectInCategory |
category of groups
|
| gptkbp:isLocallyFinite |
true
|
| gptkbp:isNilpotent |
true
|
| gptkbp:isNonAbelian |
true
|
| gptkbp:isomorphicTo |
any singleton group
|
| gptkbp:isPerfect |
true
|
| gptkbp:isQuotientOf |
any group by itself
|
| gptkbp:isResiduallyFinite |
true
|
| gptkbp:isSimple |
true
|
| gptkbp:isSolvable |
true
|
| gptkbp:isTorsionGroup |
true
|
| gptkbp:isTrivial |
true
|
| gptkbp:isUniqueUpToIsomorphism |
true
|
| gptkbp:notation |
0
1 {e} |
| gptkbp:order |
1
|
| gptkbp:bfsParent |
gptkb:Terminal_object
|
| gptkbp:bfsLayer |
7
|