Symmetric polynomials and non-finitely generated $Sym (\mathbb N)$-invariant ideals
Authors:
Eudes Antonio da Costa,
Alexei Krasilnikov
Abstract:
Let $K$ be a field and let $\mathbb N = \{1,2, \dots \}$. Let $R_n=K[x_{ij} \mid 1\le i\le n, j\in \mathbb N]$ be the ring of polynomials in $x_{ij}$ $(1 \le i \le n, j \in \mathbb N)$ over $K$. Let $S_n = Sym (\{1,2, \ldots, n \})$ and $Sym (\mathbb N)$ be the groups of the permutations of the sets $\{1,2,\dots, n \}$ and $\mathbb N$, respectively. Then $S_n$ and $Sym (\mathbb N)$ act on $R_n$ in…
▽ More
Let $K$ be a field and let $\mathbb N = \{1,2, \dots \}$. Let $R_n=K[x_{ij} \mid 1\le i\le n, j\in \mathbb N]$ be the ring of polynomials in $x_{ij}$ $(1 \le i \le n, j \in \mathbb N)$ over $K$. Let $S_n = Sym (\{1,2, \ldots, n \})$ and $Sym (\mathbb N)$ be the groups of the permutations of the sets $\{1,2,\dots, n \}$ and $\mathbb N$, respectively. Then $S_n$ and $Sym (\mathbb N)$ act on $R_n$ in a natural way: $τ(x_{ij})=x_{τ(i)j}$ and $σ(x_{ij})=x_{iσ(j)}$ for all $τ\in S_n$ and $σ\in Sym(\mathbb N)$. Let $\overline{R}_n$ be the subalgebra of the symmetric polynomials in $R_n$, \[ \overline{R}_n = \{f \in R_n \mid τ(f) = f \mbox{for each} τ\in S_n \} . \] In 1992 the second author proved that if $char (K)= 0$ or $char(K)=p > n$ then every $Sym (\mathbb N)$-invariant ideal in $\overline{R}_n$ is finitely generated (as such). In this note we prove that this is not the case if $char (K)=p\le n$.
We also survey some results about $Sym (\mathbb N)$-invariant ideals in polynomial algebras and some related results.
△ Less
Submitted 28 October, 2013;
originally announced October 2013.
Relations in universal Lie nilpotent associative algebras of class 4
Authors:
Eudes Antonio da Costa,
Alexei Krasilnikov
Abstract:
Let $K$ be a unital associative and commutative ring and let $K \langle X \rangle$ be the free unital associative $K$-algebra on a non-empty set $X$ of free generators. Define a left-normed commutator $[a_1, a_2, \dots , a_n]$ inductively by $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots , a_{n-1}, a_n] = [[a_1, \dots , a_{n-1}], a_n]$ $(n \ge 3)$. For $n \ge 2$, let $T^{(n)}$ be the two-sided ide…
▽ More
Let $K$ be a unital associative and commutative ring and let $K \langle X \rangle$ be the free unital associative $K$-algebra on a non-empty set $X$ of free generators. Define a left-normed commutator $[a_1, a_2, \dots , a_n]$ inductively by $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots , a_{n-1}, a_n] = [[a_1, \dots , a_{n-1}], a_n]$ $(n \ge 3)$. For $n \ge 2$, let $T^{(n)}$ be the two-sided ideal in $K \langle X \rangle$ generated by all commutators $[a_1,a_2, \dots , a_n]$ $( a_i \in K \langle X \rangle )$.
It can be easily seen that the ideal $T^{(2)}$ is generated (as a two-sided ideal in $K \langle X \rangle$) by the commutators $[x_1, x_2]$ $(x_i \in X)$. It is well-known that $T^{(3)}$ is generated by the polynomials $[x_1,x_2,x_3]$ and $[x_1,x_2][x_3,x_4] + [x_1,x_3][x_2,x_4]$ $(x_i \in X)$. A similar generating set for $T^{(4)}$ contains 3 types of polynomials in $x_i \in X$ if $\frac{1}{3} \in K$ and 5 types if $\frac{1}{3} \notin K$. In the present article we exhibit a generating set for $T^{(5)}$ that contains 8 types of polynomials in $x_i \in X$.
△ Less
Submitted 2 December, 2015; v1 submitted 18 June, 2013;
originally announced June 2013.