Semigroup with involution

Semigroup with involution

In mathematics, in semigroup theory, an involution in a semigroup is a transformation of the semigroup which is its own inverse and which is an anti-automorphism of the semigroup. A semigroup in which an involution is defined is called a semigroup with involution. In the multiplicative semigroup of real square matrices of order n, the map which sends a matrix to its transpose is an involution. In the free semigroup generated by a nonempty set the operation which reverses the order of the letters in a word is an involution. A semigroup with an involution is also called a *– semigroup.

Contents

Formal definition

Let S be a semigroup. An involution in S is a unary operation * on S (or, a transformation * : SS, xx*) satisfying the following conditions:

  1. For all x in S, (x*)* = x.
  2. For all x, y in S we have ( xy )* = y*x*.

The semigroup S with the involution * is called a semigroup with involution.

Examples

  1. If S is a commutative semigroup then the identity map of S is an involution.
  2. If S is a group then the inversion map * : SS defined by x* = x−1 is an involution.
  3. If S is an inverse semigroup then the inversion map is an involution which leaves the idempotents invariant. The inversion map is not necessarily the only map with this property in an inverse semigroup; there may well be other involutions that leave all idempotents invariant. A regular semigroup is an inverse semigroup if and only if it admits an involution under which each idempotent is an invariant.[1]
  4. Underlying every C*-algebra is a *-semigroup. An important instance is the algebra Mn(C) of n-by-n matrices over C .
  5. If X is a set, the set of all binary relations on X is a *-semigroup with the * given by the inverse relation, and the multiplication given by the usual composition of relations.

Basic concepts and properties

Certain basic concepts may be defined on *-semigroups in a way that parallels the notions stemming from a (von Neumann) regular element in a semigroup. A partial isometry is an element s when ss*s = s; the set of partial isometries is usually abbreviated PI(S). A projection is an idempotent element e that is fixed by the involution, i.e. ee = e and e* = e. Every projection is a partial isometry, and for every partial isometry s, s*s and ss* are projections. If e and f are projections, then e = ef if and only if e = fe.

Partial isometries can be partially ordered by st if and only if s = ss*t and ss* = ss*tt*. Equivalently, st if and only if s = et and e = ett* for some projection e. In a *-semigroup, PI(S) is an ordered groupoid with the partial product given by s•t = st if s*s = tt*.

The partial isometries in a C*-algebra are exactly those defined in this section. In the case of Mn(C) more can be said. If E and F are projections, then EF if and only if imE ⊆ imF. For any two projection, if EF = V, then the unique projection J with image V and kernel the orthogonal complement of V is the meet of E and F. Since projections form a meet-semilattice, the partial isometries on Mn(C) form an inverse semigroup with the product A(A^*A\wedge BB^*)B.[2]

* – regular semigroups

A semigroup S with an involution * is called a * – regular semigroup if for every x in S, x* is H-equivalent to some inverse of x, where H is the Green’s relation H. This defining property can be formulated in several equivalent ways. Another is to say that every L-class contains a projection. An axiomatic definition is the condition that for every x in S there exists an element x’ such that x’xx’ = x’, xx’x = x, ( xx’ )* = xx’, ( x’x )* = x’x. Michael P. Drazin first proved that given x, the element x’ satisfying these axioms is unique. It is called the Moore–Penrose inverse of x. This agrees with the classical definition of the Moore–Penrose inverse of a square matrix. In the multiplicative semigroup Mn ( C ) of square matrices of order n, the map which assigns a matrix A to its Hermitian conjugate A* is an involution. The semigroup Mn ( C ) is a * – regular semigroup with this involution. The Moore–Penrose inverse of A in this * – regular semigroup is the classical Moore–Penrose inverse of A.

P-systems

An interesting question is to characterize when a regular semigroup is a *-regular semigroup. The following characterization was given by M. Yamada. Define a P-system F(S) as subset of the idempotents of S, denoted as usual by E(S). Using the usual notation V(a) for the inverses of a, F(S) needs to satisfy the following axioms:

  1. For any a in S, there exists a unique a° in V(a) such that aa° and a°a are in F(S)
  2. For any a in S, and b in F(S), a°ba is in F(S), where ° is the well-defined operation from the previous axiom
  3. For any a, b in F(S), ab is in E(S); note: not necessarily in F(S)

A regular semigroup S is a *-regular semigroup, as defined by Nordahl & Scheiblich, if and only if it has a p-system F(S). In this case F(S) is the set of projections of S with respect to the operation ° defined by F(S). In an inverse semigroup the entire semilattice of idempotents is a p-system. Also, if a regular semigroup S has a p-system that is multiplicatively closed (i.e. subsemigroup), then S is an inverse semigroup. Thus, a p-system may be regarded as a generalization of the semilattice of idempotents of an inverse semigroup.

