On (Semi)Regular Morphisms

Let M and N be right R-modules. Hom(M, N) is called regular if for each f ∈ Hom(M, N), there exists g ∈ Hom(N, M) such that f = fgf. Let [M, N] = Hom _R (M, N). We prove that if M is finitely generated, then [M, N] is regular if and only if every homomorphism M → N is locally split. In this article, we also study the substructures of Hom(M, N) such as the Jacobson radical J[M, N], the singular ideal Δ[M, N], and the co-singular ideal ?[M, N]. We prove several new results. The question is to characterize when the Jacobson radical is equal to the singular ideal Δ[M, N] or the co-singular ideal ?[M, N] under injectivity and projectivity.     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

Principal Weak Flatness and Regularity of Diagonal Acts

For a monoid S, the set S × S equipped with the componentwise right S-action is called the diagonal act of S and is denoted by D(S). A monoid S is a left PP (left PSF) monoid if every principal left ideal of S is projective (strongly flat). We shall call a monoid S left P(P) if all principal left ideals of S satisfy condition (P). We shall call a monoid S weakly left P(P) monoid if the equalities as = bs, xb = yb in S imply the existence of r ∈ S such that xar = yar, rs = s. In this article, we prove that a monoid S is left PSF if and only if S is (weakly) left P(P) and D(S) is principally weakly flat. We provide examples showing that the implications left PSF ? left P(P) ? weakly left P(P) are strict. Finally, we investigate regularity of diagonal acts D(S), and we prove that for a right PP monoid S the diagonal act D(S) is regular if and only if every finite product of regular acts is regular. Furthermore, we prove that for a full transformation monoid S = 𝒯 _X , D(S) is regular.     

Gelfand Factor Rings and Weak Zariski Topologies

Let R be any ring with identity. Let N(R) (resp. J(R)) denote the prime radical (resp. Jacobson radical) of R, and let Spec _r (R) (resp. Spec _l (R), Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all left prime ideals, all maximal right ideals, all right primitive ideals) of R. In this article, we study the relationships among various ring-theoretic properties and topological conditions on Spec _r (R) (with weak Zariski topology). The following results are obtained: (1) R/N(R) is a Gelfand ring if and only if Spec _r (R) is a normal space if and only if Spec _l (R) is a normal space; (2) R/J(R) is a Gelfand ring if and only if every right prime ideal containing J(R) is contained in a unique maximal right ideal.     

Spectra of Maximal 1-Sided Ideals and Primitive Ideals

R is any ring with identity. Let Spec _r (R) (resp. Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all maximal right ideals, all right primitive ideals) of R and let U _r (eR) = {P ? Spec _r (R)| e ? P}. Let  = ∪_{P?Prim r (R)} Spec _r ^P (R), where Spec _r ^P (R) = {Q ?Spec _r ^P (R)|P is the largest ideal contained in Q}. A ring is called right quasi-duo if every maximal right ideal is 2-sided. In this article, we study the properties of the weak Zariski topology on  and the relationships among various ring-theoretic properties and topological conditions on it. Then the following results are obtained for any ring R: (1) R is right quasi-duo ring if and only if  is a space with Zariski topology if and only if, for any Q ? , Q is irreducible as a right ideal in R. (2) For any clopen (i.e., closed and open) set U in ? = Max _r (R) ∪  Prim _r (R) (resp.  = Prim _r (R)) there is an element e in R with e ² ? e ? J(R) such that U = U _r (eR) ∩  ? (resp. U = U _r (eR) ∩  ), where J(R) is the Jacobson of R. (3) Max _r (R) ∪  Prim _r (R) is connected if and only if Max _l (R) ∪  Prim _l (R) is connected if and only if Prim _r (R) is connected.     

QUASI-FROBENIUS BIMODULES OF FUNCTIONS ON A SEMIGROUP

Let _AM_B be a QF-bimodule, A a left Artinian ring, B a right Artinian ring, G a semigroup with a unit element (a monoid). Let M^G be the set of all functions on G with values in M. Consider M^G as an (AG, BG)-bimodule over the semigroup rings AG and BG. It is proved that the annihilator maps I → r_M^G (I) and R → l_AG (R) are mutually inverse bijective Galois correspondences between the set of finitely cogenerated left ideals I ? AG and the set of right BG-submodules R ? M^G finitely generated over B. The maps J → l_M^G (J) and L → r_AG (L) are mutually inverse bijective Galois correspondences between the set of finitely cogenerated right ideals J ? AG and the set of left AG-submodules L ? M^G finitely generated over A. This result also makes it possible, starting from a given QF-bimodule _A M_B , to construct new QF-bimodules _AG/IS_BG/J as bimodules of functions on a semigroup with values in M.     

