Let G be a group. The norm, or Kern of G is the subgroup of elements of G which normalize every subgroup of the group. This idea was introduced in 1935 by Baer [1, 2], who delineated the basic properties of the norm. A related concept is the subgroup introduced by Wielandt [10] in 1958, and now named for him. The Wielandt subgroup of a group G is the subgroup of elements normalizing every subnormal subgroup of G. In the case of finite nilpotent groups these two concepts coincide, of course, since all subgroups of a finite nilpotent group are subnormal. Of late the Wielandt subgroup has been widely studied, and the name tends to be the more used, even in the finite nilpotent context when, perhaps, norm would be more natural. We denote the Wielandt subgroup of a group G by ω(G). The Wielandt series of subgroups ω1(G) is defined by: ω1(G) = ω(G) and for i ≥ 1, ωi+1(G)/ ω(G) = ω(G/ωi, (G)). The subgroups of the upper central series we denote by ζi(G).

In this paper we shall indicate how to generalise the concept of a cofinite group (see [7]). We recall that any residually finite group can be made into a topological group by taking as a basis of neighbourhoods of the identity precisely the normal subgroups of finite index. The class of compact cofinite groups is then easily seen to be the class of profinite groups, where a group is profinite if and only if it is an inverse limit of finite groups. It turns out that every cofinite group can be embedded as a dense subgroup of a profinite group. This has important consequences for the class of countable locally finite-soluble groups with finite Sylow p-subgroups for all primes p, as shown in [7] and [14].

The aim of this note is to examine the basic ideas underlying Minkowski's theorem on lattice points in a symmetrical convex body and related results of Blichfeldt, and to indicate how these can be generalized. Theorems analogous to Minkowski's, on the automorphisms of quadratic forms and other linear groups and on Fuchsian groups of transformations in the complex plane, have been obtained by Siegel [6] and Tsuji [7], Generalizations which include these are due to Chabauty [2] and Santalo [5].

Following, for example, Kurošs [8], we define the (transfinite) upper central series of a group G to be the series

such that Zα + 1/Za is the centre of G/Zα, and if β is a limit ordinal, then If α is the least ordinal for which Zα =Zα+1=…, then we say that the upper central series has length α, and that Zα= His the hypercentre of G. As usual, we call G nilpotent if Zn= Gfor some finite n.

Let K be a totally real algebraic number field of degree n > 1, and let OK be the maximal order. We denote by гk, the Hilbert modular group SL2(OK) associated with K. On the extent of the weight of an automorphy factor for гK, some restrictions are imposed, not as in the elliptic modular case. Maass [5] showed that the weight is integral for K = ℚ(√5). It was shown by Christian [1] that for any Hilbert modular group it is a rational number with the bounded denominator depending on the group.

A group G is called Dedekindian if every subgroup ofG is normal in G.

The structure of the finite Dedekindian groups is well-known [3, Satz 7.12]. They are either abelian or direct products of the form Q × A × B, where Q is the quaternion group of order 8, Ais abelian of odd order and exp(B) ≤ 2.

In his thesis [1], Hussein considered regular permutations of order 2 and 3 in Sn whose product is an n-cycle. For such a pair, we must have

for some g ≥ 1. Such a permutation pair corresponds to a free cycloidal subgroup of the classical modular group (see, e.g., [3]). Previously the free subgroups and the cycloidal subgroups of fixed genus had been enumerated ([4], [5]).

Much interest has been shown in determining the range of values of c for which the sequence [n]c contains infinitely many primes. The result is an elementary deduction from the prime number theorem, of course, of 0<c≤l. In 1953, Piatetski–Shapiro [9] showed that

for 1<c<12/11, where xc(X) stands for the number of primes in the set {[nc]n≤x}.

Let ℬ = {bi:b1 <b2<…} be an infinite sequence of positive integers that exceed 1 and are pairwise coprime, so that

Assume also that

Let A=Aℬ denote the sequence of ℬ-free numbers, that is, of positive integers divisible by no element of ℬ. This concept, generalizing square-free and k-free numbers, derives from Erdös [2] who proved in 1966 that there exists a constant c, 0<c<l, independent of ℬ, such that the interval (x, x+xc) contains elements of A provided only that x is large enough. This result of Erdös was shown by Szemeredi [7] in 1973 to hold with c=½+ε, if x≥xo(ε, ℬ), and quite recently Bantle and Grupp [1] have sharpened Szemeredi's result to c=9/20+ε.

In the following we use the notation and terminology of [6] and [7]. If S is an inverse semigroup, then Es denotes the semilattice of idempotents of S. If a is any element of the inverse semigroup, then a−1 denotes the inverse of a in S. An inverse subsemigroup S of an inverse semigroup S′ is self-conjugate in S′ if for all x ∈ S′,x−1Sx ⊆ S; if this is the case, S′ is called a conjugate extension of S. An inverse subsemigroup S of S′ is said to be a full inverse subsemigroup of S′ if Es = Es′. If S is a full self-conjugate inverse subsemigroup of the inverse semigroup S′, then S is called a normal inverse subsemigroup of S′, or, S′ is called a normal extension of S.

The purpose of this note is to answer in the affirmative a long standing open question raised by Singal and Singal — whether every almost continuous function is closure continuous (θ-continuous).

In [3], Sharp and Taherizadeh introduced concepts of reduction and integral closure of an ideal I of a commutative ring R (with identity) relative to an Artinian R-module A, and they showed that these concepts have properties which reflect some of those of the classical concepts of reduction and integral closure introduced by Northcott and Rees in [2].

There exist several different approaches to the problem of solving dual integral equations involving Bessel Functions [1, 2, 3, 4, 5, 6,7], and Erdelyi and Sneddon in a recent paper [8] have shown that the introduction of certain operators occurring in the theory of fractional integration enables the relationships between the various methods to be clearly demonstrated. For dual integral equations other than those involving Bessel Functions the operators introduced by Erdélyi and Sneddon are not always the appropriate ones to use and it seems to be of interest to consider this more general type of situation.

If R is a ring and S is a semigroup, the corresponding semigroup ring is denoted by R[S]. A ring is semiprime if it has no nonzero nilpotent ideals. A semigroup S is a semilattice P of semigroups Sα if there exists a homomorphism φ of S onto the semilattice P such that Sα = αφ−1 for each α ∈ P.

Let R be a commutative Noetherian ring and G a group of elements acting on R as automorphisms. In this note, we are concerned with the structure of the lattice of invariant ideals of R. In particular we shall compute the Krull dimension of this lattice. Our group is an arbitrary group. There are none of the usual assumptions of some sort of algebraic action.