Ideal and subalgebra coefficients

For an ideal or -subalgebra of , consider subfields , where is generated - as ideal or -subalgebra - by polynomials in . It is a standard result for ideals that there is a smallest such . We give an algorithm to find it. We also prove that there is a smallest such for -subalgebras. The ideal results use reduced Gröbner bases. For the subalgebra results we develop and then use subduced SAGBI (bases), the analog to reduced Gröbner bases.

     

Examples of chain domains

Let be a nonzero ordinal such that for every ordinal . A chain domain (i.e. a domain with linearly ordered lattices of left ideals and right ideals) is constructed such that is isomorphic with all its nonzero factor-rings and is the ordinal type of the set of proper ideals of . The construction provides answers to some open questions.

     

On certain character sums over

Let be the finite field with elements and let denote the ring of polynomials in one variable with coefficients in . Let be a monic polynomial irreducible in . We obtain a bound for the least degree of a monic polynomial irreducible in ( odd) which is a quadratic non-residue modulo . We also find a bound for the least degree of a monic polynomial irreducible in which is a primitive root modulo .

     

Zero divisors and

Let be a discrete group, the group ring of over and the Lebesgue space of with respect to Haar measure. It is known that if is torsion free elementary amenable, and , then . We will give a sufficient condition for this to be true when , and in the case we will give sufficient conditions for this to be false when .

     

Fusion in the character table

Suppose that is a Sylow -subgroup of a finite -solvable group . If , then the number of -conjugates of in can be read off from the character table of .

     

Stability of the surjectivity of endomorphisms and isometries of

We determine the largest positive number with the property that whenever are endomorphisms, respectively unital isometries of the algebra of all bounded linear operators acting on a separable Hilbert space, holds for every nonzero and is surjective, then so is . It turns out that in the first case we have , while in the second one .

     

A classification of all is a Prüfer domain

Let be an integral domain with quotient field . The ring of integer-valued polynomials over is defined by . It is known that if is a Prüfer domain, then is an almost Dedekind domain with all residue fields finite. This condition is necessary and sufficient if is Noetherian, but has been shown to not be sufficient if is not Noetherian. Several authors have come close to a complete characterization by imposing bounds on orders of residue fields of and on normalized values of particular elements of . In this note we give a double-boundedness condition which provides a complete charaterization of all integral domains such that is a Prüfer domain.

     

On an Isomorphism Problem for Endomorphism Near-Rings

Suppose and are endomorphism near-rings generated by
groups of automorphisms containing the inner automorphisms of two respective finite perfect groups and . In this note we show that if and are isomorphic, then and are isomorphic.

     

On uniqueness of invariant means

The following results on uniqueness of invariant means are shown:

(i) Let be a connected almost simple algebraic group defined over . Assume that , the group of the real points in , is not compact. Let be a prime, and let be the compact -adic Lie group of the -points in . Then the normalized Haar measure on is the unique invariant mean on .

(ii) Let be a semisimple Lie group with finite centre and without compact factors, and let be a lattice in . Then integration against the -invariant probability measure on the homogeneous space is the unique -invariant mean on .

     

Optimal estimation of shell thickness in Cutland's construction of Wiener measure

In Cutland's construction of Wiener measure, he used the product of Gaussian measures on , where is an infinite integer. It is mentioned by Cutland and Ng that for the product measure ,

where and with any positive infinite number. We prove here that may be replaced by with any positive infinite number. This is the optimal estimation for the shell thickness. It is also proved that . And for the *Lebesgue measure , is finite and not infinitesimal iff with finite, while for the *Lebesgue area of the sphere , should be .

     

Duality and local group cohomology

Let be a group, let be a field, and let be a local system - an upwardly directed collection of subgroups whose union is . In this paper we give a short, elementary proof of the following result: If either is a --bimodule, or else is finite dimensional over its center, then . From this we deduce as easy corollaries some recent results of Meierfrankenfeld and Wehrfritz on the cohomology of a finitary module.

     

Groups acting on cubes and Kazhdan's property (T)

We show that a group contains a subgroup with if and only if it admits an action on a connected cube that is transitive on the hyperplanes and has no fixed point. As a corollary we deduce that a countable group with such a subgroup does not satisfy Kazhdan's property (T).

     

Continuity of K-theory: An example in equal characteristics

If is a perfect field of characteristic , we show that the Quillen K-groups are uniquely -divisible for . In fact, the Milnor K-groups are uniquely -divisible for all . This implies that is -connected after profinite completion for a complete discrete valuation ring with perfect residue field.

     

Differential forms on quotients by reductive group actions

Let be a smooth affine algebraic variety where a reductive algebraic group acts with a smooth quotient space . We show that the algebraic differential forms on which are pull-backs of forms on are exactly the -invariant horizontal differential forms on .

     

Average curvature of convex curves in

A well-known result states that, if a curve in has geodesic curvature less than or equal to one at every point, then is embedded. The converse is obviously not true, but the embeddedness of a curve does give information about the curvature. We prove that, if is a convex embedded curve in , then the average curvature (curvature per unit length) of , denoted , satisfies . This bound on the average curvature is tight as for a horocycle.

     

A counterexample to a question of R. Haydon, E. Odell and H. Rosenthal

We give an example of a compact metric space , an open dense subset of , and a sequence in which is pointwise convergent to a non-continuous function on , such that for every there exists with for all , yet is equivalent to the unit vector basis of the James quasi-reflexive space of order 1. Thus does not embed isomorphically in the closed linear span of . This answers in the negative a question asked by H. Haydon, E. Odell and H. Rosenthal.

     

Metrizability of sequential topological groups with point-countable -networks

We prove that a Hausdorff sequential topological group with a point-countable -network is metrizable iff its sequential order is less than . In the non Hausdorff case metrizability may be replaced by -locally finite base.

     

A note on invariance of spectrum for symmetric banach -algebras

Let be a symmetric Banach -algebra, let be a Banach algebra, and assume that . A result is proved giving conditions which imply that every element of has the same spectrum in both and .

     

Pseudo-uniform convergence, a nonstandard treatment

We introduce and study the notion of pseudo-uniform convergence which is a weaker variant of quasi-uniform convergence. Applications include the following nonstandard characterization of weak convergence. Let be an infinite set, the Banach space of all bounded real-valued functions on a bounded sequence in and Then the sequence converges weakly to if and only if the convergence is pointwise on and, for each strictly increasing function , each , and each , there is an unlimited such that .

     

The stability radius of a quasi-Fredholm operator

We extend the technique used by Kordula and Müller to show that the stability radius of a quasi-Fredholm operator is the limit of as . If is an isolated point of the Apostol spectrum , then the above limit is non-zero if and only if is quasi-Fredholm.