Jump to: navigation, search

Abelian group

102 bytes added, 17:53, 21 June 2012
===Symbol-free definition=== An '''abelian group''' is a [[group]] where any two elements commute. ===Definition with In symbols=== A , a [[group]] <math>G</math> is termed '''abelian''' if for any elements <math>x</math> and <math>y</math> in <math>G</math>, <math>xy = yx</math> (here <math>xy</math> denotes the product of <math>x</math> and <math>y</math> in <math>G</math>). Note that <math>x,y</math> are allowed to be equal, though equal elements commute anyway, so we can restrict attention if we wish to unequal elements.
<section end=beginner/>
* A group is abelian if its [[defining ingredient::commutator subgroup]] is trivial.
<section begin=beginner/>
Bureaucrats, emailconfirmed, Administrators

Navigation menu