On certain closure operators defined by families of semiring morphisms
type: Item
instance of: scholarly article
title: On certain closure operators defined by families of semiring morphisms
zbMATH Open document ID: 0942.16056
author: Georg Karner
author: W. Kuich
published in: Journal of Algebra
publication date: 2000-05-25T00:00:00Z
review text: Let \((A,+,\cdot)\) be a continuous semiring and define the star \(a^*\) for every \(a\in A\) by \(a^*=\sum_{i\geq 0} a^i\) as usual. A subset \(\overline A\) of \(A\) is fully rationally closed if \(a^*\in\overline A\) for every \(a\in\overline A\), and \({\mathfrak{Rat}}(B)\) denotes the smallest fully rationally closed subsemiring of \(A\) containing \(B\subseteq A\). Moreover, let \(Q_\infty\) be some fixed countably infinite index set satisfying \(q_1,q_2\Rightarrow(q_1,q_2)\in Q_\infty\), and \(\mathfrak H\) a nonempty subfamily of the family of all morphisms \(h\colon A\to A^{Q\times Q}\), \(Q\subset Q_\infty\), \(Q\) finite. A subsemiring \(B\) of \(A\) is called \(\mathfrak H\)-closed if \(\{h(a)_{q_1,q_2}\mid a\in B,\;h\colon A\to A^{Q\times Q}\) in \({\mathfrak H},\;q_1,q_2\in Q\}\subseteq B\) and \({\mathfrak{Rat}}(B)=B\). Under certain conditions, such \(\mathfrak H\)-closed subsemirings \(B\) can be characterized by \({\mathfrak{Rat}}(A')\)-algebraic systems for some subset \(A'\subseteq A\). These results can be applied to formal power series to obtain strong ``normal forms'' for abstract families of power series and languages.
Mathematics Subject Classification ID: 16Y60
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1340600
zbMATH Keywords: complete semirings
zbMATH Keywords: continuous semirings
zbMATH Keywords: rationally closed semirings
zbMATH Keywords: semiring morphisms
zbMATH Keywords: formal power series
zbMATH Keywords: formal languages
zbMATH Keywords: normal forms
reviewed by: Udo Hebisch
MaRDI profile type: Publication
full work available at URL: jabr.1998.7782
OpenAlex ID: W2054749479
cites work: Q3859267
cites work: Q4089754
cites work: On limits in complete semirings
cites work: Q4942626
cites work: Q4699309
cites work: Q4371014
cites work: Monoides et semi-anneaux complets. (Complete monoids and semirings)
cites work: Matrix systems and principal cones of algebraic power series
cites work: The algebraic equivalent of AFL theory
cites work: Representations and complete semiring morphisms
cites work: Q4714446
cites work: Q3704880
cites work: Q4769119
cites work: Q3777490
DOI: 10.1006/JABR.1998.7782
Recommended article: Q4007170
Recommended article: On the semigroup of closure operations
Recommended article: On a certain relation for closure operation on a semigroup
Recommended article: Q3481958
Recommended article: Q5595200
Recommended article: Closure operators on algebras, and strongly regular algebras
Recommended article: Q5166586
Recommended article: Q4510438
Recommended article: Q5857013
Recommended article: Some Algebraic Structures Determined by Closure Operators
description: scientific article; zbMATH DE number 1340600