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