Annihilator Primes and Foundation Primes

ABSTRACT

Let R be a Noetherian ring and M a finitely generated R -module. In this article, we introduce the set of prime ideals Fnd  M , the foundation primes of M . Using the fact that this set is nicely organized by foundation levels, we present an approach to the problem of understanding Annspec  M , the annihilator primes of M , via Fnd  M . We show: (1) Fnd  M is a finite set containing Annspec  M . Further, suppose that moreover every ideal of R has a centralizing sequence of generators; now, Annspec  M is equal to the set Ass  M of associated primes of M. Then: (2) For an arbitrary P  ∈ Fnd  M , P  ∈ Annspec  M if and only if there is no Q  ∈ Annspec  M such that P contains Q , and at the same time, the minimal foundation level on which appears P is greater than the minimal foundation level on which appears Q .     

Pure ℓ-Ideals in Lattice-Ordered Rings#

An ?-ideal I of a commutative lattice-ordered ring R with positive identity element is called a pure ?-ideal if R  =  I  + ?( x ) for each x  ∈  I , where ?(x) is the ?-annihilator of x in R . In this article, we give some results on pure ?-ideals and study the ?-ideal structure of a commutative lattice-ordered ring with positive identity element by using pure ?-ideals.     

Idempotency of Extensions via the Bicompletion

Let Top ₀ be the category of topological T ₀-spaces, QU ₀ the category of quasi-uniform T ₀-spaces, T : QU ₀ → Top ₀ the usual forgetful functor and K : QU ₀ → QU ₀ the bicompletion reflector with unit k : 1 → K. Any T-section F : Top ₀ → QU ₀ is called K-true if KF = FTKF, and upper (lower) K-true if KF is finer (coarser) than FTKF. The literature considers important T-sections F that enjoy all three, or just one, or none of these properties. It is known that T(K,k)F is well-pointed if and only if F is upper K-true. We prove the surprising fact that T(K,k)F is the reflection to Fix(TkF) whenever it is idempotent. We also prove a new characterization of upper K-trueness. We construct examples to set apart some natural cases. In particular we present an upper K-true F for which T(K,k)F is not idempotent, and a K-true F for which the coarsest associated T-preserving coreflector in QU ₀ is not stable under K. We dedicate this paper to the memory of Sérgio de Ornelas Salbany (1941–2005).     

Varieties generated by lattices of breadth two

Some relations between the classB of lattices of breadth at most two and its subclassD of dismantlable lattices, as well as the lattice varietiesV (B) andV (D) generated byV (D) andV (D), respectively, are studied in this paper. For finite join-semidistributive lattices, the two concepts of dismantlability and breadth at most two coincide. There are infinitely many lattice varieties between the varietiesV (D) andV (B), none of them is finitely based.     

The Structure of the Reduced Product of Preinjective Modules Over a Hereditary Right Pure Semisimple Ring

Abstract

For a monoid S , a (left) S -act is a nonempty set B together with a mapping S ×B→B sending (s, b) to sb such that S (tb)?=?lpar;st)b and 1b ?=?b for all S , t?∈?S and B ?∈?B. Right S -acts A can also be defined, and a tensor product A ??? _s B (a set)can be defined that has the customary universal property with respect to balanced maps from A?×?B into arbitrary sets. Over the past three decades, an extensive theory of flatness properties has been developed (involving free and projective acts, and flat acts of various sorts, defined in terms of when the tensor product functor has certain preservation properties). A recent and complete discussion of this area is contained in the monograph Monoids, Acts and Categories by M. Kilp et al. (New York: Walter de Gruyter, 2000). To date, there have been only a few attempts to generalize this material to ordered monoids acting on partially ordered sets ( S -posets). The present paper is devoted to such a generalization. A unique decomposition theorem for S -posets is given, based on strongly convex, indecomposable S -subposets, and a structure theorem for projective S -posets is given. A criterion for when two elements of the tensor product of S -posets given, which is then applied to investigate several flatness properties.     

A Generalized Global Cartan Decomposition: A Basic Example

