Register to reply 
Free Group with defining equations 
Share this thread: 
#1
Sep1311, 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 


#2
Sep1411, 08:22 AM

P: 424

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 DummitFoote if I recall correctly).
[tex]\langle x,yx^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 