Fully Coprime Comodules and Fully Coprime Corings

Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable generalization of simple corings (simple comodules), namely fully coprime corings (fully coprime comodules). Moreover, we consider several primeness notions in the category of comodules of a given coring and investigate their relations with the fully coprimeness and the simplicity of these comodules. These notions are applied then to study primeness and coprimeness properties of a given coring, considered as an object in its category of right (left) comodules. Supported by King Fahd University of Petroleum and Minerals, Research Project # INT/296.     

On Coprime Modules and Comodules

Many observations about coalgebras were inspired by comparable situations for algebras. Despite the prominent role of prime algebras, the theory of a corresponding notion for coalgebras was not well understood so far. Coalgebras C over fields may be called coprime provided the dual algebra C* is prime. This definition, however, is not intrinsic—it strongly depends on the base ring being a field. The purpose of the article is to provide a better understanding of related notions for coalgebras over commutative rings by employing traditional methods from (co)module theory, in particular (pre)torsion theory.

Dualizing classical primeness condition, coprimeness can be defined for modules and algebras. These notions are developed for modules and then applied to comodules. We consider prime and coprime, fully prime and fully coprime, strongly prime and strongly coprime modules and comodules. In particular, we obtain various characterisations of prime and coprime coalgebras over rings and fields.     

A dual Zariski topology for modules

We introduce a dual Zariski topology on the spectrum of fully coprime R-submodules of a given duo module M over an associative (not necessarily commutative) ring R. This topology is defined in a way dual to that of defining the Zariski topology on the prime spectrum of R. We investigate this topology and clarify the interplay between the properties of this space and the algebraic properties of the module under consideration.     

Equivalences between categories of modules and categories of comodules

We show the close connection between apparently different Galois theories for comodules introduced recently in [J. Gomez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, Algebr. Represent. Theory, 10 （2007）, 271 306] and [Wisbauer, On Galois comodules, Comm. Algebra 34 （2006）, 2683-2711]. Furthermore we study equivalences between categories of comodules over a coring and modules over a firm ring. We show that these equivalences are related to Galois theory for comodules.     

Comonads and Galois Corings

We investigate which aspects of recent developments on Galois corings and comodules admit a formulation in terms of comonads. The general theory is applied to the study of Galois comodules over corings over firm rings. Supported by the research project “Algebraic Methods in Non Commutative Geometry,” with financial support of the grant MTM2004-01406 from the DGICYT and FEDER.     

On Galois Comodules

Generalizing the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring 𝒞 for which P _A is finitely generated and projective and the evaluation map μ𝒞:Hom ^𝒞 (P, 𝒞) ?  _S P → 𝒞 is an isomorphism (of corings) where S = End ^𝒞 (P). It has been observed that for such comodules the functors ? ?  _A 𝒞 and Hom _A (P, ?) ?  _S P from the category of right A-modules to the category of right 𝒞-comodules are isomorphic. In this note we use this isomorphism related to a comodule P to define Galois comodules without requiring P _A to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. Galois comodules are close to being generators and have common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.     

Comatrix Corings and Galois Comodules over Firm Rings

We construct comatrix corings on bimodules without finiteness conditions by using firm rings. This leads to the formulion of a notion of Galois coring which plays a key role in the statement of a Noncommutative Faithfully Flat Descent for comodules which generalizes previous versions. In particular, infinite comatrix corings fit in our general theory. Presented by A. Verschoren.     

Geometric partial comodules over flat coalgebras in Abelian categories are globalizable

The aim of this paper is to prove the statement in the title. As a by-product, we obtain new globalization results in cases never considered before, such as partial corepresentations of Hopf algebras. Moreover, we show that for partial representations of groups and Hopf algebras, our globalization coincides with those described earlier in literature. Finally, we introduce Hopf partial comodules over a bialgebra as geometric partial comodules in the monoidal category of (global) modules. By applying our globalization theorem we obtain an analogue of the fundamental theorem for Hopf modules in this partial setting.     

Quotient rings of finitely generated P.I. Algebras

This paper generalizes properties which hold for localization of Azumaya algebras, in two directions. Firstly, fully left bounded left Noetherian rings, especially finitely generated Noetherian algebras, are considered. It is noted that for such rings every idempotent kernel functor a is symmetric, i.e. the filter T(σ) of a-dense left ideals has a basis of a-dense ideals. A prime ideal P of a f.l.b.l.N. ring R is localizable if and only if it is the intersection of the P-critical left ideals. In case R is a finitely generated algebra over its (Noetherian) center C, we apply the technique of “descent” of kernel functors. If a is a symmetric kernel functor such that R(A n c) S T(σ) for every A G T(σ) and such that a has property (T) then there is a kernel functor a’ on C-modules such that Qσ (R) ?Q? ,(R). If P is a prime ideal of R then σ_- descends to C if and only if P is localizable. Secondly, a class of rings is described in terms of the Zariski topology on Spec. The imposed condition is weaker than maximal centrallity and does not imply fully left boundedness either, but the good properties of Spec R in case R is an Azumaya algebra are preserved.     

