Register to reply

Free Group with defining equations

by iamalexalright
Tags: defining, equations, free
Share this thread:
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
Fungus deadly to AIDS patients found to grow on trees
Canola genome sequence reveals evolutionary 'love triangle'
Scientists uncover clues to role of magnetism in iron-based superconductors
Sep14-11, 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 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