Difference between revisions of "Group"

Latest revision as of 11:03, 12 November 2023

A group $G$ is a set together with an operation $\cdot \,$ (the dot is frequently suppressed, so $ab$ is written instead of $a\cdot b$ ) satisfying the following conditions, known as the group axioms:

For all $a,b,c\in G$ , $a(bc)=(ab)c$ (associativity).
There exists an element $e\in G$ so that for all $g\in G$ , $ge=eg=g$ (identity).
For any $g\in G$ , there exists $g^{-1}\in G$ so that $gg^{-1}=g^{-1}g=e$ ( inverses).

(Equivalently, a group is a monoid with inverses.)

Note that the group operation need not be commutative. If the group operation is commutative, we call the group an abelian group (after the Norwegian mathematician Niels Henrik Abel). Also, the group operation may be additative, with $+$ being used to display the operation.

Groups may be written as $(G,\cdot)$ , G is a set and $\cdot$ is an operation. The order of $(G,\cdot)$ is the cardinality of G, the underlying set. The order of $(G,\cdot)$ is denoted as | $(G,\cdot)$ |. (Note: It is common to abuse notation by instead writing $G$ instead of the full notation. We will use $G$ instead.) If | $G$ | is finite, $G$ is a finite group. If not, $G$ is infinite.

Groups frequently arise as permutations or symmetries of collections of objects. For example, the rigid motions of $\mathbb{R}^2$ that fix a certain regular $n$ -gon is a group, called the dihedral group and denoted in some texts $D_{2n}$ (since it has $2n$ elements) and in others $D_n$ (since it preserves a regular $n$ -gon). Another example of a group is the symmetric group $S_n$ of all permutations of $\{1,2,\ldots,n\}$ .

@@ Line 1: / Line 1: @@
-{{stub}}
+A '''group''' <math>G</math> is a [[set]] together with an [[operation]] <math>\cdot \,</math>(the dot is frequently suppressed, so <math>ab</math> is written instead of <math>a\cdot b</math>) satisfying the following conditions, known as the group axioms:
-A '''group''' <math>G</math> is a [[set]] of elements together with an [[operation]] <math>\cdot:G\times G\to G</math> (the dot is frequently supressed) satisfying the following conditions:
 * For all <math>a,b,c\in G</math>, <math>a(bc)=(ab)c</math> ([[associative|associativity]]).
@@ Line 8: / Line 5: @@
 * For any <math>g\in G</math>, there exists <math>g^{-1}\in G</math> so that <math>gg^{-1}=g^{-1}g=e</math> ([[Inverse with respect to an operation | inverses]]).
-Groups frequently arise as [[permutation]]s of collections of objects. For example, the rigid motions of <math>\mathbb{R}^2</math> that fix a certain regular <math>n</math>-gon is a group, called the [[dihedral group]] and denoted <math>D_{2n}</math> (since it has <math>2n</math> elements). Another example of a group is the [[symmetric group]] <math>S_n</math> of all permutations of <math>\{1,2,\ldots,n\}</math>.
+(Equivalently, a group is a [[monoid]] with inverses.)
+Note that the group operation need not be [[commutative]].  If the group operation is commutative, we call the group an [[abelian group]] (after the Norwegian mathematician Niels Henrik Abel). Also, the group operation may be additative, with <math>+</math> being used to display the operation.
+Groups may be written as <math>(G,\cdot)</math>, G is a set and <math>\cdot</math> is an operation. The '''order''' of <math>(G,\cdot)</math> is the [[cardinality]] of G, the underlying set. The order of <math>(G,\cdot)</math> is denoted as |<math>(G,\cdot)</math>|. (Note: It is common to abuse notation by instead writing <math>G</math> instead of the full notation. We will use <math>G</math> instead.) If |<math>G</math>| is finite, <math>G</math> is a finite group. If not, <math>G</math> is infinite.
+Groups frequently arise as [[permutation]]s or symmetries of collections of objects.  For example, the rigid motions of <math>\mathbb{R}^2</math> that fix a certain regular <math>n</math>-gon is a group, called the [[dihedral group]] and denoted in some texts <math>D_{2n}</math> (since it has <math>2n</math> elements) and in others <math>D_n</math> (since it preserves a regular <math>n</math>-gon).  Another example of a group is the [[symmetric group]] <math>S_n</math> of all permutations of <math>\{1,2,\ldots,n\}</math>.
+==See Also==
+*[[Field]]
+*[[Ring]]
+*[[Group theory]]
+{{stub}}
-Related algebraic structures are [[ring]]s and [[field]]s.
+[[Category:Definition]]
+[[Category:Group theory]]

Page

Toolbox

Search

Difference between revisions of "Group"

Latest revision as of 11:03, 12 November 2023

See Also