On \(\alpha\)-cogenerated commutative unital \(C^\ast\)-algebras (Q895937)

Summary: Gelfand-Naimark's theorem states that every commutative \(C^\ast\)-algebra is isomorphic to a complex valued algebra of continuous functions over a suitable compact space. We observe that for a completely regular space \(X\), \(\beta X\) is dense-\(\alpha\)-separable if and only if \(C(X)\) is \(\alpha\)-cogenerated if and only if every family of maximal ideals of \(C(X)\) with zero intersection has a subfamily with cardinal number less than \(\alpha\) and zero intersection. This gives a simple characterization of \(\alpha\)-cogenerated commutative unital \(C^\ast\)-algebras via their maximal ideals.