Submodules of Direct Sums of Compressible Modules

Let R be a ring. A right R-module M is called “essentially compressible” if it embeds in each of its essential submodules. Also a module X _R is called “completely essentially compressible” if every submodule of X _R is an essentially compressible R-module. In this aricle, it is shown that a right R-module M embeds in a direct sum of compressible right R-modules if and only if M _R is essentially compressible and every nonzero essentially compressible submodule of M _R contains a compressible submodule. Every essentially compressible R-module is shown to be retractable. Moreover, if either R _R has Krull dimension, or R is Morita equivalent to a right duo ring, then a right R-module embeds in a direct sum of compressible right R-modules if and only if it is completely essentially compressible.     

Universal Overconvergence of Polynomial Expansions of Harmonic Functions

For each compact subset K of ^N let (K) denote the space of functions that are harmonic on some neighbourhood of K. The space (K) is equipped with the topology of uniform convergence on K. Let Ω be an open subset of ^N such that 0Ω and ^N\Ω is connected. It is shown that there exists a series ∑H_n, where H_n is a homogeneous harmonic polynomial of degree n on ^N, such that (i) ∑H_n converges on some ball of centre 0 to a function that is continuous on Ω and harmonic on Ω, (ii) the partial sums of ∑H_n are dense in (K) for every compact subset K of ^N\Ω with connected complement. Some refinements are given and our results are compared with an analogous theorem concerning overconvergence of power series.     

On Stable Equivalence of Tensor Products of Algebras

The paper investigates the following problem. Let bimodules N, M yield a stable equivalence of Morita type between self-injective K-algebras A and E. Further, let bimodules S, T yield a stable equivalence of Morita type between self-injective K-algebras B and F. Then we want to know whether the functor M ? _A  ? ? _B S: mod(A ? _K B ^op ) → mod(E ? _K F ^op ) induces a stable equivalence between A ? _K B ^op and E ? _K F ^op . There is given a reduction of this problem to some smaller subcategories for self-injective algebras. Moreover, new invariants of stable equivalences of Morita type are constructed in a general case of arbitrary finite-dimensional algebras over a field.     

Mappings of finite distortion: the degree of regularity

This paper investigates the self-improving integrability properties of the so-called mappings of finite distortion. Let K(x)1 be a measurable function defined on a domain ΩRⁿ, n2, and such that exp(βK(x))L_loc¹(Ω), β>0. We show that there exist two universal constants c₁(n),c₂(n) with the following property: Let f be a mapping in W_loc^1,1(Ω,Rⁿ) with |Df(x)|ⁿK(x)J(x,f) for a.e. xΩ and such that the Jacobian determinant J(x,f) is locally in L¹ log^−c₁(n)βL. Then automatically J(x,f) is locally in L¹ log^c₂(n)βL(Ω). This result constitutes the appropriate analog for the self-improving regularity of quasiregular mappings and clarifies many other interesting properties of mappings of finite distortion. Namely, we obtain novel results on the size of removable singularities for bounded mappings of finite distortion, and on the area distortion under this class of mappings.     

Commuting Graphs of Matrix Algebras

The commuting graph of a ring R, denoted by Γ(R), is a graph whose vertices are all noncentral elements of R, and two distinct vertices x and y are adjacent if and only if xy = yx. The commuting graph of a group G, denoted by Γ(G), is similarly defined. In this article we investigate some graph-theoretic properties of Γ(M _n (F)), where F is a field and n ≥ 2. Also we study the commuting graphs of some classical groups such as GL _n (F) and SL _n (F). We show that Γ(M _n (F)) is a connected graph if and only if every field extension of F of degree n contains a proper intermediate field. We prove that apart from finitely many fields, a similar result is true for Γ(GL _n (F)) and Γ(SL _n (F)). Also we show that for two fields F and E and integers n, m ≥ 2, if Γ(M _n (F))?Γ(M _m (E)), then n = m and |F|=|E|.     

