Changes

Jump to: navigation, search

Symmetric group:S5

851 bytes added, 16:24, 23 July 2013
Basic properties
! Function !! Value !! Similar groups !! Explanation
|-
| {{arithmetic function value order|120}} || As <math>\! S_n, n = 5:</math> <math>\! n! = 5! = 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1 = 120</math> <br><br> As <math>\! PGL(2,q), q = 5</math> (see [[order formulas for linear groups of degree two]]): <math>\! q^3 - q = q(q-1)(q+1) = 5^3 - 5 = 5(4)(6) = 120</math><br>As <math>\! P\Gamma L(2,q), q = p^r, q = 4, p = 2, r = 2</math> (see [[order formulas for linear groups of degree two]]): <math>\! r(q^3 - q) = 2(4^3 - 4) = 2(60) = 120</math>.<br><br>See [[element structure of symmetric group:S5#Order computation]] for more information.
|-
| {{arithmetic function value exponent given order|60|120}} || As <math>\! S_n, n = 5:</math> <math>\! \operatorname{lcm} \{ 1,2,\dots,n \} = \operatorname{lcm} \{1,2,3,4,5 \} = 60</math> <br><br> As <math>\! PGL(2,q), q = p = 5:</math> (where <math>\! p</math> is the underlying prime for <math>\! q</math>) <math>\! p(q^2 - 1)/2 = 5 \cdot (5^2 - 1)/2 = 60</math>
===Basic properties===
{| class="sortable" border="1"
!Property !! Meaning !! Satisfied? !! Explanation !! Comment
|-
|[[Dissatisfies property::abelian group]] || any two elements commute || No || <math>(1,2)</math>, <math>(1,3)</math> don't commute || <math>S_n</math> is non-abelian, <math>n \ge 3</math>.
|-
|[[Dissatisfies property::nilpotent group]] || has a [[central series]] || No || [[Centerless group|Centerless]]: The [[center]] is trivial || <math>S_n</math> is non-nilpotent, <math>n \ge 3</math>.
|-
|[[Dissatisfies property::metacyclic group]] || has a [[cyclic normal subgroup]] with a cyclic [[quotient group]] || No || No [[cyclic normal subgroup]] || <math>S_n</math> is not metacyclic, <math>n \ge 4</math>.
|-
|[[Dissatisfies property::supersolvable group]] || has a [[normal series]] of finite length with all successive quotients cyclic groups. || No || No [[cyclic normal subgroup]] || <math>S_n</math> is not supersolvable, <math>n \ge 4</math>.
|-
|[[Dissatisfies property::solvable group]] || has a [[normal series]] of finite length with all successive quotients abelian groups. || No || The subgroup <math>A_5</math> [[A5 is simple|is simple non-abelian ]] || <math>A_n</math> is simple and hence <math>S_n</math> not solvable, <math>n \ge 5</math>.
|-
|[[Dissatisfies property::simple non-abelian group]] || has no proper nontrivial [[normal subgroup]]. || No || has a proper nontrivial normal subgroup [[A5 in S5]]. ||
|-
|[[Satisfies property::almost simple group]] || contains a centralizer-free [[simple normal subgroup]]. || Yes || It contains a centralizer-free [[simple normal subgroup]], namely [[A5 in S5]]. || [[symmetric groups are almost simple]] for degree 5 or higher.
|-
|[[Dissatisfies property::perfect group]] || equals its own [[derived subgroup]] || No || Its derived subgroup is [[A5 in S5]] and abelianization is [[cyclic group:Z2]]. ||
|-
|[[Dissatisfies property::quasisimple group]] || perfect, and [[inner automorphism group]] is simple non-abelian. || No || Follows from not being perfect. ||
|-
|[[Satisfies property::centerless group]] || [[center]] is trivial. || Yes || [[symmetric groups are centerless]] || [[symmetric groups are centerless]] for degree other than two.
|-
|[[Satisfies property::complete group]] || centerless, and every automorphism is inner. || Yes || Centerless and every automorphism's inner || [[Symmetric groups are complete]] except the ones of degree <math>2,6</math>.
|}
|-
|[[Satisfies property::one-headed group]] || Yes || The alternating group is the unique [[maximal normal subgroup]] || True for all <math>n > 1</math>.
|-
|[[satisfies property::N-group]] || Yes || See [[classification of symmetric groups that are N-groups]] || True only for <math>n \le 6</math>.
|}
Bureaucrats, emailconfirmed, Administrators
38,756
edits

Navigation menu