Right ideals in a right distributive groupoid
type: Item
instance of: scholarly article
title: Right ideals in a right distributive groupoid
zbMATH Open document ID: 0544.20052
DOI: 10.1007/BF01224016
author: G. F. Birkenmeier
published in: Algebra Universalis
publication date: 1986-01-01T00:00:00Z
review text: 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).
Mathematics Subject Classification ID: 20M10
Mathematics Subject Classification ID: 20M12
zbMATH DE Number: 3865590
zbMATH Keywords: right ideals
zbMATH Keywords: semigroup under set product
zbMATH Keywords: right distributive groupoid
MaRDI profile type: Publication
cites work: Exponentiation and the identity X2Y = (XY)2
cites work: Q5606623
cites work: Q3848243
cites work: Q3665341
cites work: Q3310840
description: scientific article; zbMATH DE number 3865590