Tholden: Added Navigation Bar

2011-10-06T21:14:37Z

Added Navigation Bar

← Older revision		Revision as of 17:14, 6 October 2011
Line 1:		Line 1:
			{{11-1100/Navigation}}

	The following is the proof for the simplicity of <math> A_n </math>. It is available individually in [http://individual.utoronto.ca/tholden/CourseNotes/Alt.pdf pdf format], can be found in the [http://individual.utoronto.ca/tholden/CourseNotes/Algebra.pdf course notes], or on another [[11-1100-Pgadey-Lect5\|user page]].		The following is the proof for the simplicity of <math> A_n </math>. It is available individually in [http://individual.utoronto.ca/tholden/CourseNotes/Alt.pdf pdf format], can be found in the [http://individual.utoronto.ca/tholden/CourseNotes/Algebra.pdf course notes], or on another [[11-1100-Pgadey-Lect5\|user page]].

Tholden: User:Tholden/11-1100 Simplicity of the Alternating Group moved to 11-1100/Simplicity of the Alternating Group

2011-10-06T21:02:54Z

User:Tholden/11-1100 Simplicity of the Alternating Group moved to 11-1100/Simplicity of the Alternating Group

← Older revision	Revision as of 17:02, 6 October 2011
(No difference)

Tholden at 20:59, 6 October 2011

2011-10-06T20:59:48Z

New page

The following is the proof for the simplicity of <math> A_n </math>. It is available individually in [http://individual.utoronto.ca/tholden/CourseNotes/Alt.pdf pdf format], can be found in the [http://individual.utoronto.ca/tholden/CourseNotes/Algebra.pdf course notes], or on another [[11-1100-Pgadey-Lect5|user page]].

'''''Theorem:''''' The alternating group <math>A_n</math> is simple for <math>n\neq 4</math>.

Note that for <math>n=1,2</math> this is trivial. For <math>n=3</math> we have that <math>A_3 = \mathbb Z/3</math> which is an abelian group of prime-order, and hence simple.

We know that for <math>n=4, A_n</math> is not simple. Indeed, we have seen that there is a non-trivial homomorphism <math>\phi:S_4 \to S_3.</math> By restricting <math>\phi</math> to <math>A_4</math> we still have a non-trivial homomorphism whose kernel is non-trivial. This kernel is a normal subgroup.

We will need the following Lemmas for our proof.

'''''Lemma:''''' Every element of <math>A_n</math> is a product of 3-cycles.

'''Proof'''
:Every <math>\sigma \in A_n</math> is a product of an even number of 2-cycles. Without loss of generality, we will demonstrate this on the following "cycles. Indeed,
:<math>(12)(23) = (123) \qquad (123)(234) = (12)(34)</math>

'''''Lemma:''''' If <math>N \triangleleft A_n</math> contains a 3-cycle, then <math>N=A_n</math>.

'''Proof'''
:Without loss of generality, we can consider <math>(123) \in N.</math> We want to show that for all <math>\sigma \in S_n</math> we must have that <math>(123)^\sigma \in N</math>. If <math>\sigma \in A_n</math> then this is clear since <math>N</math> is normal in<math> A_n</math>; otherwise, take <math>\sigma = (12)\sigma'</math> with <math>\sigma' \in A_n</math>. Since <math>(123)^{(12)} = (123)^2</math> we have that <math>(123)^\sigma = \left((123)^2 \right)^{\sigma'} \in N.</math> So <math>N</math> contains all three cycles.

'''Proof [Proof of Theorem]'''

:Let <math>n \geq 5</math>. By the previous two lemmas, it is sufficient to show that <math>N</math> contains a three cycle.

:"Case 1:" <math>N</math> contains an element with cycle length at least 4.

::Let <math>\sigma = (123456)\sigma' \in N</math>. Now <math>N</math> is normal in <math> A_n</math> so <math>(123) \sigma (123)^{-1} \in N</math>. Similarly, multiplying by <math>\sigma^{-1}</math> will keep the element in <math>N</math>, so <math>\sigma^{-1} (123) \sigma (123)^{-1} = (136) \in N</math> and <math>N</math> contains a three cycle.

:''Case 2:'' <math>N</math> contains an element with two cycles of length 3.

::Let <math>\sigma = (123)(456) \sigma' \in N</math>. Then by the same reasoning as before <math>\sigma^{-1}(124)\sigma(124)^{-1} \in N</math> and can be computed as <math>\sigma^{-1}(124)\sigma(124)^{-1} = (14263)</math>. We can now use Case 1 to deduce that <math>N</math> has a three cycle.
:''Case 3:''
::<math>N</math> contains an element that is a three-cycle and a product of disjoint transpositions. Write <math>\sigma = (123)\sigma'</math> and note that <math>{\sigma'}^2 = e.</math>

::Then <math>\sigma^2 = (123)\sigma'(123)\sigma'</math> but the elements of <math>\sigma'</math> are disjoint with <math>(123)</math>, and we conclude that <math>\sigma'</math> and <math>(123)</math> commute; that is, <math>(123)\sigma' = \sigma'(123)</math>. Thus <math>\sigma^2 = (123)^2 \sigma'^2 = (132) \in N,</math> and <math>N</math> contains a three cycle.

:''Case 4:'' Finally, consider the case when the element of <math>N</math> is a product of disjoint 2-cycles.

::Write <math>\sigma = (12)(34) \sigma'</math>. By previous rationale, we know that <math>\sigma^{-1} (123) \sigma (123)^{-1} \in N</math> and can be computed as <math>\sigma^{-1} (123) \sigma (123)^{-1} = (13)(24) = \tau \in N.</math> We can view this as a sort of purification, in that we have simplified a product of disjoint 2-cycles of arbitrary length into the case of two disjoint 2-cycles. Applying this procedure again, we get <math>\tau^{-1}(125)\tau(125)^{-1} = (13452) \in N</math> and we again refer to Case 1 to conclude <math>N</math> contains a three cycle.

Note that this last case is the only case in which we did not assume "5" was part of the hypothesis, but needed to use it. Hence we need <math>n \geq 5</math> for this case to hold.

11-1100/Simplicity of the Alternating Group - Revision history

Tholden: Added Navigation Bar

Tholden: User:Tholden/11-1100 Simplicity of the Alternating Group moved to 11-1100/Simplicity of the Alternating Group

Tholden at 20:59, 6 October 2011