Isomorphism of commutative group algebras of closed -local algebraically compact groups

Let be an abelian group and let be a field of 0$">. It is shown via a universal algorithm that if the modified Direct-Factor Problem holds, then the -isomorphism for some group yields provided is a closed -group or a -local algebraically compact group. In particular, this is the case when is closed -primary of arbitrary power, or is -local algebraically compact with cardinality at most and is in cardinality not exceeding . The last claim completely settles a question raised by W. May in Proc. Amer. Math. Soc. (1979) and partially extends our results published in Rend. Sem. Mat. Univ. Padova (1999) and Southeast Asian Bull. Math. (2001).

     

The real powers of the convolution of a negative binomial distribution and a Bernoulli distribution

For 0,$"> this note computes essentially the set of in such that the entire series in defined by has all its coefficients non-negative. If and are independent random variables which have respectively Bernoulli and negative binomial distributions, denote by the distribution of . The above problem is equivalent to finding the set of 0$"> such that exists; this set is a finite union of intervals and may be the first example of this type in the literature. This gives the final touch to the classification of the natural exponential families with variance functions of Babel type, i.e. of the form , where is a polynomial with degree

     

Basic characters of the unitriangular group (for arbitrary primes)

Let denote the (upper) unitriangular group of degree over the finite field with elements. In this paper we consider the basic (complex) characters of and we prove that every irreducible (complex) character of is a constituent of a unique basic character. This result extends a previous result which was proved by the author under the assumption , where is the characteristic of the field .

     

Fréchet-Urysohn spaces in free topological groups

Let and be respectively the free topological group and the free Abelian topological group on a Tychonoff space . For every natural number we denote by () the subset of () consisting of all words of reduced length . It is well known that if a space is not discrete, then neither nor is Fréchet-Urysohn, and hence first countable. On the other hand, it is seen that both and are Fréchet-Urysohn for a paracompact Fréchet-Urysohn space . In this paper, we prove first that for a metrizable space , () is Fréchet-Urysohn if and only if the set of all non-isolated points of is compact and is Fréchet-Urysohn if and only if is compact or discrete. As applications, we characterize the metrizable space such that is Fréchet-Urysohn for each and is Fréchet-Urysohn for each except for . In addition, however, there is a first countable, and hence Fréchet-Urysohn subspace of () which is not contained in any (). We shall show that if such a space is first countable, then it has a special form in (). On the other hand, we give an example showing that if the space is Fréchet-Urysohn, then it need not have the form.

     

On the predictability of discrete dynamical systems

Let be a metric space. A function is said to be non-sensitive at a point if for every 0$"> there is a 0$"> such that for any choice of points , , , we have that for every . Let be the set of all homeomorphisms from onto endowed with the topology of uniform convergence. The main goal of the present paper is to prove that for certain spaces , ``most' functions in are non-sensitive at ``most' points of .

     

On locally finite -groups satisfying an Engel condition

For a given positive integer and a given prime number , let be the integer satisfying . We show that every locally finite -group, satisfying the -Engel identity, is (nilpotent of -bounded class)-by-(finite exponent) where the best upper bound for the exponent is either or if is odd. When the best upper bound is or . In the second part of the paper we focus our attention on -Engel groups. With the aid of the results of the first part we show that every -Engel -group is soluble and the derived length is bounded by some constant.

     

Convergence of zeta functions of graphs

The -zeta function of an infinite graph (defined previously in a ball around zero) has an analytic extension. For a tower of finite graphs covered by , the normalized zeta functions of the finite graphs converge to the -zeta function of .

     

Complemented isometric copies of in dual Banach spaces

Let be a real or complex Banach space and . Then contains a -complemented, isometric copy of if and only if contains a -complemented, isometric copy of if and only if contains a subspace -asymptotic to .

     

Approximation of convex bodies by axially symmetric bodies

Let be an arbitrary planar convex body. We prove that contains an axially symmetric convex body of area at least . Also approximation by some specific axially symmetric bodies is considered. In particular, we can inscribe a rhombus of area at least in , and we can circumscribe a homothetic rhombus of area at most about . The homothety ratio is at most . Those factors and , as well as the ratio , cannot be improved.

     

