-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Catenarity in module-finite algebras

The main theorem says that any module-finite (but not necessarily commutative) algebra over a commutative Noetherian universally catenary ring is catenary. Hence the ring is catenary if is Cohen-Macaulay. When is local and is a Cohen-Macaulay -module, we have that is a catenary ring, for any , and the equality holds true for any pair of prime ideals in and for any saturated chain of prime ideals between and .

     

On the irrationality of a certain series

We prove that if is an integer greater than one, and are any positive rationals such that for all integers , then

is irrational and is not a Liouville number.

     

Open covers and partition relations

An open cover of a topological space is said to be an -cover if there is for each finite subset of the space a member of the cover which contains the finite set, but the space itself is not a member of the cover. We prove theorems which imply that a set of real numbers has Rothberger's property if, and only if, for each positive integer , for each -cover of , and for each function from the two-element subsets of , there is a subset of such that is constant on , and each element of belongs to infinitely many elements of (Theorem 1). A similar characterization is given of Menger's property for sets of real numbers (Theorem 6).

     

On the existence of maximal Cohen-Macaulay modules over root extensions

Let be an unramified regular local ring having mixed characteristic and the integral closure of in a th root extension of its quotient field. We show that admits a finite, birational module such that . In other words, admits a maximal Cohen-Macaulay module.

     

Some corollaries of Frobenius' normal -complement theorem

For a prime divisor of the order of a finite group , we present the set of -subgroups generating . In particular, we present the set of primary subgroups of generating the last member of the lower central series of . The proof is based on the Frobenius Normal -Complement Theorem and basic properties of minimal nonnilpotent groups. Let be a group and a group-theoretic property inherited by subgroups and epimorphic images such that all minimal non--subgroups (-subgroups) of are not nilpotent. Then (see the lemma), if is generated by all -subgroups of it follows that is a -group.

     

Helly-type theorems for hollow axis-aligned boxes

A hollow axis-aligned box is the boundary of the cartesian product of compact intervals in . We show that for , if any of a collection of hollow axis-aligned boxes have non-empty intersection, then the whole collection has non-empty intersection; and if any of a collection of hollow axis-aligned rectangles in have non-empty intersection, then the whole collection has non-empty intersection. The values for and for are the best possible in general. We also characterize the collections of hollow boxes which would be counterexamples if were lowered to , and to , respectively.

     

The connected stable rank of the purely infinite simple -algebras

Suppose that is a unital purely infinite simple -algebra. If the class [1] of the unit 1 in has torsion, then ; if [1] is torsion-free in , then . If is a non-unital purely infinite simple -algebra, then .

     

Normalizers of the congruence subgroups of the Hecke group

Let cos and let be the Hecke group associated to . In this article, we show that for a prime ideal in , the congruence subgroups of are self-normalized in .

     

Remarkable asymmetric random walks

There exists an asymmetric probability measure on the real line with for every . can be chosen absolutely continuous and can be chosen to be concentrated on the integers. In both cases, can be chosen to have moments of every order, but cannot be determined by its moments.

     

On principal eigenvalues for boundary value problems with indefinite weight and Robin boundary conditions

We investigate the existence of principal eigenvalues (i.e., eigenvalues corresponding to positive eigenfunctions) for the boundary value problem on ; on , where is a bounded region in , is an indefinite weight function and may be positive, negative or zero.

     

A factorization theorem for the derivative of a function in

We show that a function is the derivative of a function in the Hardy space of the unit disk for if and only if where and . Here, can be chosen to be non-vanishing, , and . As an application, we characterize positive measures on the unit disk such that the operator is bounded from the tent space to , where .

     

Smith equivalence of representations for finite perfect groups

Using smooth one-fixed-point actions on spheres and a result due to Bob Oliver on the tangent representations at fixed points for smooth group actions on disks, we obtain a similar result for perfect group actions on spheres. For a finite group , we compute a certain subgroup of the representation ring . This allows us to prove that a finite perfect group has a smooth -proper action on a sphere with isolated fixed points at which the tangent representations of are mutually nonisomorphic if and only if contains two or more real conjugacy classes of elements not of prime power order. Moreover, by reducing group theoretical computations to number theory, for an integer and primes , we prove similar results for the group , , or . In particular, has Smith equivalent representations that are not isomorphic if and only if , , .

     

A non-metrizable compact linearly ordered topological space, every subspace of which has a -minimal base

A collection of subsets of a space is minimal if each element of contains a point which is not contained in any other element of . A base of a topological space is -minimal if it can be written as a union of countably many minimal collections. We will construct a compact linearly ordered space satisfying that is not metrizable and every subspace of has a -minimal base for its relative topology. This answers a problem of Bennett and Lutzer in the negative.

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

Degenerations for modules over representation-finite algebras

Let be a representation-finite algebra. We show that a finite dimensional -module degenerates to another -module if and only if the inequalities hold for all -modules . We prove also that if for any indecomposable -module , then any degeneration of -modules is given by a chain of short exact sequences.

     

On the product of two generalized derivations

Two elements and in a ring determine a generalized derivation on by setting for any in . We characterize when the product is a generalized derivation in the cases when the ring is the algebra of all bounded operators on a Banach space , and when is a -algebra . We use these characterizations to compute the commutant of the range of .

     

Ample divisors on the blow up of at points

Fix integers with and ; if assume . Let be general points of the complex projective space and let be the blow up of at with exceptional divisors , . Set . Here we prove that the divisor is ample if and only if , i.e. if and only if .

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

Conjugate -connections and holonomy groups

In this article we show that when the structure group of the reducible principal bundle is and is an -subbundle of , the rank of the holonomy group of a connection which is gauge equivalent to its conjugate connection is less than or equal to , and use the estimate to show that for all odd prime , if the holonomy group of the irreducible connection as above is simple and is not isomorphic to , , or , then it is isomorphic to .