A Note on Bruhat Decomposition of GL(n) over Local Principal Ideal Rings

Let A be a local commutative principal ideal ring. We study the double coset space of GL _n (A) with respect to the subgroup of upper triangular matrices. Geometrically, these cosets describe the relative position of two full flags of free primitive submodules of A ⁿ . We introduce some invariants of the double cosets. If k is the length of the ring, we determine for which of the pairs (n,k) the double coset space depends on the ring in question. For n = 3, we give a complete parametrisation of the double coset space and provide estimates on the rate of growth of the number of double cosets.     

Properties of the Fiber Cone of Ideals in Local Rings

Abstract

For an ideal I of a Noetherian local ring (R, m ) we consider properties of I and its powers as reflected in the fiber cone F(I) of I. In particular,we examine behavior of the fiber cone under homomorphic image R → R/J = R′ as related to analytic spread and generators for the kernel of the induced map on fiber cones ψ _J  : F _R (I) → F _R′(IR′). We consider the structure of fiber cones F(I) for which ker ψ _J  ≠ 0 for each nonzero ideal J of R. If dim F(I) = d > 0,μ(I) = d + 1 and there exists a minimal reduction J of I generated by a regular sequence,we prove that if grade(G ₊(I)) ≥ d ? 1,then F(I) is Cohen-Macaulay and thus a hypersurface.     

A New Proof of a Theorem of Suslin

In this paper we compute the group H₂(SL₂(F)), for F an infinite field. In particular, using some techniques from homological algebra developed by Hutchinson [Hutchinson, K: K-Theory 4 (1990), 181–200], we give a new proof of the following theorem obtained by [Su2]: The group H₂(SL₂, (F)) is the fiber product of λ_*:K₂(F)→ I²(F)/I³(F) and σ: I²(F) → I²(F)/I³(F) where λ_* and σ map onto I²(F)/I³(F). (Received: February 2003)     

Two Remarks on Independent Sets

In the first part we generalize the notion of strongly independent sets, introduced in [10] for polynomial ideals, to submodules of free modules and explain their computational relevance. We discuss also two algorithms to compute strongly independent sets that rest on the primary decomposition of squarefree monomial ideals.Usually the initial ideal in(I) of a polynomial ideal I is worse than I. In [9] the authors observed that nevertheless in(I) is not as bad as one should expect, showing that in(I) is connected in codimension one if I is prime.In the second part of the paper we add more evidence to that observation. We show that in(I) inherits (radically) unmixedness, connectedness in codimension one and connectedness outside a finite set of points from I and prove the same results also for initial submodules of free modules. The proofs use a deformation from I to in(I ).     

Congruences Concerning Values of the Modular Functions <Emphasis Type="Italic">j</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The j-function j(z) = q⁻¹+ 744 + 196884q + ⋅s plays an important role in many problems. In [7], Zagier, presented an interesting series of functions obtained from the j-function: j_m(ζ) = (j(ζ) – 744)∨T₀(m), where T₀(m) is the usual m′th normalized weight 0 Hecke operator. In [3], Bruinier et al. show how this series of functions can be used to describe all meromorphic modular forms on SL₂(ℤ). In this note we use these functions and basic notions about modular forms to determine previously unidentified congruence relations between the coefficients of Eisenstein series and the j-function. 2000 Mathematics Subject Classification: Primary–11B50, 11F03, 11F30 The author thanks the National Science Foundation for their generous support.     

QUINTESSENTIAL PRIMES AND IDEAL TOPOLOGIES OVER A MODULE

Let I be an ideal of a Noetherian ring R, N a finitely generated R-module and let S be a multiplicatively closed subset of R. We define the Nth (S)-symbolic power of I w.r.t. N as S(I ⁿ N) = ∪ _s∈S (I ⁿ N: _N s). The purpose of this paper is to show that the topologies defined by {Iⁿ N} _n≥0 and {S(Iⁿ N)} _n≥0 are equivalent (resp. linearly equivalent) if and only if S is disjoint from the quintessential (resp. essential) primes of I w.r.t. N.     

Zero-Divisor Graph with Respect to an Ideal

ABSTRACT

Let R be a commutative ring with nonzero identity and let I be an ideal of R. The zero-divisor graph of R with respect to I, denoted by Γ _I (R), is the graph whose vertices are the set {x ? R\I | xy ? I for some y ? R\I} with distinct vertices x and y adjacent if and only if xy ? I. In the case I = 0, Γ₀(R), denoted by Γ(R), is the zero-divisor graph which has well known results in the literature. In this article we explore the relationship between Γ _I (R) ? Γ _J (S) and Γ(R/I) ? Γ(S/J). We also discuss when Γ _I (R) is bipartite. Finally we give some results on the subgraphs and the parameters of Γ _I (R).     

Derivations with engel conditions in prime and semiprime rings

Let R be a prime ring, I a nonzero ideal of R, d a derivation of R and m, n fixed positive integers. (i) If (d[x, y]) ^m = [x, y] _n for all x, y ∈ I, then R is commutative. (ii) If Char R ≠ 2 and [d(x), d(y)] _m = [x, y] ⁿ for all x, y ∈ I, then R is commutative. Moreover, we also examine the case when R is a semiprime ring.     

A Note on Regularity Properties with Respect to Ideals

The object of this article is to study the regularity properties of elements of a ring with respect to a given ideal I. As expected, several concepts that are equivalent in the case of I = R turn out to be distinct for a general ideal I and we consider the relations between these properties. In particular, we replace the set of units U(R) of the ring R by the set U _I (R) = {u|uI = Iu = I} and use these “relative units” to obtain generalizations of notions such as stable range and unit-regularity. We also see that on assuming the set of “relative units” to have no zero divisors, we can obtain several interesting results.     

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.     

