Previous |  Up |  Next

Article

Keywords:
modes; Szendrei modes; subreducts; semimodules; equational theory
Summary:
We prove a theorem describing the equational theory of all modes of a fixed type. We use this result to show that a free mode with at least one basic operation of arity at least three, over a set of cardinality at least two, does not satisfy identities selected by 'A. Szendrei in {\it Identities satisfied by convex linear forms\/}, Algebra Universalis {\bf 12} (1981), 103--122, that hold in any subreduct of a semimodule over a commutative semiring. This gives a negative answer to the question raised by A. Romanowska: Is it true that each mode is a subreduct of some semimodule over a commutative semiring?
References:
[1] Burris S., Sankappanavar H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics 78, Springer, New York-Berlin, 1981; http://www.math.uwaterloo.ca/$^\sim $snburris/htdocs/ualg.html. MR 0648287 | Zbl 0478.08001
[2] Dojer N.: Clones of modes. Contributions to General Algebra 16 (2005), 75-84. MR 2166947 | Zbl 1089.08004
[3] Golan J.S.: The Theory of Semirings with Applications in Mathematics and Theoretical Computer Science. Longman Scientific & Technical, Harlow, 1992. MR 1163371 | Zbl 0780.16036
[4] Ježek J., Kepka T.: Medial Groupoids. Rozpravy ČSAV 93/2, Academia, Praha, 1983. MR 0734873
[5] Ježek J., Kepka T.: Linear equational theories and semimodule representations. Internat. J. Algebra Comput. 8 (1998), 599-615. MR 1675018
[6] Romanowska A.B.: Semi-affine modes and modals. Sci. Math. Jpn. 61 (2005), 159-194. MR 2111551 | Zbl 1067.08001
[7] Romanowska A.B., Smith J.D.H.: Modes. World Scientific, Singapore, 2002. MR 1932199 | Zbl 1060.08009
[8] Szendrei À.: Identities satisfied by convex linear forms. Algebra Universalis 12 (1981), 103-122. MR 0608653 | Zbl 0458.08006
Partner of
EuDML logo