Can You Help with These Abstract Algebra Proofs?

Click For Summary

Discussion Overview

The discussion focuses on several proofs related to abstract algebra, specifically concerning properties of groups and cyclic groups. Participants are seeking assistance with three distinct problems, exploring concepts of finite order, cyclicity, and generators within groups.

Discussion Character

  • Homework-related
  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • Some participants propose that if G is a finite group, every element must have finite order, suggesting that if an element does not have finite order, it leads to contradictions regarding repetitions of elements.
  • Others argue that the proof for the non-cyclicity of Q+ under multiplication requires further clarification, particularly questioning the validity of certain contradictions presented in the initial proof attempt.
  • One participant suggests using the existence of prime factors to demonstrate that Q+ cannot be generated by a single element.
  • Another participant attempts to clarify the reasoning behind the finite order of elements in G, but acknowledges uncertainty about explaining why an element could not have infinite order.
  • Some participants discuss the implications of Lagrange's theorem in relation to the proofs, indicating that it could simplify the argument for finite groups.

Areas of Agreement / Disagreement

Participants express varying levels of understanding and agreement on the proofs, with some aspects remaining contested or unclear. There is no consensus on the clarity or correctness of the initial proof attempts, particularly regarding the cyclicity of Q+ and the implications of finite order in groups.

Contextual Notes

Participants note limitations in their proofs, including assumptions about the nature of elements in groups and the need for clearer arguments to support their claims. Some mathematical steps remain unresolved, particularly in the context of proving contradictions.

Who May Find This Useful

This discussion may be useful for students studying abstract algebra, particularly those preparing for exams or seeking to understand group properties and proof techniques.

jbarrera
Messages
3
Reaction score
0
Abstract Algebra Proof: Groups...

A few classmates and I need help with some proofs. Our test is in a few days, and we can't seem to figure out these proofs.

Problem 1:
Show that if G is a finite group, then every element of G is of finite order.

Problem 2:
Show that Q+ under multiplication is not cyclic.

Problem 3: Prove that if G = <x> and G is infinite, then x and x^-1 are the only generators of G.
----------------------------------------------------------------------------------------
For problem 2, this is what we have so far:

Suppose by contradiction that (Q+, *) is a cyclic group. Then there exist an element x = a/b, where a and be are in Z+ and (a, b) = 1 such that Q = { (a/b)^n | n in Z }. Let us consider a/(2b).

Then,

a/(2b) = (a/b)^n

1/2 = (a/b)^(n-1)

From here we may consider the following cases:

n = 1: 1/ 2 = 1 which is a contradiction.
n > 1: (a/b) = 1 / 2^(1/n-1) which is a contradiction.
n < 1: (a/b) = 1 / 2^(1/n-1) which is a contradiciton.

Therefore, (Q+, *) is not a cyclic group.

Our professor said, we need to show a little bit more work, but we are not sure. He says our proof is not quite clear.

Any help is greatly apprecaited. Thank you!
 
Physics news on Phys.org


(a/b) = 1 / 2^(1/n-1) which is a contradiction

Why is this a contradiction? It clearly holds if, for instance, a/b = 1/2 and n=2. So to make this strategy of proof work, you have to find a way to exclude this possibility as well.
 


OK, for the first one, let's think about what it means for an element to not have finite order. This means that if g is in G, then you can multiply g by itself as many times as you want and never get back to the identity in G. Now, in multiplying g by itself like this, one of two things can happen: a)eventually you will get a repetition (i.e. g^k = g^m for some k,m) or b)you will never get a repetition, no matter how many times you multiply g by itself. Now, clearly (b) can't be true (but be sure to explain why this is so). This leaves (a). Now, given this, do you see how to prove that g has finite order?
 


For the second one, I would suggest using the fact that if p/q is a generator of Q+, where (p,q) = 1, then there are some members of Q who have some prime factors that neither p nor q have.
 


I see how I can prove (a):

I can say,
Let g be an element in G which does not have finite order. Since (g)^k is in G for each value of k = 0, 1, 2, ..., we can conclude that we may find integers m and n such that (g)^m = (g)^n. If m > n, then g^(m-n) = e. Thus, m-n is the order of G and is finite. Similarly, n > m.

Is that correct?

I don't see why part b would never happen thought. How could I explain that?
 


For the third one. Let y be another generator. Then

[tex]y^n=x[/tex]

for a certain n. But x is a generator thus

[tex]x^m=y[/tex]

for an m. Put all this information together...
 


jbarrera said:
I see how I can prove (a):

I can say,
Let g be an element in G which does not have finite order. Since (g)^k is in G for each value of k = 0, 1, 2, ..., we can conclude that we may find integers m and n such that (g)^m = (g)^n. If m > n, then g^(m-n) = e. Thus, m-n is the order of G and is finite. Similarly, n > m.

Is that correct?

Yes, this is the gist of it. However, you don't know that m-n is the order of g; all you know is that m-n is greater than or equal to the order of g. But, since m-n is clearly finite, then the order of g is clearly finite.

I don't see why part b would never happen thought. How could I explain that?
[/QUOTE]
Well then, it is probably time to take a little break from studying algebra. What if you could multiply g by itself over and over and over again and never have a repeat? Wouldn't this suggest that there is an infinite number of elements in the group?
 


if you are allowed to use Lagrange's theorem, part a) follows easily
 

Similar threads

  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
48
Views
6K
  • · Replies 12 ·
Replies
12
Views
1K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 17 ·
Replies
17
Views
3K