topologicalRingQuotientTopology

Mathlib.Topology.Algebra.Ring.Ideal

URI: https://scilib.ai/kg/mathlib#topologicalRingQuotientTopology

English

The quotient of a topological ring by an ideal inherits a natural topological ring structure.

Русский

Факторное кольцо от топологического кольца по идеалу приобретает естественную топологическую структуру кольца.

LaTeX

$$$ IsTopologicalRing (R / N) $$$

Lean4

instance topologicalRingQuotientTopology : TopologicalSpace (R ⧸ N) :=
  instTopologicalSpaceQuotient

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

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

Разделы

Аффилиация

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