## Show that (ab)^n=(a^n)(b^n) for an Abelian group

Math help in Abstract Algebra: magmas, monoids, semigroups, groups (Lagrange Theorem, Sylow Theorems, etc ...), rings, fields, modules, isomorphism theorems, algebras, group representations, Lie Algebras, irreducible elements, prime elements, invertible elements, units; Field Theory: separable extensions, normal extensions, Galois extensions, Fundamental Theorem of Galois Theory, minimal polynomials, cyclotomic extensions, group of automorphisms, solvability of equations, solvable groups, splitting fields, algebraic closures, norms and traces on My Math Forum.
Math problems in Group Theory Field Theory Rings and Modules Polynomials

### Show that (ab)^n=(a^n)(b^n) for an Abelian group

I'm having problem with this proof: Let a and be be elements of an Abelian group and let ne be any integer. Show that (ab)^n=(a^n)(b^n). Is this true for non Ablelain groups. I am two weeks in to my course in Abstract Algebra and I have an exam need week. Really nned help because I am gettine myself so confused!
Newcomer

Posts: 13
Joined: Thu Feb 03, 2011 3:24 pm

### Re: Show that (ab)^n=(a^n)(b^n) for an Abelian group

Well, what is (ab)^n ??
It's just (ab)(ab)(ab)(ab).........(ab)
n times.
But since you're talking abelian, you can move the elements around, so you can write
(aaaaaaaaaaaaaaaa.........a)(bbbbbbbbbbbbbbbbbb........b)
Where each of a and b is written n times, but that's just
(a^n)(b^n)

This is not true in non-abelian groups.

The Chaz
Global Moderator

Posts: 2766
Joined: Mon Nov 23, 2009 9:34 pm
Location: Northwest Arkansas

### Re: Show that (ab)^n=(a^n)(b^n) for an Abelian group

Thats bascially what i had only i thought it was too simple!!
Thanksvery much!
Newcomer

Posts: 13
Joined: Thu Feb 03, 2011 3:24 pm

### Re: Show that (ab)^n=(a^n)(b^n) for an Abelian group

You can also (repeatedly) multiply by a^-1 on the left and b^-1 on the right....

The Chaz
Global Moderator

Posts: 2766
Joined: Mon Nov 23, 2009 9:34 pm
Location: Northwest Arkansas

### Re: Show that (ab)^n=(a^n)(b^n) for an Abelian group

But the first option is still ok for a proof right??
Newcomer

Posts: 13
Joined: Thu Feb 03, 2011 3:24 pm

### Re: Show that (ab)^n=(a^n)(b^n) for an Abelian group

Elladeas wrote:But the first option is still ok for a proof right??

It's still a proof. If you're expected to be more formal than that, use induction to show it works.
Pari/GP: this is the program I probably mentioned in my post. Windows users can get it at http://pari.math.u-bordeaux.fr/pub/pari ... -2-6-2.exe

CRGreathouse
Global Moderator

Posts: 12539
Joined: Sat Nov 25, 2006 9:52 am
Location: UTC -5

### Re: Show that (ab)^n=(a^n)(b^n) for an Abelian group

Ok thanks Ill try that