A theorem on arrangements of lines in the plane

LetA be an arrangement ofn lines in the plane. IfR ₁, …,R _r arer distinct regions ofA, andR _i is ap _i-gon (i=1, …,r) then we show that . Further we show that for allr this bound is the best possible ifn is sufficiently large. Financial support for this research was provided by the Carnegie Trust for the Universities of Scotland.     

Some embeddings of infinite-dimensional spaces

It is shown that ifA is a weakly infinite-dimensional subset of a metric spaceR then aG _δ setB ofR exists such thatA⊆B andB is weakly infinite-dimensional. A similar result holds for a set having strong transfinite inductive dimension. As a consequence each weakly infinite-dimensional metric space possesses a weakly infinite-dimensional complete metric extension. A similar result holds also for a space having strong transfinite inductive dimension.     

The construction of a set of recurrence which is not a set of strong recurrence

This paper deals with two possible definitions of recurrence in measure preserving systems. A set of integersR is said to be a set of (Poincaré) recurrence if, for all measure preserving systems (X, B, μ, T) and any measurable setA of positive measure, there is anr εR such thatμ(T ^r A∩A)>0.R is said to be a set of strong recurrence if, for all measure preserving systems (X, B, μ, T) and any measurable setA of positive measure, there is ane>0 and an infinite number of elementsr ofR such thatμ(T ^r A∩A)≥e (see Bergelson’s 1985 paper). This paper constructs a set of recurrenceR, an example of a measure preserving system (X, B, μ, T) and a measurable setA of measure 1/2, such that lim _{r→∞:rεRμ} (A∩T ^r A)=0. In particularR is a set of recurrence but not a set of strong recurrence, giving a negative answer to a question of Bergelson posed in 1985. Further, it also constructs a set of recurrence which does not force the continuity of positive measures and so reproves a result of Bourgain published in 1987. This paper forms a part of the author’s Ph.D. Thesis at the Ohio State University. The author wishes to thank his advisor, Professor Bergelson, for suggesting the problem of this paper and for his guidance.     

Rings radical over subrings

LetR be a ring with a subringA such that a power of every element ofR lies inA. The following results are proved: IfR has no nonzero nil right ideals, neither doesA; if moreoverR is prime,A is also prime. IfR is semiprime Goldie, so isA. IfA has no nonzero nilpotent elements, then the nilpotent elements ofR form an ideal. Finally ifR has no nil right ideals andA is Goldie, thenR is Goldie. This work was supported by the National Research Council of Brazil (CNPq) at the University of Chicago. The author wishes to express his gratitude to Professor I. N. Herstein for his advise and encouragement.     

Finitistic dimensions of semiprimary rings

LetR be a semiprimary ring. We show that if the left generalized projective dimension (defined below) of _R (R/J ²) is finite, then the injectively defined left finitistic dimension ofR is finite.     

Estimates of global dimension

In this note we show that for a *ⁿ-module, in particular, an almost n-tilting module, P over a ring R with A = End_R P such that P _A has finite flat dimension, the upper bound of the global dimension of A can be estimated by the global dimension of R and hence generalize the corresponding results in tilting theory and the ones in the theory of *-modules. As an application, we show that for a finitely generated projective module over a VN regular ring R, the global dimension of its endomorphism ring is not more than the global dimension of R.     

A-stable block implicit one-step methods

A class of methods for solving the initial value problem for ordinary differential equations is studied. We developr-block implicit one-step methods which compute a block ofr new values simultaneously with each step of application. These methods are examined for the property ofA-stability. A sub-class of formulas is derived which is related to Newton-Cotes quadrature and it is shown that for block sizesr=1,2,..., 8 these methods areA-stable while those forr=9,10 are not. We constructA-stable formulas having arbitrarily high orders of accuracy, even stiffly (strongly)A-stable formulas.     

Non-commutative spaces with transitive translation groups. II

LetG be a group. The problem of finding all skewaffine spaces with a transitive translation group isomorphic toG will be reduced to the determination of all Schur-decompositions ofG, i.e. of all decompositions ofG\{1} into pairwise disjoint subsetsA _r such that anyA _r ^–1 is anA _s and any productA _r A _s is a union of someA _t and possibly {1}.Dedicated to Helmut Salzmann on his 65th birthday     

Some remarks on normal property of graded subalgebras of polynomial rings

LetR be an integral domain andA a finely gradedR-subalgebra of a polynomial ring overR. There are two topics in this article concerning the normality ofA. The main result in the first topic is thatA is completely normal (or normal) if and only if the corresponding monoid is completely normal (or normal resp.) whenR is a Krull (or Dedekind resp.) domain. The main result in the second topic is that ifR is (completely) normal andA is equipped with a structure of a square-free pre-Hodge algebra overR, thenA is also (completely) normal. We also prove the statement in a sense converse to the one above.     

