Difference between revisions of "Group (mathematics)"

From Conservapedia
Jump to: navigation, search
(do we all know what a binary operator is?)
(the Klein four group is going to need more explanation)
Line 11: Line 11:
 
# the set of [[integers]] <math>\mathbb{Z}</math> under addition: here, zero is the identity, and the inverse of  an element <math>a \in \mathbb{Z}</math> is <math>-a</math>.  
 
# the set of [[integers]] <math>\mathbb{Z}</math> under addition: here, zero is the identity, and the inverse of  an element <math>a \in \mathbb{Z}</math> is <math>-a</math>.  
 
# the set of the positive [[rational number]]s <math>\mathbb{Q}_+</math> under multiplication: <math>1</math> is the identity, while the inverse of an element <math>\frac{m}{n} \in \mathbb{Q}_+</math> is <math>\frac{n}{m}</math>.  
 
# the set of the positive [[rational number]]s <math>\mathbb{Q}_+</math> under multiplication: <math>1</math> is the identity, while the inverse of an element <math>\frac{m}{n} \in \mathbb{Q}_+</math> is <math>\frac{n}{m}</math>.  
# the Klein four group consists of the set of formal symbols <math>\{1, i, j, k \} </math>  with the relations <math> i^{2} =j^{2}=k^{2}=1, \; ij=k, \; jk=i, \; ki=j. </math> All elements of the Klein four group (except the identity 1) have [[order]] 2. The Klein four group is [[isomorphism|isomorphic]] to <math>\mathbb{Z}_{2} \times \mathbb{Z}_{2}</math> under mod addition.
+
# the [[Klein four group]] consists of the set of formal symbols <math>\{1, i, j, k \} </math>  with the relations <math> i^{2} =j^{2}=k^{2}=1, \; ij=k, \; jk=i, \; ki=j. </math> All elements of the Klein four group (except the identity 1) have [[order]] 2. The Klein four group is [[isomorphism|isomorphic]] to <math>\mathbb{Z}_{2} \times \mathbb{Z}_{2}</math> under mod addition.
 
# the set of complex numbers {1, -1, <i>i</i>,<i>-i</i>} under multiplication, where <i>i</i> is the square root of -1, the basis of the [[imaginary number]]s. This group is [[isomorphism|isomorphic]] to <math> \mathbb{Z}_{4} </math> under mod addition.
 
# the set of complex numbers {1, -1, <i>i</i>,<i>-i</i>} under multiplication, where <i>i</i> is the square root of -1, the basis of the [[imaginary number]]s. This group is [[isomorphism|isomorphic]] to <math> \mathbb{Z}_{4} </math> under mod addition.
  

Revision as of 06:42, 17 November 2008

A group is a mathematical structure consisting of a set of elements combined with a binary operator which satisfies four conditions:

  1. Closure: applying the binary operator to any two elements of the group produces a result which itself belongs to the group
  2. Associativity: where , and are any element of the group
  3. Existence of Identity: there must exist an identity element such that ; that is, applying the binary operator to some element and the identity element leaves unchanged
  4. Existence of Inverse: for each element , there must exist an inverse such that

A group with commutative binary operator is known as Abelian.

Examples

  1. the set of integers under addition: here, zero is the identity, and the inverse of an element is .
  2. the set of the positive rational numbers under multiplication: is the identity, while the inverse of an element is .
  3. the Klein four group consists of the set of formal symbols with the relations All elements of the Klein four group (except the identity 1) have order 2. The Klein four group is isomorphic to under mod addition.
  4. the set of complex numbers {1, -1, i,-i} under multiplication, where i is the square root of -1, the basis of the imaginary numbers. This group is isomorphic to under mod addition.

Groups are the appropriate mathematical structures for any application involving symmetry.