BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Alexei Krasilnikov

Alexei Krasilnikov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RA

Catalog footprint

What is connected

5works
1topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

5 published item(s)

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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access