On a class of groups of prime-power order

LetG be a finitep-group,d(G)=dimH ¹ (G, Z _p) andr(G)=dimH ²(G, Z_p). Thend(G) is the minimal number of generators ofG, and we say thatG is a member of a classG _p of finitep-groups ifG has a presentation withd(G) generators andr(G) relations. We show that ifG is any finitep-group, thenG is the direct factor of a member ofG _p by a member ofG _p .     

The structure of the 3-separations of 3-connected matroids

Tutte defined a k-separation of a matroid M to be a partition (A,B) of the ground set of M such that |A|,|B|k and r(A)+r(B)−r(M)<k. If, for all m<n, the matroid M has no m-separations, then M is n-connected. Earlier, Whitney showed that (A,B) is a 1-separation of M if and only if A is a union of 2-connected components of M. When M is 2-connected, Cunningham and Edmonds gave a tree decomposition of M that displays all of its 2-separations. When M is 3-connected, this paper describes a tree decomposition of M that displays, up to a certain natural equivalence, all non-trivial 3-separations of M.     

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.     

Plane Sections of Convex Bodies of Maximal Volume

Let K = {K ₀ ,... ,K _k } be a family of convex bodies in R ⁿ , 1≤ k≤ n-1 . We prove, generalizing results from [9], [10], [13], and [14], that there always exists an affine k -dimensional plane A _k (subset, dbl equals) R ⁿ , called a common maximal k-transversal of K , such that, for each i∈ {0,... ,k} and each x∈ R ⁿ , where V _k is the k -dimensional Lebesgue measure in A _k and A _k +x . Given a family K = {K _i } _i=0 ^l of convex bodies in R ⁿ , l < k , the set C _k ( K ) of all common maximal k -transversals of K is not only nonempty but has to be ``large' both from the measure theoretic and the topological point of view. It is shown that C <sub>k</sub> ( K ) cannot be included in a ν -dimensional C <sup>1</sup> submanifold (or more generally in an ( H <sup>ν</sup> , ν) -rectifiable, H <sup>ν</sup> -measurable subset) of the affine Grassmannian AGr <sub>n,k</sub> of all affine k -dimensional planes of R <sup>n</sup> , of O(n+1) -invariant ν -dimensional (Hausdorff) measure less than some positive constant c <sub>n,k,l</sub> , where ν = (k-l)(n-k) . As usual, the ``affine' Grassmannian AGr _n,k is viewed as a subspace of the Grassmannian Gr _n+1,k+1 of all linear (k+1) -dimensional subspaces of R ⁿ⁺¹ . On the topological side we show that there exists a nonzero cohomology class θ∈ H ^n-k (G _n+1,k+1 ;Z ₂ ) such that the class θ ^l+1 is concentrated in an arbitrarily small neighborhood of C _k ( K ) . As an immediate consequence we deduce that the Lyusternik—Shnirel'man category of the space C _k ( K ) relative to Gr _n+1,k+1 is ≥ k-l . Finally, we show that there exists a link between these two results by showing that a cohomologically ``big' subspace of Gr _n+1,k+1 has to be large also in a measure theoretic sense. Received May 22, 1998, and in revised form March 27, 2000. Online publication September 22, 2000.     

Free groups in a normal subgroup of the field of fractions of a skew polynomial ring

Let k(t) be the field of rational functions over the field k, let σ be a k-automorphism of K = k(t), let D = K(X;σ) be the ring of fractions of the skew polynomial ring K[X;σ], and let D^? be the multiplicative group of D. We show that if N is a noncentral normal subgroup of D^?, then N contains a free subgroup. We also prove that when k is algebraically closed and σ has infinite order, there exists a specialization from D to a quaternion algebra. This allows us to explicitly present free subgroups in D^?.     

Rings of quotients of f-rings by gabriel filters of ideals

