Group presentation problem

In summary, Homework Statement A group is infinite if and only if it is abelian, but if p is a prime, the group is not infinite.
  • #1
happyg1
308
0

Homework Statement



Let p be a prime. Prove that the group [tex]<x,y|x^p=y^p=(xy)^p=1>[/tex] is infinite if p>2, but that if p=2, it is a Klein 4-group.

Homework Equations





The Attempt at a Solution



OK
I think I got the secong part. We have a theorem that says that if [tex]G=<x,y|x^2=y^2=(xy)^n=1>[/tex]
where
[tex]n \geq 2[/tex]
This is the dihedral group [tex]D_{2n}[/tex] of order 2n.
So if n=2 in my problem, then I have the dihedral group of order 4, which is the Klein 4-group. I showed this by writing out the multiplication tables for each one. I think I got that part.

My trouble with the first part is that I really don't know HOW to show that a group is infinite. I understand WHY the infinite dihedral group is infinite, but I can't see how to apply that here. I'm not really seeing why the p being prime has any meaning here either...

I just don't quite know where to start that one off.

Please give me a push if you can

CC
 
Physics news on Phys.org
  • #2
Find infinitely many non-isomorphic reduced words. Dunno why you bothered to cite the result you do for n=2 - if you showed it directly, for n=2, you'd find why for n>2 you might not get a finite group. Moral of the story: don't try to invoke pointless results when just playing with things will make you realize what is going on.
 
  • #3
Hello,
I cited the result I did because I understand it and it's right there next the the problem. Is my method incorrect?

I don't know why the author of my textbook would put in a "pointless result"...

I will try to "play with things" and see what I get.

Matt Grime, you always make me feel stupid...Maybe I am.

CC
 
  • #4
I didn't say the result in and of itself was pointless. I said citing it in this case was pointless - complete overkill. If you just played around with the data given and tried to figure out why 2 was different from generic n, then you'd be much better off. Some times the 'dumb' thing of just seeing what happens is the correct thing to do. You aren't dumb, you just don't want to seem to try things for yourself. This is how I do mathematics - just seeing what I can show from the definitions, and trying to avoid all citations of 'big' results that might obfuscate what is really going on. There are no deep theorems here, no big results to look up - it can 'just be done':

http://www.dpmms.cam.ac.uk/~wtg10/justdoit.html

99.9% of problems posted here can be solved without _any_ clever ideas, just writing out definitions and getting one's hands dirty, but seemingly a lot of people think it will require something clever and therefore don't try something obvious or tedious.
 
Last edited:
  • #5
Ok
I did as you suggested and I found that whenever p=2, the group is abelian. So that means that x and y are normal in G, and G has order 4. As an abelian group of order 4 it is isomorphic to the klein 4 group.

I played with this thing for a long time and I'm just not getting any further with the infinitely many reduced words for p a prime. I tried to list out the words for p=4 (I know, not a prime) just to see what happens. I never did get down to a finite number for that one. I could just keep adding on x^3 or y^3 or x^2 or y^2. I know I'm missing something here. Give me a hint.
I even tried to find all of the cosets for p=4 to see if I could show that it was finite...and got bogged down in all of the possibillities and trying to find out which ones could be repeats.

My professor told me to try to find something specific that works, like matricies with entries of 0 and 1 that satisfy the relations. I can't seems to come up with anything and I've been messing with this for DAYS.
I am STUCK.

Please help me out.

Thanks
CC
 
  • #6
Any thoughts?
I still haven't been able to figure out how to prove this thing is infinite for primes. I have tried to show that it's NOT infinite for non-primes, but that hasn't worked.
I know that it's abelian.
CC
 
Last edited:
  • #7
happyg1 said:
Any thoughts?
I still haven't been able to figure out how to prove this thing is infinite for primes. I have tried to show that it's NOT infinite for non-primes, but that hasn't worked.
I know that it's abelian.
CC

If a group is abelian, and finitely generated by elements of finite order, the it must be finite. Perhaps the group isn't abelian?
 
  • #8
OK
It's not abelian. Here's what I tried for p=3:
let [tex]H=(Z\times Z)\ltimes Z_3=<a,b,t|[ab],a^t=b,b^t=a^{-1}b^{-1}>[/tex]
so
[tex]a^t=b,b^t=a^{-1}b^{-1}[/tex]
oh, and[tex]t^3=1[/tex]

let [tex]c=at,d=t[/tex]
[tex]H=<c,d>[/tex]

[tex]c^3=at^2at^2at^2=t(t^{-1}at)atat=tbatat=t^2a^{-1}b^{-1}bat=1[/tex]
and
[tex]d^3=ttt=t^3=1[/tex]
and
[tex](cd)^3=at^2at^2at^2=a(t^{-1}at)tat^2=abtat^2=abtat^2=abt^2(t^{-1}at)t=abt^{-1}bt=aba^{-1}b^{-1}=1[/tex]
so there's a homomorphism from G onto H and H is infinite, so G must be also.
I don't know if that is right or not. I don't know how to expand that to the general case, eother. It took me FOREVER to invent this...and it's probably wrong...
Any input will be appreciated.
CC
 
Last edited:
  • #9
It seems like the easiest way to prove that the group is infinite is to show that, say [itex]xxy[/itex], has inifinite order.
 

What is a group presentation problem?

A group presentation problem is a challenge or issue that arises during the process of preparing or delivering a presentation as a team. This could include difficulties with collaboration, time management, communication, or technical issues.

How can group presentation problems be prevented?

To prevent group presentation problems, it is important to establish clear roles and responsibilities within the group, set realistic goals and timelines, communicate effectively, and address any conflicts or issues as they arise. Proper preparation and rehearsal can also help to prevent problems during the actual presentation.

What should I do if a group presentation problem arises?

If a group presentation problem arises, it is important to address it as soon as possible. This could involve discussing the issue with the group and coming up with a solution together, seeking help from a mentor or advisor, or adjusting the presentation plan if necessary.

How can group presentations be made more effective?

To make group presentations more effective, it is important for all members to contribute equally and work together towards a common goal. This can be achieved through effective communication, organization, and rehearsal. It is also important to listen to and incorporate feedback from peers and audience members.

What are some common group presentation mistakes to avoid?

Some common mistakes to avoid in group presentations include lack of preparation, poor time management, not practicing or rehearsing enough, not communicating effectively, and not working together as a team. It is also important to avoid relying too heavily on one person to carry the entire presentation.

Similar threads

  • Calculus and Beyond Homework Help
Replies
1
Views
757
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
905
  • Calculus and Beyond Homework Help
Replies
11
Views
1K
Replies
23
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
938
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
191
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
Back
Top