MODERN ALGEBRA AND GEOMETRY

SMA6014
SEM 1 SESSION 2016/2017

ASSIGNMENT 2

Instructions:
Make a group of at most four members. Discuss and answer all the following
questions and write down your solutions.

Assignment submitted: 15 November 2016

DUE: Monday, 5 Disember 2016

Questions

1. Consider the cyclic subgroup of U13.

i) List all it’s generators.

ii) List all it’s distinct subgroups and their elements.

[25 marks]

2. Suppose that G be a group and g �G . Define a function cg : G � G by mean

of the formula cg ( x ) = gxg . Prove that cg is an automorphism on G.
-1

[15 marks]

3. a. Let € be an isomorphism from a group G onto a group H. Prove that G

is abelian if and only if H is abelian.

[Hint: Let x, y in G, then €( x ) and €( y) in H . ]

[10 marks]
€

b. Let G = 8 ,+€ be an infinite cyclic group generated by 8, and

G €= Z 7 ,+ . Define € : G → G ′  by € (8x) = x .

€ (i) Show that € is an epimorphism.

(ii) Using the Fundamental Theorem of Group Homomorphisms,
€ €
explain€ and show that

€ 8 / 56 ≅ Z 7
[15 marks]

1
4. Determine whether each mapping is a homomorphism or not. Justify your
answer. If it is a homomorphism, find its kernel.

a. Define by . (Both are groups under addition)

b. Let G be a group, and define by for all .

c. Let G be an abelian group, and define by for all

d. Let G be a group, and define by for all .

[20 marks]

5. a. Lagrange’s Theorem states that for finite groups, order of a subgroup

divides the order of the group and there is a corollary, which states that a
group of prime order is cyclic. With these two facts prove that:

Every proper subgroup of a group G with o(G) = pq ,

where p and q are prime, is cyclic.

[5 marks]
€

b. Let a ring R = (Z 9 ,+,• ) . Determine whether

i) R is a commutative ring. Justify your answer.

ii) R is an integral domain. Justify your answer.
€iii) R is a field. Justify your answer.

[10 marks]