instAlgebraSubtypeMemSubringSubalgebraIntegralClosure

English

The integral closure of A in L carries a natural A-algebra structure when A ⊆ K and A is integrally closed.

Русский

У интегрального замыкания A внутри L имеется естественная A-алгебраическая структура, если A интегрально замкнуто.

LaTeX

$$$\\text{Algebra } A (\\operatorname{integralClosure} A L)$$$

Lean4

instance : Algebra A (integralClosure A L) :=
  Subalgebra.algebra (integralClosure A L)

Похожие утверждения