zbMATH — the first resource for mathematics

Right ideals in a right distributive groupoid. (English) Zbl 0544.20052
Let G denote a groupoid, \(<G>\) denotes the groupoid generated by G under set product [e.g. \(GG^ 2\in<G>\) where \(GG^ 2=\{a(bc)| \quad a,b,c\in G\}],\) R(G) denotes the set of right ideals of G, and \(P(G)=\{G^ n|\) n is a positive integer} where \(x^{n+1}=x^ nx\) for \(x\in G\). It is well known that if G is a semigroup then: (i) R(G) is a semigroup under set product, (ii) \(<G>\subseteq R(G)\), (iii) \(<G>\) is totally ordered under inclusion. In general (i), (ii), (iii) are not true. However, in this paper, it is shown that if G is a right distributive groupoid [i.e. \((xy)z=(xz)(yz)]\) then R(G) is a right distributive groupoid and conditions (ii) and (iii) are satisfied. Examples indicate that, in general, \(P(G)\neq<G>\) and that \(<G>\) is right distributive does not imply G is right distributive (although the converse is true). The following are equivalent: (a) \(<G>\) is right distributive; (b) if \(Y,V\in<G>\) such that \(Y\neq G\) then \(YV=YG\) and \((GV)G=G^ 3\); if \(A,B,C\in<G>\), then \((AB)C=(AG)G\). Finally if \(<G>\) is right distributive the following conditions, on \(<G>\), are characterized: \(<G>=P(G)\), commutativity, associativity, distributivity (both sides).
20M10 General structure theory for semigroups
20M12 Ideal theory for semigroups
Full Text: DOI
[1] G. F. Birkenmeier,Exponentiation and the identity X 2 Y=(XY) 2, Comm. in Alg. 13 (1985), 681-695. · Zbl 0556.20053 · doi:10.1080/00927878508823185
[2] R. H. Bruck,A Survey of Binary Systems, 3rd ed., Springer-Verlag, New York, 1971. · Zbl 0206.30301
[3] A. H. Clifford andJ. B. Preston,The Algebraic Theory of Semigroups, Math. Surveys No. 7, Amer. Math. Soc., Vol. 1 (1961), Providence. · Zbl 0111.03403
[4] J. Jezek, T. Kepka andP. Nemec,Distributive Groupoids, Rozpravy Ceskoslovenske Akad. Ved, Rada Mat. Prirod. Ved, 91/3 (1981), Prague.
[5] T. Kepka,Notes on left distributive groupoids, Acta Univ. Carolinae Math. Phys.22 (2) (1981), 23-37. · Zbl 0517.20048
[6] T. Kepka,Distributive groupoids and preradicals II, Comment. Math. Univ. Carolinae24 (2), (1983), 199-209. · Zbl 0529.20057
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.