scholarly journals Trace functions on inverse semigroup algebras

1995 ◽  
Vol 52 (3) ◽  
pp. 359-372 ◽  
Author(s):  
D. Easdown ◽  
W.D. Munn
Keyword(s):  
Inverse Semigroup ◽  
Sufficient Conditions ◽  
Semigroup Algebra ◽  
Inverse Semigroups ◽  
Trace Function ◽  
Complex Field ◽  
Semigroup Algebras ◽  
Complex Conjugation ◽  
Necessary And Sufficient ◽  
Completely Semisimple

Let S be an inverse semigroup and let F be a subring of the complex field containing 1 and closed under complex conjugation. This paper concerns the existence of trace functions on F[S], the semigroup algebra of S over F. Necessary and sufficient conditions on S are found for the existence of a trace function on F[S] that takes positive integral values on the idempotents of S. Although F[S] does not always admit a trace function, a weaker form of linear functional is shown to exist for all choices of S. This is used to show that the natural involution on F[S] is special. It also leads to the construction of a trace function on F[S] for the case in which F is the real or complex field and S is completely semisimple of a type that includes countable free inverse semigroups.

Trace functions on the algebras of certain E-unitary inverse semigroups

1995 ◽  
Vol 125 (5) ◽  
pp. 1077-1084 ◽  
Author(s):  
M. J. Crabb ◽  
W. D. Munn
Keyword(s):  
Inverse Semigroup ◽  
Semigroup Algebra ◽  
Inverse Semigroups ◽  
Trace Function ◽  
Complex Field ◽  
Semigroup Algebras ◽  
Complex Conjugation ◽  
Arbitrary Rank

A construction is given for a trace function on the semigroup algebra of a certain type of E-unitary inverse semigroup over any subfield of the complex field that is closed under complex conjugation. In particular, the method applies to the semigroup algebras of free inverse semigroups of arbitrary rank.

Some completely semisimple HNN-extensions of inverse semigroups

2019 ◽  
Vol 30 (02) ◽  
pp. 217-243
Author(s):  
Mohammed Abu Ayyash ◽  
Alessandra Cherubini
Keyword(s):  
Inverse Semigroup ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Inverse Semigroups ◽  
Bicyclic Semigroup ◽  
Hnn Extensions ◽  
Necessary And Sufficient ◽  
Completely Semisimple

We give necessary and sufficient conditions in order that lower bounded HNN-extensions of inverse semigroups and HNN-extensions of finite inverse semigroups are completely semisimple semigroups. Since it is well known that an inverse semigroup is completely semisimple if and only if it does not contain a copy of the bicyclic semigroup, we first characterize such HNN-extensions containing a bicyclic subsemigroup making use of the special feature of their Schützenberger automata.

BICYCLIC SUBSEMIGROUPS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS

2010 ◽  
Vol 20 (01) ◽  
pp. 89-113 ◽  
Author(s):  
EMANUELE RODARO
Keyword(s):  
Inverse Semigroup ◽  
Free Product ◽  
Sufficient Conditions ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Inverse Semigroups ◽  
Amalgamated Free Product ◽  
Free Product With Amalgamation ◽  
Necessary And Sufficient ◽  
Completely Semisimple

It is well known that an inverse semigroup is completely semisimple if and only if it does not contain a copy of the bicyclic semigroup. We characterize the amalgams [S1, S2; U] of two finite inverse semigroups S1, S2whose free product with amalgamation is completely semisimple and we show that checking whether the amalgamated free product of finite inverse semigroups contains a bicyclic subsemigroup is decidable by means of a polynomial time algorithm with respect to max {|S1|,|S2|}. Moreover we consider amalgams of finite inverse semigroups respecting the [Formula: see text]-order proving that the free product with amalgamation is completely semisimple and we also provide necessary and sufficient conditions for the [Formula: see text]-classes to be finite.

scholarly journals A simplification of D'Alarcao's idempotent separating extensions of inverse semigroups

1978 ◽  
Vol 1 (3) ◽  
pp. 393-396
Author(s):  
Constance C. Edwards
Keyword(s):  
Inverse Semigroup ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Inverse Semigroups ◽  
Necessary And Sufficient

In [2] D'Alarcao states necessary and sufficient conditions for the attainment of an idempotent-separating extension of an inverse semigroup. To do this D'Alarcao needed essentially three mappings satisfying thirteen conditions. In this paper we show that one can achieve the same results with two mappings satisfying eight conditions.

On the Structure of Inverse Semigroup Amalgams

1997 ◽  
Vol 07 (05) ◽  
pp. 577-604 ◽  
Author(s):  
Paul Bennett
Keyword(s):  
Inverse Semigroup ◽  
Free Product ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Inverse Semigroups ◽  
Maximal Subgroups ◽  
Regular Semigroups ◽  
Endomorphism Monoids ◽  
Amalgamated Free Product ◽  
Necessary And Sufficient

