We introduce the notion of upper and lower frequently universal sequences and see that ‘most’ of the universal approximations are obtained by sets of indices which have upper density 1 and lower density 0. We also show that a class of universal series related to lower density is of first category.

A number of integral Hopf algebras have been studied that have, as their underlying modules, the free ${\bf Z}$-module generated by finite words in a certain alphabet. For example, the tensor algebra, the rings of quasisymmetric functions and of noncommutative symmetric functions, the Solomon descent algebra, the Malvenuto-Reutenauer algebra and the homology and cohomology of $\Omega\Sigma{\bf C} P^{\infty}$ are all of this type. Some of these are known to be isomorphic or dual to each other, some are known only to be rationally isomorphic, some have been stated in the literature to be isomorphic when they are only rationally isomorphic.

This paper is, in part, an attempt to find order in this chaos of word Hopf algebras. We consider three multiplications on such modules, and their dual comultiplications, and clarify which of these operations can be combined to obtain Hopf structures. We discuss when the results are isomorphic, integrally or rationally, and study the resulting structures. We are not attempting a classification of Hopf algebras of words, merely an organization of some of the Hopf algebras of this type that have been studied in the literature.

We discuss practical methods for computing the space of solutions to an arbitrary homogeneous linear system of partial differential equations with constant coefficients. These rest on the Fundamental Principle of Ehrenpreis–Palamodov from the 1960s. We develop this further using recent advances in computational commutative algebra.

We prove a Freed–Uhlenbeck style generic smoothness theorem for the moduli space of solutions to the Vafa–Witten equations on a closed symplectic four-manifold by using a method developed by Feehan for the study of the PU(2)-monopole equations on smooth closed four-manifolds. We introduce a set of perturbation terms to the Vafa–Witten equations, and prove that the moduli space of solutions to the perturbed Vafa–Witten equations on a closed symplectic four-manifold for the structure group SU(2) or SO(3) is a smooth manifold of dimension zero for a generic choice of the perturbation parameters.

Using compact simple Lie groups and Heisenberg groups, we combine and generalize the constructions of complex structures on Kodaira surfaces and Hopf surfaces. We identify locally complete parameter spaces of deformations of these spaces and analyze the deformation of Kodaira manifolds in details.

In this paper, we show that the semi-linear elliptic systems of the form (0.1) possess at least one non-trivial solution pair (u, v) ∈ H01(Ω) × H01(Ω), where Ω is a smooth bounded domain in ℝN, λ and μ are non-negative numbers, f(x, t) and g(x, t) are continuous functions on Ω × ℝ and asymptotically linear at infinity.

Let $X$ be a closed, symplectic 4-manifold. Suppose that there is either a symplectic or an anti-symplectic involution $\sigma : X\,{\to}\, X$ with a 2-dimensional compact, oriented submanifold $\Sigma$ as a fixed point set.

If $\sigma$ is a symplectic involution then the quotient $X/\sigma$ with $b_2^+(X/\sigma)\,{\ge}\, 1$ is a symplectic 4-manifold.

If $\sigma$ is an anti-symplectic involution and $\Sigma$ has genus greater than 1 representing non-trivial homology class, we prove a vanishing theorem on Seiberg-Witten invariants of the quotient $X/\sigma$ with $b_2^+(X/\sigma)\,{ >}\,1.$

If $\Sigma$ is a torus with self-intersection number 0, we get a relation between the Seiberg-Witten invariants on $X$ and those of $X/\sigma$ with $b_2^+(X), b_2^+(X/\sigma)\,{ >}\,2$ which was obtained in [21] when the genus $g(\Sigma)\,{ >}\,1$ and $\Sigma\cdot\Sigma\,{=}\,0$.This work was supported by a Korea Research Foundation Grant (No KRF-2002-072-C00010).

In this paper we use an example of Mukai to construct semistable bundles of rank 3 with six independent sections on a general curve of genus 9 or 11 with Clifford index strictly less than the Clifford index of the curve. The example also allows us to show the non-emptiness of some Brill–Noether loci with negative expected dimension.

This note extends classical results on certain Galois groups attached to onedimensional algebraic groups. We prove that the fields arising from the division of a fixed set of rational points on the product of an elliptic curve by the multiplicative group are as “large” as possible.

For any group G, denote by φf(G respectively L(G)) the intersection of all maximal subgroups of finite index (respectively finite nonprime index) in G, with the usual provision that the subgroup concerned equals Gif no such maximals exist. The subgroup φf(G) was discussed in [1] in connection with a property v possessed by certain groups: a group G has v if and only if every nonnilpotent, normal subgroup of G has a finite, nonnilpotent G-image. It was shown there, for instance, that G/φf(G) has v for all groups G. The subgroup L(G), in the case where G is finite, was investigated at some length in [3], one of the main results being that L(G) is supersoluble. (A published proof of this result appears as Theorem 3 of [4]). The present paper is concerned with the role of L(G) in groups G having property v or a related property a, the definition of which is obtained by replacing “nonnilpotent” by “nonsupersoluble” in the definition of v. We also present a result (namely Theorem 4) which displays a close relationship between the subgroups L(G) and φf(G) in an arbitrary group G. Some of the results for finite groups in [3] are found to hold with rather weaker hypotheses and, in fact, remain true for groups with v or a. We recall that if a group has a it also has v ([2]Theorem 2) but not conversely. For example, G = (x, y: y-1xy = x2)has v but not a. It is a well-known result of Gaschütz ([8], 5.2.15) that, in a finite group G, if His a normal subgroup containing φ(G) such that H/φ(G) is nilpotent than His nilpotent. This remains true in the case where G is any group with v [1, Proposition 1]. Our first result is in a similar vein and is a generalization of Theorem 9 of [7] and Theorem 1.2.9 of [3], the latter of which states that, for a finite group G, if G/L(G) is supersoluble, then so is G.

A Banach space E is said to be regular if every bounded linear operator from E into E′ is weakly compact. This property was studied in [7, 9] under the name Property (w). In [7], using James type spaces as constructed in [4], examples were given of regular Banach spaces which fail to have weakly sequentially complete duals, answering a question raised in [9]. In this paper, we present some more results concerning the regularity of James type spaces.

Throughout kwill denote a field. If a group Γ acts on aset A we say an element is Γ-orbital if its orbit is finite and write ΔΓ(A) for the subset of such elements. Let I be anideal of a group algebra kA; we denote by I+ the normal subgrou(I+1)∩A of A. A subgroup B of an abelian torsion-free group A is said to be dense in A if A/B is a torsion-group. Let I be an ideal of a commutative ring K; then the spectrum Sp(I) of I is the set of all prime ideals P of K such that I≤P. If R is a ring, M is an R-module and x ɛ M we denote by the annihilator of x in R. We recall that a group Γ is said to have finite torsion-free rank if it has a finite series in which each factoris either infinite cyclic or locally finite; its torsion-free rank r0(Γ) is then defined to be the number of infinite cyclic factors in such a series.

This paper may be regarded as a continuation of the investigations begun in [2]; certain intrinsic lattice topologies are studied, especially the order and ideal topologies in Boolean algebras, bicompactly generated lattices, and other more general structures. The results of [1], [2], and [3] are shown to be closely related. It is proved that the ideal topology on any Boolean algebra has a closed subbase consisting of all sublattices, whereas the order topology on an atomic Boolean algebra has a closed subbase consisting of all sub-complete lattices. It is also shown that the order topology on an atomic Boolean algebra is autouniformizable (in the sense defined by Rema [3]) and, if the ground set is infinite, strictly coarser than the ideal topology. The conditions Cl and C3 on a lattice, introduced by Kent [1], are shown to be slightly stronger than the condition “ bicompactly generated ”, and in complete lattices, where these conditions are satisfied, the order topology is shown to be coarser than the ideal topology.

We add Schreier's space S and the Lorentz space d(a, 1) to the list of classical Banach spaces which enjoy the λ-property, investigate the extreme point structure of S, and show that d(a, 1) has a λ-function which is continuous on Sd(a, 1), though not even uniformly so.

The nonabelian tensor square G⊗G of a group G is generated by the symbols g⊗h, g, h ∈ G, subject to the relations

,

for all g, g′, h, h′ ∈ G, where The tensor square is a special case of the nonabelian tensor product which has its origins in homotopy theory. It was introduced by R. Brown and J. L. Loday in [4] and [5], extending ideas of Whitehead in [6].

Ramanujan's short third notebook contains 33 pages of unorganized material. On page 386 of the third notebook, in the pagination of the Tata Institute's publication [3], Ramanujan offers the following remarkable identity.

1. It is a well known theorem due to Frobenius that the number of solutions of the equation

Xn = 1

in a finite group G, is a multiple of the greatest common divisor (n, g) of n and the order g of G. Frobenius himself proved later that the number of solutions of the equation

Xn = a

where a is a fixed element of G, is a multiple of (n, ga), ga being the order of the centralizer Z(a) of ain G.

For an inverse semigroup S, the set of all isomorphisms betweeninverse subsemigroups of S is an inverse monoid under composition which is denoted by (S) and called the partial automorphism monoid of S. Kirkwood [7] and Libih [8] determined which groups have Clifford partial automorphism monoids. Here we investigate the structure of inverse semigroups whose partial automorphism monoids belong to certain other important classes of inverse semigroups. First of all, we describe (modulo so called “exceptional” groups) all inverse semigroups S such that (S) is completely semisimple. Secondly, for an inverse semigroup S, we find a convenient description of the greatest idempotent-separating congruence on (S), using a well-known general expression for this congruence due to Howie, and describe all those inverse semigroups whose partial automorphism monoids are fundamental.

Let Δ = {z ∈ ℂ ⃒ ⃓z⃓ <1) and H(Δ) the set of analytic functions on Δ. We recall the definition of subordination between two functions, say ƒ and g, analytic on Δ: this means that f(0)= g(0) and there is a function ρ ∈ H (Δ) such that ρ(0) = 0, ⃒ ρ(z)⃒<1 if z ∈ Δ, and f(z) ≡ g(ρ(z)). Subordination between f and g will be denoted by

f<g. The Hadamard product (or convolution) of two functions and in H(Δ)is the function f * g ∈ H(Δ)definedas f * g (z)= .

All operators considered in this paper are bounded and linear (everywhere defined) on a Hilbert space. An operator A will be called a square root of an operator B if

A simple sufficient condition guaranteeing that any solution A of (1) be normal whenever B is normal was obtained in [1], namely: If B is normal and if there exists some real angle θ for which Re(Aeιθ)≥0, then (1) implies that A is normal. Here, Re (C) denotes the real part ½(C + C*) of an operator C.