solutions list 1 contains exercises about albstract algebra

© All Rights Reserved

6 views

solutions list 1 contains exercises about albstract algebra

© All Rights Reserved

- Algebra 1 - Lessons 61-90
- Dummit & Foote chapter 2 selected solutions
- Barr, Category Theory
- mathematics
- Boolean Algebra
- Mixed Operations Asm Vertical 100 0120 0120 All(1)
- mathgen-506115396
- Intro to Combinatorics
- Permutation
- 7
- Introduction to College Algebra
- Question Papers S1 MCA 2013
- order of operations
- Number System - Question & Sol 1-30.pdf
- Fractions
- 10.1.1.39.1451 (1) Toshiyuki Akita
- Brochure 3yearME 2015
- kolchin1948.pdf
- 95CF51A4-ECBB-4B08-86EC-637DC89F2FF5
- 2387400

You are on page 1of 6

Your Name

No calculators!

No notes!

For proofs/justifications, please use complete sentences and make sure to explain any steps which

are questionable.

Good luck!

Problem

Total Points

30

25

25

20

EC

10

Total

100

Score

(a) State Lagranges theorem. (5 points)

Solution: If G is a finite group and H is a subgroup of G, then the order of H divides the order of G.

(b) Give an example of a function f : G H between two groups that is NOT a homomorphism. (5 points)

Solution: Consider G = H = Z under addition. Then consider the function f (x) = x2 . We observe that

f (x + y) = (x + y)2 6= x2 + y 2 = f (x) + f (y), at least in general, so that this function is not a homomorphism.

(c) Give an example of an element of order 3 in a group of order 6. (5 points)

Solution: The element 2 has order three inside Zmod6 .

(d) In class, we showed that every group G is isomorphic to a subgroup of A(S) for some set S. Define the

term A(S) and state what set S was used in the proof of this fact. (5 points)

Solution: A(S) denotes the set of bijective functions from S to S. In that problem I mentioned, we set

S = G.

(e) Assume that the kernel of a group homomorphism is a subgroup, prove that the kernel of a group

homomorphism is a normal subgroup. (5 points)

Solution: Suppose that : G G0 is a group homomorphism and that K is the kernel. We need to show

that xKx1 K for all x G. Fix an x G and k K, we need to show that xkx1 K. In other words,

we need to show that (xkx1 ) = eG0 . But

(xkx1 ) = (x)(k)(x1 ) = (x)eG0 (x1 ) = (x)(x1 ) = (xx1 ) = (eG ) = eG0

as desired. This completes the proof.

(f ) Prove that every group of order 5 is cyclic using Lagranges theorem. (5 points)

Solution: Suppose that G is a group of order 5. Since G has more than one element, we choose x G,

x 6= e. Consider now H = hxi G. This is a subgroup of G. By Lagranges theorem, the order of H is

either 1 or 5. Now, H contains x and since it is a subgroup, it also contains e. Thus |H| 2 and so |H| = 5.

But then G = H and since H is cyclic, so is G.

2. Consider G the group of rotations of a hexagon, G = {e, r60, r120, r180, r240, r300}.

(a) Show that G is cyclic and identify all the generators. (6 points)

Solution: Note that e = r606 , r60 = r601 , r120 = r602 , r180 = r603 , r240 = r604 and r300 = r605 . Thus

G = hr60i is cyclic. It is easy to see that the only generators of G are r60 and r300 = r601 . All the other

elements are r60 raised to a power not coprime to 6.

(b) Write down the elements of H = hr180i, the cyclic subgroup generated by rotation by 180 degrees. Also

write down all of the distinct cosets of H. (7 points)

Solution: Note

H = hr180i = {e, r180} = eH = r180H.

r60H = {r60, r240} = r240H.

r120H = {r120, r300} = r300H.

And so there are 3 distinct cosets.

(c) Write down a complete multiplication table for G/H. (12 points)

eH

Solution:

r60 H

r120 H

eH

eH

r60H

r120H

r60 H r120 H

r60H r120H

r120H

eH

eH

r60H

(a) Prove directly that K = ker() is a subgroup of G. (7 points)

Solution: We first note that (eG ) = eG0 (as we proved in class) and so eG K.

Now we tackle closure. Suppose that a, b K which just means that (a) = eG0 and (b) = eG0 . We need

