Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userTranslatability and translatable semigroups
181
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The concept of a k-translatable groupoid is explored in depth. Some properties of idempotent k-translatable groupoids, left cancellative k-translatable groupoids and left unitary k-translatable groupoids are proved. Necessary and sufficient conditions are found for a left cancellative k-translatable groupoid to be a semigroup. Any such semigroup is proved to be left unitary and a union of disjoint copies of cyclic groups of the same order. Methods of constructing k-translatable semigroups that are not left cancellative are given.
rate research
Read More
Any pentagonal quasigroup is proved to have the product xy = R(x)+y-R(y) where (Q,+) is an Abelian group, R is its regular automorphism satisfying R^4-R^3+R^2-R+1 = 0 and 1 is the identity mapping. All abelian groups of order n<100 inducing pentagonal quasigroups are determined. The variety of commutative, idempotent, medial groupoids satisfying the pentagonal identity (xy*x)y*x = y is proved to be the variety of commutative pentagonal quasigroups, whose spectrum is {11^n : n = 0,1,2,...}. We prove that the only translatable commutative pentagonal quasigroup is xy = (6x+6x)(mod11). The parastrophes of a pentagonal quasigroup are classified according to well-known types of idempotent translatable quasigroups. The translatability of a pentagonal quasigroup induced by the additive group Zn of integers modulo n and its automorphism R(x) = ax is proved to determine the value of a and the possible values of n.
The concept of a k-translatable groupoid is introduced. Those k-translatable quadratical quasigroups induced by the additive group of integers modulo m, where k<40, are listed for m<1200. The fine structure of quadratical quasigroups is explored in detail and the Cayley tables of quadratical quasigroups of orders 5, 9, 13 and 17 are produced. All but those of order 9 are k-translatable, for some k. Open questions and thoughts about future research in this area are given.
We prove the main result that a groupoid of order n is an idempotent k-translatable quasigroup if and only if its multiplication is given by x.y = (ax+by)(mod n), where a+b = 1(mod n), a+bk = 0(mod n) and (k,n)= 1. We describe the structure of various types of idempotent, k-translatable quasigroups, some of which are connected with affine geometry and combinatorial algebra, and their parastrophes. We prove that such parastrophes are also idempotent, translatable quasigroups and determine when they are of the same type as the original quasigroup. In addition, we find several different necessary and sufficient conditions making a k-translatable quasigroup quadratical.
Recent research of the author has given an explicit geometric description of free (two-sided) adequate semigroups and monoids, as sets of labelled directed trees under a natural combinatorial multiplication. In this paper we show that there are natural embeddings of each free right adequate and free left adequate semigroup or monoid into the corresponding free adequate semigroup or monoid. The corresponding classes of trees are easily described and the resulting geometric representation of free left adequate and free right adequate semigroups is even easier to understand than that in the two-sided case. We use it to establish some basic structural properties of free left and right adequate semigroups and monoids.
In this paper, we investigate *-DMP elements in $*$-semigroups and $*$-rings. The notion of *-DMP element was introduced by Patr{i}cio in 2004. An element $a$ is *-DMP if there exists a positive integer $m$ such that $a^{m}$ is EP. We first characterize *-DMP elements in terms of the {1,3}-inverse, Drazin inverse and pseudo core inverse, respectively. Then, we give the pseudo core decomposition utilizing the pseudo core inverse, which extends the core-EP decomposition introduced by Wang for matrices to an arbitrary $*$-ring; and this decomposition turns to be a useful tool to characterize *-DMP elements. Further, we extend Wangs core-EP order from matrices to $*$-rings and use it to investigate *-DMP elements. Finally, we give necessary and sufficient conditions for two elements $a,~b$ in $*$-rings to have $aa^{scriptsizetextcircled{tiny D}}=bb^{scriptsizetextcircled{tiny D}}$, which contribute to investigate *-DMP elements.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
