Source author record

Roman S. Gigoń

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
1topics
1close collaborators

Published work

2 publications

preprint2013arXiv

Completely inverse AG∗∗AG^{**}-groupoids

A completely inverse AG∗∗AG^{**}-groupoid is a groupoid satisfying the identities (xy)z=(zy)x(xy)z=(zy)x, x(yz)=y(xz)x(yz)=y(xz) and xx−1=x−1xxx^{-1}=x^{-1}x, where x−1x^{-1} is a unique inverse of xx, that is, x=(xx−1)xx=(xx^{-1})x and x−1=(x−1x)x−1x^{-1}=(x^{-1}x)x^{-1}. First we study some fundamental properties of such groupoids. Then we determine certain fundamental congruences on a completely inverse AG∗∗AG^{**}-groupoid; namely: the maximum idempotent-separating congruence, the least AGAG-group congruence and the least EE-unitary congruence. Finally, we investigate the complete lattice of congruences of a completely inverse AG∗∗AG^{**}-groupoids. In particular, we describe congruences on completely inverse AG∗∗AG^{**}-groupoids by their kernel and trace.

preprint2013arXiv

Congruences on completely inverse AG∗∗AG^{**}-groupoids

By a completely inverse AG∗∗AG^{**}-groupoid we mean an inverse AG∗∗AG^{**}-groupoid AA satisfying the identity xx−1=x−1xxx^{-1}=x^{-1}x, where x−1x^{-1} denotes a unique element of AA such that x=(xx−1)xx=(xx^{-1})x and x−1=(x−1x)x−1.x^{-1}=(x^{-1}x)x^{-1}. We show that the set of all idempotents of such groupoid forms a semilattice and the Green's relations H,L,R,D\mathcal{H,L, R,D} and J\mathcal{J} coincide on AA. The main result of this note says that any completely inverse AG∗∗AG^{**}-groupoid meets the famous Lallement's Lemma for regular semigroups. Finally, we show that the Green's relation H\mathcal{H} is both the least semilattice congruence and the maximum idempotent-separating congruence on any completely inverse AG∗∗AG^{**}-groupoid.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.