symmetric group S {n+1}

GPTKB entity

Statements (31)
Predicate Object
gptkbp:instanceOf gptkb:group_of_people
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
https://www.w3.org/2000/01/rdf-schema#label symmetric group S {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:Galois_theory
gptkb:Young_tableaux
representation theory
combinatorics
gptkbp:represents permutation matrices
gptkbp:bfsParent gptkb:(n+1)-dimensional_Hamming_cube
gptkb:A_n_root_system
gptkb:Weyl_group_of_type_A_n
gptkb:simple_Lie_algebra_of_type_A_n
gptkbp:bfsLayer 7