En álgebra , un subcuerpo de un álgebra A sobre un cuerpo F es una subálgebra F que también es un cuerpo. Un subcuerpo máximo es un subcuerpo que no está contenido en un subcuerpo estrictamente mayor de A.
Si A es un álgebra central simple de dimensión finita , entonces un subcampo E de A se denomina subcampo estrictamente máximo si .
![{\displaystyle [E:F]=(\dim _{F}A)^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f66c435c0b5b5e815dcd175d9b0f8fd8b1a6ca6)