gptkbp:instanceOf
|
gptkb:group_of_people
|
gptkbp:actsOn
|
set of 7 elements
|
gptkbp:automorphismGroup
|
trivial group
|
gptkbp:centralTo
|
trivial group
|
gptkbp:containsNormalSubgroup
|
A7
|
gptkbp:degree
|
7
|
gptkbp:generation
|
(1 2)
(1 2 3 ... 7)
|
gptkbp:hasElementOrder
|
2
3
4
5
6
7
|
gptkbp:hasSubgroup
|
gptkb:Sym(6)
gptkb:C7
C2
A7
Sym(n) for n>7
|
https://www.w3.org/2000/01/rdf-schema#label
|
Sym(7)
|
gptkbp:isCenterless
|
true
|
gptkbp:isGroupOfPermutations
|
true
|
gptkbp:isMonolithic
|
true
|
gptkbp:isNilpotent
|
false
|
gptkbp:isNonAbelian
|
true
|
gptkbp:isPerfect
|
false
|
gptkbp:isPermutationGroup
|
true
|
gptkbp:isPrimitive
|
true
|
gptkbp:isSimple
|
false
|
gptkbp:isSolvable
|
false
|
gptkbp:isSupersolvable
|
false
|
gptkbp:isT2Group
|
false
|
gptkbp:isTransitiveOn
|
true
|
gptkbp:minimalDegreeFaithfulPermutationRepresentation
|
7
|
gptkbp:notation
|
gptkb:S7
Sym_7
|
gptkbp:numberOfConjugacyClasses
|
15
|
gptkbp:numberOfElementsOfOrder2
|
105
|
gptkbp:numberOfElementsOfOrder3
|
280
|
gptkbp:numberOfElementsOfOrder4
|
315
|
gptkbp:numberOfElementsOfOrder5
|
504
|
gptkbp:numberOfElementsOfOrder6
|
420
|
gptkbp:numberOfElementsOfOrder7
|
720
|
gptkbp:numberOfIssues
|
true
|
gptkbp:order
|
5040
|
gptkbp:quotientByA7
|
C2
|
gptkbp:bfsParent
|
gptkb:S_7
|
gptkbp:bfsLayer
|
8
|