|
gptkbp:instanceOf
|
gptkb:group_of_people
|
|
gptkbp:actsOn
|
set of 5 elements
|
|
gptkbp:automorphismGroup
|
trivial group
|
|
gptkbp:centralTo
|
trivial group
|
|
gptkbp:conjugacyClasses
|
7
|
|
gptkbp:containsNormalSubgroup
|
gptkb:A5
|
|
gptkbp:degree
|
5
|
|
gptkbp:derivedSubgroup
|
gptkb:A5
|
|
gptkbp:generation
|
(1 2) and (1 2 3 4 5)
|
|
gptkbp:hasElementOrder
|
2
1
3
4
5
6
|
|
gptkbp:hasMaximalSubgroup
|
gptkb:Sym(6)
|
|
gptkbp:hasSubgroup
|
gptkb:A5
2
1
10
12
20
3
4
5
6
60
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Sym(5)
|
|
gptkbp:isCenterless
|
true
|
|
gptkbp:isCompleteGroup
|
true
|
|
gptkbp:isNonAbelian
|
true
|
|
gptkbp:isomorphicTo
|
automorphism group of A5
|
|
gptkbp:isPerfect
|
false
|
|
gptkbp:isPermutationGroup
|
true
|
|
gptkbp:isPrimitive
|
true
|
|
gptkbp:isSimple
|
false
|
|
gptkbp:isSolvable
|
false
|
|
gptkbp:isTransitiveOn
|
true
|
|
gptkbp:minimalDegreeFaithfulPermutationRepresentation
|
5
|
|
gptkbp:notation
|
gptkb:S5
|
|
gptkbp:numberOfElementsOfOrder1
|
1
|
|
gptkbp:numberOfElementsOfOrder2
|
15
|
|
gptkbp:numberOfElementsOfOrder3
|
20
|
|
gptkbp:numberOfElementsOfOrder4
|
30
|
|
gptkbp:numberOfElementsOfOrder5
|
24
|
|
gptkbp:numberOfElementsOfOrder6
|
20
|
|
gptkbp:order
|
120
|
|
gptkbp:quotientByA5
|
C2
|
|
gptkbp:bfsParent
|
gptkb:S_5
|
|
gptkbp:bfsLayer
|
7
|