The group of automorphisms of the algebra of one-sided inverses of a polynomial algebra
Abstract
The algebra $\mS_n$ in the title is obtained from a polynomial algebra $P_n$ in $n$ variables by adding commuting, {\em left} (but not two-sided) inverses of the canonical generators of $P_n$. Ignoring non-Noetherian property, the algebra $\mS_n$ belongs to a family of algebras like the Weyl algebra $A_n$ and the polynomial algebra $P_{2n}$. The group of automorphisms $G_n$ of the algebra $\mS_n$ is found: $$ G_n=S_n\ltimes \mT^n\ltimes \Inn (\mS_n) \supseteq S_n\ltimes \mT^n\ltimes \underbrace{\GL_\infty (K)\ltimes... \ltimes \GL_\infty (K)}_{2^n-1 {\rm times}}=:G_n' $$ where $S_n$ is the symmetric group, $\mT^n$ is the $n$-dimensional torus, $\Inn (\mS_n)$ is the group of inner automorphisms of $\mS_n$ (which is huge), and $\GL_\infty (K)$ is the group of invertible infinite dimensional matrices. This result may help in understanding of the structure of the groups of automorphisms of the Weyl algebra $A_n$ and the polynomial algebra $P_{2n}$. An analog of the {\em Jacobian homomorphism}: $\Aut_{K-{\rm alg}}(P_{2n})\ra K^*$, so-called, the {\em global determinant} is introduced for the group $G_n'$ (notice that the algebra $\mS_n$ is {\em noncommutative} and neither left nor right Noetherian).
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2009
- DOI:
- 10.48550/arXiv.0903.3049
- arXiv:
- arXiv:0903.3049
- Bibcode:
- 2009arXiv0903.3049B
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Rings and Algebras;
- 16E10;
- 16G99;
- 16D25;
- 16D60
- E-Print:
- 41 pages