|
|
|
Viewing Version
3
of
'semigroup'
|
[ view 'semigroup'
|
back to history
]
| Title of object: |
semigroup |
| Canonical Name: |
Semigroup |
| Type: |
Definition |
| Created on: |
2001-10-19 11:34:32 |
| Modified on: |
2005-04-24 22:38:37 |
| Classification: |
msc:20M99 |
Revision comment (for changes between this and next version):
| Changes for correction #6338 ('empty semigroup'). |
Preamble:
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic} |
Content:
A {\em semigroup} $G$ is a set together with a binary operation $\cdot: G \times G \longrightarrow G$ which satisfies the associative property: $(a \cdot b) \cdot c = a \cdot (b \cdot c)$ for all $a,b,c \in G$.
The set $G$ is not required to be nonempty. |
|
|
|
|
|
