Source author record

Galina Deryabina

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

2works

1topics

1close 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

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

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.