THE M-VALUATION SPECTRUM OF A COMMUTATIVE RING

Abstract

In 1945, N. Jacobson has introduced the definition of radical of a ring A (which is known as “Jacobson radical”, and is denoted J = J(A)). Later the concept of (Jacobson) radical of a left (or right) A-module M, J(M), has been defined as the intersection of all submodules N ≤ M such that M/N is simple. Thus one may consider the left radical J _l  = J( _A A) and the right radical J _r  = J(A _A ) of A, which are bilateral ideals of A, and are contained in J(A). If A has identity, one has J = J _l  = J _r , but this equality is not valid in general. Dual, it is possible to define left socle S _l and right socle S _r of A. We shall establish relations between J, J _l , J _r , S _l and S _r , and for artinian algebras we shall obtain expressions for J _l (A) and J _r (A), S _l (A) and S _r (A). In particular, if A is a finite dimensional algebra over a field we display J _l  = J( _A A) (and J _r  ? J(A _A )) in a matrix representation.     

Functorial Properties of Star Operations

We define a universal star operation to be an assignment *: A ? * _A of a star operation * _A on A to every integral domain A. Prime examples of universal star operations include the divisorial closure star operation v, the t-closure star operation t, and the star operation w = F _∞ of Hedstrom and Houston. For any universal star operation *, we say that an extension B ? A of integral domains is *-ideal class linked if there is a group homomorphism Cl_{* A} (A) → Cl_{* B} (B) of star class groups induced by the map I ? (IB)^{* _B} on the set of * _A -ideals I of A. We study several natural subclasses of the class of *-ideal class linked extensions.     

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.     

Sufficient Condition to Resolve Costa's First Conjecture

In this work, we give a sufficient condition to resolve Costa's first conjecture for each positive integer n and d with n ≥ 4. Precisely, we show that if there exists a local ring (A, M) such that λ _A (M) = n, and if there exists an (n + 2)-presented A-submodule of M ^m , where m is a positive integer (for instance, if M contains a regular element), then we may construct an example of (n + 4, d)-ring which is neither an (n + 3, d)-ring nor an (n + 4, d ? 1)-ring. Finally, we construct a local ring (B, M) such that λ _B (M) = 0 (resp., λ _B (M) = 1) and so we exhibit for each positive integer d, an example of a (4, d)-ring (resp., (5, d)-ring) which is neither a (4, d ? 1)-ring (resp., neither a (5, d ? 1)-ring) nor a (2, d′)-ring (resp., nor a (3, d′)-ring) for each positive integer d′.     

A New Characterization of A 10 by its Noncommuting Graph

Let G be a nonabelian group and associate a noncommuting graph ?(G) with G as follows: The vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. In 1987, Professor J. G. Thompson gave the following conjecture.

Thompson's Conjecture. If G is a finite group with Z(G) = 1 and M is a nonabelian simple group satisfying N(G) = N(M), then G ? M, where N(G):={n ∈ ? | G has a conjugacy class of size n}.