Free semigroup with involution

Let X,X^\dagger be two disjoint sets in bijective correspondence given by the map

^\dagger:X\rightarrow X^\dagger.

Denote by (here we use \sqcup\, instead of \cup\, to remind that the union is actually a disjoint union)

Y=X\sqcup X^\dagger

and by Y^+\, the free semigroup on Y\,. We can extend the map { }^\dagger\, to a map

{ }^\dagger:Y^+\rightarrow Y^+

in the following way: given

w = w_1w_2 \cdots w_k \in Y^+ for some letters w_i\in Y

then we define

w^\dagger=w_k^\dagger w_{k-1}^\dagger \cdots w_{2}^\dagger w_{1}^\dagger.

This map is an involution on the semigroup Y^+\,. This is the only way to extend the map { }^\dagger\, from X\, to X^\dagger\,, to an involution on Y^+\,.

Thus, the semigroup (X\sqcup X^\dagger)^+ with the map { }^\dagger\, is a semigroup with involution. Moreover, it is the free semigroup with involution on X\, in the sense that it solves the following universal problem: given a semigroup with involution S\, and a map

\Phi:X\rightarrow S,

a semigroup homomorphism

\overline\Phi:(X\sqcup X^\dagger)^+\rightarrow S

exists such that

\Phi = \iota \circ \overline\Phi

where

\iota : X \rightarrow (X\sqcup X^\dagger)^+

is the inclusion map and composition of functions is taken in the diagram order. It is well known from universal algebra that (X\sqcup X^\ddagger)^+ is unique up to isomorphisms.

If we use Y^*\, instead of Y^+\,, where

Y^*=Y^+\cup\{\varepsilon\}

where \varepsilon\, is the empty word (the identity of the monoid Y^*\,), we obtain a monoid with involution (X\sqcup X^\dagger)^* that is the free monoid with involution on X\,.

See also

Notes

  1. ^ Munn, Lemma 1
  2. ^ Lawson p.120

References

  • Mark V. Lawson (1998). "Inverse semigroups: the theory of partial symmetries". World Scientific ISBN 981-02-3316-7
  • D J Foulis (1958). Involution Semigroups, Ph.D. Thesis, Tulane University, New Orleans, LA. Publications of D.J. Foulis (Accessed on 5 May 2009)
  • W.D. Munn, Special Involutions, in A.H. Clifford, K.H. Hofmann, M.W. Mislove, Semigroup theory and its applications: proceedings of the 1994 conference commemorating the work of Alfred H. Clifford, Cambridge University Press, 1996, ISBN 0521576695. This is a recent survey article on semigroup with (special) involution
  • Drazin, M.P., Regular semigroups with involution, Proc. Symp. on Regular Semigroups (DeKalb, 1979), 29–46
  • Nordahl, T.E., and H.E. Scheiblich, Regular * Semigroups, Semigroup Forum, 16(1978), 369–377.
  • Miyuki Yamada, P-systems in regular semigroups, Semigroup Forum, 24(1), December 1982, pp. 173–187

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Inverse semigroup — In mathematics, an inverse semigroup S is a semigroup in which every element x in S has a unique inverse y in S in the sense that x = xyx and y = yxy. Inverse semigroups appear in a range of contexts; for example, they can be employed in the… …   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

  • 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

  • Binary relation — Relation (mathematics) redirects here. For a more general notion of relation, see Finitary relation. For a more combinatorial viewpoint, see Theory of relations. In mathematics, a binary relation on a set A is a collection of ordered pairs of… …   Wikipedia

  • Inverse relation — In mathematics, the inverse relation of a binary relation is the relation that occurs when you switch the order of the elements in the relation. For example, the inverse of the relation child of is the relation parent of . In formal… …   Wikipedia

  • Composition of relations — In mathematics, the composition of binary relations is a concept of forming a new relation S ∘ R from two given relations R and S, having as its most well known special case the composition of functions. Contents 1 Definition 2 Properties 3 J …   Wikipedia

  • Inverse element — In abstract algebra, the idea of an inverse element generalises the concept of a negation, in relation to addition, and a reciprocal, in relation to multiplication. The intuition is of an element that can undo the effect of combination with… …   Wikipedia

  • Presentation of a monoid — In algebra, a presentation of a monoid (or semigroup) is a description of a monoid (or semigroup) in terms of a set Sigma; of generators and a set of relations on the free monoid Sigma; lowast; (or free semigroup Sigma;+) generated by Sigma;. The …   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

  • Symmetric group — Not to be confused with Symmetry group. A Cayley graph of the symmetric group S4 …   Wikipedia

Share the article and excerpts

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