The article examines the role of Gabriel filters of ideals in the ontext of semiprime f-rings. It is shown that for every 2-convex semiprime f-ring Aand every multiplicative filter B of dense ideals the ring of quotients of A by B, namely the direct limit of the Hom _A (I, A) over all I∈ B, is an l-subring of QA, the maximum ring of quotients. Relative to the category of all commutative rings with identity, it is shown that for every 2-convex semiprime f-ring A qA, the classical ring of quotients, is the largest flat epimorphic extension of A. If Ais also a Prüfer ring then it follows that every extension of Ain qA is of the form S ^-1A for a suitable multiplicative subset S. The paper also examines when a Utumi ring of quotients of a semiprime f-ring is obtained from a Gabriel filter. For a ring of continuous functions C(X), with Xcompact, this is so for each C(U) and C ^*(U), when Uis dense open, but not for an arbitrary direct limit of C(U),taken over a filter base of dense open sets. In conclusion, it is shown that, for a complemented semiprime f-ring A, the ideals of Awhich are torsion radicals with respect to some hereditary torsion theory are precisely the intersections of minimal prime ideals of A.     

Projective Summands in Tensor Products of Simple Modules of Finite Dimensional Hopf Algebras

Abstract

Let H be a finite dimensional Hopf algebra over a field k. We show that H contains a unique maximal Hopf ideal J _w (H) contained in J(H), the Jacobson radical of H. We give various characterizations of J _w (H), for example J _w (H) = Ann _H ((H/J(H))^?n ) for all large enough n. The smallest positive integer n with this property is denoted by l _w (H). We prove that l _w (H) equals the smallest number n such that (H/J(H))^?n contains every projective indecomposable H/J _w (H)-module as a direct summand. This also equals the minimal n such that the tensor product of n suitable simple H-modules contains the projective cover of the trivial H/J _w (H)-module as a direct summand. We define projective homomorphisms between H-modules, which are used to obtain various reciprocity laws for tensor products of simple H-modules and their projective indecomposable direct summands. We also discuss some consequences of our general results in case H = kG is a group algebra of a finite group G and k is a field of characteristic p.     

Picard Groups of Rings of Coinvariants

Let k be a field, H a Hopf k-algebra with bijective antipode, A a right H-comodule algebra and C a Hopf algebra with bijective antipode which is also a right H-module coalgebra. Under some appropriate assumptions, and assuming that the set of grouplike elements G(A ⊗ C) of the coring A ⊗ C is a group, we show how to calculate, via an exact sequence, the Picard group of the subring of coinvariants in terms of the Picard group of A and various subgroups of G(A ⊗ C). Presented by: Claus Ringel.     

On the structure of cluster point sets of iteratively generated sequences

LetX be a closed subset of a topological spaceF; leta(·) be a continuous map fromX intoX; let {x _i} be a sequence generated iteratively bya(·) fromx ₀ inX, i.e.,x _i+1 =a(x _i),i=0, 1, 2, ...; and letQ(x ₀) be the cluster point set of {x _i}. In this paper, we prove that, if there exists a pointz inQ(x ₀) such that (i)z is isolated with respect toQ(x ₀), (ii)z is a periodic point ofa(·) of periodp, and (iii)z possesses a sequentially compact neighborhood, then (iv)Q(x ₀) containsp points, (v) the sequence {x _i} is contained in a sequentially compact set, and (vi) every point inQ(x ₀) possesses properties (i) and (ii). The application of the preceding results to the caseF=E ⁿ leads to the following: (vii) ifQ(x ₀) contains one and only one point, then {x _i} converges; (viii) ifQ(x ₀) contains a finite number of points, then {x _i} is bounded; and (ix) ifQ(x ₀) containsp points, then every point inQ(x ₀) is a periodic point ofa(·) of periodp.     

Asymptotic Primes of Delta Closures of Ideals

Abstract

