Fields of definition for division algebras

Details Fields of definition for division algebras Fields of definition for division algebras

2001-10-18

arxiv.org/abs/math/0110198v2

Mathematics

Rings and Algebras

24 pages, AMS-LaTeX with xypic. This is the final version of the article, to appear in J. London Math. Soc. More details have

Scientific paper

Let $A$ be a finite-dimensional division algebra containing a base field $k$ in its center $F$. We say that $A$ is defined over a subfield $F_0$ of $F$ if $A = A_0\otimes_{F_0} F$ for some $F_0$-subalgebra $A_0$ of $A$. We show that: (1) In many cases $A$ can be defined over a rational extension of $k$. (2) If $A$ has odd degree $n \ge 5$, then $A$ is defined over a field $F_0$ of transcendence degree at most $(n-1)(n-2)/2$ over $k$. (3) If $A$ is a $Z/m \times Z/2$-crossed product for some $m \ge 2$ (and in particular, if $A$ is any algebra of degree 4) then $A$ is Brauer equivalent to a tensor product of two symbol algebras. Consequently, $M_m(A)$ can be defined over a field $F_0$ of transcendence degree at most 4 over $k$. (4) If $A$ has degree 4 then the trace form of $A$ can be defined over a field $F_0$ of transcendence degree at most 4. (In (1), (3), and (4) we assume that the center of $A$ contains certain roots of unity.)

Affiliated with

Also associated with

No associations

Rating

Fields of definition for division algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Fields of definition for division algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Fields of definition for division algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-283912