The Math Forum

Ask Dr. Math - Questions and Answers from our Archives
Associated Topics || Dr. Math Home || Search Dr. Math

Abelian Group Tables

Date: 04/29/99 at 06:56:49
From: Mel
Subject: How to construct abstract Abelian group tables?

Dr. Math,

Please could you help me with this.

How do I construct the first Abelian group for the general case?  I 
know it is of order 6. Could you give me some guidance about the 

Thank you.

Date: 04/29/99 at 12:39:04
From: Doctor Rob
Subject: Re: How to construct abstract Abelian group tables?

Thanks for writing to Ask Dr. Math!

According to the Sylow Theorems, the group must contain elements of
orders 2 and 3. Let a^2 = e and b^3 = e, where e is the identity. Then 
look at a*b*a^(-1). It must also have order 3, but it can't equal b, 
because the group must be nonabelian. Thus it must equal b^2. So
a*b*a^(-1) = b^2. Now the six group elements are e, a, b, b*a, b^2, 
and b^2*a. You can multiply them together and use the relation
a*b = b^2*a to get the result back to one of these forms. For example,
if you want to multiply

   (b*a)*(b^2) = b*(a*b)*b,
               = b*(b^2*a)*b,
               = b^3*(a*b),
               = a*b,
               = b^2*a.

This should allow you to complete the required table.

- Doctor Rob, The Math Forum   
Associated Topics:
College Modern Algebra

Search the Dr. Math Library:

Find items containing (put spaces between keywords):
Click only once for faster results:

[ Choose "whole words" when searching for a word like age.]

all keywords, in any order at least one, that exact phrase
parts of words whole words

Submit your own question to Dr. Math

[Privacy Policy] [Terms of Use]

Math Forum Home || Math Library || Quick Reference || Math Forum Search

Ask Dr. MathTM
© 1994- The Math Forum at NCTM. All rights reserved.