On certain closure operators defined by families of semiring morphisms

Citation
G. Karner et W. Kuich, On certain closure operators defined by families of semiring morphisms, J ALGEBRA, 217(1), 1999, pp. 1-20
Citations number
15
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF ALGEBRA
ISSN journal
00218693 → ACNP
Volume
217
Issue
1
Year of publication
1999
Pages
1 - 20
Database
ISI
SICI code
0021-8693(19990701)217:1<1:OCCODB>2.0.ZU;2-F
Abstract
Given a continuous semiring A and a collection h of semiring morphisms mapp ing the elements of A into finite matrices with entries in A we define h-cl osed semirings. These are fully rationally closed semirings that are closed under the following operation: each morphism in h maps an element of the h -closed semiring on a finite matrix whose entries are again in this h-close d semiring. h-closed semirings coincide under certain conditions with abstract families of elements. If they contain only algebraic elements over some A', A' subs et of or equal to A, then they are characterized by Rat(A')-algebraic syste ms of a specific form. The results are then applied to formal power series and formal languages. In particular, h-closed semirings are set in relation to abstract families of elements, power series, and languages. The results are strong "normal forms" for abstract families of power series and langua ges. (C) 1999 Academic Press.