In 2006, A. Abdollahi, S. Akbari, and H. R. Maimani put forward a conjecture (AAM's conjecture) in Abdollahi et al. (2006) as follows.

AAM's Conjecture. Let M be a finite nonabelian simple group and G a group such that ?(G) ? ? (M). Then G ? M.

In this short article we prove that if G is a finite group with ?(G) ? ? (A ₁₀), then G ? A ₁₀, where A ₁₀ is the alternating group of degree 10.     

On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

Some Results for Decomposition Numbers for the Hecke Algebra of Type A with q = −1

Let ? = ?_{?, ?1}(𝔖 _n ) be the Hecke algebra of the symmetric group 𝔖 _n . For partitions λ and ν with ν 2 ? regular, define the Specht module S(λ) and the irreducible module D(ν). Define d _λν = [S(λ): D(ν)] to be the composition multiplicity of D(ν) in S(λ). In this paper we compute the decomposition numbers d _λν for all partitions of the form λ = (a, c, 1 ^b ) and ν 2 ? regular.     

On Partial Tilting Complexes

Let R be a commutative noetherian ring and A a noetherian R-algebra. Let P ^? ∈ 𝒦^b(𝒫 _A ) with Hom_𝒦(Mod-A)(P ^?, P ^?[i]) = 0 for i > 0. We will provide a sufficient condition for P ^? to be a direct summand of a silting complex. Also, in case Hom_𝒦(Mod-A)(P ^?, P ^?[i]) = 0 for i ≠ 0, we will provide a sufficient condition for P ^? to be a direct summand of a tilting complex.     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.     

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.     

On the Logarithm Component in Trace Defect Formulas

In asymptotic expansions of resolvent traces Tr(A(P ? λ)^?1) for classical pseudodifferential operators on closed manifolds, the coefficient C ₀(A, P) of ( ? λ)^?1 is of special interest, since it is the first coefficient containing nonlocal elements from A; moreover, it enters in index formulas. C ₀(A, P) also equals the zeta function value at zero when P is invertible. C ₀(A, P) is a trace modulo local terms, since C ₀(A, P) ? C ₀(A, P′) and C ₀([A, A′], P) are local. By use of complex powers P ^s (or similar holomorphic families of order s), Okikiolu, Kontsevich and Vishik, Melrose and Nistor showed formulas for these trace defects in terms of residues of operators defined from A, A′, log P and log P′.

The present paper has two purposes. One is to show how the trace defect formulas can be obtained from the resolvents in a simple way without use of the complex powers of P as in the original proofs. We also give here a simple direct proof of a recent residue formula of Scott for C ₀(I, P). The other purpose is to establish trace defect residue formulas for operators on manifolds with boundary, where complex powers are not easily accessible; we do this using only resolvents. We also generalize Scott's formula to boundary problems.     

Divisibility Graph for Symmetric and Alternating Groups

Let X be a nonempty set of positive integers and X* = X?{1}. The divisibility graph D(X) has X* as the vertex set, and there is an edge connecting a and b with a, b ∈ X* whenever a divides b or b divides a. Let X = cs(G) be the set of conjugacy class sizes of a group G. In this case, we denote D(cs(G)) by D(G). In this paper, we will find the number of connected components of D(G) where G is the symmetric group S _n or is the alternating group A _n .     

Hopf-Type Algebras

In this article, we provide an alternative approach to the definition of a weak Hopf algebra (WHA). For an associative unital algebra A with a coassociative comultiplication Δ ∈Alg ^u (A, A ? A), the set of homomorphisms from A to A ? A, which do not preserve the units. If the linear maps Ξ₁, Ξ₂ ∈ End(A ? A), defined by Ξ₁(a ? b) = Δ(a)(1 ? b), Ξ₂(a ? b) = (a ? 1)Δ(b), are von Neumann regular elements in the ring End(A ? A) of endomorphisms of A ? A satisfying some appropriate assumptions, we call the A a Hopf-type algebra. We show the existence of a target, a source, a counit, and an antipode of A as in the usual WHA.     

On Derived Equivalences for Selfinjective Algebras

We show that if A is a representation-finite selfinjective Artin algebra, then every P ^? ? K ^b(𝒫 _A ) with Hom _K(Mod?A)(P ^?,P ^?[i]) = 0 for i ≠ 0 and add(P ^?) = add(νP ^?) is a direct summand of a tilting complex, and that if A, B are derived equivalent representation-finite selfinjective Artin algebras, then there exists a sequence of selfinjective Artin algebras A = B ₀, B ₁,…, B _m  = B such that, for any 0 ≤ i < m, B _i+1 is the endomorphism algebra of a tilting complex for B _i of length ≤ 1.     

Properties of Modules and Rings Relative to Some Matrices

Let R be a ring and  _β×α(R) (?   _β×α(R)) the set of all β × α full (row finite) matrices over R where α and β ≥ 1 are two cardinal numbers. A left R-module M is said to be “injective relative” to a matrix A ? ?   _β×α(R) if every R-homomorphism from R ^(β) A to M extends to one from R ^(α) to M. It is proved that M is injective relative to A if and only if it is A-pure in every module which contains M as a submodule. A right R-module N is called flat relative to a matrix A ?  _β×α(R) if the canonical map μ: N? R ^(β) A → N ^α is a monomorphism. This extends the notion of (m, n)-flat modules so that n-projectivity, finitely projectivity, and τ-flatness can be redefined in terms of flatness relative to certain matrices. R is called left coherent relative to a matrix A ?  _β×α(R) if R ^(β) A is a left R-ML module. Some results on τ-coherent rings and (m, n)-coherent rings are extended.     

Sequentially Cohen-Macaulay Modules Under Base Change

ABSTRACT

Assume that ?:(R, ± 𝔪) → (S, ± 𝔫) is a local flat homomorphism between commutative Noetherian local rings R and S. Let M be a finitely generated R-module. We investigate the ascent and descent of sequentially Cohen-Macaulay properties between the R-module M and the S-module M ? _R  S.     

Preduals of semigroup algebras

For a locally compact group G, the measure convolution algebra M(G) carries a natural coproduct. In previous work, we showed that the canonical predual C ₀(G) of M(G) is the unique predual which makes both the product and the coproduct on M(G) weak^*-continuous. Given a discrete semigroup S, the convolution algebra ℓ ¹(S) also carries a coproduct. In this paper we examine preduals for ℓ ¹(S) making both the product and the coproduct weak^*-continuous. Under certain conditions on S, we show that ℓ ¹(S) has a unique such predual. Such S include the free semigroup on finitely many generators. In general, however, this need not be the case even for quite simple semigroups and we construct uncountably many such preduals on ℓ ¹(S) when S is either ℤ₊×ℤ or (ℕ,⋅).     

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.