Finite-dimensional division rings Division rings and simple Artinian rings mathematics