|
gptkbp:instanceOf
|
gptkb:group_of_people
gptkb:permutation_group
|
|
gptkbp:actsOn
|
set of n+1 elements
|
|
gptkbp:automorphismGroup
|
gptkb:complete_graph_K_{n+1}
|
|
gptkbp:centralTo
|
trivial group (for n+1 > 2)
|
|
gptkbp:contains
|
gptkb:alternating_group_A_{n+1}
|
|
gptkbp:hasSubgroup
|
gptkb:alternating_group_A_{n+1}
gptkb:dihedral_group_of_order_2(n+1)
cyclic group of order n+1
|
|
gptkbp:isCayleyGroup
|
true
|
|
gptkbp:isGeneratedBy
|
adjacent transpositions
|
|
gptkbp:isNonAbelian
|
true (for n+1 > 2)
|
|
gptkbp:isPrimitive
|
true
|
|
gptkbp:isSimple
|
false (for n+1 > 4)
|
|
gptkbp:isSolvable
|
true (for n+1 < 5), false (for n+1 >= 5)
|
|
gptkbp:isTransitiveOn
|
true
|
|
gptkbp:isUniversal
|
every finite group is a subgroup of some S_n
|
|
gptkbp:isWeylGroupOf
|
type A_n
|
|
gptkbp:order
|
(n+1)!
|
|
gptkbp:presentedBy
|
generators s_i, relations s_i^2=1, (s_i s_{i+1})^3=1, (s_i s_j)^2=1 for |i-j|>1
|
|
gptkbp:relatedTo
|
gptkb:combinatorics
gptkb:Galois_theory
gptkb:Young_tableaux
representation theory
|
|
gptkbp:represents
|
permutation matrices
|
|
gptkbp:bfsParent
|
gptkb:(n+1)-dimensional_Hamming_cube
|
|
gptkbp:bfsLayer
|
7
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
symmetric group S {n+1}
|