On a Hereditary Radical Property Relating to the Reducedness

In this note, a hereditary radical property, called homomorphically reduced rings, is introduced, observed, and applied. The dual concept of this property is also studied with the help of Courter, proving that any ring R (possibly without identity) has an ideal S such that S/K is not homomorphically reduced for each proper ideal K of S; and if L is an ideal of R with L ? S, then L/H is homomorphically reduced for some ideal H of R with H ? L. The concept of the homomorphical reducedness is shown to be equivalent to the left (right) weak regularity and the (strong) regularity for one-sided duo rings. It is proved that homomorphically reduced rings have several useful properties similar to those of (weakly) regular rings. It is proved that the homomorphical reducedness can go up to classical quotient rings. It is shown that if R is a reduced right Ore ring with the ascending chain condition (ACC) for annihilator ideals, then the maximal right quotient ring of R is strongly regular (hence homomorphically reduced).     

Relative homological coalgebras

We study classes of relative injective and projective comodules and extend well-known results about projective comodules given in [7]. The existence of covers and envelopes by these classes of comodules is also studied and used to characterize the projective dimension of a coalgebra. We also compare this homological coalgebra with the very intensively studied homological algebra of the dual algebra (see [5]). This revised version was published online in June 2006 with corrections to the Cover Date.     

Nilpotent and soluble groups with respect to a homomorph

For an excellent ring Awhose real spectrum satisfies some connectedness condition, we give a sensible notion of real analytic component for a Zariski closed subset of Specr A(such a closed subset will also be called a locally Nash set).Indeed we show that the locally Nash sets are the closed subsets of a noetherian topology on an abstract new space G which we introduce.This generalizes the geometric notion of global real analytic component when Ais the ring of global Nash functions on an affine Nash manifold.     

McCoy Rings Relative to a Monoid

For a monoid M, we introduce M-McCoy rings, which are a generalization of McCoy rings and M-Armendariz rings; and investigate their properties. We first show that all reversible rings are right M-McCoy, where M is a u.p.-monoid. We also show that all right duo rings are right M-McCoy, where M is a strictly totally ordered monoid. Then we show that semicommutative rings and 2-primal rings do have a property close to the M-McCoy condition. Moreover, it is shown that a finitely generated Abelian group G is torsion free if and only if there exists a ring R such that R is G-McCoy. Consequently, several known results on right McCoy rings are extended to a general setting.     

The Zariski Topology-Graph of Modules Over Commutative Rings

Let M be a module over a commutative ring, and let Spec(M) be the collection of all prime submodules of M. We topologize Spec(M) with Zariski topology, which is analogous to that for Spec(R), and for a nonempty subset T of Spec(M), we introduce a new graph G(τ _T ), called the Zariski topology-graph. This graph helps us to study the algebraic (resp. topological) properties of M (resp. Spec(M)) by using the graph theoretical tools.     

Generating dual Baer modules via fully invariant submodules

Abstract

In this paper, we introduce a concept of a dual F-Baer module M where F is the fully invariant submodule of M, by this means we deal with generating dual Baer modules. We investigate direct sums of dual F -Baer modules M by exerting the notion of relatively dual F-Baer modules. We also obtain applications of dual F-Baer modules to rings and the preradical Z*(·).     

On existence of log minimal models and weak Zariski decompositions

We first introduce a weak type of Zariski decomposition in higher dimensions: an -Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be written as the sum of a nef and an effective -Cartier divisor. We then prove that there is a very basic relation between Zariski decompositions and log minimal models which has long been expected: we prove that assuming the log minimal model program in dimension d − 1, a lc pair (X/Z, B) of dimension d has a log minimal model (in our sense) if and only if K _X  + B has a weak Zariski decomposition/Z.     

On finitely generated multiplication modules

We shall prove that if M is a finitely generated multiplication module and Ann(M) is a finitely generated ideal of R, then there exists a distributive lattice M such that Spec(M) with Zariski topology is homeomorphic to Spec(M) to Stone topology. Finally we shall give a characterization of finitely generated multiplication R-modules M such that Ann(M) is a finitely generated ideal of R.     

On Discrete Zariski-Dense Subgroups of Algebraic Groups

We investigate under which conditions an algebraic group G defined over a locally compact field k admitr a subgroup Γ? G(k) which is dense in the Zariski topology, but discerte in the topology induced by the locally compact topology on k. For non—solvable groups we provide a complete answer.     

On the Prime Spectrum of X-Injective Modules

Let R be a commutative ring and M an R-module. The purpose of this article is to introduce a new class of modules over R called X-injective R-modules, where X is the prime spectrum of M. This class contains the family of top modules and that of weak multiplication modules properly. In this article our concern is to extend the properties of multiplication, weak multiplication, and top modules to this new class of modules. Furthermore, for a top module M, we study some conditions under which the prime spectrum of M is a spectral space for its Zariski topology.