General symbolic powers: A homological point of view

Let I be an ideal of a Noetherian ring R and let S be a multiplicatively closed subset of R. We define the n-th (S)-symbolic power of 7 as S(Iⁿ) = IⁿR_s ∩R. The purpose of this paper is to compare the topologies defined by the adic {I_n}_n≤0 and the (S)-symbolic filtration {S(Iⁿ)}n≥o using the direct system {Extⁱ _R(R/Iⁿ,R)}_n≥0     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

On the depth of certain graded rings associated to an ideal

Let (R,m) be a local ring and Ian ideal of R. In this work we find conditions on Ithat allow us to describe simple relations among depth R(It), depth gr_I(R), depth S(I) and depth S(I/I ²). These relations are useful also from a practical point, of view since it is usually difficult to evaluate depth gr_I(R) and depth S(I/I ²) even with the help of a computer. Furthermore we study the class of ideals that satisfy one of the required conditions and we show that ideals generated by quadratic sequences are in this class     

Idealization of a decomposition theorem

In 1986, Tong [13] proved that a function f : (X,τ)→(Y,φ) is continuous if and only if it is α-continuous and A-continuous. We extend this decomposition of continuity in terms of ideals. First, we introduce the notions of regular-I-closed sets, A _I-sets and A _I -continuous functions in ideal topological spaces and investigate their properties. Then, we show that a function f : (X,τ,I)→(Y, φ) is continuous if and only if it is α-I-continuous and A _I-continuous. This revised version was published online in June 2006 with corrections to the Cover Date.     

A Lower Bound on the Second Fiber Coefficient of the Fiber Cones

Let (R, 𝔪) be a Cohen–Macaulay local ring of dimension d > 0, I an 𝔪-primary ideal of R and K an ideal containing I. When depth G(I) ≥ d ? 1 and r(I | K) < ∞, we present a lower bound on the second fiber coefficient of the fiber cones, and also provide a characterization, in terms of f ₂(I, K), of the condition depth F _K (I) ≥ d ? 1.     

The natural functions on the cotangent bundle of higher order vector tangent bundles over fibered manifolds

For natural numbers r,s,q,m,n with s≥r≤q we determine all natural functions g: T ^*(J ^(r,s,q)(Y, R ^1,1)₀)^*→R for any fibered manifold Y with m-dimensional base and n-dimensional fibers. For natural numbers r,s,m,n with s≥r we determine all natural functions g: T ^*(J ^(r,s) (Y, R)₀)^*→R for any Y as above.     

Distance graphs with missing multiples in the distance sets

Given positive integers m, k, and s with m > ks, let D_m,k,s represent the set {1, 2, …, m} − {k, 2k, …, sk}. The distance graph G(Z, D_m,k,s) has as vertex set all integers Z and edges connecting i and j whenever |i − j| ∈ D_m,k,s. The chromatic number and the fractional chromatic number of G(Z, D_m,k,s) are denoted by χ(Z, D_m,k,s) and χf(Z, D_m,k,s), respectively. For s = 1, χ(Z, D_m,k,1) was studied by Eggleton, Erdős, and Skilton [6], Kemnitz and Kolberg [12], and Liu [13], and was solved lately by Chang, Liu, and Zhu [2] who also determined χf(Z, D_m,k,1) for any m and k. This article extends the study of χ(Z, D_m,k,s) and χf(Z, D_m,k,s) to general values of s. We prove χf(Z, D_m,k,s) = χ(Z, D_m,k,s) = k if m < (s + 1)k; and χf(Z, D_m,k,s) = (m + sk + 1)/(s + 1) otherwise. The latter result provides a good lower bound for χ(Z, D_m,k,s). A general upper bound for χ(Z, D_m,k,s) is obtained. We prove the upper bound can be improved to ⌈(m + sk + 1)/(s + 1)⌉ + 1 for some values of m, k, and s. In particular, when s + 1 is prime, χ(Z, D_m,k,s) is either ⌈(m + sk + 1)/(s + 1)⌉ or ⌈(m + sk + 1)/(s + 1)⌉ + 1. By using a special coloring method called the precoloring method, many distance graphs G(Z, D_m,k,s) are classified into these two possible values of χ(Z, D_m,k,s). Moreover, complete solutions of χ(Z, D_m,k,s) for several families are determined including the case s = 1 (solved in [2]), the case s = 2, the case (k, s + 1) = 1, and the case that k is a power of a prime. © 1999 John Wiley & Sons, Inc. J Graph Theory 30: 245–259, 1999     

Pseudo Riemannian manifolds whose generalized Jacobi operator has constant characteristic polynomial

Letg be a non-degenerate innerproduct of signature (p,q) onR ^m . LetGr _r,s (g) be the Grassmanian of planes so the restriction of g to is non-degenerate and has signature (r, s). IfR is an algebraic curvature tensor onR ^m , we define a generalized Jacobi operator onGr _r,s (g) and study when the characteristic polynomial of this operator is constant.Dedicated to Professor Helmut Karzel on his 70th birthdayResearch partially supported by the NSF (USA).Research partially supported by the NFSI (Bulgaria).     

ON THE NORMALITY OF MONOMIAL IDEALS OF MIXED PRODUCTS

Let R = K[x, y] be a polynomial ring in two disjoint sets of variables x, y over a field K. We study ideals of mixed products L = I_kJ_r + I_sJ_t such that k + r = s + t, where I_k (resp. J_r ) denotes the ideal of R generated by the square-free monomials of degree k (resp. r) in the x (resp. y ) variables. Our main result is a characterization of when a given ideal L of mixed products is normal.