Suppose G ₁ ?  G are complex linear simple Lie groups. Let  ₁ ?  be the corresponding pair of Lie algebras. For the Killing-orthogonal  of  ₁ in  we have a vector space direct sum  =  ₁⊕ , which generalizes the classical Cartan decomposition on the Lie algebras level. In this article we study the corresponding problem of a ‘generalized global Cartan decomposition’ on the Lie groups level for the pair of groups ( G , G ₁) = (SL (4,?),Sp (2,?)); here  =  (4,?),  ₁ =  (2,?), and  = {X ?  | X ^? = X}, where X? X ^? is the symplectic involution. We prove that G  =  G ₁exp  ∪ i G ₁exp . The key point of the proof is to study in detail the set exp ; and for that purpose we introduce the J-twisted Pfaffian of size 2n defined on the set of all 2n × 2n matrices X satisfying X ^? = X, which is here a natural counterpart of the standard Pfaffian.     

Finite-to-finite universal quasivarieties are Q-universal

Let K be a quasivariety of algebraic systems of finite type. K is said to be universal if the category G of all directed graphs is isomorphic to a full subcategory of K. If an embedding of G may be effected by a functor F:G K which assigns a finite algebraic system to each finite graph, then K is said to be finite-to-finite universal. K is said to be Q-universal if, for any quasivariety M of finite type, L(M) is a homomorphic image of a sublattice of L(K), where L(M) and L(K) are the lattices of quasivarieties contained in M and K, respectively.?We establish a connection between these two, apparently unrelated, notions by showing that if K is finite-to-finite universal, then K is Q-universal. Using this connection a number of quasivarieties are shown to be Q-universal. Received February 8, 2000; accepted in final form December 23, 2000.     

Ideal-comparability over Regular Rings

We introduce the concept of ideal-comparability condition for regular rings. Let I be an ideal of a regular ring R. If R satisfies the I-comparability condition, then R is one-sided unit-regular if and only if so is R/I. Also, we show that a regular ring R satisfies the general comparability if and only if the following hold： （1） R/I satisfies the general comparability; （2） R satisfies the general I-comparability condition; （3） The natural map B（R） → B（R/I） is surjective.     

Adjoining an Identity to a Reduced Archimedean f-Ring

Let frA denote the category of f-rings which are reduced and Archimedean, and let Φ be the (nonfull) subcategory of such rings with identity (each with the natural morphisms). Some time ago, the second author showed, using his representation theory, that for each A ∈ | frA| there is a certain minimal embedding u _A :A→ uA ∈ | Φ|. More recently, he has revisited the representation theory, expanding it to include the representation of morphisms. Based upon this, the present article analyzes the operator u:| frA| → Φ: the construction of uA is tidied, several characterizations of the pair (u _A , uA) are given, and the relation between the maximal ideal structures of A and uA is described. Membership in the class U of frA-morphisms that are “u-extendable” is characterized and it is shown that U = (| frA|,U) is a category in which Φ is a full essentially-reflective subcategory. The frA-objects are characterized for which, respectively, ? B(frA(A, B) = U (A, B)), and, ? B ≠ 0(frA(B, A) = U(B, A)).     

Spectra of degrees of some structures

We argue for the existence of structures with the spectrum {x : x ≰ a} of degrees, where a is an arbitrary low degree. Also it is stated that there exist structures with the spectrum of degrees, {x : x ≰ a} ⋃ {x : x ≰ b}, for any low degrees a and b. Supported by RFBR grant No. 05-01-00605. __________ Translated from Algebra i Logika, Vol. 46, No. 6, pp. 729–744, November–December, 2007.     

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.     

Operators on the Lattice of Pseudovarieties of Finite Semigroups

L (F) of pseudovarieties of finite semigroups that attempts to take full advantage of the underlying lattice structure, Auinger, Hall and the present authors recently introduced fourteen complete congruences on L (F). Such congruences provide a framework from which to study L (F) both locally and globally. For each such congruence ρ and each U∈L (F) the ρ-class of U is an interval [U ^ρ, U _ρ]. This provides a family of operators of the form U⇒Uρ on L (F) that reveal important relationships between elements of L (F). Various aspects of these operators are considered including characterizations of U ^ρ, bases of pseudoidentities for U ^ρ, instances of commutativity (U ^ρ)^σ = U ^σ)^ρ, as well as the semigroups generated by certain pairs of such operators.     

