A Zariski topology for bicomodules and corings. (Q2426122)

This paper is a continuation of the study of fully coprime comodules. The author in this paper introduces and investigates top (bi)comodules of corings, which can be regarded as dual to top (bi)modules of rings. First, the author defines the fully coprime spectra of such (bi)comodules in a way dual to the definition of the Zariski topology on the prime spectra of (commutative) rings, and studies the interplay between the coalgebraic properties of such (bi)comodules and the introduced Zariski topology. Then, some applications and examples are given. The main application is to non-zero corings which turn out to be duo bicomodules in a canonical way. It is worth mentioning that several properties of the Zariski topology for bicomodules and corings are dual to those of the classical Zariski topolgy on the prime spectrum of commutative rings.