setLike

Mathlib.RingTheory.GradedAlgebra.Homogeneous.Ideal

URI: https://scilib.ai/kg/mathlib#HomogeneousIdeal.setLike

English

The family of homogeneous ideals of 𝒜 forms a SetLike structure over A.

Русский

Множество однородных идеалов 𝒜 образует структуру SetLike над A.

LaTeX

$$SetLike(HomogeneousIdeal 𝒜) over A$$

Lean4

instance setLike : SetLike (HomogeneousIdeal 𝒜) A :=
  HomogeneousSubmodule.setLike 𝒜 𝒜

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

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

Разделы

Аффилиация

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