Locally Closed Semirings and Iteration Semirings

Abstract.Locally closed semirings, iteration semirings and Conway semirings play an important role in the algebraic theory of semirings and theoretical computer science. Z. ésik and W. Kuich showed that a locally closed commutative semiring is an iteration semiring (is also a Conway semiring). By study of polynomial semirings and matrix semirings, we obtain new expressions of certain polynomials and show that all matrix semirings over a locally closed semiring are also locally closed, and so a locally closed semiring (which need not be commutative) is an iteration semiring.

[1]  J. Conway.  Regular algebra and finite machines , 1971 .

[2]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[3]  I. Anderson,et al.  Graphs and Networks , 1981, The Mathematical Gazette.

[4]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[5]  Ki Hang Kim,et al.  Incline algebra and applications , 1984 .

[6]  Arto Salomaa,et al.  Semirings, Automata, Languages , 1985, EATCS Monographs on Theoretical Computer Science.

[7]  Fred W. Roush,et al.  Inclines of algebraic structures , 1995 .

[8]  Zoltán Ésik,et al.  Group Axioms for Iteration , 1999, Inf. Comput..

[9]  J. Golan.  Semirings and their applications , 1999 .

[10]  Zhao Xianzhong,et al.  $ {\cal L} $-subvarieties of the variety of idempotent semirings , 2001 .

[11]  Xianzhong Zhao,et al.  Idempotent semirings with a commutative additive reduct , 2002 .

[12]  Zoltán Ésik,et al.  Locally Closed Semirings , 2002 .