Null semigroup

Null semigroup

In mathematics, a null semigroup (also called a zero semigroup) is a semigroup with an absorbing element, called zero, in which the product of any two elements is zero.[1] If every element of the semigroup is a left zero then the semigroup is called a left zero semigroup; a right zero semigroup is defined analogously.[2]

Contents

Null semigroup

Let S be a semigroup with zero element 0. Then S is called a null semigroup if the following condition is satisfied:

  • For all x, y in S we have xy = 0.

Cayley table for a null semigroup

Let S = { 0, a, b, c } be a null semigroup. Then the Cayley table for S is as given below:

Cayley table for a null semigroup
0 a b c
0 0 0 0 0
a 0 0 0 0
b 0 0 0 0
c 0 0 0 0

Left zero semigroup

A semigroup in which every element is a left zero element is called a left zero semigroup. Thus a semigroup S is a left zero semigroup if for all x and y in S we have xy = x.

Cayley table for a left zero semigroup

Let S = { a, b, c } be a left zero semigroup. Then the Cayley table for S is as given below:

Cayley table for a left zero semigroup
a b c
a a a a
b b b b
c c c c

Right zero semigroup

A semigroup in which every element is a right zero element is called a right zero semigroup. Thus a semigroup S is a right zero semigroup if for all x and y in S we have xy = y.

Cayley table for a right zero semigroup

Let S = { a, b, c } be a right zero semigroup. Then the Cayley table for S is as given below:

Cayley table for a right zero semigroup
a b c
a a b c
b a b c
c a b c

End note

"In spite of their triviality, these semigroups arise naturally in a number of investigations".[1]

References

  1. ^ a b A H Clifford; G B Preston (1964). The algebraic theory of semigroups Vol I. mathematical Surveys. 1 (2 ed.). American Mathematical Society. pp. 3–4. ISBN 978-0821802724. 
  2. ^ M. Kilp, U. Knauer, A.V. Mikhalev, Monoids, Acts and Categories with Applications to Wreath Products and Graphs, De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, ISBN 3110152487, p. 19

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Special classes of semigroups — In mathematics, a semigroup is a nonempty set together with an associative binary operation. A special class of semigroups is a class of semigroups satisfying additional properties or conditions. Thus the class of commutative semigroups consists… …   Wikipedia

  • Magma (algebra) — In abstract algebra, a magma (or groupoid; not to be confused with groupoids in category theory) is a basic kind of algebraic structure. Specifically, a magma consists of a set M equipped with a single binary operation . A binary operation is… …   Wikipedia

  • Distributed parameter system — A distributed parameter system (as opposed to a lumped parameter system) is a system whose state space is infinite dimensional. Such systems are therefore also known as infinite dimensional systems. Typical examples are systems described by… …   Wikipedia

  • Dirac delta function — Schematic representation of the Dirac delta function by a line surmounted by an arrow. The height of the arrow is usually used to specify the value of any multiplicative constant, which will give the area under the function. The other convention… …   Wikipedia

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • Matrix unit — In mathematics, a matrix unit is an idealisation of the concept of a matrix, with a focus on the algebraic properties of matrix multiplication. The topic is comparatively obscure within linear algebra, because it entirely ignores the numeric… …   Wikipedia

  • Moore–Penrose pseudoinverse — In mathematics, and in particular linear algebra, a pseudoinverse A+ of a matrix A is a generalization of the inverse matrix.[1] The most widely known type of matrix pseudoinverse is the Moore–Penrose pseudoinverse, which was independently… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Initial and terminal objects — Terminal element redirects here. For the project management concept, see work breakdown structure. In category theory, an abstract branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”