Free Group with defining equations

by iamalexalright
Tags: defining, equations, free
iamalexalright is offline
Sep13-11, 03:50 PM
P: 164
So today in class we talked about defining equations...

We were asked to consider the group generated by <a,b>

with the defining equations a^2 = e, b^3 = e, and ba = ab^2. With these equations we can easily see that there can only be a maximum of 6 elements (and apparently most of the time there will be exactly six).

My professor recalled there was some group(s), defined in a similar fashion, that should have n elements but surprisingly has less.

Anybody have any insight on this? Sorry if this is too vague
Phys.Org News Partner Science news on
SensaBubble: It's a bubble, but not as we know it (w/ video)
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Microbes provide insights into evolution of human language
rasmhop is offline
Sep14-11, 08:22 AM
P: 418
I can obviously not be sure what example your professor had in mind, but I recall an example that may be of a similar spirit (this is from Dummit-Foote if I recall correctly).
[tex]\langle x,y|x^n=y^2=e,\quad xy=yx^2\rangle[/tex]
Here one may guess that this group has order 2n, but
[tex]x = xy^2 = yx^2y =yxyx^2= y^2x^4 = x^4[/tex]
so [itex]x^3 =e[/itex] and therefore the group has at most order 6.

This is not especially surprising to more experienced mathematicians, but to an introductory abstract algebra student it may be surprising. Your professor may have had a more sophisticated example in mind which even baffles experienced mathematicians.

Register to reply

Related Discussions
Aren't all equations defining a field? General Math 11
Showing that a group is a free group Calculus & Beyond Homework 1
free group Calculus & Beyond Homework 1
Defining Free Will General Discussion 3