Recognizable formal series on trees and cofree coalgebraic systems
type: Item
instance of: scholarly article
title: Recognizable formal series on trees and cofree coalgebraic systems
zbMATH Open document ID: 0933.16040
author: Richard E. Block
author: Gary Griffing
published in: Journal of Algebra
publication date: 1999-10-05T00:00:00Z
review text: Let \(\Omega\) be a collection of sets, \(\Omega=\{\Omega_n\mid n\geq 0\}\), and \(F\) a field. A linear space \(A\) over \(F\) is an \(\Omega\)-coalgebra if for any \(\omega\in\Omega_n\) there is given a linear mapping \(A\to A^{\otimes n}\) which is also denoted by \(\omega\). Here \(A^{\otimes 0}=F\). This notion is a dual one to the definition of a multilinear \(\Omega\)-algebra in the sense of A. G. Kurosh. By a tree \(M\) the authors mean a free \(\Omega\)-algebra on a set \(X\) (free \(\Omega\)-magma). The linear span \(FM\) of \(M\) is a free multilinear \(\Omega\)-algebra on \(X\). A tree series is a mapping \(f\colon M\to F\). A tree series is recognizable if there exists a linear expansion of \(f\) to an \(FM\) such that \(\ker f\) contains an ideal of \(FM\) of finite codimension. Let \(\text{Rec}(\Omega)\) be the space of all recognizable trees. It is observed that \(\text{Rec}(\Omega)\) is an \(\Omega\)-coalgebra. One of the main results states that \(\text{Rec}(\Omega)\) is the cofree \(\Omega\)-coalgebra on \((FX)^*\). Moreover certain subcoalgebras of \(\text{Rec}(\Omega)\) form a cofree \(\Omega\)-coalgebra on \(FX\).
Mathematics Subject Classification ID: 16W30
Mathematics Subject Classification ID: 68Q70
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1309128
zbMATH Keywords: cofree coalgebras
zbMATH Keywords: languages
zbMATH Keywords: recognizable trees
zbMATH Keywords: recognizable tree series
reviewed by: Vyacheslav A. Artamonov
MaRDI profile type: Publication
full work available at URL: jabr.1998.7752
OpenAlex ID: W2014888672
cites work: Invariant radical splittings: a Hopf approach
cites work: Cofree coalgebras
cites work: Nonassociative coalgebras
cites work: LINEAR Ω-ALGEBRAS
cites work: Recognizable formal power series on trees
cites work: Q3994777
cites work: Commutative Hopf algebras, Lie coalgebras, and divided powers
cites work: Generalized dual coalgebras of algebras, with applications to cofree coalgebras
cites work: Constructions effectives sur les séries formelles d'arbres. (Effective constructions on formal tree series)
cites work: Effective construction of the syntactic algebra of a recognizable series on trees
cites work: Représentations matricielles des séries d'arbre reconnaissables
cites work: The rank of a formal tree power series
cites work: Q3323279
cites work: Koszul duality for operads
cites work: The cofree nonassociative coalgebra
cites work: A nonisomorphism theorem for cofree Lie coalgebras
cites work: Lie coalgebras
cites work: Q3134850
cites work: Q5590089
DOI: 10.1006/JABR.1998.7752
description: scientific article; zbMATH DE number 1309128