For an ideal H in a Noetherian ring R let H? = ∪{H ⁱ⁺¹ : _R H ⁱ | i ≥ 0} and for a multiplicatively closed set Δ of nonzero ideals of R let H _Δ = ∪{HK: _R K | K ? Δ}. It is shown that four standard results concerning the associated prime ideals of the integral closure (bR)_a of a regular principal ideal bR do not hold for certain Δ closures (bR)_Δ of bR. To do this it is first shown that if I is an ideal in R such that height (I) ≥ 1, then each radical ideal J of R containing I is of the form J = K? :_R cR for some ideal K closely related to I, and if I _a :_R J ? U = ∪{I?R _P ∩ R | P is a minimal prime divisor of J} (where I _a is the integral closure of I), then J = I _Δ :_R CR and I ? I _Δ ? I _a).     

Study of Hopficity in Certain Classes of Rings

The main results proved in this paper are:

1. For any non-zero vector space V _Dover a division ring D, the ring R= End(V _D) is hopfian as a ring

2. Let Rbe a reduced π-regular ring &; B(R) the boolean ring of idempotents of R. If B(R) is hopfian so is R.The converse is not true even when Ris strongly regular.

3. Let Xbe a completely regular spaceC(X) (resp. C ^?(X)) the ring of real valued (resp. bounded real valued) continuous functions on X. Let Rbe any one of C(X) or C ^?(X). Then Ris an exchange ring if &; only if Xis zero dimensional in the sense of Katetov. for any infinite compact totally disconnected space X C(X) is an exchange ring which is not von Neumann regular.

4. Let Rbe a reduced commutative exchange ring. If Ris hopfian so is the polynomial ring R[T ₁,…,T _n] in ncommuting indeterminates over Rwhere nis any integer ≥ 1.

5. Let Rbe a reduced exchange ring. If Ris hopfian so is the polynomial ring R[T].     

On structure of small contractions of odd dimensional projective varieties

Let X be a smooth projective variety of dimension 2k-1 (k≥3) over the complex number field. Assume that fR: X→Y is a small contraction such that every irreducible component Ei of the exceptional locus of fR is a smooth subvariety of dimension k. It is shown that each Ei is isomorphic to the k-dimensional projective space Pk, the k-dimensional hyperquadric surface Qk in Pk 1, or a linear Pk-1-bundle over a smooth curve.     

On almost sure convergence of Cesaro averages of subsequences of vector-valued functions

A remarkable theorem proved by Komlòs [4] states that if {f_n} is a bounded sequence in L¹(R), then there exists a subsequence {f_nk} and f L¹(R) such that f_nk (as well as any further subsequence) converges Cesaro to f almost everywhere. A similar theorem due to Révész [6] states that if {f_n} is a bounded sequence in L²(R), then there is a subsequence {f_nk} and f L²(R) such that Σ_k=1^∞ a_k(f_nk − f) converges a.e. whenever Σ_k=1^∞ | a_k |² < ∞. In this paper, we generalize these two theorems to functions with values in a Hilbert space (Theorems 3.1 and 3.3).     

On the number of regular vertices of the union of jordan regions

Let \C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. If the boundaries of two sets in \C cross exactly twice, then their intersection points are called regular vertices of the arrangement \A(\C) . Let R(\C) denote the set of regular vertices on the boundary of the union of \C . We present several bounds on |R(\C)| , depending on the type of the sets of \C . (i) If each set of \C is convex, then |R(\C)|=O(n ^1.5+\eps ) for any \eps>0 . (ii) If no further assumptions are made on the sets of \C , then we show that there is a positive integer r that depends only on s such that |R(\C)|=O(n ^2-1/r ) . (iii) If \C consists of two collections \C ₁ and \C ₂ where \C ₁ is a collection of m convex pseudo-disks in the plane (closed Jordan regions with the property that the boundaries of any two of them intersect at most twice), and \C ₂ is a collection of polygons with a total of n sides, then |R(\C)|=O(m ^2/3 n ^2/3 +m +n) , and this bound is tight in the worst case. Received December 4, 1998, and in revised form June 3, 2000. Online publication Feburary 1, 2001.