This paper is the second of two papers devoted to the study of amalgamated free products of inverse semigroups. We use the characterization of the Schützenberger automata given previously by the author to obtain structural results and preservational properties of lower bounded amalgams. Haataja, Margolis and Meakin have shown that if [S1,S2;U is an amalgam of regular semigroups in which S1∩ S2=U is a full regular subsemigroup of S1 and S2, then the maximal subgroups of the amalgamated free product S1*U S2 may be described by the fundamental groups of certain bipartite graphs of groups. In this paper we show that the maximal subgroups of a lower bounded amalgam [S1,S2;U] are either isomorphic copies of subgroups of S1 and S2 or can be described by the same Bass-Serre theory characterization. It follows, as for the regular case, that if S1 and S2 are combinatorial, then the maximal subgroups of S1*U S2 are free. By studying the endomorphism monoids of the Schützenberger graphs we obtain a number of results concerning when inverse semigroup properties are preserved under the amalgamated free product construction. For example, necessary and sufficient conditions are given for S1*U S2 to be completely semisimple. Under a mild assumption we establish necessary and sufficient conditions for S1*U S2 to have finite ℛ-classes. This enables us to reprove a result of Cherubini, Meakin and Piochi on amalgams of free inverse semigroups. Finally we give sufficient conditions for S1*U S2 to be E-unitary.

scholarly journals Ideals of free inverse semigroups

1980 ◽  
Vol 30 (2) ◽  
pp. 157-167
Author(s):  
W. D. Munn
Keyword(s):  
Inverse Semigroup ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Inverse Semigroups ◽  
Proper Ideal ◽  
Principal Ideals ◽  
Free Inverse Semigroup ◽  
Necessary And Sufficient

AbstractIt is shown that no proper ideal of a free inverse semigroup is free and that every isomorphism between ideals is induced by a unique automorphism of the whole semigroup. In addition, necessary and sufficient conditions are given for two principal ideals to be isomorhic.

scholarly journals The Structure of 0-E-unitary inverse semigroups I: the monoid case

1999 ◽  
Vol 42 (3) ◽  
pp. 497-520 ◽  
Author(s):  
Mark V. Lawson
Keyword(s):  
Inverse Semigroup ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Inverse Semigroups ◽  
Structure Theory ◽  
Inverse Monoids ◽  
Necessary And Sufficient

This is the first of three papers in which we generalise the classical McAlister structure theory for E-unitary inverse semigroups to those 0-E-unitary inverse semigroups which admit a 0-restricted, idempotent pure prehomomorphism to a primitive inverse semigroup. In this paper, we concentrate on finding necessary and sufficient conditions for the existence of such prehomomorphisms in the case of 0-E-unitary inverse monoids. A class of inverse monoids which satisfy our conditions automatically are those which are unambiguous except at zero, such as the polycyclic monoids.

scholarly journals A NOTE ON THE HOWSON PROPERTY IN INVERSE SEMIGROUPS

2016 ◽  
Vol 94 (3) ◽  
pp. 457-463 ◽  
Author(s):  
PETER R. JONES
Keyword(s):  
Inverse Semigroup ◽  
Inverse Semigroups ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Finitely Generated ◽  
Necessary And Sufficient

An algebra has the Howson property if the intersection of any two finitely generated subalgebras is again finitely generated. A simple necessary and sufficient condition is given for the Howson property to hold on an inverse semigroup with finitely many idempotents. In addition, it is shown that any monogenic inverse semigroup has the Howson property.

THE FIRST COHOMOLOGY GROUP OF BANACH INVERSE SEMIGROUP ALGEBRAS WITH COEFFICIENTS IN -EMBEDDED BANACH BIMODULES

2019 ◽  
Vol 101 (3) ◽  
pp. 488-495
Author(s):  
HOGER GHAHRAMANI
Keyword(s):  
Banach Space ◽  
Inverse Semigroup ◽  
Cohomology Group ◽  
Semigroup Algebra ◽  
Semigroup Algebras ◽  
Mild Conditions ◽  
First Cohomology Group

Let $S$ be a discrete inverse semigroup, $l^{1}(S)$ the Banach semigroup algebra on $S$ and $\mathbb{X}$ a Banach $l^{1}(S)$-bimodule which is an $L$-embedded Banach space. We show that under some mild conditions ${\mathcal{H}}^{1}(l^{1}(S),\mathbb{X})=0$. We also provide an application of the main result.

scholarly journals Moore-Penrose inversion in complex contracted inverse semigroup algebras

1999 ◽  
Vol 66 (3) ◽  
pp. 297-302
Author(s):  
W. D. Munn
Keyword(s):  
Inverse Semigroup ◽  
Group Algebra ◽  
Semigroup Algebra ◽  
Semigroup Algebras ◽  
Locally Finite ◽  
Complex Group ◽  
Complex Group Algebra

AbstractIt is shown that every element of the complex contracted semigroup algebra of an inverse semigroup S = S0 has a Moore-Penrose inverse, with respect to the natural involution, if and only if S is locally finite. In particular, every element of a complex group algebra has such an inverse if and only if the group is locally finite.

Sign in / Sign up

Export Citation Format

Share Document