(adsbygoogle = window.adsbygoogle || []).push({}); Definition/Summary

A group is a set S with a binary operation S*S -> S that is associative, that has an identity element, and that has an inverse for every element, thus making it a monoid with inverses, or a semigroup with an identity and inverses.

The number of elements of a group is called its order, and the minimum power of an element that will yield the identity is that element's order. The identity's order is 1, and every other group element's order is greater.

Equations

Associativity: [itex]\forall a,b,c \in S ,\ (a \cdot b) \cdot c = a \cdot (b \cdot c) [/itex]

Identity e: [itex]\forall a \in S,\ e \cdot a = a \cdot e = a [/itex]

Inverse: [itex]\forall a \in S,\ \exists a^{-1} \in S,\ a \cdot a^{-1} = a^{-1} \cdot a = e [/itex]

Extended explanation

The smallest nonempty group is the identity group, with set {e} and operation e*e = e.

As a simple example of what one can do in group theory, let us prove by construction that the equations a*x = b and b*x = a both have unique solutions for x in terms of a and b.

a^{-1}*a*x = e*x = x = a^{-1}*b

and

x*a*a^{-1}= x*e = x = b*a^{-1}

One can also show that there is exactly one idempotent element, the identity, and no zeros (absorbing elements).

* This entry is from our old Library feature. If you know who wrote it, please let us know so we can attribute a writer. Thanks!

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# What is a group

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - group | Date |
---|---|

B Index numbers vs. Quantity in a group | Oct 13, 2017 |

Insights Groups and Geometry - Comments | Jun 30, 2016 |

I Help with proofs in general | May 12, 2016 |

I Group theory | Apr 18, 2016 |

I C2 rotation in group theory | Mar 27, 2016 |

**Physics Forums - The Fusion of Science and Community**