Simple-Baer Rings and Minannihilator Modules

Let R be a ring. M is said to be a minannihilator left R-module if r _M l _R (I) = IM for any simple right ideal I of R. A right R-module N is called simple-flat if Nl _R (I) = l _N (I) for any simple right ideal I of R. R is said to be a left simple-Baer (resp., left simple-coherent) ring if the left annihilator of every simple right ideal is a direct summand of _R R (resp., finitely generated). We first obtain some properties of minannihilator and simple-flat modules. Then we characterize simple-coherent rings, simple-Baer rings, and universally mininjective rings using minannihilator and simple-flat modules.     

Dimensions of Formal Fibers of Height One Prime Ideals

Let T be a complete local (Noetherian) ring with maximal ideal M, P a nonmaximal ideal of T, and C = {Q ₁, Q ₂,…} a (nonempty) finite or countable set of nonmaximal prime ideals of T. Let {p ₁, p ₂,…} be a set of nonzero regular elements of T, whose cardinality is the same as that of C. Suppose that p _i  ∈ Q _j if and only if i = j. We give conditions that ensure there is an excellent local unique factorization domain A such that A is a subring of T, the maximal ideal of A is M ∩ A, the (M ∩ A)-adic completion of A is T, and so that the following three conditions hold: (1) p _i  ∈ A for every i; (2) A ∩ P = (0), and if J is a prime ideal of T with J ∩ A = (0), then J ? P or J ? Q _i for some i; (3) for each i, p _i A is a prime ideal of A, Q _i ∩ A = p _i A, and if J is a prime ideal of T with J ? Q _i , then J ∩ A ≠ p _i A.     

The Largest Left Quotient Ring of a Ring

The left quotient ring (i.e., the left classical ring of fractions) Q_cl(R) of a ring R does not always exist and still, in general, there is no good understanding of the reason why this happens. In this article, existence of the largest left quotient ring Q_l(R) of an arbitrary ring R is proved, i.e., Q_l(R) = S₀(R)^?1R where S₀(R) is the largest left regular denominator set of R. It is proved that Q_l(Q_l(R)) = Q_l(R); the ring Q_l(R) is semisimple iff Q_cl(R) exists and is semisimple; moreover, if the ring Q_l(R) is left Artinian, then Q_cl(R) exists and Q_l(R) = Q_cl(R). The group of units Q_l(R)* of Q_l(R) is equal to the set {s^?1t | s, t ∈ S₀(R)} and S₀(R) = R ∩ Q_l(R)*. If there exists a finitely generated flat left R-module which is not projective, then Q_l(R) is not a semisimple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semiprime Goldie rings, Noetherian commutative rings, the algebra of polynomial integro-differential operators).     

When is a Sum of Annihilator Ideals an Annihilator Ideal?

We call a ring R a right SA-ring if for any ideals I and J of R there is an ideal K of R such that r(I) + r(J) = r(K). This class of rings is exactly the class of rings for which the lattice of right annihilator ideals is a sublattice of the lattice of ideals. The class of right SA-rings includes all quasi-Baer (hence all Baer) rings and all right IN-rings (hence all right selfinjective rings). This class is closed under direct products, full and upper triangular matrix rings, certain polynomial rings, and two-sided rings of quotients. The right SA-ring property is a Morita invariant. For a semiprime ring R, it is shown that R is a right SA-ring if and only if R is a quasi-Baer ring if and only if r(I) + r(J) = r(I ∩ J) for all ideals I and J of R if and only if Spec(R) is extremally disconnected. Examples are provided to illustrate and delimit our results.     

Symplectic algebras and poisson algebras

Abstract

A ring R is called left P-injective if for every a ∈ R, aR = r(l(a)) where l( ? ) and r( ? ) denote left and right annihilators respectively. The ring R is called left GP-injective if for any 0 ≠ a ∈ R, there exists n > 0 such that a ⁿ  ≠ 0 and a ⁿ R = r(l(a ⁿ )). As a response to an open question on GP -injective rings, an example of a left GP-injective ring which is not left P-injective is given. It is also proved here that a ring R is left FP -injective if and only if every matrix ring 𝕄 _n (R) is left GP-injective.     

Localization of Monoid Objects and Hochschild Homology

