Unit lifting morphisms
Introduction
Local morphisms have attracted considerable attention in the last decades, together with the growing interest to the class of local rings, one of the main ingredients for both commutative algebra and algebraic geometry. They are defined as the ring morphisms , between local commutative rings and , for which . As a prominent example of a local morphism one can consider the induced ring maps of a morphism of locally ringed spaces where and are pairs of topological spaces and sheaves of rings whose stalks are all local rings.
A more general framework of local morphisms was introduced by Cohn in [3]. In the case are not necessarily commutative rings and is a division ring, he defined a morphism to be local if it maps non-units to non-units, which is equivalent to saying that for every , is invertible in whenever is invertible in . This definition clearly coincides with the above-mentioned one for and commutative local rings. It is easily seen that if a ring has a local morphism into a division ring, then is a local ring. The division ring condition placed on was omitted later by Cohn and the notion of local morphisms reached its present definition. This definition turned into an important tool for understanding semilocal rings (Camps and Dicks [2, Theorem 1]).
In a more recent work [6], Facchini and Herbera studied local morphisms in the noncommutative setting in connection with semilocal endomorphism rings. They showed that local morphisms arise naturally in the construction of the spectral category of an arbitrary Grothendieck category .
As mentioned above, reflecting the property of being unit via morphisms is an effective way of understanding many structural properties of not only rings but also other algebraic structures. In many cases, instead of reflecting the property of being unit via morphisms, it is easier to identify structural features of factor rings first and then raise some of the structural features inherent in these factor rings to the ring itself via lifting of units. Let be an ideal in . Recall that an element is a unit modulo if there exists an element such that . In this case, we say that can be lifted to a unit (modulo ) if there exists a unit with . Note that the ideal in is called unit lifting if, whenever is a unit modulo , then there exists a unit with . As in the case of local morphisms, lifting of units has prompted continuous interest for many years. In particular, this property was considered by Menal and Moncasi [12] in the study of certain types of self-injective rings; and by Perera [15] in the study of exchange rings and certain classes of C-algebras with real rank zero. In a recent work of Šter [16], it is proved that if is an ideal of a clean ring such that is local, then is unit lifting.
It is therefore natural to seek a new setting for a comprehensive study of both local morphisms and lifting of units via morphisms. In this regard, we introduce the concept of unit lifting morphisms. In the second section, we study this slight general form of local morphisms by investigating its properties and interrelations with not only local morphism but also unit lifting ideals. Moreover, we find an affinity between a unit lifting morphism and the notions of and and show that unit lifting morphisms correspond to the least element of a suitable partially ordered set. In Section 3, we prove our main theorem (Theorem 3.2) on the existence of a unit lifting morphism from a ring into a semisimple artinian ring. This is intimately related to a deep result by Camps and Dicks (see [2, Theorem 1]) that characterizes semilocal rings in terms of local morphisms. Our Main Theorem leads us to consider a natural generalization of semilocal rings, i.e. weakly semilocal rings. We also provide several examples which complement our results and illustrate limitations to the theory. As a final result, a connection between rings with stable range one and weakly semilocal rings is given under a mild assumption.
The rings we consider are associative rings with identity , not necessarily commutative. We write for the Jacobson radical of a ring , for the group of units of the ring , and for the set of idempotents. Ring morphisms will be unital, i.e. for any ring morphism . A rationally closed subring of is a subring such that . This is equivalent to saying that the inclusion map is a local morphism. Recall that a ring is called semilocal if is a semisimple Artinian ring.
Section snippets
Unit lifting morphisms
In this section we study a generalization of local morphisms related to unit lifting ideals; namely, unit lifting morphisms.
Definition 2.1 Let and be rings. A ring morphism is called unit lifting if, for every , there exists an invertible element in such that whenever is invertible in .
Clearly, every local morphism is a unit lifting morphism, but the converse is not generally true. For example, the canonical projection is clearly unit lifting but not local. More
Weakly semilocal rings
The aim of this section is to prove our Main Theorem 3.2 on the existence of a unit lifting morphism into a semisimple artinian ring. This allows us to define a class of rings, which we call weakly semilocal rings. Due to the above observations between unit lifting morphisms and local morphisms, we recall a result by Rosa Camps and Warren Dicks (see [2, Theorem 1]) that characterizes semilocal rings in terms of local morphisms.
Theorem 3.1 (Camps and Dicks) For a ring , the following are equivalent: is
Declaration of Competing Interest
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Acknowledgments
The authors would like to thank Alberto Facchini (University of Padova) for bringing local morphisms to their attention. The authors are also very grateful to the referee for his/her careful reading and valuable comments.
References (17)
- et al.
On a partially ordered set associated to ring morphisms
J. Algebra
(2019) - et al.
An ensemble of idempotent lifting hypotheses
J. Pure Appl. Algebra
(2018) - et al.
Strong lifting
J. Algebra
(2005) Lifting units in clean rings
J. Algebra
(2013)- et al.
On lifting of stable range one elements
J. Korean Math. Soc.
(2020) - et al.
On semilocal rings
Israel J. Math.
(1993) - et al.
Projective modules over semilocal rings