On the Zappa-Szép product.

*(English)*Zbl 1078.20062The well-known direct product of two groups requires that both factors are normal in the product. This was generalized to the semidirect product in which one only of the factors is required to be normal. In 1942, Zappa introduced and developed the Zappa-Szép product in which neither factor is required to be normal. Many variations of the product were given and studied by Rédei and others and the products were used to discover properties of groups. Similar products in other settings were studied by Szép (1958, 1962). Through his work on a family of closely related groups, known as Thompson’s groups (whose structure as groups of fractions of monoids were mostly Zappa-Szép products of simpler monoids) led him to the fact that there is an intimate relation between Thompson’s groups and certain categories. This relationship is helped by the fact that the Zappa-Szép product works well with categories.

The author discovers that group-like properties such as associativity, fullness of multiplication, etc. can be assumed or removed and the Zappa-Szép product can still be used at some level. The paper is a record of the author’s observations on the Zappa-Szép properties that are needed to work with categories, monoids and groups of fractions of monoids.

The author discovers that group-like properties such as associativity, fullness of multiplication, etc. can be assumed or removed and the Zappa-Szép product can still be used at some level. The paper is a record of the author’s observations on the Zappa-Szép properties that are needed to work with categories, monoids and groups of fractions of monoids.

Reviewer: C. G. Chehata (Orlando)

##### MSC:

20N02 | Sets with a single binary operation (groupoids) |

20E22 | Extensions, wreath products, and other compositions of groups |

20M10 | General structure theory for semigroups |

20M50 | Connections of semigroups with homological algebra and category theory |

20L05 | Groupoids (i.e. small categories in which all morphisms are isomorphisms) |

##### References:

[1] | Benninghofen B., Systems of Reductions (1987) · Zbl 0636.68027 · doi:10.1007/3-540-18598-4 |

[2] | Brin, Matthew , G. ( 2004 ) . The algebra of strand splitting . I. The algebraic structure of the braided Thompson group Binghamton University , preprint . |

[3] | Cannon J. W., Enseign. Math. (2) 42 (3) pp 215– (1996) |

[4] | Casadio Giuseppina, Univ. Roma e Ist. Naz. Alta Mat. Rend. Mat. e Appl. (5) 2 pp 348– (1941) |

[5] | DOI: 10.1017/CBO9780511565878 · doi:10.1017/CBO9780511565878 |

[6] | Cohen Daniel E., Geometric Group Theory 1 pp 37– (1993) · doi:10.1017/CBO9780511661860.005 |

[7] | DOI: 10.1007/978-94-009-8399-1 · doi:10.1007/978-94-009-8399-1 |

[8] | Dershowitz Nachum, Handbook of Theoretical Computer Science pp 243– (1990) |

[9] | Huppert B., Endliche Gruppen 1 (1967) · Zbl 0217.07201 · doi:10.1007/978-3-642-64981-3 |

[10] | MacLane Saunders, Graduate Texts in Mathematics 5, in: Categories for the Working Mathematician (1971) · Zbl 0232.18001 |

[11] | DOI: 10.1017/CBO9780511613104 · doi:10.1017/CBO9780511613104 |

[12] | DOI: 10.2307/1968867 · Zbl 0060.12501 · doi:10.2307/1968867 |

[13] | DOI: 10.1515/crll.1950.188.201 · Zbl 0040.29902 · doi:10.1515/crll.1950.188.201 |

[14] | DOI: 10.1016/0022-4049(87)90129-0 · Zbl 0648.20045 · doi:10.1016/0022-4049(87)90129-0 |

[15] | Szép J., Acta Univ. Szeged. Sect. Sci. Math. 13 pp 239– (1950) |

[16] | Szép J., Acta Sci. Math. Szeged 19 pp 51– (1958) |

[17] | Szép J., Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) 32 pp 649– (1962) |

[18] | Zappa G., Atti Secondo Congresso Un. Mat. Ital., Bologna 1940 pp 119– (1942) |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.