Free products of inverse semigroups
HTML articles powered by AMS MathViewer
- by Peter R. Jones PDF
- Trans. Amer. Math. Soc. 282 (1984), 293-317 Request permission
Abstract:
A structure theorem is provided for the free product $S {\operatorname {inv}} T$ of inverse semigroups $S$ and $T$. Each element of $S {\operatorname {inv}} T$ is uniquely expressible in the form $\varepsilon (A)a$, where $A$ is a certain finite set of “left reduced” words and either $a = 1$ or $a = {a_1} \cdots {a_m}$ is a “reduced” word with $aa_m^{ - 1} \in A$. (The word ${a_1} \cdots {a_m}$ in $S {\operatorname {sgp}} T$ is called reduced if no letter is idempotent, and left reduced if exactly ${a_m}$ is idempotent; the notation $\varepsilon (A)$ stands for $\Pi \{ a{a^{ - 1}}: a \in A\}$.) Under a product remarkably similar to Scheiblich’s product for free inverse semigroups, the corresponding pairs $(A, a)$ form an inverse semigroup isomorphic with $S {\operatorname {inv}} T$. This description enables various properties of $S {\operatorname {inv}} T$ to be determined. For example $(S\:{\operatorname {inv}}\:T)\backslash (S \cup T)$ is always completely semisimple and each of its subgroups is isomorphic with a finite subgroup of $S$ or $T$. If neither $S$ nor $T$ has a zero then $(S\:{\operatorname {inv}}\:T)$ is fundamental, but in general fundamentality itself is not preserved.References
- George Grätzer, Universal algebra, 2nd ed., Springer-Verlag, New York-Heidelberg, 1979. MR 538623 T. E. Hall, Inverse and regular semigroups and amalgamation: a brief survey, Proc. Sympos. Regular Semigroups, Northern Illinois Univ., DeKalb, Ill., 1979, pp. 49-79.
- J. M. Howie, An introduction to semigroup theory, L. M. S. Monographs, No. 7, Academic Press [Harcourt Brace Jovanovich, Publishers], London-New York, 1976. MR 0466355
- P. R. Jones, A basis theorem for free inverse semigroups, J. Algebra 49 (1977), no. 1, 172–190. MR 466358, DOI 10.1016/0021-8693(77)90278-2
- P. R. Jones, Basis properties for inverse semigroups, J. Algebra 50 (1978), no. 1, 135–152. MR 466359, DOI 10.1016/0021-8693(78)90179-5
- Peter R. Jones, The Hopf property and $\textbf {K}$-free products of semigroups, Semigroup Forum 20 (1980), no. 4, 343–368. MR 583116, DOI 10.1007/BF02572694
- Peter R. Jones, A graphical representation for the free product of $E$-unitary inverse semigroups, Semigroup Forum 24 (1982), no. 2-3, 195–221. MR 650571, DOI 10.1007/BF02572768 N. Knox, On the inverse semigroup coproduct of an arbitrary nonempty collection of groups, Ph.D. Thesis, Tennessee State Univ., Nashville, Tennessee, 1974.
- D. B. McAlister, Inverse semigroups generated by a pair of subgroups, Proc. Roy. Soc. Edinburgh Sect. A 77 (1977), no. 1-2, 9–22. MR 450438, DOI 10.1017/S030821050001800X
- L. O’Carroll, Strongly $E$-reflexive inverse semigroups, Proc. Edinburgh Math. Soc. (2) 20 (1976/77), no. 4, 339–354. MR 453899, DOI 10.1017/S0013091500026584
- G. B. Preston, Inverse semigroups: some open questions, Proceedings of a Symposium on Inverse Semigroups and their Generalisations (Northern Illinois Univ., DeKalb, Ill., 1973) Northern Illinois Univ., DeKalb, Ill., 1973, pp. 122–139. MR 0414755
- H. E. Scheiblich, Free inverse semigroups, Proc. Amer. Math. Soc. 38 (1973), 1–7. MR 310093, DOI 10.1090/S0002-9939-1973-0310093-1
Additional Information
- © Copyright 1984 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 282 (1984), 293-317
- MSC: Primary 20M05
- DOI: https://doi.org/10.1090/S0002-9947-1984-0728714-X
- MathSciNet review: 728714