Varieties of formal series on trees and Eilenberg's theorem (Q1111587): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q216237 |
||
Property / reviewed by | |||
Property / reviewed by: Daniel Krob / rank | |||
Revision as of 23:43, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Varieties of formal series on trees and Eilenberg's theorem |
scientific article |
Statements
Varieties of formal series on trees and Eilenberg's theorem (English)
0 references
1988
0 references
The authors prove a tree series version of Eilenberg's correspondence between varieties of languages and varieties of monoïds. More precisely, for each field K, they introduce the category \(K\)-\(\Sigma\)- Alg\({}_{fin}\) whose objects are (\(\Sigma\),\({\mathcal A})\), where \(\Sigma\) a ranked alphabet and \({\mathcal A}^ a \Sigma\)-algebra, which is also a finite dimensional K-vector space, satisfying an additional property. Then they define the notion of (E,M)-variety in \(K\)-\(\Sigma\)- Alg\({}_{fin}\), where E and M are appropriate classes of epimorphisms and monomorphisms in this category. And, finally, they prove that there is a bijection between varieties of tree series over K and (E,M)- varieties in \(K\)-\(\Sigma\)-Alg\({}_{fin}\).
0 references
syntactic algebra
0 references
tree series version of Eilenberg's correspondence between varieties of languages and varieties of monoïds
0 references
(E,M)- variety
0 references