algebra_section_section_basicOpen

English

There is a canonical algebra structure on the ring of sections of X over U restricted to the basic open X.basicOpen f.

Русский

Существует каноническая структура алгебры на кольце секций X над U, ограниченное до базового открытого X.basicOpen f.

LaTeX

$$$\\text{Algebra}_{\\Gamma(X,U)}\\bigl(\\Gamma(X, X.basicOpen f)\\bigr)$$$

Lean4

instance algebra_section_section_basicOpen {X : Scheme} {U : X.Opens} (f : Γ(X, U)) :
    Algebra Γ(X, U) Γ(X, X.basicOpen f) :=
  (X.presheaf.map (homOfLE <| X.basicOpen_le f : _ ⟶ U).op).hom.toAlgebra

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