to show that ab K. So (ab) = (a)(b) = eG0 eG0 = eG0 which is exactly what we wanted to show.

Finally, we handle inverses. Suppose that a K so that (a) = eG0 . We need to show that (a1 ) = eG0

as well. But

(a1 ) = ((a))1 = e1

G0 = eG0

which completes the proof.

(b) Prove directly that K is normal. (6 points)

Solution: We need to show that xKx1 K for all x G. Fix an x G and k K, we need to show that

xkx1 K. In other words, we need to show that (xkx1 ) = eG0 . But

(xkx1 ) = (x)(k)(x1 ) = (x)eG0 (x1 ) = (x)(x1 ) = (xx1 ) = (eG ) = eG0

as desired. This completes the proof.

(c) Suppose now that G is a finite group and that is surjective. Prove that the order of G0 divides the

order of G (12 points)

Hint: Use the first homomorphism theorem.

Solution: If K is the kernel of , it is a subgroup. We know that |G| = |G/K||K| by Lagranges theorem.

On the other hand, the first homomorphism theorem tells us that G/K is isomorphic to G0 . But isomorphic

groups have the same number of elements because there is a bijection between them. Therefore |G/K| = |G0 |.

Plugging this back into our original equation, we have

|G| = |G/K||K| = |G0 ||K|.

This proves that the order of G0 divides the order of G as desired.

4. Suppose that G is a group, and that G/Z(G) is cyclic. Prove that G is necessarily Abelian. (20 points)

Solution: For simplicity of notation, we set Z = Z(G). Note first that Z is always a normal subgroup, so

the question makes sense. Write G/Z = haZi since G/Z is cyclic. Now choose b, c G. We need to prove

that bc = cb. Because the cosets of Z partition the group G, and those cosets are all of the form ai Z for

some i Z, we know that b ai Z and c aj Z for some i, j Z. Write b = ai z1 and c = aj z2 for some

z1 , z2 Z. Then

bc = (ai z1 )(aj z2 ) = (ai aj )(z1 z2 ) = (ai+j )(z1 z2 ) = (aj+i )(z2 z1 ) = aj ai z2 z1 = aj z2 ai z1 = cb.

This repeatedly uses the fact that elements of Z = Z(G) commute with everything.

(EC) Suppose that G is an Abelian group and that N1 , N2 are subgroups. Suppose additionally that

N1 N2 = G. Consider the group

G/N1 G/N2 = {(g1 N1 , g2 N2 ) | gi G/Ni }

Here the symbol just means ordinary Cartesian product. The multiplication operation on the group is

entry-wise1. Prove that

G/(N1 N2 ) ' G/N1 G/N2

by using the first homomorphism theorem. (10 points)

Hint: Write down a map from G to G/N1 G/N2 and show it is surjective. The argument is similar to the

Chinese Remainder Theorem.

Solution: Consider the function : G (G/N1 ) (G/N2 ) defined by the rule:

(g) = (gN1 , gN2 ).

Note that (ab) = (abN1 , abN2 ) = (aN1 , aN2 ) (bN1 , bN2 ) = (a) (b) which proves that is a homomorphism. We now want to show that is surjective.

Suppose that (gN1 , g 0 N2 ) G/N1 G/N2 . By hypothesis, N1 N2 = G, and so g = n1 n2 and g 0 = n01 n02

for some n1 , n01 N1 and n2 , n02 N2 . Now, consider

(n2 n01 ) = (n2 n01 N1 , n2 n01 N2 ) = (n2 N1 , n01 n2 N2 ) = (n2 N1 , n01 N2 ) = (n2 n1 N1 , n01 n02 N2 ) = (gN1 , g 0 N2 ).

This proves that is surjective.

Therefore, we know that G/ ker() = G/N1 G/N2 . In particular, if we can show that ker() = N1 N2 ,

we are done. Now, x ker() if and only if (x) = (xN1 , xN2 ) = (eN1 , eN2 ) = eG/N1 G/N2 . But this

happens if and only if both xN1 = eN1 and xN2 = eN2 which is equivalent to x N1 and x N2 . But this

last statement is just the same as x N1 N2 . In particular, since we did this with if and only if all the

way down, we have shown that ker() = N1 N2 .

1

2

1

2

1

2

6

