Motivated by recent works on the genus of classifying spaces of compact Lie groups, here we study the set of filtered -ring structures over a filtered ring from a purely algebraic point of view. From a global perspective, we first show that this set has a canonical topology compatible with the filtration on the given filtered ring. For power series rings $R \llbrack x \rrbrackR\bZ\bQx$-adic filtration, we mimic the construction of the Lazard ring in formal group theory and show that the set of filtered -ring structures over is canonically isomorphic to the set of ring maps from some ``universal’’ ring to . From a local perspective, we demonstrate the existence of uncountably many mutually non-isomorphic filtered -ring structures over some filtered rings, including rings of dual numbers over binomial domains, (truncated) polynomial and powers series rings over torsionfree -algebras.

生成讲解博客的中文版本

生成AI智能校验的中文版本