Let G be an abelian group. prove: H = {g € G||g| <∞o} 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 < ∞, H‡Ø. Furthermore, if we take x, y = H, we know that xª = yb=1 for a, b = Z, so (xy−¹)ab = (xª)b(yb)−ª = 1, -1 › |xy¯¹| < ∞ and xy EH. G is not abelian, H doesn't have to be a subgroup. For example choose G = D∞, so H = {d€ Do | |d| <∞}. oth sr and sr² have order 2, but srsr² = r has infinite order, so r H. Therefore H is not a bgroup of G.

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
Question

I have the following question and solution, the assignment is to give feedback about the solution and the way its written.

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

Blurred answer
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,