代数体''K''の整数環''O''は交叉''K''∩Aに等しく、また体Kの極大である.
交叉