Fully coprime comodules and fully coprime corings. (English) Zbl 1121.16030

Primeness and coprimeness notions for comodules over corings are introduced and studied.
Let \(\mathcal C\) be an \(A\)-coring, and \(M\) a right \(\mathcal C\)-comodule. A subcomodule \(K\) of \(M\) is called fully invariant if it is a right \(\text{End}^{\mathcal C}(M)^{\text{op}}\)-module. A fully invariant \(K\neq 0\) is called \(E\)-prime if the annihilator of \(K\) is a prime ideal in \(\text{End}^{\mathcal C}(M)^{\text{op}}\). In other words, primeness of a comodule is defined in terms of primeness of a certain ideal. The same principle can be used to obtain the definition of \(E\)-semiprime and completely \(E\)-(semi)prime fully invariant comodule. Then several coradicals are introduced; for example, the \(E\)-prime coradical \(\text{EPcorad}(M)\) is the sum of all the \(E\)-prime fully invariant subcomodules of \(M\). Then there are several duality results relating radicals and coradicals. For example, the prime radical of \(\text{End}^{\mathcal C}(M)^{\text{op}}\) is equal to the annihilator of \(\text{EPcorad}(M)\). Under the additional assumption that \(M\) is a self-cogenerator, \(\text{EPcorad}(M)\) is the intersection of the kernels of the elements in the prime radical of \(\text{End}^{\mathcal C}(M)^{\text{op}}\). The author discusses several other properties of \(E\)-primeness.
The second part of the paper is devoted to the notion of fully coprimeness. First, the internal product \((X:_M^{\mathcal C}Y)\) of two (fully) invariant \(\mathcal C\)-subcomodules \(X,Y\subset M\) is introduced. Then a fully invariant nonzero subcomodule \(K\) of \(M\) is termed fully \(M\)-coprime if \(K\subset (X:_M^{\mathcal C}Y)\) implies that \(K\subset X\) or \(K\subset Y\). Fully \(M\)-semicoprime are introduced along the same lines. Then the fully coprime radical \(\text{CPcorad}(M)\) is introduced as the sum of all fully \(M\)-coprime subcomodules of \(M\). There are again some duality results: if \(M\) is an intrinsically injective self-cogenerator and \(\text{End}^{\mathcal C}(M)^{\text{op}}\) is right Noetherian, then the prime radical of \(\text{End}^{\mathcal C}(M)^{\text{op}}\) is equal to the annihilator of \(\text{CPcorad}(M)\), and \(\text{CPcorad}(M)\) is equal to the intersection of the kernels of the maps in \(\text{Prad}(\text{End}^{\mathcal C}(M)^{\text{op}})\). The author gives many other properties of the fully coprime coradical.
We can take \(M=\mathcal C\) and investigate when \(\mathcal C\) is \(\mathcal C\)-prime or fully coprime. As we can expect, there is a connection to (co)primeness properties of the left and right dual rings \(^*\mathcal C\) and \(\mathcal C^*\) of \(\mathcal C\). This is discussed in the final section of the paper. A series of examples and counterexamples is given at the end.


16W30 Hopf algebras (associative rings and algebras) (MSC2000)
16N60 Prime and semiprime associative rings
Full Text: DOI arXiv


[1] Abuhlail, J.Y.: On the linear weak topology and dual pairings over rings. Topology Appl. 149(1-3), 161–175 (2005) · Zbl 1086.16024
[2] Abuhlail, J.Y.: Rational modules for corings. Comm. Algebra 31(12), 5793–5840 (2003) · Zbl 1040.16023
[3] Anderson, F., Fuller, K.: Rings and Categories of Modules, Graduate Texts in Mathematics, vol. 13. Springer, Berlin Heidelberg New York (1974) · Zbl 0301.16001
[4] Abuhlail, J.Y., Gómez-Torrecillas, J., Wisbauer, R.: Dual coalgebras of algebras over commutative rings. J. Pure Appl. Algebra 153(2), 107–120 (2000) · Zbl 0980.16030
[5] Annin, S.: Associated and attached primes over noncommutative rings, Ph.D. Thesis, University of California at Berkeley (2002) · Zbl 1010.16025
[6] Bican, L., Jambor, P., Kepka, T., Nĕmec, P.: Prime and coprime modules. Fund. Math. 107(1), 33–45 (1980) · Zbl 0354.16013
[7] Brzeziński, T., Wisbauer, R.: Corings and Comodules. London Math. Soc. Lecture Note Ser. 309, (2003) (Cambridge University Press, Cambridge, UK) · Zbl 1035.16030
[8] El Kaoutit, L., Gomez-Torrecillas, J.: Comatrix corings: Galois corings, descent theory, and a structure theorem for cosemisimple corings. Math. Z. 244, 887–906 (2003) · Zbl 1037.16026
[9] Ferrero, M., Rodrigues, V.: On prime and semiprimemodules and comodules. J. Algebra Appl. 5(5), 681–694 (2006) · Zbl 1163.16027
[10] Jara, P., Merino, L.M., Ruiz, J.F.: Prime Path Coalgebras (preprint)
[11] Johnson, R.: Representations of prime rings. Trans. Amer. Math. Soc. 74, 351–357 (1953) · Zbl 0051.02404
[12] Lomp, C.: Prime elements in partially ordered groupoids applied to modules and Hopf Algebra actions. J. Algebra Appl. 4(1), 77–98 (2005) · Zbl 1104.16005
[13] Nekooei, R., Torkzadeh, L.: Topology oncoalgebras. Bull. Iranian Math. Soc. 27(2), 45–63 (2001) · Zbl 1012.16041
[14] Raggi, F., Ríos Montes, J., Wisbauer, R.: Coprime preradicals and modules. J. Pure Appl. Algebra 200, 51–69 (2005) · Zbl 1073.16019
[15] Sweedler, M.: Hopf Algebras. Benjamin, New York (1969)
[16] Sweedler, M.: The predual theorem to the Jacobson–Bourbaki theorem. Trans. Amer. Math. Soc. 213, 391–406 (1975) · Zbl 0317.16007
[17] Wisbauer, R.: Modules and Algebras : Bimodule Structure and Group Action on Algebras, Pitman Monographs and Surveys. In: Pure and Applied Mathematics, vol. 81. Longman, Edinburgh (1996) · Zbl 0861.16001
[18] Wisbauer, R.: Foundations of Module and Ring Theory. In: Handbook for Study and Research, Algebra, Logic and Applications, vol. 3. Gordon and Breach, New York (1991) · Zbl 0746.16001
[19] Xu, Y., Lu, D.M., Zhu, H.X.: A necessary and sufficient conditions for dual algebras of coalgebras to be prime. Zhong Li et al. (eds.) In: Proceedings of the Asian mathematical Conference 1990, Hong Kong, World Scientific, 502–510 (1992) · Zbl 0940.16517
[20] Zimmermann-Huisgen, B.: Pure submodules of direct products of free modules. Math. Ann. 224, 233–245 (1976) · Zbl 0331.16022
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.