Group (mathematics)/Catalogs: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Ragnar Schroder
(cosmetics)
imported>Ragnar Schroder
Line 14: Line 14:
===Examples of finite discrete groups===
===Examples of finite discrete groups===


{|align="right" cellpadding="10" style="background-color:lightblue; width:40%; border: 1px solid #aaa; margin:2px; font-size: 90%;"
# The trivial group consisting of just one element.
|'''Illustration of the [[cyclic group]] of order 4.'''
# The group of order two,  which f.i. can be represented by addition [[modular arithmetic|modulo]] 2 or the set  {-1, 1} under multiplication.
# The group of order three.
# The [[cyclic group]] of order 4,  which can be represented by addition [[modular arithmetic|modulo]] 4. 
# The noncyclic group of order 4,  known as the "Klein [[viergruppe]]".  A simple physical model of this group is two separate on-off switches.
 
{|align="center" cellpadding="10" style="background-color:lightgray; width:75%; border: 1px solid #aaa; margin:2px; font-size: 90%;"
|'''Model of the [[cyclic group]] of order 4.'''
[[Image:Examplesofgroups-Z4.gif|right|thumb|350px|{{#ifexist:Template:Examplesofgroups-Z4.gif/credit|{{Examplesofgroups-Z4.gif/credit}}<br/>|}} Example of groups.]]
[[Image:Examplesofgroups-Z4.gif|right|thumb|350px|{{#ifexist:Template:Examplesofgroups-Z4.gif/credit|{{Examplesofgroups-Z4.gif/credit}}<br/>|}} Example of groups.]]


*Let r1 be the act of turning the knob 1 step clockwise.
*Let r<sub>1</sub> be the act of turning the knob 1 step clockwise.
*Let r2 be the act of turning the knob 2 steps clockwise.
*Let r<sub>2</sub> be the act of turning the knob 2 steps clockwise.
*Let r3 be the act of turning the know 3 steps clockwise.
*Let r<sub>3</sub> be the act of turning the know 3 steps clockwise.


*Finally,  let r0 be the act of just doing nothing.
*Finally,  let r<sub>0</sub> be the act of just doing nothing.


It's easy to see the following:
It's easy to see the following:
*Doing r1 and then r1 again gives the same result as doing r2.
*Doing r<sub>1</sub> and then r<sub>1</sub> again gives the same result as doing r<sub>2</sub>.
*Doing r1 and then r2 gives the same result as doing r3.
*Doing r<sub>1</sub> and then r<sub>2</sub> gives the same result as doing r<sub>3</sub>.
*Doing r1 and then r3 gives the same result as doing nothing, i.e. r0.
*Doing r<sub>1</sub> and then r<sub>3</sub> gives the same result as doing nothing, i.e. r<sub>0</sub>.
*...
*...


Line 33: Line 39:
These results can be summarized in the following table:
These results can be summarized in the following table:
<table>
<table>
<th>*</th>  <th>r0</th>  <th>r1</th>  <th>r2</th>  <th>r3</th>
<th>*</th>  <th>r<sub>0</sub></th>  <th>r<sub>1</sub></th>  <th>r<sub>2</sub></th>  <th>r<sub>3</sub></th>
<tr>
<tr>
   <td><b>r0</b></td> <td>r0</td>  <td>r1</td>  <td>r2</td>  <td>r3</td>   
   <td><b>r<sub>0</sub></b></td> <td>r<sub>0</sub></td>  <td>r<sub>1</sub></td>  <td>r<sub>2</sub></td>  <td>r<sub>3</sub></td>   
</tr>
</tr>
<tr>  
<tr>  
   <td><b>r1</b></td>  <td>r1</td>  <td>r2</td>  <td>r3</td>  <td>r0</td>
   <td><b>r<sub>1</sub></b></td>  <td>r<sub>1</sub></td>  <td>r<sub>2</sub></td>  <td>r<sub>3</sub></td>  <td>r<sub>0</sub></td>
</tr>
</tr>
<tr>  
<tr>  
   <td><b>r2</b></td>  <td>r2</td>  <td>r3</td>  <td>r0</td> <td>r1</td>
   <td><b>r<sub>2</sub></b></td>  <td>r<sub>2</sub></td>  <td>r<sub>3</sub></td>  <td>r<sub>0</sub></td> <td>r<sub>1</sub></td>
</tr>
</tr>
<tr>  
<tr>  
   <td><b>r3</b></td>  <td>r3</td>  <td>r0</td>  <td>r1</td>  <td>r2</td>
   <td><b>r<sub>3</sub></b></td>  <td>r<sub>3</sub></td>  <td>r<sub>0</sub></td>  <td>r<sub>1</sub></td>  <td>r<sub>2</sub></td>
</tr>
</tr>
</table>
</table>
Line 50: Line 56:




 
Many examples of groups come from considering some object and a set of bijective functions from the object to itself, which preserve some structure that this object has.
 
# The trivial group consisting of just one element.
# The group of order two,  which f.i. can be represented by addition [[modular arithmetic|modulo]] 2 or the set  {-1, 1} under multiplication.
# The group of order three.
# The [[cyclic group]] of order 4,  which can be represented by addition [[modular arithmetic|modulo]] 4. 
# The noncyclic group of order 4,  known as the "Klein [[viergruppe]]".  A simple physical model of this group is two separate on-off switches.
 
 
 
 
Many '''examples of groups''' come from considering some object and a set of bijective functions from the object to itself, which preserve some structure that this object has.


* [[Topological groups]]:
* [[Topological groups]]:

Revision as of 17:48, 28 November 2007

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
Catalogs [?]
 
An informational catalog, or several catalogs, about Group (mathematics).

The mathematical group concept represents a rather simple and natural generalization of common phenomena, so examples of groups are easily found, from all areas of mathematics.


Different classes of groups

Three different classes of groups are commonly studied:


Examples of finite discrete groups

  1. The trivial group consisting of just one element.
  2. The group of order two, which f.i. can be represented by addition modulo 2 or the set {-1, 1} under multiplication.
  3. The group of order three.
  4. The cyclic group of order 4, which can be represented by addition modulo 4.
  5. The noncyclic group of order 4, known as the "Klein viergruppe". A simple physical model of this group is two separate on-off switches.
Model of the cyclic group of order 4.
PD Image
Example of groups.
  • Let r1 be the act of turning the knob 1 step clockwise.
  • Let r2 be the act of turning the knob 2 steps clockwise.
  • Let r3 be the act of turning the know 3 steps clockwise.
  • Finally, let r0 be the act of just doing nothing.

It's easy to see the following:

  • Doing r1 and then r1 again gives the same result as doing r2.
  • Doing r1 and then r2 gives the same result as doing r3.
  • Doing r1 and then r3 gives the same result as doing nothing, i.e. r0.
  • ...


These results can be summarized in the following table:

* r0 r1 r2 r3
r0 r0 r1 r2 r3
r1 r1 r2 r3 r0
r2 r2 r3 r0 r1
r3 r3 r0 r1 r2


Many examples of groups come from considering some object and a set of bijective functions from the object to itself, which preserve some structure that this object has.