Isomorphisms of wreath products of monoids. I
type: Item
instance of: scholarly article
title: Isomorphisms of wreath products of monoids. I
zbMATH Open document ID: 0619.20047
DOI: 10.1007/BF02573100
published in: Semigroup Forum
publication date: 1987-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/134866
review text: Let S and A be monoids and X be a left S-act. F(X,A) denotes the set of all maps from X into A. On the set \({\mathcal A}=S\times F(X,A)\) a special multiplication can be defined, so that the set \({\mathcal A}\) becomes a monoid which is called the wreath product of the monoids S and A by the left S-act X and denoted by \({\mathcal A}=(S wr A| X)\). On (S wr \(A| X)\), there exists a congruence \(\tau\) defined by ((\(\alpha\),f), \((\beta,g))\in \tau \Leftrightarrow \alpha x=\beta x\) for all \(x\in X\) and \(f=g\). The monoid A is called a reduced wreath product if \({\mathcal A}\cong {\mathcal A}/\tau\). It is proved if \({\mathcal A}\) is a reduced wreath product and F is the free right A-act having the set X as generators, then \({\mathcal A}\) is isomorphic to a submonoid of \(End_ AF\). A left S-act X is called admissible if the following conditions are valid: 1) \(| X| \geq 2\); 2) (\(\forall x\in X:\lambda x=x)\Rightarrow \lambda =1_ S\); 3)\(\forall x\in X\exists !\lambda \in S\forall z\in X\) \((\lambda z=x)\); 4) \(\forall x,y,u,v\in X\) (x\(\neq y\Rightarrow \exists \alpha \in S\) \((\alpha x=u\) \& \(\alpha y=v))\). Let Y and Z be left acts over monoids U and V, respectively. A bijective map \(\pi\) : \(Y\to Z\) is called a semilinear isomorphism if there exists an isomorphism of monoids \(\phi\) : \(U\to V\) such that \(\pi (uy)=\phi (u)\pi (y)\) for all \(u\in U\), \(y\in Y\). The following result completes \textit{L. A. Skornyakov}'s [Universal Algebra and Applications, Banach Center Publ. 9, 181-185 (1982; Zbl 0507.20038)]: Let X and Y be admissible left acts over the monoids S and T, respectively, A and B be monoids. Then (S wr \(A| X)\cong (T wr B| Y)\) iff A and B are isomorphic monoids, and the S-act X and T-act Y are semilinearly isomorphic. It is shown that the assumptions of the admissibility of the acts are essential and for the admissible acts X and Y an isomorphism (S wr \(A| X)\cong (T wr B| Y)\) involves the isomorphism of the reduced …
Mathematics Subject Classification ID: 20M50
Mathematics Subject Classification ID: 20M15
zbMATH DE Number: 4004489
zbMATH Keywords: left S-act
zbMATH Keywords: wreath product
zbMATH Keywords: monoids
zbMATH Keywords: congruence
zbMATH Keywords: reduced wreath product
zbMATH Keywords: semilinear isomorphism
zbMATH Keywords: admissible left acts
zbMATH Keywords: automorphisms
author: Vladimir Fleischer
MaRDI profile type: Publication
cites work: Q5570933
cites work: Q4132170
cites work: Q5510798
cites work: Endomorphism monoids of free acts and O-wreath products of monoids. I. Annihilator properties
cites work: Embedding Theorems for Semigroups
cites work: Varieties of groups
cites work: Regularity of the wreath product of monoids
OpenAlex ID: W2086970417
description: scientific article; zbMATH DE number 4004489