image

Mathlib.AlgebraicGeometry.IdealSheaf.Subscheme

URI: https://scilib.ai/kg/mathlib#AlgebraicGeometry.Scheme.Hom.image

English

A basic equality for glueDataObjHom under a specified path.

Русский

Базовое равенство glueDataObjHom при заданном пути.

LaTeX

$$$\text{glueDataObjHom}(h,U) = \text{Spec.map}(...)$$$

Lean4

/-- The scheme-theoretic image of a morphism. -/
abbrev image : Scheme.{u} :=
  f.ker.subscheme

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru