2006/05/16 by Francesco Vaccarino, F. Vaccarino, Vaccarino, F.
Computer Science · Engineering · Mathematics · #05E05 #13A50 #16G99 #Advanced Numerical Analysis Techniques #Advanced Optimization Algorithms Research #Combinatorics (math.CO) #FOS: Mathematics #Polynomial and algebraic computation #Representation Theory (math.RT) #Rings and Algebras (math.RA) #math.CO #math.RA #math.RT #msc:05E05 #msc:13A50 #msc:16G99
paper · pdf · doi:10.48550/arxiv.math/0605443
Proof of Th 11.1 corrected. I would like to thank D.Rydh that found it was uncorrect. Some typos corrected. References added. 17 pages
openalex publication_date 2006/05/16 · arxiv created 2006/06/20 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
It is well known that over an infinite field the ring of symmetric functions in a finite number of variables is isomorphic to the one of polynomial functions on matrices that are invariants by the action of conjugation by general linear group. We generalize this result showing that the abelianization of the algebra of the symmetric tensors of fixed order over a free associative algebra is isomorphic to the algebra of the polynomials invariants of several matrices over an infinite field or the integers. While proving the main result we find generators and relations of abelianized divided powers of an algebra over any commutative ring.