MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If I'm given a division algebra D with Z(D)=F, then how can I view Dx as an algebraic group defined over F? I'd like to see first how Dx can be given the structure of a variety defined over F, and then to see how the group law on Dx is defined over F.

share|cite|improve this question
up vote 9 down vote accepted

Choose an F-basis of D. The multiplication is described by certain quadratic functions, with respect to this basis; D* is given by the nonvanishing of a polynomial function (the norm). So the multiplication can be understood as defining an algebraic group structure on the complement of a hypersurface in an affine space.

share|cite|improve this answer
And for the record, this is the exact same way that you show GL_n is an algebraic group. – Tyler Lawson Oct 28 '09 at 13:01
Is it part of the general theory of division algebras that the norm is a polynomial function? – Joel Dodge Oct 28 '09 at 19:27
@Joel: After base change to a matrix ring, the norm becomes the determinant. – S. Carnahan Oct 29 '09 at 2:58

Suppose D splits over a finite extension K/F, i.e., the tensor product of D with K over F is isomorphic to Mn(K). Then Dx is the group of F-points of an algebraic group over F that exists as a direct factor (along with all other F-division algebras that split over K, and GLn,F) in the restriction of scalars ResKF GLn,K.

I don't know an explicit presentation in general (say, starting from a Brauer class), although if K/F is a cyclic Galois extension, there is a nice cyclic algebra construction. I think more details can be found in Serre's Local Fields and Cornell-Silverman.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.