Multi-linear iterative K-Sigma-semialgebras

Details Multi-linear iterative K-Sigma-semialgebras Multi-linear iterative K-Sigma-semialgebras

2011-02-15

arxiv.org/abs/1102.3106v2

Computer Science

Discrete Mathematics

Scientific paper

We consider $K$-semialgebras for a commutative semiring $K$ that are at the same time $\Sigma$-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over such an algebra, then we call it an iterative multi-linear $K$-$\Sigma$-semialgebra. Examples of such algebras include the algebras of $\Sigma$-tree series over an alphabet $A$ with coefficients in $K$, and the algebra of all rational tree series. We show that for many commutative semirings $K$, the rational $\Sigma$-tree series over $A$ with coefficients in $K$ form the free multi-linear iterative $K$-$\Sigma$-semialgebra on $A$.

Affiliated with

Also associated with

No associations

Rating

Multi-linear iterative K-Sigma-semialgebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Multi-linear iterative K-Sigma-semialgebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Multi-linear iterative K-Sigma-semialgebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-378619