Difference between revisions of "Group (Mathematics)"

From Conservapedia
Jump to navigation Jump to search
(Created page with 'In modern algebra, a '''group''' is a set of objects, together with a rule of composition, which obey certain rules. ==Definition== A group is a set of objects, sometimes refer...')
 
m
Line 5: Line 5:
 
A group is a set of objects, sometimes referred to as <math>G \ </math>, and a rule of composition, <math>* \ </math>, such that
 
A group is a set of objects, sometimes referred to as <math>G \ </math>, and a rule of composition, <math>* \ </math>, such that
  
−
#. There is an element of <math>G \ </math>, call it <math>e \ </math>, such that for any <math>x \ </math> in <math>G \ </math>, <math>e*x = x*e = x \ </math>.  This element is called the identity of the group.  We write <math>x \in G \ </math> to mean that <math>x \ </math> is in <math>G \ </math>.
+
#There is an element of <math>G \ </math>, call it <math>e \ </math>, such that for any <math>x \ </math> in <math>G \ </math>, <math>e*x = x*e = x \ </math>.  This element is called the identity of the group.  We write <math>x \in G \ </math> to mean that <math>x \ </math> is in <math>G \ </math>.
−
 
+
#For any two <math>x, y \in G \ </math>, their composition <math>x*y \in G \ </math>.
−
#. For any two <math>x, y \in G \ </math>, their composition <math>x*y \in G \ </math>.
+
#For any three <math>x,y,z \in G, x*(y*z) = (x*y)*z \ </math>
−
 
 
−
#. For any three <math>x,y,z \in G, x*(y*z) = (x*y)*z \ </math>
 
  
 
[[Category:Algebra Terms]]
 
[[Category:Algebra Terms]]

Revision as of 22:56, November 24, 2009

In modern algebra, a group is a set of objects, together with a rule of composition, which obey certain rules.

Definition

A group is a set of objects, sometimes referred to as , and a rule of composition, , such that

  1. There is an element of , call it , such that for any in , . This element is called the identity of the group. We write to mean that is in .
  2. For any two , their composition .
  3. For any three