instIsTopologicalRingCoePrincipal

English

Analogously, if each R_i is a topological ring and S_i ≤ R_i is a subring, then the restricted product Π^r_i (R_i, S_i) is a topological ring.

Русский

Аналогично случаю групп: если каждый R_i — топологическое кольцо, а S_i ⊆ R_i — подкольцо, то ограниченное произведение является топологическим кольцом.

LaTeX

$$$\\mathrm{IsTopologicalRing}\\big(\\mathrm{RestrictedProduct}(\\{R_i\\}, \\{S_i\\}; \\mathrm{principal}(T))\\big)$$$

Lean4

instance [Π i, Ring (R i)] [∀ i, SubringClass (S i) (R i)] [∀ i, IsTopologicalRing (R i)] :
    IsTopologicalRing (Πʳ i, [R i, B i]_[𝓟 T]) where

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