Let r be a positive integer, F a field of odd prime characteristic p, and L the free Lie algebra of rank r over F. Consider L a module for the symmetric group , of all permutations of a free generating set of L. The homogeneous components Ln of L are finite dimensional submodules, and L is their direct sum. For p ≤ r ≤ 2p, the main results of this paper identify the non-porojective indecomposable direct summands of the Ln as Specht modules or dual Specht modules corresponding to certain partitions. For the case r = p, the multiplicities of these indecomposables in the direct decompositions of the Ln are also determined, as are the multiplicities of the projective indecomposables. (Corresponding results for p = 2 have been obtained elsewhere.)

We establish the uniform almost sure convergence of the partitioning estimate, which is a histogram-like mean regression function estimate, under ergodic conditions for a stationary and unbounded process. The main application of our results concerns time series analysis and prediction in the Markov processes case.

The object of this paper is to study the sequence of torsion-free ranks of the quotients by the terms of the lower central series of a finitely generated group. This gives rise to the introduction into the study of finitely generated, residually torison-free nilpotent groups of notions relating to the Gelfand-Kirillov dimension. These notions are explored here. The main result concerning the sequences alluded to is the proof that there are continuously many such sequences.

A finite dinilpotent group G is one that can be written as the product of two finite nilpotent groups, A and B say. A finite dinilpotent group is always soluble. If A is abelian and B is metabelian, with |A| and|B| coprime, we show that a bound on the derived length given by Kazarin can be improved. We show that G has derived length at most 3 unless G contains a section with a well defined structure: in particular if G is of odd order, G has derived length at most 3.

We investigate a class of infinite-dimensional, modular, graded Lie algebra in which the homogeneous components have dimension at most two. A subclass of these algebras can be obtained via a twisted loop algebra construction from certain finite-dimensional, simple Lie algebras of Albert-Frank type.

Another subclass of these algebras is strictly related to certain graded Lie algebras of maximal class, and exhibits a wide range of behaviours.

We obtain analogues, in the setting of semigroups with zero, of McAlister's convering theoren and the structure theorems of McAlister, O'Carroll, and Margolis and Pin. The covers come from a class C of semigroups defined by modifying one of the many characterisations of E-unitary inverse semigroups, namely, that an inverse semigroups is E-unitary if and only if it is an inverse image of an idempotent-pure homomorphism onto a group. The class C is properly contained in the class of all E*-unitary inverse semigroups introduced by Szendrei but properly contains the class of strongly categorical E*-unitary semigroups recently considered by Gomes and Howie.

An example is given of a finitely generated group G for which G ≅ G*cG, where C is infinite cyclic.

Let K be an arbitrary field of characteristic 2, F a free group of countably infinite rank. We construct a finitely generated fully invariant subgroup U in F such that the relatively free group F/U satisfies the maximal condition on fully invariant subgroups but the group algebra K (F/U) does not satisfy the maximal condition on fully invariant ideals. This solves a problem posed by Plotkin and Vovsi. Using the developed techniques we also construct the first example of a non-finitely based (nilpotent of class 2)-by-(nilpotent of class 2) variety whose Abelian-by-(nilpotent of class at most 2) groups form a hereditarily finitely based subvariety.

This work is concerned with the prediction problem for a class of Lp-random fields. For this class of fields, we derive prediction error formulas, spectral factorizations, and orthogonal decompositions.

We present some questions that we feel are important and interesting for the theory of finite p-groups, and survey known results regarding these questions.

Mike, the other year you asked me how I saw the future of p-group theory. All I can offer in answer are more questions.

We present a new algorithm which uses a cohomological approach to determine the groups of order pn, where p is a prime. We develop two methods to enumerate p-groups using the Cauchy-Frobenius Lemma. As an application we show that there are 10 494213 groups of order 29.

1991 Mathematics subject classification (Amer. Math. Soc.): primary 20D15.

A new version of Erdös-Turán's inequality is described. The purpose of the present paper is to show that the inequality provides better upper bounds for the discrepancies of some sequences than usual Erdös-Turán's inequality.

This paper discusses several algorithmic problems related to rings of rational matrices. It provides solutions to these problems in the commutative case and points out some of the difficulties to be overcome in the general case. A connection with attempts to construct Gröbner bases for ideals in free rings is also illustrated.

Let ψ be a positive function defined near the origin such lim1 →0+ ψ(t) = 0. We consider the operator Tzƒ, defined as the pricipal value of the convolution of function ƒ and a kernel K(t) = eiy(t)t−z /ψ(t)1−z, where z is a complex number, 0 ≤ Re(z) ≤ 1, 0 < t ≤ 1 and γ is a real function. Assuming certain regularity conditions on ψ and γ and certain relations between ψ and γ we show that Tθ is a bounded operator on Lp (R) for 1/p = (1+ θ) /2 and 0 ≤ θ < 1, and T1 is bounded from H1 (R) to L1 (R).

We study some challenging presentations which arise as groups of deficiency zero. In four cases we settle finiteness: we show that two presentations are for finite groups while two are for infinite groups. Thus we answer three explicit questions in the literature and we provide the first published deficiency zero presentation for a group with derived length seven. The tools we use are coset enumeration and Knuth-Bebdix rewriting, which are well-established as methods for proving finiteness or otherwise of a finitely presented group. We briefly comment on their capabilities and compare their performance.

This paper reports on a facility of the ANU NQ program for computation of nilpotent groups that satisfy an Engel-n identity. The relevant details of the algorithm are presented together with results on Engel-n groups for moderate values of n.

In this paper we study the existence and uniqueness of a solution for minimization problems with generic increasing functions in an ordered Banach space X. The standard approaches are not suitable in such a setting. We propose a new type of perturbation adjusted for the problem under consideration, prove the existence and point out sufficient conditions providing the uniqueness of a solution. These results are proved by assuming that the space X enjoys the following property: each decreasing norm-bounded sequence has a limit. We supply a counterexample, which shows that this property is essential and give a modification of obtained results for the space C(T), which does not possess this property.

A group G belongs to the class W if G has non-nilpotent proper subgroups and is isomorphic to all of them. The main objects of study are the soluble groups in W that are not finitely generated. It is proved that there are no torsion-free groups of this sort, and a reasonable classification is given in the finite rank case.

A group A is said to be endoprimal if its term functions are precisely the functions which permute with all endomorphisms of A. In this paper we describe endoprimal groups in the following three classes of abelian groups: torsion groups, torsionfree groups of rank at most 2, direct sums of a torsion group and a torsionfree group of rank 1.

It is shown that a variety ν has distributive congruence lattices if and only if the intersection of two principal congruence relations is definable by equations involving terms with parameters. The nature of the terms involved then provides a useful classification of congruence distributive varieties. In particular, the classification puts into proper perspective two stronger properties. A variety is said to have the Principal Intersection Property if the intersection of any two principal congruence relations is principal, or the Compact Intersection Property if the intersection of two compact congruence relations is compact. For non-congruence-distributive varieties, it is shown that some useful constuctions are nevertheless possible.