Is there a division algebra $D$ with center $K$ that satisfies the following 3 conditions?

1) $D$ is of infinite dimension over $K$;

2) every element of $D$ is algebraic over $K$;

3) $D$ is finitely generated (as division $K$-algebra).

MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question

Anybody can answer

The best answers are voted up and rise to the top

$\begingroup$
$\endgroup$

Is there a division algebra $D$ with center $K$ that satisfies the following 3 conditions?

1) $D$ is of infinite dimension over $K$;

2) every element of $D$ is algebraic over $K$;

3) $D$ is finitely generated (as division $K$-algebra).

$\begingroup$
$\endgroup$

This is a fairly well known old and open (as far as I know) problem: Kurosh’s Problem for division rings. See, for example, Question 3 in Agata Smoktunovicz’s 2006 ICM talk.