Related papers: Groupoids of left quotients
Right feeble groups are defined as groupoids $(X,*)$ such that (i) $x, y\in X$ implies the existence of $a, b \in X$ such that $a*x = y$ and $b*y = x$. Furthermore, (ii) if $x, y, z \in X$ then there is an element $w\in X$ such that…
Suppose that $G$ is a groupoid with binary operation $\otimes$. The pair $(G,\otimes)$ is said to be a gyrogroup if the operation $\otimes$ has a left identity, each element $a \in G$ has a left inverse and the gyroassociative law and the…
We study the categorical properties of right-preordered groups, giving an explicit description of limits and colimits in this category, and studying some exactness properties. We show that, from an algebraic point of view, the category of…
Suppose that $(T,\star)$ is a groupoid with a left identity such that each element $a\in T$ has a left inverse. Then $T$ is called a \textit{gyrogroup} if and only if $(i)$ there exists a function $gyr:T\times T\longrightarrow Aut(T)$ such…
We study P-groupoids that arise from certain decompositions of complete graphs. We show that left distributive P-groupoids are distributive, quasigroups. We characterize P-groupoids when the corresponding decomposition is a Hamiltonian…
Let $G$ be a finite group and $G'$ its commutator subgroup. By a sequence over $G$, we mean a finite unordered sequence of terms from $G$, where repetition is allowed, and we say that it is a product-one sequence if its terms can be ordered…
It is well-known that $QI(\mathbb{R})\cong(QI(\mathbb{R}_{+})\times QI(\mathbb{R}_{-}))\rtimes <t>$, where $QI(\mathbb{R})$(resp. $QI(\mathbb{R}_{+})(\cong QI(\mathbb{R_-}))$) is the group of quasi-isometries of the real line (resp.…
We introduce locally involutive semigroups and embed them into the category of ordered groupoids. This embedding restricts to a correspondence between quasi-involutive semigroups and ordered groupoids with mediator, extending the classical…
Much study has been done on semigroups which are unions of groups. There are several ways in which a union of groups can be made into a semigroup in which each of the component groups arises as subgroups of the constructed semigroup. An…
Inspired by the work of Paterson on $C^{\ast}$-algebras of directed graphs, we show how to associate a groupoid $\mathfrak{G}_{\mathcal{G}}$ to an ultragraph $\mathcal{G}$ in such a way that the $C^*$-algebra of $\mathfrak{G}_{\mathcal{G}}$…
Suppose $\mathcal{G}$ is a second-countable locally compact Hausdorff \'{e}tale groupoid, $G$ is a discrete group containing a unital subsemigroup $P$, and $c:\mathcal{G}\rightarrow G$ is a continuous cocycle. We derive conditions on the…
For a groupoid $S$ with elements $a$ and $b$, if $ba = a$, then $b$ is a left identity of $a$ and $a$ is a right zero of $b$. We define the left identity set of $a$ to be the set of all left identities of $a$ in $S$, and similarly for the…
Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…
A left-order on a group $G$ is a total order $<$ on $G$ such that for any $f$, $g$ and $h$ in $G$ we have $f < g \Leftrightarrow hf < hg$. We construct a finitely generated subgroup $G$ of $\operatorname{Homeo} (I^2;\delta I^2)$, the group…
An AG-groupoid is an algebraic structure that satisfies the left invertive law: (ab)c =(cb)a. We prove that the class of left transitive AG-groupoids (AG-groupoids satisfying the identity, ab.ac = bc) coincides with the class of…
In this paper, we classify all finite groups $G$ which have the following property: for all subsets $A \subseteq G$, we have $|AA^{-1}| = |A^{-1}A|$. This question is motivated by the problem in additive combinatorics of More Sums Than…
In this paper we develop an ideal structure theory for the class of left reductive regular semigroups and apply it to several subclasses of popular interest. In these classes we observe that the right ideal structure of the semigroup is…
A left almost semigroup (LA-semigroup) or an Abel-Grassmann's groupoid (AG-groupoid) is investigated in several papers. In this paper we have discussed ideals in LA-semigroups. Specifically, we have shown that every ideal in an LA-semigroup…
A semigroupoid is a set equipped with a partially defined associative operation. Given a semigroupoid \Lambda we construct a C*-algebra C*(\Lambda) from it. We then present two main examples of semigroupoids, namely the Markov semigroupoid…
When a semigroup has a unary operation, it is possible to define two binary operations, namely, left and right division. In addition it is well known that groups can be defined in terms of those two divisions. The aim of this paper is to…