Kronecker classes of algebraci number fields were introduced by W. Jehne in an attempt to understand the extent to which the structure of an extension K: k of algebraic number fields was influenced by the decomposition of primes of k over K. He found an important link between Kronecker equivalent field extensions and a certain covering property of their Galois groups. This surveys recent contributions of Group Theory to the understanding of Kronecker equivalence of algebraic number fields. In particular some group theoretic conjectures related to the Kronecker class of an extension of bounded degree are explored.

Given an infinite family of finite primitive groups, conditions are found which ensure that almost all the orbitals are not self-paired. If p is a prime number congruent to ±1(mod 10), these conditions apply to the groups P S L (2, p) acting on the cosets of a subgroup isomorphic to A5. In this way, infinitely many vertex-primitive ½-transitive graphs which are not metacirculants are obtained.

The Petersen graph on 10 vertices is the smallest example of a vertex-transitive graph which is not a Cayley graph. We consider the problem of determining the orders of such graphs. In this, the first of a series of papers, we present a sequence of constructions which solve the problem for many orders. In particular, such graphs exist for all orders divisible by a fourth power, and all even orders which are divisible by a square.

Let k be an infinite cardinal, F a field, and let GL(k, F) be the group of all non-singular linear transformations on a ki-dimensional vector space V over F. Various examples are given of maximal subgroups of GL(k, F). These include (i) stabilizers of families of subspaces of V which are like filters or ideals on a set, (ii) almost stabilizers of certain subspaces of V, (iii) almost stabilizers of a direct decomposition of V into two k-dimensional subspaces.

It is also noted that GL(k, F) is not the union of any chain of length k of proper subgroups.

If (G+) is a group and M is a nonempty set of endomorphisms of G operating on the left then G is said to be M-Goldie when (i) G has no infinite independent family of nonzero M-subgroups, and (ii) annihilators in M of subsets of G satisfy the a.c.c. (under set inclusion). Here we prove some results, analogous to those of a Noetherian module in some special cases, even when the set M of operators has no other algebraic structure than the existence of a zero element or in some cases M is at most a finite dimensional commutative near-ring. Precisely speaking, we prove that the collection of associated operating sets of G is finite and there exists a primary decomposition of 0 of such a Goldie M-group, and then if M is a finite dimensional commutative near-ring with unity, for any x belonging to each associated operating set of G, a power of it belongs to the annthilator of G.

We speak of rigidity, if partial information about the prime decomposition in an extension of number fields K¦k determines the decomposition law completely (and hence the zeta function ζK), or even fixes the field K itself. Several concepts of rigidity, depending on the degree of information we start from, are introduced and studied. The strongest concept (absolute rigidity) was only known to hold for the ground field and all quadratic extensions. Here a complete list of all Galois quartic extensions which are absolutely rigid is given. For the weaker concept of rigidity, all rigid situations among the fields of degree up to 8 are determined.

The structure of Kronecker class of an extension K: k of algebraic number fields of degree |K: k| ≤ 8 is investigated. For such classes it is shown that the width and socle number are equal and are at most 2, and for those of width 2 the Galois group is given. Further, if |K: k | is 3 or 4, or if 5 ≤ |K: k| ≤ 8 and K: k is Galois, then the groups corresponding to all “second minimal” fields in K are determined.

In this paper we investigate the structure of a collineation group G of a finite projective plane Π of odd order, assuming that G leaves invariant an oval Ω of Π. We show that if G is nonabelian simple, then G ≅ PSL(2, q) for q odd. Several results about the structre and the action of G are also obtained under the assumptions that n ≡ 1 (4) and G is transitive on the points of Ω.

Let Gbe a primitive permutation group on a finite set Ω. We investigate the subconstitutents of G, that is the permutation groups induced by a point stabilizer on its orbits in Ω, in the cases where Ghas a diagonal action or a product action on Ω. In particular we show in these cases that no subconstituent is doubly transitive. Thus if G has a doubly transitive subconstituent we show that G has a unique minimal normal subgroup N and either N is a nonabelian simple group or N acts regularly on Ω: we investigate further the case where N is regular on Ω.

We give a self-contained proof of the O'Nan-Scott Theorem for finite primitive permutation groups.

