Difference between revisions of "Group"

m
m
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
A '''group''' <math>G</math> is a [[set]] of elements together with an [[operation]] <math>\cdot:G\times G\to G</math> (the dot is frequently supressed, so <math>ab</math> is written instead of <math>a\cdot b</math>) satisfying the following conditions:
+
A '''group''' <math>G</math> is a [[set]] of elements together with an [[operation]] <math>\cdot:G\times G\to G</math> (the dot is frequently suppressed, so <math>ab</math> is written instead of <math>a\cdot b</math>) satisfying the following conditions:
  
 
* For all <math>a,b,c\in G</math>, <math>a(bc)=(ab)c</math> ([[associative|associativity]]).
 
* For all <math>a,b,c\in G</math>, <math>a(bc)=(ab)c</math> ([[associative|associativity]]).
Line 5: Line 5:
 
* For any <math>g\in G</math>, there exists <math>g^{-1}\in G</math> so that <math>gg^{-1}=g^{-1}g=e</math> ([[Inverse with respect to an operation | inverses]]).
 
* For any <math>g\in G</math>, there exists <math>g^{-1}\in G</math> so that <math>gg^{-1}=g^{-1}g=e</math> ([[Inverse with respect to an operation | inverses]]).
  
(Equivalently, a group is a [[monoid]]s with inverses.)
+
(Equivalently, a group is a [[monoid]] with inverses.)
  
 
Note that the group operation need not be [[commutative]].  If the group operation is commutative, we call the group an [[abelian group]] (after the Norwegian mathematician Niels Henrik Abel).
 
Note that the group operation need not be [[commutative]].  If the group operation is commutative, we call the group an [[abelian group]] (after the Norwegian mathematician Niels Henrik Abel).
  
 
Groups frequently arise as [[permutation]]s or symmetries of collections of objects.  For example, the rigid motions of <math>\mathbb{R}^2</math> that fix a certain regular <math>n</math>-gon is a group, called the [[dihedral group]] and denoted in some texts <math>D_{2n}</math> (since it has <math>2n</math> elements) and in others <math>D_n</math> (since it preserves a regular <math>n</math>-gon).  Another example of a group is the [[symmetric group]] <math>S_n</math> of all permutations of <math>\{1,2,\ldots,n\}</math>.
 
Groups frequently arise as [[permutation]]s or symmetries of collections of objects.  For example, the rigid motions of <math>\mathbb{R}^2</math> that fix a certain regular <math>n</math>-gon is a group, called the [[dihedral group]] and denoted in some texts <math>D_{2n}</math> (since it has <math>2n</math> elements) and in others <math>D_n</math> (since it preserves a regular <math>n</math>-gon).  Another example of a group is the [[symmetric group]] <math>S_n</math> of all permutations of <math>\{1,2,\ldots,n\}</math>.
 
  
 
==See Also==
 
==See Also==
Line 18: Line 17:
  
 
{{stub}}
 
{{stub}}
 
{{wikify}}
 
  
 
[[Category:Definition]]
 
[[Category:Definition]]
 
 
[[Category:Group theory]]
 
[[Category:Group theory]]

Revision as of 23:19, 14 October 2009

A group $G$ is a set of elements together with an operation $\cdot:G\times G\to G$ (the dot is frequently suppressed, so $ab$ is written instead of $a\cdot b$) satisfying the following conditions:

(Equivalently, a group is a monoid with inverses.)

Note that the group operation need not be commutative. If the group operation is commutative, we call the group an abelian group (after the Norwegian mathematician Niels Henrik Abel).

Groups frequently arise as permutations or symmetries of collections of objects. For example, the rigid motions of $\mathbb{R}^2$ that fix a certain regular $n$-gon is a group, called the dihedral group and denoted in some texts $D_{2n}$ (since it has $2n$ elements) and in others $D_n$ (since it preserves a regular $n$-gon). Another example of a group is the symmetric group $S_n$ of all permutations of $\{1,2,\ldots,n\}$.

See Also

This article is a stub. Help us out by expanding it.