Top
Back: Groebner bases for two-sided ideals in free associative algebras
Forward: Example of use of Letterplace
FastBack: Super-commutative algebras
FastForward: Non-commutative libraries
Up: LETTERPLACE
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.6.3 Letterplace correspondence

We utilize the ideas of Feynmann and Rota and encode the monomials (words) of the free algebra $x_{i_1} x_{i_2} \dots x_{i_m} \in K\langle x_1,\ldots,x_n \rangle$ via the double-indexed letterplace (that is encoding the letter (= variable) and its place in the word) monomials $x(i_1 \vert 1) x(i_2 \vert 2) \dots x(i_m \vert m) \in K[X\times N]$, where $X=\{x_1,\ldots,x_n\}$ and $N$ is the monoid of natural numbers, starting with 0 which cannot be used as a place.

Note, that the latter letterplace algebra $K[X \times N]$ is an infinitely generated commutative polynomial algebra. Since $K<$ $x_1$,..., $x_n$ $>$ is not Noetherian, it is common to perform the computations up to a given degree. In that case the truncated letterplace algebra is (a) finitely generated (commutative ring).

Indeed, there is 1-to-1 correspondence between graded two-sided ideals of a free algebra and so-called letterplace ideals in the letterplace algebra, see [LL]. All the computations take place in the latter algebra. A letterplace ideal is a subset of a special vector space $V$, which is spanned by all letterplace monomials. A letterplace monomial of length m is a monomial of a letterplace algebra, such that its m places are exactly 1,2,..., $m$. That is a multilinearity with respect to places occur.


Top Back: Groebner bases for two-sided ideals in free associative algebras Forward: Example of use of Letterplace FastBack: Super-commutative algebras FastForward: Non-commutative libraries Up: LETTERPLACE Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-0, Mar 2009, generated by texi2html.