On $drl$-semigroups and $drl$-semirings
Čebyševskij sbornik, Tome 17 (2016) no. 4, pp. 167-179.

Voir la notice de l'article provenant de la source Math-Net.Ru

In the article $drl$-semirings are studied. The obtained results are true for $drl$-semigroups, because a $drl$-semigroup with zero multiplication is $drl$-semiring. This algebras are connected with the two problems: 1) there exists common abstraction which includes Boolean algebras and lattice ordered groups as special cases? (G. Birkhoff); 2) consider lattice ordered semirings (L. Fuchs). A possible construction obeying of the first problem is $drl$-semigroup, which was defined by K. L. N. Swamy in 1965. As a solution to the second problem, Rango Rao introduced the concept of $l$-semiring in 1981. We have proposed the name $drl$-semiring for this algebra. In the present paper the $drl$-semiring is the main object. Results of K. L. N. Swamy for $drl$-semigroups are extended and are improved in some case. It is known that any $drl$-semiring is the direct sum $S=L(S)\oplus R(S)$ of the positive to $drl$-semiring $L(S)$ and $l$-ring $R(S)$. We show the condition in which $L(S)$ contains the least and greatest elements (theorem 2). The necessary and sufficient conditions of decomposition of $drl$-semiring to direct sum of $l$-ring and Brouwerian lattice (Boolean algebra) are founded at theorem 3 (resp. theorem 4). Theorems 5 and 6 characterize $l$-ring and cancellative $drl$-semiring by using symmetric difference. Finally, we proof that a congruence on $drl$-semiring is Bourne relation. Bibliography: 11 titles.
Keywords: semiring, $drl$-semigroup, $drl$-semiring, lattice ordered ring.
@article{CHEB_2016_17_4_a12,
     author = {O. V. Chermnykh},
     title = {On $drl$-semigroups and $drl$-semirings},
     journal = {\v{C}eby\v{s}evskij sbornik},
     pages = {167--179},
     publisher = {mathdoc},
     volume = {17},
     number = {4},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/CHEB_2016_17_4_a12/}
}
TY  - JOUR
AU  - O. V. Chermnykh
TI  - On $drl$-semigroups and $drl$-semirings
JO  - Čebyševskij sbornik
PY  - 2016
SP  - 167
EP  - 179
VL  - 17
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CHEB_2016_17_4_a12/
LA  - ru
ID  - CHEB_2016_17_4_a12
ER  - 
%0 Journal Article
%A O. V. Chermnykh
%T On $drl$-semigroups and $drl$-semirings
%J Čebyševskij sbornik
%D 2016
%P 167-179
%V 17
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CHEB_2016_17_4_a12/
%G ru
%F CHEB_2016_17_4_a12
O. V. Chermnykh. On $drl$-semigroups and $drl$-semirings. Čebyševskij sbornik, Tome 17 (2016) no. 4, pp. 167-179. http://geodesic.mathdoc.fr/item/CHEB_2016_17_4_a12/

[1] Birkhoff G., Lattice theory, Am. Math. Colloquium Publications, 25, 1948 | MR | Zbl

[2] L. Fuchs, Partially ordered algebraic systems, Mir, M., 1965, 342 pp.

[3] Golan J. S., The theory of semirings with applications in mathematics and theoretical computer science, Longman scienific and tehnical, Harlow, 1992 | MR | Zbl

[4] Rao P. R., “Lattice ordered semirings”, Math. Sem. Notes, Kobe Univ., 9 (1981), 119–149 | MR | Zbl

[5] Swamy K. L. N., “Dually residuated lattice ordered semigroups”, Math. Ann., 159 (1965), 105–114 | DOI | MR | Zbl

[6] Swamy K. L. N., “Dually residuated lattice ordered semigroups, II”, Math. Ann., 160 (1965), 64–71 | DOI | MR | Zbl

[7] Swamy K. L. N., “Dually residuated lattice ordered semigroups, III”, Math. Ann., 167 (1966), 71–74 | DOI | MR | Zbl

[8] Ward M., Dilworth R. P., “Residuated lattices”, Trans. Am. Math. Soc., 45 (1939), 335–354 | DOI | MR

[9] Vorozhcova T. A., Chermnyh O. V., “Arifmeticheskie svojstva $drl$-polugrupp”, Matematicheskij vestnik pedvuzov i universitetov Volgo-Vjatskogo regiona, 16, Izd-vo OOO “Raduga-PRESS”, Kirov, 2014, 74–81

[10] Miklin A. V., Chermnyh V. V., “O $drl$"-polukol'cah”, Matematicheskij vestnik pedvuzov i universitetov Volgo-Vjatskogo regiona, 16, Izd-vo OOO “Raduga-PRESS”, Kirov, 2014, 87–95

[11] Kovar T., “Two remarks on dually residuated lattice ordered semigroups”, Math. Slovaka, 49:1 (1999), 17–18 | MR | Zbl