- Algebra 1 - Lessons 61-90Uploaded byLacs
- Dummit & Foote chapter 2 selected solutionsUploaded byFeynman Liang
- Barr, Category TheoryUploaded byΣωτήρης Ντελής
- mathematicsUploaded byemmfric313ffw
- Boolean AlgebraUploaded byScott Roberson
- Mixed Operations Asm Vertical 100 0120 0120 All(1)Uploaded bytommytan1021
- mathgen-506115396Uploaded bySam
- Intro to CombinatoricsUploaded bytdoc_user
- PermutationUploaded bywafasdfasdfsdfsd
- 7Uploaded byrumtin
- Introduction to College AlgebraUploaded byConrado Austero
- Question Papers S1 MCA 2013Uploaded byRajKrrishnan
- order of operationsUploaded byapi-254223217
- Number System - Question & Sol 1-30.pdfUploaded byAbhishek Yadav
- FractionsUploaded byLarry Mannings
- 10.1.1.39.1451 (1) Toshiyuki AkitaUploaded byPaula Caram
- Brochure 3yearME 2015Uploaded byDeepika Patel
- kolchin1948.pdfUploaded byjames
- 95CF51A4-ECBB-4B08-86EC-637DC89F2FF5Uploaded bysrivastava1984rahul
- 2387400Uploaded bymaidarag
- Assignment 1Uploaded byToby Reichelt
- Mathematics Pre Year Q P for TCC 2009 10 Up to 2009 June ( Final for Print Corrected by TPS and Final by STT)Uploaded byRakesh Chithuluri
- Natural or Counting NumbersUploaded bySherryDonovanMoser
- 304 MatrixUploaded bybuckk138
- 1204.1690Uploaded bySixta Vivanco
- Pre calUploaded byJulieann Aguilar
- day 11 solving equations with variables on both sidesUploaded byapi-261804408
- HW1Uploaded byJason Payne
- exam3Uploaded byGomi9k
- Grade 5 Division InUploaded byNamita Gandotra

- Names, Titles, And Short Phrases Not Protected by CopyrightUploaded byTimothy Yancy
- exercitii engleza 1Uploaded byCrazzy Anya
- José Luis Bermudez, Self-Deception, Intentions, and Contradictory BeliefsUploaded byMarkusWichmann
- Stocking-2007-Early_Medieval_Europe.pdfUploaded byWa Rio
- Duroos Lughatul Arabia Key Urdu 1Uploaded byumairbinsajjad
- 1333-11-PB.pdfUploaded byChandra Nara Ochan
- Montrose emc documentUploaded bygokhan
- OBE Syllabus - ME 413 ME Lab 01Uploaded byOcireg Llovido
- Microsoft PowerPoint - 1.MATERIAL BAJAUploaded byChristian Adhika
- Test Your I. Q. by Eamonn ButlerUploaded byLaura Kiraly
- 06 FrameworksUploaded bynagarajuvcc123
- Indifference CurveUploaded byShubhodeep Bhattacharya
- Nature review of The Man Who Wasn't ThereUploaded byanil.newscientist
- Economic EnglishUploaded byelastrumf
- Jackson, Lesley - ThothUploaded byGnostic the Ancient One
- Anglo Continental Teacher Training 2014Uploaded byJoins 세계유학
- Observed Teaching Styles of Australian Tennis Coaches - Mitch Hewitt and Prof. Ken EdwardsUploaded bySteel Designer
- Analysis of TechnicalUploaded byKhushbu Peshavaria
- Market reaserchUploaded byAndreZannini
- On Neutrosophic Semi-Open sets in Neutrosophic Topological SpacesUploaded byMia Amalia
- cat evidence table worksheet finalUploaded byapi-239817112
- Promoting the Sorites paradox to a scientific levelUploaded byillmrpinheiro
- Holy and Unholy Miracle WorkersUploaded bytahuti
- Theories of Labour WelfareUploaded byganesh2222
- Adjectives and Comparison in English 1985Uploaded bymhc032105636
- 10002624-law-and-society-in-england-1750-1950Uploaded bykj0203
- Project ManagementUploaded byRishi Kumar
- work drive rubiTrack 4 Pro 4.4.3 Build 2468 download portuguese 10.11.1 713771750Uploaded bykwekewqkioek
- Tutorial Solution Theory of ComputationUploaded byJeenu Grover
- EDEL453 Spring2013 BrittiniMROZEK Unit 4 Civics DAY 5 (1)Uploaded bymrozekb