scientific article; zbMATH DE number 1752003
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].
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4533138)
