Homework Help is Here – Start Your Trial Now!
Math
Advanced Math
Let G be an abelian group. Prove that (g = G||g|

Let G be an abelian group. Prove that (g = G||g|

Elements Of Modern Algebra
Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter4: More On Groups
Section4.4: Cosets Of A Subgroup
Problem 30E: Let G be an abelian group of order 2n, where n is odd. Use Lagranges Theorem to prove that G...
See similar textbooks
icon
Related questions
Question

The following question and solution are in the attached images, show what could've been written better and give feedback on the written proof, thank you in advance

Let G be an abelian group. To prove: H = {g €G ||g| <∞} is a subgroup of G. We need to prove that H ‡ Ø and Vx, y ≤H : xy-¹ € H. We know that e € H, because |e| = 1 < ∞, so H ‡ Ø). Furthermore, if we take x, y € H, we know that xª = y³ = 1 for a, b = Z, so -a (xy-¹)ab = (xª)b(y³)¯ = 1, so xy-¹ <∞ and xy-¹ € H. If G is not abelian, H doesn't have to be a subgroup. For example choose G = D∞, so H = {de D∞ | |d| <∞}. Both sr and sr² have order 2, but srsr² = r has infinite order, so r H. Therefore H is not a subgroup of G.
Transcribed Image Text:Let G be an abelian group. To prove: H = {g €G ||g| <∞} is a subgroup of G. We need to prove that H ‡ Ø and Vx, y ≤H : xy-¹ € H. We know that e € H, because |e| = 1 < ∞, so H ‡ Ø). Furthermore, if we take x, y € H, we know that xª = y³ = 1 for a, b = Z, so -a (xy-¹)ab = (xª)b(y³)¯ = 1, so xy-¹ <∞ and xy-¹ € H. If G is not abelian, H doesn't have to be a subgroup. For example choose G = D∞, so H = {de D∞ | |d| <∞}. Both sr and sr² have order 2, but srsr² = r has infinite order, so r H. Therefore H is not a subgroup of G.
Let G be an abelian group. Prove that {g G||g| < oo}) is a subgroup of G (called the torsion subgroup of G). Give an explicit example where this set is not a subgroup when G is non-abelian.
Transcribed Image Text:Let G be an abelian group. Prove that {g G||g| < oo}) is a subgroup of G (called the torsion subgroup of G). Give an explicit example where this set is not a subgroup when G is non-abelian.
Expert Solution
steps

Step by step

Solved in 3 steps with 9 images

SEE SOLUTIONCheck out a sample Q&A here
Blurred answer