Center of special linear group:SL(2,3)

From Groupprops
Jump to: navigation, search
This article is about a particular subgroup in a group, up to equivalence of subgroups (i.e., an isomorphism of groups that induces the corresponding isomorphism of subgroups). The subgroup is (up to isomorphism) cyclic group:Z2 and the group is (up to isomorphism) special linear group:SL(2,3) (see subgroup structure of special linear group:SL(2,3)).
The subgroup is a normal subgroup and the quotient group is isomorphic to alternating group:A4.
VIEW: Group-subgroup pairs with the same subgroup part | Group-subgroup pairs with the same group part| Group-subgroup pairs with the same quotient part | All pages on particular subgroups in groups

Definition

G is the special linear group:SL(2,3), i.e., the special linear group of degree two over field:F3. In other words, it is the group of invertible matrices of determinant 1 over the field with three elements. The field has elements 0,1,2, with 2 = -1.

H is the subgroup:

\{ \begin{pmatrix} 1 & 0 \\ 0 & 1 \\\end{pmatrix}, \begin{pmatrix} 2 & 0 \\ 0 & 2 \\\end{pmatrix} \}

H is isomorphic to cyclic group:Z2. It is the center of G. The quotient group G/H is the projective special linear group of degree two PSL(2,3) over field:F3, which is isomorphic to alternating group:A4.

Arithmetic functions

Function Value Explanation
order of the whole group 24 order of SL(2,q) is q^3 - q. Here q = 3.
order of the subgroup 2
index of the subgroup 12
size of conjugacy class of subgroup = index of normalizer 1
number of conjugacy classes in automorphism class 1

Effect of subgroup operators

Function Value as subgroup (descriptive) Value as subgroup (link) Value as group
normalizer the whole group -- special linear group:SL(2,3)
centralizer the whole group -- special linear group:SL(2,3)
normal core the subgroup itself current page cyclic group:Z2
normal closure the subgroup itself current page cyclic group:Z2
characteristic core the subgroup itself current page cyclic group:Z2
characteristic closure the subgroup itself current page cyclic group:Z2
commutator with whole group trivial subgroup current page trivial group

Subgroup-defining functions

The subgroup is a characteristic subgroup and arises as a result of many subgroup-defining functions, some of which are detailed below:

Subgroup-defining function Meaning in general Why it takes this value
second derived subgroup derived subgroup of derived subgroup The derived subgroup is 2-Sylow subgroup of special linear group:SL(2,3), which is isomorphic to quaternion group, and this is its center.
socle join of all minimal normal subgroups It is the unique minimal normal subgroup, i.e., the whole group is a monolithic group.
center commutes with all group elements

Subgroup properties

Invariance under automorphisms and endomorphisms

Property Meaning Satisfied? Explanation Comment
normal subgroup invariant under inner automorphisms Yes center is normal
characteristic subgroup invariant under all automorphisms Yes center is characteristic
fully invariant subgroup invariant under all endomorphisms Yes Follows from being a member of the derived series (here, the second derived subgroup). Also from its being the set of elements of order dividing 2.
homomorph-containing subgroup contains image under any homomorphism to the group Yes Follows from being precisely the set of elements of order dividing 2.
verbal subgroup generated by set of words Yes Precisely the set of sixth powers in the group
1-endomorphism-invariant subgroup invariant under all 1-endomorphisms Yes Follows from being precisely the set of elements of order dividing 2.
1-automorphism-invariant subgroup invariant under all 1-automorphisms Yes Follows from being 1-endomorphism-invariant.
quasiautomorphism-invariant subgroup invariant under all quasiautomorphisms Yes Follows from being 1-automorphism-invariant.