Semigroup

related topics
{math, number, function}
{work, book, publish}
{language, word, form}
{math, energy, light}

A semigroup is an algebraic structure consisting of a set S together with an associative binary operation. In other words, a semigroup is an associative magma. The terminology is derived from the anterior notion of a group. A semigroup differs from a group in that for each of its elements there might not exist an inverse; further, there might not exist an identity element.

The binary operation of a semigroup is most often denoted multiplicatively: x \cdot y, or simply xy, denotes the result of applying the semigroup operation to the ordered pair (x,y).

The formal study of semigroups began in the early 20th century. Semigroups are important in many areas of mathematics because they are the abstract algebraic underpinning of "memoryless" systems: time-dependent systems that start from scratch at each iteration. In applied mathematics, semigroups are fundamental models for linear time-invariant systems. In partial differential equations, a semigroup is associated to any equation whose spatial evolution is independent of time. The theory of finite semigroups has been of particular importance in theoretical computer science since the 1950s because of the natural link between finite semigroups and finite automata. In probability theory, semigroups are associated with Markov processes (Feller 1971).

Contents

Definition

Full article ▸

related documents
Modular arithmetic
Filter (mathematics)
Homological algebra
Scope (programming)
XPath 1.0
Countable set
Tychonoff's theorem
Key size
Exclusive or
Complex analysis
Ordinary differential equation
Ultrafilter
Partition (number theory)
Normed vector space
Absolute convergence
Galois theory
Holomorphic function
Natural transformation
Gaussian quadrature
Sequence
Elliptic curve
J (programming language)
IEEE 754-1985
Ideal class group
Database normalization
Power series
Objective Caml
Natural logarithm
Gödel's completeness theorem
Linear combination