Butler Modules Over Prüfer Domains

If R is an integral domain, let  be the class of torsion free completely decomposable R-modules of finite rank. Denote by  the class of those torsion-free R-modules A such that A is a homomorphic image of some C ? , and let 𝒫 be the class of R-modules K such that K is a pure submodule of some C ? . Further, let Q  and Q 𝒫 be the respective closures of  and 𝒫 under quasi-isomorphism. In this article, it is shown that if R is a Prüfer domain, then Q  = Q 𝒫, and  = 𝒫 in the special case when R is h-local. Also, if R is an h-local Prüfer domain and if C ?  has a linearly ordered typeset, it is established that all pure submodules and all torsion-free homomorphic images of C are themselves completely decomposable. Finally, as an application of these results, we prove that if R is an h-local Prüfer domain, then  = Q  = Q 𝒫 = 𝒫 if and only if R is almost maximal.     

A Property About Minimum Edge- and Minimum Clique-Cover of a Graph

 Let G be a graph with n vertices, and denote as γ(G) (as θ(G)) the cardinality of a minimum edge cover (of a minimum clique cover) of G. Let E (let C) be the edge-vertex (the clique-vertex) incidence matrix of G; write then P(E)={x∈ℜ ⁿ :Ex≤1,x≥0}, P(C)={x∈ℜ ⁿ :Cx≤1,x≥0}, α _E (G)=max{1 ^T x subject to x∈P(E)}, and α _C (G)= max{1 ^T x subject to x∈P(C)}. In this paper we prove that if α _E (G)=α _C (G), then γ(G)=θ(G). Received: May 20, 1998?Final version received: April 12, 1999     

Relations between ΛBV and BV(p(n) ↑∞) Classes of Functions

The base radical class L _b(X), generated by a class X was introduced in [12]. It consists of those rings whose nonzero homomorphic images have nonzero accessible subrings in X. When X is homomorphically closed, L _b(X) is the lower radical class defined by X, but otherwise X may not be contained in L _b(X). We prove that for a hereditary radical class L with semisimple class S(R), L _b(S(R)) is the class of strongly R-semisimple rings if and only if R is supernilpotent or subidempotent. A number of further examples of radical classes of the form L _b(X) are discussed. This revised version was published online in June 2006 with corrections to the Cover Date.     

Coreflectivity of E-Monads and Algebraic Hulls

Let Xbe a category with a given(E,M)-factorization structure for morphisms, M Mono X. In general, an arbitrary endofunctor T of X fails badly to preserve the E-class. If T carries a monad structure, then T(E) E implies that the corresponding category of Eilenberg–Moore-algebras admits (E,M)-factorizations and vice versa. In order to get T as close as possible to this nice algebraic behaviour, a couniversal modification T T with (E) E is constructed in two different ways using mild and natural assumptions on E and M, respectively. T inherits its monad structure from T. In case of T = U F, F U, the Eilenberg–Moore-category of T contains a universal (E,M-algebraic hull (completion) of U [2, 3]. There are further applications to varietal hulls [4] and to function spaces.     

On v-closed manis valution rings

ABSTRACT

The graded Lie algebra L associated to the Nottingham group with respect to its natural filtration is known to be a loop algebra of the first Witt algebra W ₁ . The fact that the Schur multiplier of W ₁ , in characteristic p > 3, is one-dimensional implies that L is not finitely presented. Consider the universal covering ? ₁ of W ₁ and the corresponding loop algebra M of ? ₁ . In this paper we prove that M itself is finitely presented for p > 3. In characteristic p >  11 the algebra M turns out to be presented by two relations.     

Weak Global Dimension of Coherent Rings

In this article, we study the weak global dimension of coherent rings in terms of the left FP-injective resolutions of modules. Let R be a left coherent ring and ? ? the class of all FP-injective left R-modules. It is shown that wD(R) ≤ n (n ≥ 1) if and only if every nth ? ?-syzygy of a left R-module is FP-injective; and wD(R) ≤ n (n ≥ 2) if and only if every (n ? 2)th ? ?-syzygy in a minimal ? ?-resolution of a left R-module has an FP-injective cover with the unique mapping property. Some results for the weak global dimension of commutative coherent rings are also given.