Let A be a (not necessarily commutative) monoid object in an abelian symmetric monoidal category (C, ?,1) satisfying certain conditions. In this paper, we continue our study of the localization M _S of any A-module M with respect to a subset S ? Hom _A?Bimod (A, A) that is closed under composition. In particular, we prove the following theorem: if P is an A-bimodule such that P is symmetric as a bimodule over the center Z(A) of A, we have isomorphisms HH _*(A, P) _S  ? HH _*(A, P _S ) ? HH _*(A _S , P _S ) of Hochschild homology groups.     

Two-sided networks for completely simple semigroups

Let S be a completely simple semigroup represented as a Rees matrix semigroup M(I,G,P) with normalized sandwich matrix P. On the congruence lattice C(S) of S we consider the relations T _i, K and T _r which identify congruences with the same left trace, kernel and right trace, respectively. These are equivalences whose classes are intervals. The upper and lower ends of these intervals induce the following operators on C(S) T_l, K, T_r, t_l, k and t_r .We construct here the semigroup generated by these operators as a homomorphic image of a semigroup given by generators and relations and demonstrate the minimality of the latter.     

Simple-Direct-Projective Modules

In this paper, we introduce and study the dual notion of simple-direct-injective modules. Namely, a right R-module M is called simple-direct-projective if, whenever A and B are submodules of M with B simple and M/A ? B ?^⊕M, then A ?^⊕M. Several characterizations of simple-direct-projective modules are provided and used to describe some well-known classes of rings. For example, it is shown that a ring R is artinian and serial with J²(R) = 0 if and only if every simple-direct-projective right R-module is quasi-projective if and only if every simple-direct-projective right R -module is a D3-module. It is also shown that a ring R is uniserial with J²(R) = 0 if and only if every simple-direct-projective right R-module is a C3-module if and only if every simple-direct-injective right R -module is a D3-module.     

On Divisible and Torsionfree Modules

A ring R is called left P-coherent in case each principal left ideal of R is finitely presented. A left R-module M (resp. right R-module N) is called D-injective (resp. D-flat) if Ext¹(G, M) = 0 (resp. Tor₁(N, G) = 0) for every divisible left R-module G. It is shown that every left R-module over a left P-coherent ring R has a divisible cover; a left R-module M is D-injective if and only if M is the kernel of a divisible precover A → B with A injective; a finitely presented right R-module L over a left P-coherent ring R is D-flat if and only if L is the cokernel of a torsionfree preenvelope K → F with F flat. We also study the divisible and torsionfree dimensions of modules and rings. As applications, some new characterizations of von Neumann regular rings and PP rings are given.     

Some results on the cartan matrix of a frobenius algebra

Let F be a field and A a Frobenius algebra over F. The Jacobson radical of A is denoted by J = J(A) and the kth socle of A by S _k (A). Let [Abar]=A/J ^k or A/S _k (A). This article gives new interesting relations between the Cartan matrix of A and that of [Abar]. From these results we prove that the Cartan matrix of A is diagonal if A/Soc(A) is a symmetric algebra. Let G be a finite group. If A is a block of F|G] with the above condition, then the Cartan matrix of A is (n), where n is the order of the defect group of A and the least integer such that Jⁿ (A)=0.     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

Asymptotic Sequences over a Module

Let (R, 𝔪) be a Noetherian local ring and M be a submodule of the free module F = R ^r with height(I _r (M)) > 0. Asymptotic sequences over M will be defined analogous to Rees’ definition of asymptotic sequences over an ideal. It is then shown that all maximal asymptotic sequences over M have the same length. This length gives a bound on the analytic spread of M. Namely, if s is the length of a maximal asymptotic sequence over M then l(M) ≤dim R + rank M ? 1 ? s. Equality holds if R is quasi-unmixed.     

Principally quasi-injective modules

An R-module M is called principally quasi-injective if each R-hornomorphism from a principal submodule of M to M can be extended to an endomorphism of M. Many properties of principally injective rings and quasi-injective modules are extended to these modules. As one application, we show that, for a finite-dimensional quasi-injective module M in which every maximal uniform submodule is fully invariant, there is a bijection between the set of indecomposable summands of M and the maximal left ideals of the endomorphism ring of M

Throughout this paper all rings R are associative with unity, and all modules are unital. We denote the Jacobson radical, the socle and the singular submodule of a module M by J(M), soc(M) and Z(M), respectively, and we write J(M) = J. The notation N ?^ess M means that N is an essential submodule of M.