"2. We say that a group G is cyclic if there exists an element g
∈ G such that G = (g) := {gn | n ∈ Z} Given any group
homomorphism φ : G H, say if each of the following is true or
false, and justify. (i) If φ is surjective and G is cyclic, then H
is cyclic. (ii) If φ is injective and G is cyclic, then H is
cyclic. (iii) If φ is surjective and H is cyclic, then G is cyclic.
(iv) If φ is injective and H is cyclic, then G is cyclic."
"2. We say that a group G is cyclic if there exists an element g ∈...
2. Let G {g, g. . . , gn-le} be a cyclic group of order n, H a group, and h є H. Define a function φ : G → H by φ(gi-hi for all 0 < i n-1. Show that φ is a group homomor- phism if and only if o(h) divides o(g). Warning: mind your modular arithmetic! [10]
Problem 3. Subgroups of quotient groups. Let G be a group and let H<G be a normal subgroup. Let K be a subgroup of G that contains H. (1) Show that there is a well-defined injective homomorphism i: K/ H G /H given by i(kH) = kH. By abuse of notation, we regard K/H as being the subgroup Imi < G/H consisting of all cosets of the form KH with k EK. (2) Show that every subgroup of G/H is...
2. Let p: G -G be a surjective group homomorphism (a) Show that if G is abelian then G' is abelian. (b) Show that if G' is cyclic then there is a surjective homomorphism from (Z, +, 0) to G'. (Hint: use the fact that Z is generated by 1 and G' has a generator). (c) Use Part (a) and (b) to show that every cyclic group is abelian.
ei0 : 0 E R} be the group of all complex numbers on the unit circle under multiplication. Let ø : R -> U 1. (30) Let R be the group of real numbers under addition, and let U be the map given by e2Tir (r) (i) Prove that d is a homomorphism of groups (ii) Find the kernel of ø. (Don't just write down the definition. You need to describe explicit subset of R.) an real number r for...
(i) Determine whether φ defines a homomorphism. (ii) Find ker ф :-(g E G I ф(G)-e) and inn ф d(G). (ii) Draw Cayley diagrams of the domain and codomain, and arrange them so one can "visually see" the cosets of ker φ in G. Draw dotted lines around these cosets. (iv) Is the quotient G/ker ф a group? If so, what is it isomorphic to? Here is an example of Step (iii) for the map o: Z6 Z3, defined by...
Always give rigorous arguments I. (A) Let G be a group under * and let g E G with o(g) = n (finite) (i) Show that g can never go back to any previous positive power of g* (1k< n) when taking up to the nth power (cf. g), e., that there are no integers k and m such that 1< k<m<n and such that g*-gm (ii) How many elements of the set (e, g,g2.... .g"-) are actually distinct? (iii)...
Exercise 2. Let he a group anith nentral element e. We denote the gronp lau on G simply by (91,92)gig2. Let X be a set. An action ofG on X is a a map that satisfies the following tuo conditions: c. Let G be a finite group. For each E X, consider the map (aje- fer all elements r X (b) 9-(92-2) for all 91,92 G and all r E X Show that is surjective and that, for all y...
1- (2,5+2,5 mark) Consider in GL(2, Q), the subset (a=1 or a=-1),bez Prove that H, with multiplication, is a subgroup of GL(2,Q) a) Is the function b) an homomorphism of groups? Justify your answer 2 (3 marks) Let G be a group and a E G an element of order 12. Find the orders of each of the elements of (a) 3- (1+1,5 marks) Let G be a group such that any non-identity element has order 2. Prove that a)...
#2
3.6 Cartesian Products. Direct Products (ii) List the six ordered pairs of T X S. (iii) Does S XT=TX S for these sets S and T? 2. Explain why SXT=T S if and only if S = T, S Ø , or T =%. 3. How many elements are there in S T when S has m elements and ments? 4. Describe a bijection from (s x T) * U to S x ( T U ). 5. Let...
Let G be a group of order 231 = 3 · 7 · 11. Let H, K and N
denote sylow 3,7 and 11-subgroups of G, respectively.
a) Prove that K, N are both proper subsets of G.
b) Prove that G = HKN.
c) Prove that N ≤ Z(G). (you may find below problem useful).
a): <|/ is a normal subgroup, i.e. K,N are normal subgroups
of G
(below problem): Let G be a group, with H ≤ G...