ON THE GEOMETRY OF THE CROSSED PRODUCT OF GROUPS

OpenAlex · İngilizce

For arbitrary monoids $A$ and $B$, a presentation for the restricted wreath product of $A$ by $B$ that is known as the semi-direct product of $A^{\oplus B}$ by $B$ has been widely studied. After that a presentation for the Zappa product of $A$ by $B$ was defined which can be thought as the mutual semidirect product of given these two monoids under a homomorphism $\psi : A \rightarrow \mathcal{T}(B)$ and an anti-homomorphism $\delta : B \rightarrow \mathcal{T}(A)$ into the full transformation monoid on $B$, respectively on $A$. As a next step of these above results, by considering the monoids $A^{\oplus B}$ and $B^{\oplus A}$, we first introduce an extended version (generalization) of the Zappa product and then we prove the existence of an implicit presentation for this new product. Furthermore we present some other outcomes of the main theories in terms of finite and infinite cases, and also in terms of groups. At the final part of this paper we point out some possible future problems related to this subject.