Register to reply 
NonAbelian Group of Order 21 
Share this thread: 
#1
Nov1212, 09:09 PM

P: 91

So I was working through some problems in Herstein's Algebra on my own time, and I came across something I wasn't so sure about.
The question was, Find a nonabelian group of order 21 (Hint: let a^{3}=e and b^{7}=e and find some i such that a^{1}ba=b^{i}≠b which is consistent with the assumptions that a^{3}=e and b^{7}=e) All the solutions say if we set i=2, then this generates a group of order 21. I was just wondering how exactly I could check this without using the semiproduct stuff, which I haven't yet learned. I understand that consistent means that it doesn't contradict the assumptions, but I'm exactly sure how to check that, and what constitutes a full checking that there is no contradiction. Taking a^{1}ba=b^{i}≠b to all its powers and checking to see that they give no contradiction doesn't seem to be the right way to go about it. Similarly, is there a quick way to say 3, 5 and 6 don't work (assuming I'm right that they don't)? I can check and find that they give a contradiction to the assumptions, but I don't know if this is the easiest way. 


#2
Nov1212, 10:26 PM

P: 5

Well, semidirect product really is the right way to do it... the theory guarantees a unique (up to isomorphism) nonabelian group of order pq, whenever p<q are primes with p(q1).
Forgoing that, I guess direct calculations are the only way to go. I suppose you could write out a multiplication table for the group to see that everything works out. There is a reason underlying this, but I'm not sure that just quoting it is really a proof that the construction works (i.e., that it's sufficient... it is if you go through the whole semidirect construction, but I think we can see this much without that): any identity of the form [itex]a^{1}ba=b^i[/itex] induces an automorphism [itex]\varphi_{a}:\langle b\rangle\rightarrow\langle b\rangle[/itex] (because conjugation is always injective, and every power of [itex]b[/itex] generates[itex]\langle b\rangle[/itex] because 7 is prime. That is, the identity you write down induces a map [itex]\left\langle a\right\rangle\rightarrow \mathrm{Aut}\left\langle b\right\rangle[/itex] given by [itex]a\mapsto \varphi_a[/itex]. Under any group homomorphism, an element of order 3 must map to an element of order 3 (or 1). You can check that, with i=2 above, conjugating b by a 3 times gives you b again; that is, the automorphism induced by a has order 3, which is good. If i=3, though, conjugating by a three times produces b^6. You can see it directly in the group: [itex]a^{3}ba^3=b^6\Rightarrow b=b^6\Rightarrow b^5=e\Rightarrow b=e[/itex]. This is really the core of the issue. Now, this really is the beginnings of semidirect product, and I know you haven't learned it yet, but I think it is possible to see what is going on in terms of conjugation inducing an automorphism of a (normal) subgroup. 


#3
Nov1312, 08:34 AM

P: 91

Thanks! But even if I were to write out the multiplication table, wouldn't I still need to do a bunch of algebraic manipulations to make sure I don't have a contradiction? And then, it would be difficult to be sure that I've exhausted all the possibilities, right? Maybe not, I'm not so sure.
I guess semidirect product is really the way to go. The explanation makes sense, I guess I'll just have to wait. 


#4
Nov1312, 10:21 AM

Sci Advisor
P: 1,716

NonAbelian Group of Order 21
The semi direct product idea is worth learning. It gives a method of for constructing many groups.
here is maybe a slightly different tack in your case. The element aba may be rewritten as aba[itex]^{1}[/itex]a[itex]^{2}[/itex] This means that the multiplication in the group can be defined on all pairs (b[itex]^{i}[/itex],a[itex]^{j}[/itex]) by the rule (b[itex]^{i}[/itex],a[itex]^{j}[/itex]).(b[itex]^{k}[/itex],a[itex]^{h}[/itex]) = (b[itex]^{i}[/itex].a[itex]^{j}[/itex]b[itex]^{k}[/itex]a[itex]^{j}[/itex],a[itex]^{j+h}[/itex]) This rule is well defined as long as conjugation of <b> is an automorphism of order 3. If conjugation ,for instance, were the identity map (which is certainly of order 3) the group would be the direct product of the two cyclic groups. That is aba would equal ba[itex]^{2}[/itex]. Note that there are 21 pairs (b[itex]^{i}[/itex],a[itex]^{j}[/itex]) so both groups are of order 21. Here is another example. Let b be of order 4 and a of order 2. Set aba[itex]^{1}[/itex] = b[itex]^{3}[/itex], This will give you a nonabelian group of order 8. If on the other hand if aba[itex]^{1}[/itex] = 1 then the group is the product and is also of order 8. 


#5
Nov1312, 10:05 PM

P: 91

Also, can you suggest a reference online for this that I can look up? I'm sorry if I sound a bit confused. 


#6
Nov1412, 08:12 PM

Sci Advisor
P: 1,716

I tried to write things out so that you could see why it is called a semi direct product as opposed to a direct product. I strongly suggest that you work through the formulation I gave in the case of your two cyclic groups. 


#7
Nov1512, 10:50 AM

Sci Advisor
HW Helper
P: 9,488

i wonder if this can be realized as a sort of rotation subgroup of the group of collineations of the finite plane of 7 points and 7 lines. that group has 168 elements, and may have a subgroup of order 21. maybe the rotations can be made to act on the 7 points, with 3 rotations fixing each point. ??? just trying to think of some place where you might "see" this group geometrically.
bah..i don't see it. these rotations don't seem to form a group, (if they even exist). 


#8
Nov1512, 04:33 PM

Sci Advisor
P: 1,716




Register to reply 
Related Discussions  
Abelian group odd order  Calculus & Beyond Homework  1  
Group of order 15 abelian  Introductory Physics Homework  2  
Group of order 765 is abelian  Calculus & Beyond Homework  1  
NonAbelian group of Order 12  Calculus & Beyond Homework  0  
Nonabelian group or order 27  Linear & Abstract Algebra  12 