Locally PI but not PI Division Rings of Arbitrary GK-Dimension
We give examples of locally PI but not PI division rings of GK-dimension n for every positive integer n.
math.RA↗
arXiv subjects
A. R. Wadsworth
Publications and source records attributed to A. R. Wadsworth.
Homogeneous SK1 of simple graded algebras
For a simple graded algebra A=M_n(E) over a graded division algebra E, a short exact sequence relating the reduced Whitehead group of the homogeneous part of A to that of E is established. In particular it is shown that the homogeneous SK1 is not in general Morita invariant.
math.KT↗
Unitary SK_1 for a Graded Division Ring and its Quotient Division Ring
Let E be a graded division ring finite-dimensional over its center with torsion-free abelian grade group, and let q(E) be its quotient division ring. Let tau be a degree-preserving unitary involution on E. We prove that SK_1(E, tau) is isomorphic to SK_1(q(E), tau).
math.RA↗
Unitary SK_1 of semiramified graded and valued division algebras
We prove formulas for the unitary SK_1 of a semiramified graded division algebra (or valued division algebra over a Henselian field) with a unitary involution. These formulas generalize earlier formulas of Yanchevskii, (and Platonov and Ershov for the nonunitary SK_1).
math.RA↗
Unitary SK1 of graded and valued division algebras, I
The reduced unitary Whitehead group SK1 of a graded division algebra equipped with a unitary involution (i.e., an involution of the second kind) and graded by a torsion-free abelian group is studied. It is shown that calculations in the graded setting are much simpler than their nongraded counterparts. The bridge to the non-graded case is established by proving that the unitary SK1 of a tame valued division algebra wih a unitary involution over a henselian field coincides with the unitary SK1 of its associated graded division algebra. As a consequence, the graded approach allows us not only to recover results available in the literature with substantially easier proofs, but also to calculate the unitary SK1 for much wider classes of division algebras over henselian fields.
math.KT↗
Subfields of nondegenerate tame semiramified division algebras
We show in this article that in many cases the subfields of a nondegenerate tame semiramified division algebra of prime power degree over a Henselian valued field are inertial field extensions of the center.
math.RA↗
Valuations on Algebras with Involution
Let A be a central simple algebra with involution sigma of first or second kind. Let v be a valuation on the sigma-fixed part F of Z(A). A sigma-special v-gauge g on A is a kind of value function on A extending v on F, such that g(sigma(x) x) = 2g(x) for all x in A. It is shown (under certain restrictions if the residue characteristic is 2) that if v is Henselian, then there is a sigma-special v-gauge g if and only if sigma is anisotropic, and g is unique. If v is not Henselian, it is shown that there is a sigma-special v-gauge g if and only if sigma remains anisotropic after scalar extension from F to the Henselization of F re v; when this occurs, g is the unique sigma-invariant v-gauge on A.
math.RA↗
SK1 for graded division algebras
The reduced Whitehead group $\SK$ of a graded division algebra graded by a torsion-free abelian group is studied. It is observed that the computations here are much more straightforward than in the non-graded setting. Bridges to the ungraded case are then established by the following two theorems: It is proved that $\SK$ of a tame valued division algebra over a henselian field coincides with $\SK$ of its associated graded division algebra. Furthermore, it is shown that $\SK$ of a graded division algebra is isomorphic to $\SK$ of its quotient division algebra. The first theorem gives the established formulas for the reduced Whitehead group of certain valued division algebras in a unified manner, whereas the latter theorem covers the stability of reduced Whitehead groups, and also describes $\SK$ for generic abelian crossed products.
math.RA↗
On maximal Subgroups of the multiplicative group of a division algebra
The question of existence of a maximal subgroup in the multiplicative group D* of a division algebra D finite dimensional over its center F is investigated. We prove that if D* has no maximal subgroup, then deg(D) is not a power of 2, F^{*2} is divisible, and for each odd prime p dividing deg(D), there exist noncyclic division algebras of degree p over F.
math.RA↗