The box dimension of completely invariant subsets for expanding piecewise monotonic transformations

We consider completely invariant subsetsA of expanding piecewise monotonic transformationsT on [0, 1]. An estimate of the box dimension of such setsA in terms of a certain pressure function is given, which implies equality of box dimension and Hausdorff dimension ofA.     

On the small Krull dimension of modules

We introduce and study the concept of small Krull dimension of a module which is Krull-like dimension extension of the concept of DCC on small submodules. Using this concept we extend some of the basic results for modules with this dimension, which are almost similar to the basic properties of modules with Krull dimension. When for a module A with small Krull dimension, whose Rad(A) is quotient finite dimensional, then these two dimensions for Rad(A) coincide. In particular, we prove that if an R-module A has finite hollow dimension, then A has small Krull dimension if and only if it has Krull dimension. Consequently, we show that if A has properties AB5* and qfd, then A has s.Krull dimension if and only if A has Krull dimension.     

Gorenstein Injective Envelopes of Artinian Modules

Let R be a commutative Noetherian ring and A an Artinian R-module. We prove that if A has finite Gorenstein injective dimension, then A possesses a Gorenstein injective envelope which is special and Artinian. This, in particular, yields that over a Gorenstein ring any Artinian module possesses a Gorenstein injective envelope which is special and Artinian.     

The Modulus of the Image Annuli Under Univalent Harmonic Mappings and a Conjecture of Nitsche

The object of the paper is to show that if f is a univalent,harmonic mapping of the annulus A(r, 1) = {z : r < |z| <1} onto the annulus A(R, 1), and if s is the length of the segmentof the Grötzsch ring domain associated with A(r, 1), thenR < s. This gives the first, quantitative upper bound ofR, which relates to a question of J. C. C. Nitsche that he raisedin 1962. The question of whether this bound is sharp remainsopen.     

The decomposition numbers of the hecke algebra of typeF 4

LetW be the finite Coxeter group of typeF ₄, andH _r (q) be the associated Hecke algebra, with parameter a prime powerq, defined over a valuation ringR in a large enough extension field ofQ, with residue class field of characteristicr. In this paper, ther-modular decomposition numbers ofH _R (q) are determined for allq andr such thatr does not divideq. The methods of the proofs involve the study of the generic Hecke algebra of typeF ₄ over the ringA = ℤ[u ^1/2,u ^-1/2] of Laurent polynomials in an indeterminateu ^1/2 and its specializations onto the ring of integers in various cyclotomic number fields. Substancial use of computers and computer program systems (GAP, MAPLE, Meat-Axe) has been made.     

On the Schur multiplier of augmented algebras

Letk be a field, andA a finitely generatedk-algebra, with augmentation. Suppose there is a presentation ofA 0→I→R→A→0 whereR is a finitely generated freek-algebra andI is non-zero. IfA is infinite dimensional overk, Lewin proved thatR/I ² is not finitely presented. A stronger statement would be that the ‘Schur multiplier’ ofR/I ² is not finite dimensional. In the case thatA is an augmented domain, we prove this stronger statement, and some related statements.     

Determining dimension of the kernel of a cone

Combinatorial conditions of Krasnosel'skii-type involving concepts ofR-visibility and clearR-visibility are given to ensure that the dimension of theR-kernel of a proper subset ofR ^d is greater than or equal tok, 0<-k<d.The author is with the Department of Mathematics of the University of Notre Dame Indiana, on leave from the Mathematical Institute of the Polish Academy of Sciences.     

The role of Steiner hulls in the solution to Steiner tree problems

ASteiner tree problem on the plane is that of finding a minimum lengthSteiner tree connecting a given setK ofterminals and lying within a given regionR of the Euclidean plane; it includes as special cases the Euclidean Steiner minimal tree problem (ESMT), the rectilinear Steiner tree problem (RST), and the Steiner tree problem on graphs (STG). ASteiner hull forK inR generically refers to any subregion ofR known to contain a Steiner tree. This paper gives a survey of the role of Steiner hulls in the Steiner tree problem. The significance of Steiner hulls in the efficient solution of Steiner tree problems is outlined, and then a compendium is given of the known Steiner hull constructions for ESMT, RST, and STG problems.     

Centers in domains with quadratic growth

Let F be a field, and let R be a finitely-generated F-algebra, which is a domain with quadratic growth. It is shown that either the center of R is a finitely-generated F-algebra or R satisfies a polynomial identity (is PI) or else R is algebraic over F. Let r ∈ R be not algebraic over F and let C be the centralizer of r. It is shown that either the quotient ring of C is a finitely-generated division algebra of Gelfand-Kirillov dimension 1 or R is PI.