Group (mathematics)/Catalogs: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Ragnar Schroder
(→‎Examples of finite discrete groups: smaller pic, html coded text)
imported>Peter Schmitt
m (Examples of groups moved to Group (mathematics)/Catalogs: Let's move this to Group/Catalogs for the time beeing. Group and Group theory need cleaning up)
 
(9 intermediate revisions by 3 users not shown)
Line 13: Line 13:


===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%;"
|'''Illustration of the [[cyclic group]] of order 4.'''
[[Image:Examplesofgroups-onebutton.gif|right|Example of groups]]


*Let r1 be the act of turning the knob 1 step clockwise.
# The trivial group consisting of just one element.
*Let r2 be the act of turning the knob 2 steps clockwise.
# The group of order two,  which f.i. can be represented by addition [[modular arithmetic|modulo]] 2 or the set  {-1, 1} under multiplication.
*Let r3 be the act of turning the know 3 steps clockwise.
# 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.
 
 
===Some physical models===
 
Some common physical objects provide excellent introductions to [[group theory]].
 
 
{|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|350px| Example of group Z4.}}
 
*Let r<sub>1</sub> be the act of turning the knob 1 step clockwise.
*Let r<sub>2</sub> be the act of turning the knob 2 steps clockwise.
*Let r<sub>3</sub> be the act of turning the knob 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>.
 
*...
...




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>
|}
|}


{|align="center" cellpadding="10" style="background-color:lightgray; width:75%; border: 1px solid #aaa; margin:2px; font-size: 90%;"
|'''Model of the non-cyclic group of order 4.'''
[[Image:Examplesofgroups-Z2xZ2.gif|right|thumb|350px|{{#ifexist:Template:Examplesofgroups-Z4.gif/credit|{{Examplesofgroups-Z4.gif/credit}}<br/>|}} Example of group Z2 x Z2.]]


*Let r<sub>01</sub> be the act of flipping the right button.
*Let r<sub>10</sub> be the act of flipping the left button.
*Let r<sub>11</sub> be the act of flipping both buttons.
*Finally,  let r<sub>00</sub> be the act of just doing nothing.


It's easy to see the following:
*Doing r<sub>01</sub> and then r<sub>01</sub> again gives the same result as doing r<sub>00</sub>, i.e. nothing.
*Doing r<sub>01</sub> and then r<sub>10</sub>  gives the same result as doing r<sub>11</sub>.
*Doing r<sub>01</sub> and then r<sub>11</sub>  gives the same result as doing r<sub>10</sub>.
*...


# The trivial group consisting of just one element.
These results can be summarized in the following table:
# The group of order two,  which f.i. can be represented by addition [[modular arithmetic|modulo]] 2 or the set  {-1, 1} under multiplication.
<table>
# The group of order three.
<th>*</th> <th>r<sub>00</sub></th> <th>r<sub>01</sub></th> <th>r<sub>10</sub></th> <th>r<sub>11</sub></th>
# 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.


<tr>
  <td><b>r<sub>00</sub></b></td> <td>r<sub>00</sub></td> <td>r<sub>01</sub></td>  <td>r<sub>10</sub></td>  <td>r<sub>11</sub></td> 
</tr>
<tr>
  <td><b>r<sub>01</sub></b></td> <td>r<sub>01</sub></td>  <td>r<sub>00</sub></td>  <td>r<sub>11</sub></td>  <td>r<sub>10</sub></td> 
</tr>
<tr>
  <td><b>r<sub>10</sub></b></td>  <td>r<sub>10</sub></td>  <td>r<sub>11</sub></td>  <td>r<sub>00</sub></td>  <td>r<sub>01</sub></td>
</tr>
<tr>
  <td><b>r<sub>11</sub></b></td>  <td>r<sub>11</sub></td>  <td>r<sub>10</sub></td>  <td>r<sub>01</sub></td> <td>r<sub>00</sub></td>
</tr>
</table>
|}






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.
Many examples of groups come from considering some object and a set of [[bijective function]]s from the object to itself, which preserve some structure that this object has.


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

Latest revision as of 09:52, 15 September 2009

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.


Some physical models

Some common physical objects provide excellent introductions to group theory.


Model of the cyclic group of order 4.
PD Image
Example of group Z4.
  • 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 knob 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
Model of the non-cyclic group of order 4.
PD Image
Example of group Z2 x Z2.
  • Let r01 be the act of flipping the right button.
  • Let r10 be the act of flipping the left button.
  • Let r11 be the act of flipping both buttons.
  • Finally, let r00 be the act of just doing nothing.

It's easy to see the following:

  • Doing r01 and then r01 again gives the same result as doing r00, i.e. nothing.
  • Doing r01 and then r10 gives the same result as doing r11.
  • Doing r01 and then r11 gives the same result as doing r10.
  • ...

These results can be summarized in the following table:

* r00 r01 r10 r11
r00 r00 r01 r10 r11
r01 r01 r00 r11 r10
r10 r10 r11 r00 r01
r11 r11 r10 r01 r00


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.