Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2410.13183 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913550537064448 |
|---|---|
| author | de França, Antonio |
| author_facet | de França, Antonio |
| contents | Let $\mathbb{F}$ be a field and $\mathsf{G}$ a group. This work is inspired in the following problem: "{\it given a division (simple) $\mathsf{G}$-graded $\mathbb{F}$-algebra, is there any other division (simple) $\mathsf{G}$-graded $\mathbb{F}$-algebra such that the former can be $\mathsf{G}$-imbedded in the latter?}". In this work, we answer this question affirmatively for $\mathbb{F}$ algebraically closed, $\mathsf{G}$ finite abelian, and associative algebras of finite dimension. To prove this, we apply concepts and properties of Group Cohomology. We show $\mathcal{H}^2(H, \mathbb{F}^*)=\mathsf{res}^\mathsf{G}_H \left(\mathcal{H}^2(\mathsf{G}, \mathbb{F}^*)\right)$, where $H$ is a subgroup of $\mathsf{G}$ and $\mathsf{res}^\mathsf{G}_H$ is the restriction homomorphism. Posteriorly, we prove that, given any $H_1,H_2\leq\mathsf{G}$ and $σ_i\in\mathcal{Z}^2(H_i,\mathbb{F}^*)$, $i=1,2$, are equivalent: i) $\mathbb{F}^{σ_1}[H_1] \stackrel{\mathsf{G}}{\hookrightarrow} \mathbb{F}^{σ_2}[H_2]$; ii) $H_1\leq H_2$ and $[σ_1]=[σ_2]_{H_1}$; iii) $\mathsf{T}^{\mathsf{G}}(\mathbb{F}^{σ_2}[H_2])\subseteq \mathsf{T}^{\mathsf{G}}(\mathbb{F}^{σ_1}[H_1])$, where $\mathsf{T}^{\mathsf{G}}(\mathbb{F}^{σ_i}[H_i])$ is the $\mathsf{G}$T-ideal of graded identities of $\mathbb{F}^{σ_i}[H_i]$. Furthermore, we prove that, given $\mathfrak{A}$ and $\mathfrak{B}$ two finite dimensional simple $\mathsf{G}$-graded $\mathbb{F}$-algebras, if $\mathbb{F}$ is algebraically closed, $\mathsf{char}(\mathbb{F}) = 0$ or $\mathsf{char} (\mathbb{F})$ is coprime with the order of each finite subgroup of $\mathsf{G}$, and any subgroup of $\mathsf{G}$ is normal, then $\mathsf{T}^{\mathsf{G}}(\mathfrak{A})\subseteq \mathsf{T}^{\mathsf{G}}(\mathfrak{B})$ iff $\mathfrak{B} \stackrel{\mathsf{G}}{\hookrightarrow} \mathfrak{A}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_13183 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Graded Imbeddings in Finite Dimensional Simple Graded Algebras de França, Antonio Rings and Algebras Primary 16W50, Secondary 16S35, 16K20, 16R20, 16R10, 20J06, 15B33 Let $\mathbb{F}$ be a field and $\mathsf{G}$ a group. This work is inspired in the following problem: "{\it given a division (simple) $\mathsf{G}$-graded $\mathbb{F}$-algebra, is there any other division (simple) $\mathsf{G}$-graded $\mathbb{F}$-algebra such that the former can be $\mathsf{G}$-imbedded in the latter?}". In this work, we answer this question affirmatively for $\mathbb{F}$ algebraically closed, $\mathsf{G}$ finite abelian, and associative algebras of finite dimension. To prove this, we apply concepts and properties of Group Cohomology. We show $\mathcal{H}^2(H, \mathbb{F}^*)=\mathsf{res}^\mathsf{G}_H \left(\mathcal{H}^2(\mathsf{G}, \mathbb{F}^*)\right)$, where $H$ is a subgroup of $\mathsf{G}$ and $\mathsf{res}^\mathsf{G}_H$ is the restriction homomorphism. Posteriorly, we prove that, given any $H_1,H_2\leq\mathsf{G}$ and $σ_i\in\mathcal{Z}^2(H_i,\mathbb{F}^*)$, $i=1,2$, are equivalent: i) $\mathbb{F}^{σ_1}[H_1] \stackrel{\mathsf{G}}{\hookrightarrow} \mathbb{F}^{σ_2}[H_2]$; ii) $H_1\leq H_2$ and $[σ_1]=[σ_2]_{H_1}$; iii) $\mathsf{T}^{\mathsf{G}}(\mathbb{F}^{σ_2}[H_2])\subseteq \mathsf{T}^{\mathsf{G}}(\mathbb{F}^{σ_1}[H_1])$, where $\mathsf{T}^{\mathsf{G}}(\mathbb{F}^{σ_i}[H_i])$ is the $\mathsf{G}$T-ideal of graded identities of $\mathbb{F}^{σ_i}[H_i]$. Furthermore, we prove that, given $\mathfrak{A}$ and $\mathfrak{B}$ two finite dimensional simple $\mathsf{G}$-graded $\mathbb{F}$-algebras, if $\mathbb{F}$ is algebraically closed, $\mathsf{char}(\mathbb{F}) = 0$ or $\mathsf{char} (\mathbb{F})$ is coprime with the order of each finite subgroup of $\mathsf{G}$, and any subgroup of $\mathsf{G}$ is normal, then $\mathsf{T}^{\mathsf{G}}(\mathfrak{A})\subseteq \mathsf{T}^{\mathsf{G}}(\mathfrak{B})$ iff $\mathfrak{B} \stackrel{\mathsf{G}}{\hookrightarrow} \mathfrak{A}$. |
| title | Graded Imbeddings in Finite Dimensional Simple Graded Algebras |
| topic | Rings and Algebras Primary 16W50, Secondary 16S35, 16K20, 16R20, 16R10, 20J06, 15B33 |
| url | https://arxiv.org/abs/2410.13183 |