No label defined (Q4533138)

Let \((C,\Delta,\varepsilon)\) be a coalgebra, where \(C\) is a vector space over a field \(K\), \(\Delta\colon C\to C\) and \(\varepsilon\colon C\to K\) be canonical linear mappings. A subcoalgebra \(D\) of \(C\) is `simple' if it has no nontrivial subcoalgebra. The coalgebra \(C\) is `irreducible' if it has a unique nonzero simple subcoalgebra. For any subcoalgebras \(X\) and \(Y\) of \(C\) we write \(X\wedge Y\) for \(\Delta^{-1}(C\otimes Y+X\otimes C)\). A subcoalgebra \(0\neq P\subseteq C\) is called `coprime' if \(P\subseteq X\wedge Y\) implies that \(P\subseteq X\) or \(P\subseteq Y\) for any subcoalgebras \(X,Y\subseteq C\). Every simple subcoalgebra \(P\) of \(C\) is coprime. A coalgebra \(C\) is called coprime if for any subcoalgebras \(X,Y\subseteq C\), \(C=X\wedge Y\) implies that \(C=X\) or \(C=Y\). A finite dimensional coalgebra is coprime iff it is simple. A topology \(\tau\) on the set \(X\) of simple subcoalgebras is defined similarly to the structure space of rings or algebras, namely for an arbitrary subcoalgebra \(E\) of \(C\) we write \(V(E)\) for \(\{P\in X\mid P\subseteq E\}\), \(X_E\) for \(X\setminus V(E)\) and \(\tau\) for \(\{X_E\mid E\) is a subcoalgebra of \(C\}\). Some properties of this topological space are proved. In particular, \(X\) is \(T_0\) and if \(C\) is an irreducible coalgebra then \(X\) is connected and compact. If \(X\) is Hausdorff then every coprime subcoalgebra \(C\) is simple. If \(D\) is a subcoalgebra of \(C\) let \(\text{rad}(D)\) be the sum of all the coprime subalgebras of \(C\) contained in \(D\). There is a one-to-one correspondence between the set of closed subsets of \(X\) and the set of subcoalgebras \(D\) of \(C\) such that \(\text{rad}(D)=D\). For the entire collection see [Zbl 0982.00035].