The Graded Algebras with a Graded Identity of Degree 2
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908425808510976 |
|---|---|
| author | de França, Antonio |
| author_facet | de França, Antonio |
| contents | This paper is devoted to the study of graded associative algebras that satisfy a graded polynomial identity of degree $2$. %
Let $\mathsf{G}$ be a finite abelian group, $\mathbb{F}$ a field of characteristic zero and $\mathfrak{A}$ a $\mathsf{G}$-graded $\mathbb{F}$-algebra. %
We prove that, for $\mathbb{F}$ algebraically closed, if $\mathfrak{A}_e$ satisfies a polynomial identity $g=g(x_1^{(e)}, \dots, x_n^{(e)})\in\mathbb{F}\langle X^\mathsf{G} \rangle$ of degree $2$, then $\mathfrak{A}$ is either nilpotent or has commutative neutral component, %
and we ensure that the $\mathsf{G}$-graded variety $\mathfrak{W}^\mathsf{G}$ determined by $g$ is equal to either $\mathsf{var}^\mathsf{G}([x^{(e)},y^{(e)}])$ or $\mathsf{var}^\mathsf{G}(N)$ for some nilpotent $\mathsf{G}$-graded algebra $N$. %
Posteriorly, we investigate the implications of $\mathfrak{A}_e$ being central in $\mathfrak{A}$. The results obtained allow us to prove that, when $\mathsf{G}$ is finite cyclic, if $\mathfrak{A}$ is finitely generated and $\mathfrak{A}_e$ is central in $\mathfrak{A}$, then the commutator ideal of $\mathfrak{A}$ is nilpotent, and the algebra $\mathfrak{A}^{(-)}=(\mathfrak{A},[\ ,\ ])$ is a solvable Lie algebra, %
and, if $\mathsf{G}$ has odd order, then $[x_1,x_2][x_3,x_4]\cdots[x_{2d-1},x_{2d}]\equiv0$ in $\mathfrak{A}$, for some $d\in\mathbb{N}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_08074 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Graded Algebras with a Graded Identity of Degree 2 de França, Antonio Rings and Algebras Primary 16R10, Secondary 16W50, 16W22, 16W10, 17B30 This paper is devoted to the study of graded associative algebras that satisfy a graded polynomial identity of degree $2$. % Let $\mathsf{G}$ be a finite abelian group, $\mathbb{F}$ a field of characteristic zero and $\mathfrak{A}$ a $\mathsf{G}$-graded $\mathbb{F}$-algebra. % We prove that, for $\mathbb{F}$ algebraically closed, if $\mathfrak{A}_e$ satisfies a polynomial identity $g=g(x_1^{(e)}, \dots, x_n^{(e)})\in\mathbb{F}\langle X^\mathsf{G} \rangle$ of degree $2$, then $\mathfrak{A}$ is either nilpotent or has commutative neutral component, % and we ensure that the $\mathsf{G}$-graded variety $\mathfrak{W}^\mathsf{G}$ determined by $g$ is equal to either $\mathsf{var}^\mathsf{G}([x^{(e)},y^{(e)}])$ or $\mathsf{var}^\mathsf{G}(N)$ for some nilpotent $\mathsf{G}$-graded algebra $N$. % Posteriorly, we investigate the implications of $\mathfrak{A}_e$ being central in $\mathfrak{A}$. The results obtained allow us to prove that, when $\mathsf{G}$ is finite cyclic, if $\mathfrak{A}$ is finitely generated and $\mathfrak{A}_e$ is central in $\mathfrak{A}$, then the commutator ideal of $\mathfrak{A}$ is nilpotent, and the algebra $\mathfrak{A}^{(-)}=(\mathfrak{A},[\ ,\ ])$ is a solvable Lie algebra, % and, if $\mathsf{G}$ has odd order, then $[x_1,x_2][x_3,x_4]\cdots[x_{2d-1},x_{2d}]\equiv0$ in $\mathfrak{A}$, for some $d\in\mathbb{N}$. |
| title | The Graded Algebras with a Graded Identity of Degree 2 |
| topic | Rings and Algebras Primary 16R10, Secondary 16W50, 16W22, 16W10, 17B30 |
| url | https://arxiv.org/abs/2401.08074 |