On representable linearly compact modules

For a flat module we prove that is a functor from the category of linearly compact modules to itself and is exact. Moreover, is representable when is linearly compact and representable. This gives an affirmative answer to a question of L. Melkersson (1995) for linearly compact modules without the condition of finite Goldie dimension. The set of attached prime ideals of the co-localization of a linearly compact representable module with respect to a multiplicative set in is described.

     

A hypersurface in -jets

We give an example of a hypersurface in through whose stability group at is determined by -jets, but not by jets of any lesser order. We also examine some of the properties which the stability group of this infinite type hypersurface shares with the -sphere in .

     

Imbeddings of free actions on handlebodies

Fix a free, orientation-preserving action of a finite group on a -dimensional handlebody . Whenever acts freely preserving orientation on a connected -manifold , there is a -equivariant imbedding of into . There are choices of closed and Seifert-fibered for which the image of is a handlebody of a Heegaard splitting of . Provided that the genus of is at least , there are similar choices with closed and hyperbolic.

     

Exactness of one relator groups

A discrete group is -exact if the reduced crossed product with converts a short exact sequence of --algebras into a short exact sequence of -algebras. A one relator group is a discrete group admitting a presentation where is a countable set and is a single word over . In this short paper we prove that all one relator discrete groups are -exact. Using the Bass-Serre theory we also prove that a countable discrete group acting without inversion on a tree is -exact if the vertex stabilizers of the action are -exact.

     

Local dual spaces of Banach spaces of vector-valued functions

We show that is a local dual of , and is a local dual of , where is a Banach space. A local dual space of a Banach space is a subspace of so that we have a local representation of in satisfying the properties of the representation of in provided by the principle of local reflexivity.

     

Set-theoretic complete intersections on binomials

Let be an affine toric variety of codimension over a field of any characteristic. We completely characterize the affine toric varieties that are set-theoretic complete intersections on binomials. In particular we prove that in the characteristic zero case, is a set-theoretic complete intersection on binomials if and only if is a complete intersection. Moreover, if are binomials such that , then . While in the positive characteristic case, is a set-theoretic complete intersection on binomials if and only if is completely -glued.

These results improve and complete all known results on these topics.

     

LCM-splitting sets in some ring extensions

Let be a saturated multiplicative set of an integral domain . Call an lcm splitting set if and are principal ideals for every and . We show that if is an -stable overring of (that is, if whenever and is principal, it follows that and if is an lcm splitting set of , then the saturation of in is an lcm splitting set in . Consequently, if is Noetherian and is a (nonzero) prime element, then is also a prime element of the integral closure of . Also, if is Noetherian, is generated by prime elements of and if the integral closure of is a UFD, then so is the integral closure of .

     

Commutator subgroups and foliations without holonomy

Suppose a manifold has a codimension one, transversely orientable foliation without holonomy, and is a leaf. We give a simple, purely topological proof of the theorem that is a normal subgroup containing the commutator subgroup of .

     

Uniqueness of structures for connective covers

We refine our earlier work on the existence and uniqueness of structures on -theoretic spectra to show that the connective versions of real and complex -theory as well as the connective Adams summand at each prime have unique structures as commutative -algebras. For the -completion we show that the McClure-Staffeldt model for is equivalent as an ring spectrum to the connective cover of the periodic Adams summand . We establish a Bousfield equivalence between the connective cover of the Lubin-Tate spectrum and .

     

Simple algebras of Weyl type, II

Over a field of any characteristic, for a commutative associative algebra , and for a commutative subalgebra of , the vector space which consists of polynomials of elements in with coefficients in and which is regarded as operators on forms naturally an associative algebra. It is proved that, as an associative algebra, is simple if and only if is -simple. Suppose is -simple. Then, (a) is a free left -module; (b) as a Lie algebra, the subquotient is simple (except for one case), where is the center of . The structure of this subquotient is explicitly described. This extends the results obtained by Su and Zhao.

     

-coincidences for maps of homotopy spheres into CW-complexes

Let be a finite group acting freely in a CW-complex which is a homotopy -dimensional sphere and let be a map of to a finite -dimensional CW-complex . We show that if , then has an -coincidence for some nontrivial subgroup of .