Finite generation of division subalgebras and of the group of eigenvalues for commuting derivations or automorphisms of division algebras
V. V. Bavula
Abstract
Open-access reader
V. V. Bavula
Abstract
Open-access reader
Let $D$ be a division algebra such that $D\t D^o$ is a Noetherian algebra, then any division subalgebra of $D$ is a {\em finitely generated} division algebra. Let $\D $ be a finite set of commuting derivations or automorphisms of the division algebra $D$, then the group $\Ev (\D)$ of common eigenvalues (i.e. {\em weights}) is a {\em finitely generated abelian} group. Typical examples of $D$ are the quotient division algebra ${\rm Frac} (\CD (X))$ of the ring of differential operators $\CD (X)$ on a smooth irreducible affine variety $X$ over a field $K$ of characteristic zero, and the quotient division algebra ${\rm Frac} (U (\Gg))$ of the universal enveloping algebra $U(\Gg)$ of a finite dimensional Lie algebra $\Gg $. It is proved that the algebra of differential operators $\CD (X)$ is isomorphic to its opposite algebra $\CD (X)^o$.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Let $D$ be a division algebra such that $D\t D^o$ is a Noetherian algebra, then any division subalgebra of $D$ is a {\em finitely generated} division algebra. Let $\D $ be a finite set of commuting derivations or automorphisms of the division algebra $D$, then the group $\Ev (\D)$ of common eigenvalues (i.e. {\em weights}) is a {\em finitely generated abelian} group. Typical examples of $D$ are the quotient division algebra ${\rm Frac} (\CD (X))$ of the ring of differential operators $\CD (X)$ on a smooth irreducible affine variety $X$ over a field $K$ of characteristic zero, and the quotient division algebra ${\rm Frac} (U (\Gg))$ of the universal enveloping algebra $U(\Gg)$ of a finite dimensional Lie algebra $\Gg $. It is proved that the algebra of differential operators $\CD (X)$ is isomorphic to its opposite algebra $\CD (X)^o$.
Key concepts: Division algebra, Subalgebra, Mathematics, Division ring, Universal enveloping algebra, Quotient, Cellular algebra, Pure mathematics