Show that is Abelian iff for every

Printable View

- Mar 29th 2009, 06:11 AMJimmy_WAbelian Group
Show that is Abelian iff for every

- Mar 29th 2009, 06:38 AMPaulRS
**Direct**: If is abelian then for all

If it is abelian then we can write: since commutativity holds

**Reciprocal**: If for all then is abelian

And: thus: and so it follows that it is commutative (Abelian)