GetWiki
semigroup with involution
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
semigroup with involution
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, whichâroughly speakingâbrings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group: - the content below is remote from Wikipedia
- it has been imported raw for GetWiki
- Uniqueness
- Double application “cancelling itself out”.
- The same interaction law with the binary operation as in the case of the group inverse.
Formal definition
Let S be a semigroup with its binary operation written multiplicatively. An involution in S is a unary operation * on S (or, a transformation * : S â S, x ⦠x*) satisfying the following conditions:- For all x in S, (x) = x.
- For all x, y in S we have (xy) = yx.
Examples
- If S is a commutative semigroup then the identity map of S is an involution.
- If S is a group then the inversion map : S â S defined by x = xâ1 is an involution. Furthermore, on an abelian group both this map and the one from the previous example are involutions satisfying the axioms of semigroup with involution.BOOK, C. van den Berg, J. P. R. Christensen, P. Ressel, Harmonic Analysis on Semigroups: Theory of Positive Definite and Related Functions, 2012, Springer Science & Business Media, 978-1-4612-1128-0, 87â88,
- If S is an inverse semigroup then the inversion map is an involution which leaves the idempotents invariant. As noted in the previous example, 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; for example the identity map on a commutative regular, hence inverse, semigroup, in particular, an abelian group. A regular semigroup is an inverse semigroup if and only if it admits an involution under which each idempotent is an invariant.Munn, Lemma 1
- Underlying every C-algebra is a -semigroup. An important instance is the algebra M’n(C) of n-by-n matrices over C’’’, with the conjugate transpose as involution.
- {{anchor|ex5}} If X is a set, the set of all binary relations on X is a -semigroup with the given by the converse relation, and the multiplication given by the usual composition of relations. This is an example of a -semigroup which is not a regular semigroup.
- {{anchor|ex6}} If X is a set, then the set of all finite sequences (or strings) of members of X forms a free monoid under the operation of concatenation of sequences, with sequence reversal as an involution.
- {{anchor|ex7}} A rectangular band on a Cartesian product of a set A with itself, i.e. with elements from A Ã A, with the semigroup product defined as (a, b)(c, d) = (a, d), with the involution being the order reversal of the elements of a pair (a, b) = (b, a). This semigroup is also a regular semigroup, as all bands are.Nordahl and Scheiblich
Basic concepts and properties
An element x of a semigroup with involution is sometimes called hermitian (by analogy with a Hermitian matrix) when it is left invariant by the involution, meaning x* = x. Elements of the form xx* or x*x are always hermitian, and so are all powers of a hermitian element. As noted in the examples section, a semigroup S is an inverse semigroup if and only if S is a regular semigroup and admits an involution such that every idempotent is hermitian.Easdown, David, and W. D. Munn. “On semigroups with involution.” Bulletin of the Australian Mathematical Society 48.01 (1993): 93â100.Certain basic concepts may be defined on *-semigroups in a way that parallels the notions stemming from a regular element in a semigroup. A partial isometry is an element s such that ss*s = s; the set of partial isometries of a semigroup S is usually abbreviated PI(S).Lawson, p. 116 A projection is an idempotent element e that is also hermitian, meaning that 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.Lawson, p. 117Partial isometries can be partially ordered by s ⤠t defined as holding whenever s = ss*t and ss* = ss*tt*. Equivalently, s ⤠t 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*.Lawson, p. 118Examples
In terms of examples for these notions, in the *-semigroup of binary relations on a set, the partial isometries are the relations that are difunctional. The projections in this *-semigroup are the partial equivalence relations.Lawson p.122 and p.35The partial isometries in a C*-algebra are exactly those defined in this section. In the case of M’n(C) more can be said. If E and F are projections, then E ⤠F if and only if imE â imF. For any two projection, if E â© F = 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 M’n(C) form an inverse semigroup with the product A(A^*Awedge BB^*)B.Lawson p.120Another simple example of these notions appears in the next section.Notions of regularity
There are two related, but not identical notions of regularity in *-semigroups. They were introduced nearly simultaneously by Nordahl & Scheiblich (1978) and respectively Drazin (1979).Crvenkovic and DolinkaRegular *-semigroups (Nordahl & Scheiblich)
As mentioned in the previous examples, inverse semigroups are a subclass of *-semigroups. It is also textbook knowledge that an inverse semigroup can be characterized as a regular semigroup in which any two idempotents commute. In 1963, Boris M. Schein showed that the following two axioms provide an analogous characterization of inverse semigroups as a subvariety of *-semigroups:- x = xxx
- (xx)(xx) = (xx)(xx)
P-systems
The problem of characterizing when a regular semigroup is a regular *-semigroup (in the sense of Nordahl & Scheiblich) was addressed by M. Yamada (1982). He defined 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:- For any a in S, there exists a unique a° in V(a) such that aa° and a°a are in F(S)
- 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
- For any a, b in F(S), ab is in E(S); note: not necessarily in F(S)
*-regular semigroups (Drazin)
{{anchor|Drazin}}{{expand section|clarify motivation for studying these|date=April 2015}}A semigroup S with an involution * is called a *-regular semigroup (in the sense of Drazin) 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 {{nowrap|1=xâ²xxâ² = xâ²}}, {{nowrap|1=xxâ²x = x}}, {{nowrap|1=(xxâ²)* = xxâ²}}, {{nowrap|1=(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.One motivation for studying these semigroups is that they allow generalizing the MooreâPenrose inverse’s properties from {{tmath|R }} and {{tmath|C }} to more general sets.In the multiplicative semigroup M’n(C) of square matrices of order n, the map which assigns a matrix A to its Hermitian conjugate A* is an involution. The semigroup M’n(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.Free semigroup with involution
As with all varieties, the category of semigroups with involution admits free objects. The construction of a free semigroup (or monoid) with involution is based on that of a free semigroup (and respectively that of a free monoid). Moreover, the construction of a free group can easily be derived by refining the construction of a free monoid with involution.Lawson p. 51The generators of a free semigroup with involution are the elements of the union of two (equinumerous) disjoint sets in bijective correspondence: Y=Xsqcup X^dagger. (Here the notation sqcup, emphasized that the union is actually a disjoint union.) In the case were the two sets are finite, their union Y is sometimes called an alphabet with involutionBOOK, Andrzej Ehrenfeucht, T. Harju, Grzegorz Rozenberg, The Theory of 2-structures: A Framework for Decomposition and Transformation of Graphs, 1999, World Scientific, 978-981-02-4042-4, 13â14, or a symmetric alphabet.BOOK, Elements of Automata Theory, Cambridge University Press, 305â306, Jacques Sakarovitch, Let theta:Xrightarrow X^dagger be a bijection; theta is naturally extended to a bijection { }dagger: Y to Y essentially by taking the disjoint union of theta (as a set) with its inverse, or in piecewise notation:BOOK, Stephen Lipscomb, Symmetric Inverse Semigroups, 1996, American Mathematical Soc., 978-0-8218-0627-2, 86,
y^dagger =
begin{cases}
theta(y) & text{if } y in X
theta^{-1}(y) & text{if } y in X^dagger
end{cases}Now construct Y^+, as the free semigroup on Y, in the usual way with the binary (semigroup) operation on Y^+, being concatenation:
theta^{-1}(y) & text{if } y in X^dagger
w = w_1w_2 cdots w_k in Y^+ for some letters w_iin Y.
The bijection dagger on Y is then extended as a bijection { }^dagger:Y^+rightarrow Y^+ defined as the string reversal of the elements of Y^+, that consist of more than one letter:
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^+,. Thus, the semigroup (Xsqcup X^dagger)^+ with the map { }^dagger, is a semigroup with involution, called a free semigroup with involution on X.Lawson p. 172 (The irrelevance of the concrete identity of X^dagger and of the bijection theta in this choice of terminology is explained below in terms of the universal property of the construction.) Note that unlike in Example 6, the involution of every letter is a distinct element in an alphabet with involution, and consequently the same observation extends to a free semigroup with involution.If in the above construction instead of Y^+, we use the free monoid Y^*=Y^+cup{varepsilon}, which is just the free semigroup extended with the empty word varepsilon, (which is the identity element of the monoid Y^*,), and suitably extend the involution with varepsilon^dagger = varepsilon,we obtain a free monoid with involution.The construction above is actually the only way to extend a given map theta, from X, to X^dagger,, to an involution on Y^+, (and likewise on Y^*,). The qualifier “free” for these constructions is justified in the usual sense that they are universal constructions. In the case of the free semigroup with involution, given an arbitrary semigroup with involution S, and a map Phi:Xrightarrow S, then a semigroup homomorphism overlinePhi:(Xsqcup X^dagger)^+rightarrow S exists such that Phi = iota circ overlinePhi, where iota : X rightarrow (Xsqcup X^dagger)^+ is the inclusion map and composition of functions is taken in diagram order. The construction of (Xsqcup X^dagger)^+ as a semigroup with involution is unique up to isomorphism. An analogous argument holds for the free monoid with involution in terms of monoid homomorphisms and the uniqueness up to isomorphism of the construction of (Xsqcup X^dagger)^* as a monoid with involution.The construction of a free group is not very far off from that of a free monoid with involution. The additional ingredient needed is to define a notion of reduced word and a rewriting rule for producing such words simply by deleting any adjacent pairs of letter of the form xx^dagger or x^dagger x. It can be shown than the order of rewriting (deleting) such pairs does not matter, i.e. any order of deletions produces the same result. (Otherwise put, these rules define a confluent rewriting system.) Equivalently, a free group is constructed from a free monoid with involution by taking the quotient of the latter by the congruence { (yy^dagger, varepsilon) : yin Y}, which is sometimes called the Dyck congruenceâin a certain sense it generalizes Dyck language to multiple kinds of “parentheses” However simplification in the Dyck congruence takes place regardless of order. For example, if “)” is the inverse of “(”, then ()=)(=varepsilon; the one-sided congruence that appears in the Dyck language proper { (xx^dagger, varepsilon) : xin X}, which instantiates only to ()=varepsilon is (perhaps confusingly) called the Shamir congruence. The quotient of a free monoid with involution by the Shamir congruence is not a group, but a monoid ; nevertheless it has been called the free half group by its first discovererâEli Shamirâalthough more recently it has been called the involutive monoid generated by X.BOOK, Manfred Droste, Werner Kuich, Heiko Vogler, Handbook of Weighted Automata, 2009, Springer, 978-3-642-01492-5, 271, Ion Petre, Arto Salomaa, Algebraic Systems and Pushdown Automata, (This latter choice of terminology conflicts however with the use of “involutive” to denote any semigroup with involutionâa practice also encountered in the literature.BOOK, Karl-Hermann Neeb, Holomorphy and Convexity in Lie Theory, 2000, Walter de Gruyter, 978-3-11-015669-0, 21, BOOK, Enrico G. Beltrametti, Gianni Cassinelli, The Logic of Quantum Mechanics, 2010, 1981, Cambridge University Press, 978-0-521-16849-6, 178, )Baer *-semigroups
{{expand section|date=April 2015}}A Baer *-semigroup is a *-semigroup with (two-sided) zero in which the right annihilator of every element coincides with the right ideal of some projection; this property is expressed formally as: for all x â S there exists a projection e such that
{ y â S | xy = 0 } = eS.
The projection e is in fact uniquely determined by x.More recently, Baer *-semigroups have been also called Foulis semigroups, after David James Foulis who studied them in depth.Harding, John. “Daggers, Kernels, Baer *-Semigroups, and Orthomodularity”. Journal of Philosophical Logic. 6 April 2013. {{doi|10.1007/s10992-013-9275-5}}Examples and applications
The set of all binary relations on a set (from example 5) is a Baer *-semigroup.Foulis, D. J. Relative inverses in Baer *-semigroups. Michigan Math. J. 10 (1963), no. 1, 65â84. {{doi|10.1307/mmj/1028998825}}.Baer *-semigroups are also encountered in quantum mechanics, in particular as the multiplicative semigroups of Baer *-rings.If H is a Hilbert space, then the multiplicative semigroup of all bounded operators on H is a Baer *-semigroup. The involution in this case maps an operator to its adjoint.Baer *-semigroup allow the coordinatization of orthomodular lattices.BOOK, T.S. Blyth, Lattices and Ordered Algebraic Structures, 2006, Springer Science & Business Media, 978-1-84628-127-3, 101â102,See also
- Dagger category (aka category with involution) â generalizes the notion
- -algebra
- Special classes of semigroups
Notes
{{Reflist}}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, PhD 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
- S. Crvenkovic and Igor Dolinka, “Varieties of involution semigroups and involution semirings: a survey”, Bulletin of the Society of Mathematicians of Banja Luka Vol. 9 (2002), 7â47.
- {{PlanetMath attribution|id=8283|title=Free semigroup with involution}}
- content above as imported from Wikipedia
- "semigroup with involution" does not exist on GetWiki (yet)
- time: 9:07am EDT - Wed, May 22 2024
- "semigroup with involution" does not exist on GetWiki (yet)
- time: 9:07am EDT - Wed, May 22 2024
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 21 MAY 2024
The Illusion of Choice
Culture
Culture
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
© 2024 M.R.M. PARROTT | ALL RIGHTS RESERVED