On purely inseparable extensions and their generators

Let be a field of characteristic and a polynomial algebra in two variables. By a -generator of we mean an element of for which there exist and such that . We also define a -line of to mean any element of whose coordinate ring is that of a -generator. Then we prove that if is such that is a -line of (where is an indeterminate over ), then is a -generator of . This is analogous to the well-known fact that if is such that is a line of , then is a variable of . We also prove that if is a -line of for which there exist and such that , then is in fact a -generator of .

     

Correspondences of closed submodules

If is an -faithful -module, then there is an order-preserving correspondence between the closed -submodules of and the closed -submodules of , where .

     

-regular maps on smooth manifolds

A continuous map is said to be -regular if whenever are distinct points of , then are linearly independent over . For smooth manifolds we obtain new lower bounds on the minimum for which a -regular map can exist in terms of the dual Stiefel-Whitney classes of .

     

The range of a ring homomorphism from a commutative -algebra

We prove that if a commutative semi-simple Banach algebra is the range of a ring homomorphism from a commutative -algebra, then is -equivalent, i.e. there are a commutative -algebra and a bicontinuous algebra isomorphism between and . In particular, it is shown that the group algebras , and the disc algebra are not ring homomorphic images of -algebras.

     

The statistics of continued fractions for polynomials over a finite field

Given a finite field of order and polynomials of degrees respectively, there is the continued fraction representation . Let denote the number of such pairs for which and for . We give both an exact recurrence relation, and an asymptotic analysis, for . The polynomial associated with the recurrence relation turns out to be of P-V type. We also study the distribution of . Averaged over all and as above, this presents no difficulties. The average value of is , and there is full information about the distribution. When is fixed and only is allowed to vary, we show that this is still the average. Moreover, few pairs give a value of that differs from this average by more than

     

Derivations with Engel conditions on multilinear polynomials

Let be a prime algebra over a commutative ring with unity and let be a multilinear polynomial over . Suppose that is a nonzero derivation on such that for all in some nonzero ideal of , with fixed. Then is central--valued on except when char and satisfies the standard identity in 4 variables.

     

On a measure-theoretic problem of Arveson

A probability measure on a product space is said to be bistochastic with respect to measures on and on if the marginals and are exactly and . A solution is presented to a problem of Arveson about sets which are of measure zero for all such .

     

Finite and -resolvability

A topological space is -resolvable if has disjoint dense subsets. In this paper, we prove that if is -resolvable for each positive integer , then is -resolvable.

     

On the dimension of infinite covers

We prove the following theorem and some generalizations. . Let be a connected CW complex which satisfies Poincaré duality of dimension . For any subgroup of , let denote the cover of corresponding to . If has infinite index in , then is homotopy equivalent to an -dimensional CW complex.

     

Banach spaces in which every -weakly summable sequence lies in the range of a vector measure

Let be a Banach space. For we prove that the identity map is -summing if and only if the operator is nuclear for every unconditionally summable sequence in , where is the conjugate number for . Using this result we find a characterization of Banach spaces in which every -weakly summable sequence lies inside the range of an -valued measure (equivalently, every -weakly summable sequence in , satisfying that the operator is compact, lies in the range of an -valued measure) with bounded variation. They are those Banach spaces such that the identity operator is -summing.

     

On a question ofMakar-Limanov

Let be an uncountable field, let be a field extension, and let be an associative -algebra. We show that if contains a non-commutative free algebra, then so does .

     

The modular group algebra problem for metacyclic -groups

It is shown that the isomorphism type of a metacyclic -group is determined by its group algebra over the field of elements. This completes work of Baginski. It is also shown that, if a -group has a cyclic commutator subgroup , then the order of the largest cyclic subgroup containing is determined by .

     

A note on generators of least degree in Gorenstein ideals

Assume is a polynomial ring over a field and is a homogeneous Gorenstein ideal of codimension and initial degree . We prove that the number of minimal generators of that are of degree is bounded above by , which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension and initial degree . Further, is itself extremal if .

     

Non-normal, standard subgroups of the Bianchi groups

Let be a subgroup of , where is a Dedekind ring, and let be the -ideal generated by , where . The subgroup is called standard iff contains the normal subgroup of generated by the -elementary matrices. It is known that, when , is standard iff is normal in . It is also known that every standard subgroup of is normal in when is an arithmetic Dedekind domain with infinitely many units. The ring of integers of an imaginary quadratic number field, , is one example (of three) of such an arithmetic domain with finitely many units. In this paper it is proved that every Bianchi group has uncountably many non-normal, standard subgroups. This result is already known for related groups like .

     

Three counterexamples for a question concerning Green's functions and circular symmetrization

We construct domains in the plane such that if is the Green's function of with pole at zero, while is the symmetric non-increasing rearrangement of for each fixed and is the Green's function of the circular symmetrization , again with pole at zero, then there are positive numbers and such that

whenever . One of our constructions will have simply connected. We also consider the case where the poles of the Green's functions do not lie at the origin. Our work provides a negative answer to a question of Hayman (1967).

     

Strongly -regular rings have stable range one

A ring is said to be strongly -regular if for every there exist a positive integer and such that . For example, all algebraic algebras over a field are strongly -regular. We prove that every strongly -regular ring has stable range one. The stable range one condition is especially interesting because of Evans' Theorem, which states that a module cancels from direct sums whenever has stable range one. As a consequence of our main result and Evans' Theorem, modules satisfying Fitting's Lemma cancel from direct sums.

     

Parametrizing maximal compact subvarieties

For the Lie group , let be the open orbit of Lagrangian planes of signature in the generalized flag variety of Lagrangian planes in . For a suitably chosen maximal compact subgroup of and a base point we have that the orbit of is a maximal compact subvariety of . We show that for the connected component containing in the space of translates of which lie in is biholomorphic to , where denotes with the opposite complex structure.

     

Paracompact subspaces in the box product topology

In 1975 E. K. van Douwen showed that if is a family of Hausdorff spaces such that all finite subproducts are paracompact, then for each element of the box product the -product is paracompact. He asked whether this result remains true if one considers uncountable families of spaces. In this paper we prove in particular the following result: Let be an infinite cardinal number, and let be a family of compact Hausdorff spaces. Let be a fixed point. Given a family of open subsets of which covers , there exists an open locally finite in refinement of which covers .

We also prove a slightly weaker version of this theorem for Hausdorff spaces with ``all finite subproducts are paracompact" property. As a corollary we get an affirmative answer to van Douwen's question.

     

Quasitriangular Hopf algebras whose group-like elements form an abelian group

In this paper we prove some properties of the set of group-like elements of , , for a pointed minimal quasitriangular Hopf algebra over a field of characteristic 0, and for a pointed quasitriangular Hopf algebra which is indecomposable as a coalgebra. We first show that over a field of characteristic 0, for any pointed minimal quasitriangular Hopf algebra , is abelian. We show further that if is a quasitriangular Hopf algebra which is indecomposable as a coalgebra, then is contained in , the minimal quasitriangular Hopf algebra contained in . As a result, one gets that over a field of characteristic 0, a pointed indecomposable quasitriangular Hopf algebra has a finite abelian group of group-like elements.