Scribd
Upload
47 views3 pages

250A Homework 4: Question 1 Find All Quotient Groups For D

The document provides solutions to 6 questions about group theory concepts: 1) It analyzes the subgroups and composition series of the dihedral group D8 and symmetric group S4. 2) It shows that the intersection of subgroups H and K is a subgroup, and their product HK is a subgroup if H, K are subgroups. 3) It proves that if a group G has a normal subgroup N such that G/N is infinite cyclic, then G has a subgroup of every index n. 4) It analyzes the homomorphic images of the cyclic group Z8 and describes the homomorphic images of cyclic and abelian groups generally. 5) It decomposes the alternating groups A4 and

Uploaded by

Isa
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
47 views3 pages

250A Homework 4: Question 1 Find All Quotient Groups For D

The document provides solutions to 6 questions about group theory concepts: 1) It analyzes the subgroups and composition series of the dihedral group D8 and symmetric group S4. 2) It shows that the intersection of subgroups H and K is a subgroup, and their product HK is a subgroup if H, K are subgroups. 3) It proves that if a group G has a normal subgroup N such that G/N is infinite cyclic, then G has a subgroup of every index n. 4) It analyzes the homomorphic images of the cyclic group Z8 and describes the homomorphic images of cyclic and abelian groups generally. 5) It decomposes the alternating groups A4 and

Uploaded by

Isa
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

250A Homework 4

Solution by Jaejeong Lee

Question 1 Find all quotient groups for D8 . Draw the lattice diagram and indicate
which subgroups are normal. Also, compute and compare all composition series
of D8 . The same for S4 .

Solution Let D8 = hr, s | r4 = s2 = 1, srs−1 = r−1 i be the dihedral group of


order 8. The lattice of subgroups of D8 is given on [p69, Dummit & Foote]. All
order 4 subgroups and hr2 i are normal. Thus all quotient groups of D8 over order 4
normal subgroups are isomorphic to Z2 and D8 /hr2 i = {1{1, r2 }, r{1, r2 }, s{1, r2 },
rs{1, r2 }} ' D4 ' V4 . All possible series of subgroups of length 3, e.g. 1 <
hr2 si < hs, r2 i < D8 , give rise to composition series in which each factors are
isomorphic to Z2 .
A4 is the only order 12 subgroup of S4 (being the only normal subgroup of
order 12 by Homework 3). To find all order 8 subgroups, which are Sylow 2-
subgroups of S4 , let (r, s) = ((1234), (24)), ((1243), (23))or ((1324), (34)). Then
hr, si is an order 8 subgroup of S4 which is isomorphic to D8 . The third Sylow
theorem [p139, Dummit & Foote] says the number of Sylow 2-subgroups of S4 is
1 or 3, but we have already found three such groups and thus they are all order 8
subgroups of S4 . Since there is no order 6 element in S4 , all order 6 subgroups
of S4 must be isomorphic to S3 , hence S{1,2,3} , S{1,2,4} , S{1,3,4} , and S{2,3,4} . Sub-
groups of order 4 are
h(1234)i, h(1243)i, h(1324)i,
{(1), (12), (34), (12)(34)}, {(1), (13), (24), (13)(24)}, {(1), (14), (23), (14)(23)},
and {(1), (12)(34), (13)(24), (14)(23)}.
Subgroups of order 3 are h(123)i,h(124)i,h(134)i and h(234)i. Finally, subgroups
of order 2 are
h(12)i, h(13)i, h(14)i, h(23)i, h(24)i, h(34)i,
h(12)(34)i, h(13)(24)i, and h(14)(23)i.
Of course, S4 /A4 ' Z2 . Let V = {(1), (12)(34), (13)(24), (14)(23)}. Then
S4 /V = {(1)V, (12)V, (13)V, (23)V, (123)V, (132)V } ' S3 . All composition
series of S4 are of the form

1 < h(12)(34)i < V < A4 < S4

1
with factors Z2 , Z2 , Z3 , Z2 .

Question 2 Show that H E G and K E G ⇒ H ∩ K E G and HK E G. Suppose


the normal subgroups K and H are both maximal in G, what does this imply for
their product KH?

Solution It is clear that H ∩ K is normal in G. By Corollary 15 [p94, Dummit


& Foote], HK is a subgroup of G. Let h ∈ H, k ∈ K and g ∈ G. Since
g(hk)g −1 = (ghg −1 )(gkg −1 ) ∈ HK, HK is normal in G, too. Suppose K and H
are two different maximal normal subgroups of G. Since K KH and KH E G,
we must have KH = G by the maximality of K.

Question 3 If N E G and G/N is an infinite cyclic group, prove that G has a


normal subgroup of index n ∀n ∈ N.

Solution We use Theorem 20 [p99, Dummit & Foote]. Since G/N is infinite
cyclic, it has a subgroup Ā of index n for all n ∈ N and Ā is of the form A/N
for some subgroup A of G containing N . By (2), [G : A] = [G/N : A/N ] = n.
Since G/N is abelian, A/N E G/N and by (5), A E G.

Question 4 Show that Z8 has Z2 and Z4 as homomorphic images. What can you
say about the homomorphic images of cyclic groups? What about abelian groups?

Solution Let A be an abelian group and ϕ : A → G an epimorphism for some G.


By the first isomorphism theorem, G ' A/ ker φ and ker φ is a (normal) subgroup
of A. On the other hand, for every subgroup N of A, N is normal in A (since A
is abelian) and there is a canonical epimorphism π : A → A/N . In conclusion,
homomorphic images of A are completely determined by subgroups of A. In
particular, if A is infinite cyclic, then its subgroups are trivial or infinite cyclic
of index n ≥ 1 and thus its homomorphic images are isomorphic to Z or Zn . If
A ' Zm , then its subgroups are isomorphic to Zk for k|m and its homomorphic
images are isomorphic to Zm/k . For example, let Z8 = ha | a8 = 1i. Then
Z8 /ha2 i ' Z2 and Z8 /ha4 i ' Z4 .

Question 5 Decompose A4 and A5 into conjugacy classes. (Hint, what happens


to the cyclic form of a permutation under conjugation?)

2
Solution The conjugacy classes of A4 have orders 1,4,4 and 3 with representatives

(1), (123), (132) and (12)(34),

respectively. One easily verifies that the conjugacy class of (123) is

{(123), (214), (341), (432)}

and the conjugacy class of (132) is

{(132), (241), (314), (423)}.

As shown in the proof of Theorem 12 [p128, Dummit & Foote], the conjugacy
classes of A5 have orders 1,20,15,12 and 12 with representatives

(1), (123), (12)(34), (12345) and (13524),

respectively. One checks that the conjugacy class of (12345) is

{(12345), (15432), (13254), (14523), (42513), (52431),


(21354), (45312), (35142), (53241), (21435), (34125)}

and the conjugacy class of (13524) is

{(13524), (14253), (12435), (15342), (45321), (54123),


(23415), (43251), (31254), (52134), (24513), (31542)}.

Question 6 Construct explicit examples of both 1st and 2nd isomorphism theo-
rems.

Solution Gl(n, R)/Sl(n, R) = Gl(n, R)/ ker(det) ' R× , where det : Gl(n, R) →
R× is an epimorphism. Let G = S4 , A = h(1234), (24)i and B = A4 . Then
AB = G and A ∩ B = V = {(1), (12)(34), (13)(24), (14)(23)}. Of course,
S4 /A4 ' A/V ' Z2 .

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy