Over a field of characteristic p the group algebra of a finite group has a non-trivial radical if and only if the order of the group is divisible by the prime p. It would be of interest to determine the powers of the radical in the non-semi-simple case [2, p. 61]. In the particular case of p-groups the solution to the problem is known through the work of Jennings [6]. We here consider the special case of group algebras whose radicals have square zero and we relate this condition to the structure of the group itself.

Let F = F(g, n) be an oriented surface of genus g≥1 with n<2 boundary components and let M(F) be its mapping class group. Then M(F) is generated by Dehn twists about a finite number of non-bounding simple closed curves in F([6, 5]). See [1] for the definition of a Dehn twist. Let e be a non-bounding simple closed curve in F and let E denote the isotopy class of the Dehn twist about e. Let Nbe the normal closure of E2in M(F). In this paper we answer a question of Birman [1, Qu 28 page 219]:

Theorem 1. The subgroup N is of finite index in M(F).

In this paper G is a nondiscrete compact abelian group with character group Г and M(G) the usual convolution algebra of Borel measures on G. We designate the following subspaces of M(G) employing the customary notations: Ma(G) those measures which are absolutely continuous with respect to Haar measure; MS(G) the space of measures concentrated on sets of Haar measure zero and Md(G) the discrete measures.

The relation ℛ* is defined on a semigroup S by the rule that ℛ*b if and only if the elements a, b of S are related by the Green's relation ℛ in some oversemigroup of S. A semigroup S is an E-semigroup if its set E(S)of idempotents is a subsemilattice of S. A left adequate semigroup is an E-semigroup in which every ℛ*-class contains an idempotent. It is easy to see that, in fact, each ℛ*-class of a left adequate semigroup contains a unique idempotent [2]. We denote the idempotent in the ℛ*-class of a by a+.

We show that surfaces such that the natural projections of the unit normal bundles are harmonic morphisms are composed of minimal points and totally umbilical points. As its application, we find a harmonic map from the torus to the complex quadric in $CP^3$ such that the projection map of the associated sphere bundle constructed by Gudmundsson is not a harmonic morphism. This contrasts sharply with the situation for holomorphic maps. We also establish sufficient conditions for reducing the codimension of an isometric immersion with conformal second fundamental form.

In this paper, we study Lagrangian submanifolds $M$ of the nearly Kähler 6-sphere $S^6(1)$. It is well known that such submanifolds, which are 3-dimensional, are always minimal and admit a symmetric cubic form. Following an idea of Bryant, developed in the study of Lagrangian submanifolds of $\mathbb C^3$, we then investigate those Lagrangian submanifolds for which at each point the tangent space admits an isometry preserving this cubic form. We obtain that all such Lagrangian submanifolds can be obtained starting from complex curves in $S^6(1)$ or from holomorphic curves in $\mathbb CP^2(4)$. In the final section we classify the Lagrangian submanifolds which admit a Sasakian structure that is compatible with the induced metric. This last result generalizes theorems obtained by Deshmukh and ElHadi. Note that in this case, the condition that $M$ admits a Sasakian structure implies that $M$ admits a pointwise isometry of the tangent space.

Let D be the discriminant of an algebraic number field F of degree n over the rational field R. The problem of finding the lowest absolute value of D as F varies over all fields of degree n with a given number of real (and consequently of imaginary) conjugate fields has not yet been solved in general. The only precise results so far given are those for n = 2, 3 and 4. The case n = 2 is trivial; n = 3 was solved in 1896 by Furtwangler, and n = 4 in 1929 by J. Mayer [6]. Reference to Furtwangler's work is given hi Mayer's paper. In this paper the results for n = 5, that is, for quintic fields, are obtained.

We define left and right kernels of representations of Hopf algebras. In the case of group algebras, left and right kernels coincide and they are the usual kernels of modules. In the general case, we show that these kernels coincide with the categorical left and right Hopf kernels of morphisms of Hopf algebras defined in Andruskiewitsch and Devoto [Extensions of Hopf algebras, Algebra i Analiz7 (1995), 22–69]. Brauer's theorem for kernels over group algebras is generalised to Hopf algebras.

The simple finite dimensional $(-1,-1)$ balanced Freudenthal Kantor triple systems over fields of characteristic zero are classified.

We study a partial differential equation on a bounded domain $\Omega\subset\mathbb{R}^N$ with a $p(x)$-growth condition in the divergence operator and we establish the existence of at least two nontrivial weak solutions in the generalized Sobolev space $W_0^{1,p(x)}(\Omega)$. Such equations have been derived as models of several physical phenomena. Our proofs rely essentially on critical point theory combined with corresponding variational techniques.

In the course of some recent work on Fourier series [5, 6] I had occasion to use a number of integral inequalities which were generalizations or limiting cases of known results. These inequalities may perhaps have other applications, and it seems worth while to collect them together in a separate note with one or two further results of a similar nature.

For any number k, used as an index (exponent), and such that K > 1, we write k' = k′(k–1), so that k and k′ are conjugate indices in the sense of Hölder's inequality.

Let denote the unit ball in ℂ2 and let Sdenote its boundary, the unit sphere. For z ∈ B and δ>0, the following non isotropic balls are defined, where

A finite positive Borel measure μ, on B is called a Carleson measure if there exists a constant C for which

Here σ denotes normalized surface area measure on S. The following theorem was obtained by Hörmander [6] as a special case of more general variants for strictly pseudoconvex domains in ℂn. Recently Cima and Wogen [3] derived it from a Carleson measure theorem for Bergman spaces of the ball. A different direct approach to the Bergman context, and related settings, is given in Leucking [7].

The classical spaces ℓp+, 1 ≤ p < ∞, and Lp−, 1<p ≤ ∞, are countably normed, reflexive Fréchet spaces in which the Cesàro operator C acts continuously. A detailed investigation is made of various operator theoretic properties of C (e.g., spectrum, point spectrum, mean ergodicity) as well as certain aspects concerning the dynamics of C (e.g., hypercyclic, supercyclic, chaos). This complements the results of [3, 4], where C was studied in the spaces ℂℕ, Lploc(ℝ+) for 1 < p < ∞ and C(ℝ+), which belong to a very different collection of Fréchet spaces, called quojections; these are automatically Banach spaces whenever they admit a continuous norm.

We give the first examples of contact metric spaces which are weakly locally $\varphi$-symmetric (that is, $\nabla R=0$ on horizontal vectors), but not strongly (that is, not all reflections with respect to the characteristic lines are local isometries). These examples are three-dimensional non-unimodular Lie groups with a left-invariant contact metric structure. We exhibit additional symmetries on these spaces.

1991 Mathematics Subject Classification: 53B20, 53C15, 53C25.

In this paper, using the asymptotic a priori estimate method, we prove the existence of pullback attractors for a non-autonomous semi-linear degenerate parabolic equation in an arbitrary domain, without restriction on the growth order of the polynomial type non-linearity and with a suitable exponential growth of the external force. The obtained results improve some recent ones for the non-autonomous reaction–diffusion equations.

For a linearly ordered set $X$ we consider the relative rank of the semigroup of all order preserving mappings $\mathcal{O}_{X}$ on $X$ modulo the full transformation semigroup $\mathcal{T}_{X}$. In other words, we ask what is the smallest cardinality of a set $A$ of mappings such that $\genset{\mathcal{O}_{X}\cup A}=\mathcal{T}_{X}$. When $X$ is countably infinite or well-ordered (of arbitrary cardinality) we show that this number is one, while when $X=\mathbb{R}$ (the set of real numbers) it is uncountable.

We study the topological properties of cohomogeneity one flat manifolds and their orbits. Among other results we prove that principal orbits of R^n are isometric to R^{n-1} or S^k(c)\times R^{n-k-1}. We show that if M has one singular orbit, it is a totally geodesic submanifold of M and if M is orientable then there is at most one singular orbit.

We show that the endomorphism rings of kernels ker ϕ of non-injective morphisms ϕ between indecomposable injective modules are either local or have two maximal ideals, the module ker ϕ is determined up to isomorphism by two invariants called monogeny class and upper part, and a weak form of the Krull–Schmidt theorem holds for direct sums of these kernels. We prove with an example that our pathological decompositions actually take place. We show that a direct sum of n kernels of morphisms between injective indecomposable modules can have exactly n! pairwise non-isomorphic direct-sum decompositions into kernels of morphisms of the same type. If ER is an injective indecomposable module and S is its endomorphism ring, the duality Hom(−, ER) transforms kernels of morphisms ER → ER into cyclically presented left modules over the local ring S, sending the monogeny class into the epigeny class and the upper part into the lower part.

The radical of a module over a commutative ring is the intersection of all prime submodules. It is proved that if R is a commutative domain which is either Noetherian or a UFD then R is one-dimensional if and only if every (finitely generated) primary R-module has prime radical, and this holds precisely when every (finitely generated) R-module satisfies the radical formula for primary submodules.

In two papers [3] and [4], the author has extended the inequality of Schur (Theorem 319 of [2]) to cases involving kernels which satisfy identities of the form

The purpose of this paper is to prove a general inequality, which includes the above and also the inequality of Young (Theorem 281 of [2]) as special cases. We shall give the results a general setting by considering functions defined on abstract measure spaces. From this we shall deduce an extension to n dimensions of the results given in [3], which also generalises a similar extension of the Schur inequality given by Stein and Weiss. In fact some cases of the other results given in [5] will follow directly from our theorem.