Zappa–Szép products of Garside monoids
A monoid K is the internal Zappa–Szép product of two submonoids, if every element of K admits a unique factorisation as the product of one element of each of the submonoids in a given order. This definition yields actions of the submonoids on each other, which we show to be structure preserving. We prove that K is a Garside monoid if and only if both of the submonoids are Garside monoids. In this case, these factors are parabolic submonoids of K and the Garside structure of K can be described in terms of the Garside structures of the factors. We give explicit isomorphisms between the lattice structures of K and the product of the lattice structures on the factors that respect the Garside normal forms. In particular, we obtain explicit natural bijections between the normal form language of K and the product of the normal form languages of its factors.
Mathematics Subject ClassificationPrimary 20F36 Secondary 20M13 06F05
- 7.Dehornoy, P., Digne, F., Godelle, E., Krammer, D., Jean, M.: Foundations of Garside Theory. EMS Tracts in Mathematics. European Mathematical Society. http://www.math.unicaen.fr/~garside (2014)
- 13.Picantin, M.: Petits groupes gaussiens. PhD thesis, Université de Caen (2000)Google Scholar
- 16.Szép, J.: On the structure of groups which can be represented as the product of two subgroups. Acta Sci. Math. Szeged 12(Leopoldo Fejer et Frederico Riesz LXX annos natis dedicatus, Pars A), 57–61 (1950)Google Scholar
- 20.Zappa, G.: Sulla costruzione dei gruppi prodotto di due dati sottogruppi permutabili tra loro. In: Atti Secondo Congresso Un. Mat. Ital., Bologna, 1940, pp. 119–125. Edizioni Cremonense, Rome (1942)Google Scholar