Source author record

Alexei Krasilnikov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA

Catalog footprint

Research overview

5works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2014arXiv

The subalgebra of graded central polynomials of an associative algebra

Let $F$ be a field and let $F \langle X \rangle$ be the free unital associative $F$ -algebra on the free generating set $X = \{ x_1, x_2, \dots \}$ . A subalgebra (a vector subspace) $V$ in $F \langle X \rangle$ is called a $T$ -subalgebra (a $T$ -subspace) if $ϕ(V) \subseteq V$ for all endomorphisms $ϕ$ of $F \langle X \rangle$ . For an algebra $G$ , its central polynomials form a $T$ -subalgebra $C(G)$ in $F \langle X \rangle$ . Over a field of characteristic $p > 2$ there are algebras $G$ whose algebras of all central polynomials $C (G)$ are not finitely generated as $T$ -subspaces in $F \langle X \rangle$ . However, no example of an algebra $G$ such that $C(G)$ is not finitely generated as a $T$ -subalgebra is known yet. In the present paper we construct the first example of a $2$ -graded unital associative algebra $B$ over a field of characteristic $p>2$ whose algebra $C_2 (B)$ of all $2$ -graded central polynomials is not finitely generated as a $T_2$ -subalgebra in the free $2$ -graded unital associative $F$ -algebra $F \langle Y,Z \rangle$ . Here $Y = \{ y_1, y_2, \dots \}$ and $Z = \{ z_1, z_2, \dots \}$ are sets of even and odd free generators of $F \langle Y,Z \rangle$ , respectively. We hope that our example will help to construct an algebra $G$ whose algebra $C(G)$ of (ordinary) central polynomials is not finitely generated as a $T$ -subalgebra in $F \langle X \rangle$ .

preprint2013arXiv

Symmetric polynomials and non-finitely generated $Sym (\mathbb N)$ -invariant ideals

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.

preprint2013arXiv

The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3

Let $\mathbb Z \langle X \rangle$ be the free unital associative ring freely generated by an infinite countable set $X = \{ x_1,x_2, \dots \}$ . Define a left-normed commutator $[x_1,x_2, \dots, x_n]$ by $[a,b] = ab - ba$ , $[a,b,c] = [[a,b],c]$ . For $n \ge 2$ , let $T^{(n)}$ be the two-sided ideal in $\mathbb Z \langle X \rangle$ generated by all commutators $[a_1,a_2, \dots, a_n]$ $( a_i \in \mathbb Z \langle X \rangle )$ . Let $T^{(3,2)}$ be the two-sided ideal of the ring $\mathbb Z \langle X \rangle$ generated by all elements $[a_1, a_2, a_3, a_4]$ and $[a_1, a_2] [a_3, a_4, a_5]$ $(a_i \in \mathbb Z \langle X \rangle)$ . It has been recently proved in arXiv:1204.2674 that the additive group of $\mathbb Z \langle X \rangle / T^{(4)}$ is a direct sum $A \oplus B$ where $A$ is a free abelian group isomorphic to the additive group of $\mathbb Z \langle X \rangle / T^{(3,2)}$ and $B = T^{(3,2)} /T^{(4)}$ is an elementary abelian $3$ -group. A basis of the free abelian summand $A$ was described explicitly in arXiv:1204.2674. The aim of the present article is to find a basis of the elementary abelian $3$ -group $B$ .

preprint2012arXiv

Limit T-subspaces and the central polynomials in n variables of the Grassmann algebra

Let F<X> be the free unitary associative algebra over a field F on the set X = {x_1, x_2, ...}. A vector subspace V of F<X> is called a T-subspace (or a T-space) if V is closed under all endomorphisms of F<X>. A T-subspace V in F<X> is limit if every larger T-subspace W \gneqq V is finitely generated (as a T-subspace) but V itself is not. Recently Brandão Jr., Koshlukov, Krasilnikov and Silva have proved that over an infinite field F of characteristic p>2 the T-subspace C(G) of the central polynomials of the infinite dimensional Grassmann algebra G is a limit T-subspace. They conjectured that this limit T-subspace in F<X> is unique, that is, there are no limit T-subspaces in F<X> other than C(G). In the present article we prove that this is not the case. We construct infinitely many limit T-subspaces R_k (k \ge 1) in the algebra F<X> over an infinite field F of characteristic p>2. For each k \ge 1, the limit T-subspace R_k arises from the central polynomials in 2k variables of the Grassmann algebra G.

preprint2012arXiv

The additive group of a Lie nilpotent associative ring

Let Z<X> be the free unitary associative ring freely generated by an infinite countable set X = {x_1, x_2,...}. Define a left-normed commutator [x_1, x_2, ..., x_n] by [a,b] = ab - ba, [a,b,c] = [[a,b],c]. For n \ge 2, let T^(n) be the ideal in Z<X> generated by all commutators [a_1,a_2,..., a_n] (a_i \in Z<X>). It can be easily seen that the additive group of the quotient ring Z<X> /T^(2) is a free abelian group. Recently Bhupatiraju, Etingof, Jordan, Kuszmaul and Li have noted that the additive group of Z<X> /T^(3) is free abelian as well. In the present note we show that this is not the case for Z<X> /T^(4). More precisely, let T^(3,2) be the ideal in Z<X> generated by T^(4) together with all elements [a_1, a_2, a_3][a_4, a_5] (a_i \in Z<X>). We prove that T^(3,2)/T^(4) is a non-trivial elementary abelian 3-group and the additive group of Z<X> /T^(3,2) is free abelian.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Alexei Krasilnikov

Research overview

Is this your work?

5 publications

The subalgebra of graded central polynomials of an associative algebra

Symmetric polynomials and non-finitely generated $Sym (\mathbb N)$ -invariant ideals

The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3

Limit T-subspaces and the central polynomials in n variables of the Grassmann algebra

The additive group of a Lie nilpotent associative ring

See the researcher in context

Building this map preview

Alexei Krasilnikov

Research overview

Is this your work?

5 publications

The subalgebra of graded central polynomials of an associative algebra

Symmetric polynomials and non-finitely generated Sym(N)Sym (\mathbb N)Sym(N)-invariant ideals

The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3

Limit T-subspaces and the central polynomials in n variables of the Grassmann algebra

The additive group of a Lie nilpotent associative ring

See the researcher in context

Building this map preview

Symmetric polynomials and non-finitely generated $Sym (\mathbb N)$ -invariant ideals