We study the embeddings of a finite p-group U into Sylow p-subgroups of Sym (U) induced by the right regular representation p: U→ Sym(U). It turns out that there is a one-to-one correspondence between the chief series in U and the Sylow p-subgroups of Sym (U) containing Up. Here, the Sylow p-subgroup Pσ of Sym (U) correspoding to the chief series σ in U is characterized by the property that the intersections of Up with the terms of any chief series in Pσ form σp. Moreover, we see that p: U→ Pσ are precisely the kinds of embeddings used in a previous paper to construct the non-trivial countable algebraically closed locally finite p-groups as direct limits of finite p-groups.

Generalised wreath products of permutation groups were discussed in a paper by Bailey and us. This note determines the orbits of the action of a generalised wreath product group on m–tuples (m ≥ 2) of elements of the product of the base sets on the assumption that the action on each component is m–transitive. Certain related results are also provided.

Let A be a commutative Banach algebra with identity of norm 1, X a Banach A-module and G a locally compact abeian group with Haar measure. Then the multipliers from an A -valued function algebra into an X-valued function space is studied. We characterize the multiplier spaces as the following isometrically isomorphic relations under some appropriate conditions:

Let Gq be the group of permutations of the finite field Fq of odd order q that can be represented by polynomials of the form ax(q+1)/2 + bx with a, b ∈ Fq. It is shown that Gq is isomorphic to the regular wreath product of two cyclic groups. The structure of Gq can also be described in terms of cyclic, dicyclic, and dihedral groups. It also turns out that Gq is isomorphic to the dymmetry group of a regular complex polygon.

Let G be transitive permutation group of degree n and let K be a nontrivial pronormal subgroup of G (that is, for all g in G, K and Kg are conjugate in (K, Kg)). It is shown that K can fix at most ½(n – 1) points. Moreover if K fixes exactly ½(n – 1) points then G is either An or Sn, or GL(d, 2) in its natural representation where n = 2d-1 ≥ 7. Connections with a result of Michael O'Nan are dicussed, and an application to the Sylow subgroups of a one point stabilizer is given.

Vertices u and v of a graph G are pseudo-similar if G – u ≅ G – v, but no automorphisms of G maps u to v. Let H be a graph with a distinguished vertex a. Denote by G(u. H) and G(v. H) the graphs obtained from G and H by identifying vertex a of H with pseudo-similar vertices u and v, respectively, of G. Is it possible for G(u.H) and G(v.H) to be isomorphic graphs? We answer this question in the affirmative by constructing graphs G for which G(u. H)≅ G(v. H).

Let G be a primitive permutation group of finite degree n containing a subgroup H which fixes k points and has r orbits on Δ, the set of points it moves. An old and important theorem of Jordan says that if r = 1 and k ≥ 1 then G is 2-transitive; moreover if H acts primitively on Δ then G is (k + 1)-transitive. Three extensions of this result are proved here: (i) if r = 2 and k ≥ 2 then G is 2-transitive, (ii) if r = 2, n > 9 and H acts primitively on both of its two nontrivial orbits then G is k-primitive, (iii) if r = 3, n > 13 and H acts primitively on each of its three nontrivial orbits, all of which have size at least 3, then G is (k − 1)-primitive.

A Latin square is considered to be a set of n2 cells with three block systems. An automorphisni is a permutation of the cells which preserves each block system. The automorphism group of a Latin Square necessarily has at least 4 orbits on unordered pairs of cells if n < 2. It is shown that there are exactly 4 orbits if and only if the square is the composition table of an elementary abelian 2-group or the cclic group of order 3.

The purpose of this note is to determine the automorphism group of the doubly regular tournament of Szekeres type, and to use it to show that the corresponding skew Hadamard matrix H of order 2(q + 1), where q ≡5(mod 8) and q > 5, is not equivalent to the skew Hadamard matrix H(2q + 1) of quadratic residue type when 2q + 1 is a prime power.

Let G be a finite and u(G) the group of all invertible transformations (polynomial permutations) of the form x→a1 x1→ xk a2⃛ar xkr ar+1 (aiε G, x runs through G). Continuing investigations of H. Lausch of groups satisfying u(G) = {X→axk b} we show here that this condition implies that G is the direct product of its {2, 3}-Hall subgroup and its {2, 3}′-Hall subgroup H where H is nilpoint of class ≤2. Essentially all non-nilpoint groups G of order 2m 3n are described having the property u(G)= {x→axk b}