×

On generators and presentations of semidirect products in inverse semigroups. (English) Zbl 1179.20051

The paper under review is concerned with combinatorial properties of semidirect products such as finite generation and finite presentability. Let \((Y,\wedge)\) be a semilattice and \((G,.)\) be a group acting on \(Y\). The authors give necessary and sufficient conditions under which \(S=Y\rtimes G\) is finitely generated, in terms of finite generations of the group \(G\) and the semilattice \(Y\) and a condition regarding maximal elements of \(Y\). They then consider finite presentability of this semidirect product and prove that \(S=Y\rtimes G\) is finitely presented as an inverse semigroup if and only if \(G\) is finitely presented, \(Y\) is finitely presented as an inverse semigroup with respect to the action of \(G\) and \(Y\) satisfies the maximum condition. The authors finish their paper by giving two examples to illustrate their main results.

MSC:

20M05 Free semigroups, generators and relations, word problems
20M18 Inverse semigroups
20M30 Representation of semigroups; actions of semigroups on sets
Full Text: DOI

References:

[1] DOI: 10.1017/S1446788700037976 · Zbl 1156.20050 · doi:10.1017/S1446788700037976
[2] DOI: 10.1007/s10011-000-0083-4 · Zbl 0963.20030 · doi:10.1007/s10011-000-0083-4
[3] DOI: 10.1006/jabr.1997.7389 · Zbl 0914.20051 · doi:10.1006/jabr.1997.7389
[4] DOI: 10.1016/S0021-8693(03)00311-9 · Zbl 1040.20046 · doi:10.1016/S0021-8693(03)00311-9
[5] Lawson, The Theory of Partial Symmetries (1998) · Zbl 1079.20505
[6] DOI: 10.1090/S0002-9947-98-02074-1 · Zbl 0934.20038 · doi:10.1090/S0002-9947-98-02074-1
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.