Every distributive double p-algebra L is shown to have a congruence permutable extension K such that every congruence of L has a unique extension to K.

We construct finitely generated groups of small period growth, i.e. groups where the maximum order of an element of word length n grows very slowly in n. This answers a question of Bradford related to the lawlessness growth of groups and is connected to an approximative version of the restricted Burnside problem.

Every discrete definable subset of a closed asymptotic couple with ordered scalar field ${\boldsymbol {k}}$ is shown to be contained in a finite-dimensional ${\boldsymbol {k}}$-linear subspace of that couple. It follows that the differential-valued field $\mathbb {T}$ of transseries induces more structure on its value group than what is definable in its asymptotic couple equipped with its scalar multiplication by real numbers, where this asymptotic couple is construed as a two-sorted structure with $\mathbb {R}$ as the underlying set for the second sort.

In this short note we show that $\sup\{\|M_\nu\|:\nu\text{ is a measure on }\mathbb{R}^n\}$, where $\|M_\nu\|$ denotes the centred Hardy–Littlewood maximal operator, depends exponentially on $n$.

AMS 2000 Mathematics subject classification: Primary 42B25

The theory of representing continuous linear operators on function spaces in terms of integrals has had a long and fruitful history, beginning with the Riesz representation theorem in 1909. If T is such an operator, then the standard representation is T (f) = ∫f dμ, where the integral is denned in diverse ways, depending on the nature of the set of functions and the nature of T.

Let R be a Cohen–Macaulay local ring. It is shown that under some mild conditions, the Cohen–Macaulay property is preserved under linkage. We also study the connection of the (Sn) locus of a horizontally linked module and the attached primes of certain local cohomology modules of its linked module.

This paper concerns a generalization of the Rees algebra of ideals due to Eisenbud, Huneke and Ulrich that works for any finitely generated module over a noetherian ring. Their definition is in terms of maps to free modules. We give an intrinsic definition using divided powers.

Let $X^{n}$ be an oriented closed generalized $n$-manifold, $n\ge 5$. In our recent paper (Proc. Edinb. Math. Soc. (2) 63 (2020), no. 2, 597–607), we have constructed a map $t:\mathcal {N}(X^{n}) \to H^{st}_{n} ( X^{n}; \mathbb{L}^{+})$ which extends the normal invariant map for the case when $X^{n}$ is a topological $n$-manifold. Here, $\mathcal {N}(X^{n})$ denotes the set of all normal bordism classes of degree one normal maps $(f,\,b): M^{n} \to X^{n},$ and $H^{st}_{*} ( X^{n}; \mathbb{E})$ denotes the Steenrod homology of the spectrum $\mathbb{E}$. An important non-trivial question arose whether the map $t$ is bijective (note that this holds in the case when $X^{n}$ is a topological $n$-manifold). It is the purpose of this paper to prove that the answer to this question is affirmative.

Much of the work on the theory of diffraction by an infinite wedge has been for cases of harmonic time-dependence. Oberhettinger (1) obtained an expression for the Green's function of the wave equation in the two dimensional case of a line source of oscillating current parallel to the edge of a wedge with perfectly conducting walls. Solutions of the time-dependent wave equation have been obtained by Keller and Blank (2), Kay (3) and more recently by Turner (4) who considered the diffraction of a cylindrical pulse by a half plane.

§1. The Cardinal Function of Interpolation Theory is the function

which takes the values an at the points x = n. Ferrar has recently proved

Theorem1. If are convergent, C(x)is an m-function3for

This means that C(x) is a solution of the intergral equation

Ferrar's proof deals with functions of a real variable and involves some rather difficult double limit considerations.

The inverse problem we will consider in this paper has its origins in the following problem connected with the scattering of acoustic waves in a nonhomogeneous medium. Let an incoming plane acoustic wave of frequency ω moving in the direction of the z axis be scattered off a “soft” sphere Ω of radius one which is surrounded by a pocket of rarefied or condensed air in which the local speed of sound is given by c(r) where r = |x| for x ∈ R3. Let us(x)eiωt be the velocity potential of the scattered wave and let r, θ, φ be spherical coordinates in R3. Then from a knowledge of the far field pattern f(θ, φ, λ) for λ = ω/c0 contained in some finite interval 0 < λ0 ≤ λ ≤ λ1,, we would like to determine the unknown function c(r).

Let G be a non-discrete LCA group with dual group Γ. Denote by M(G) the usual convolution algebra of bounded Borel measures on G and Ma(G) those μ ∈ M(G) which are absolutely continuous with respect to mG—the Haar measure on G.

The authors have recently treated (2) the problem of finding subsets E of the real line , of type Fσ, such that E–E contains an interval and the k-fold vector sum (k)E is of measure zero. Positive results can be obtained, for all k, on the basis of a recent theorem of J. A. Haight (3), following earlier partial results (1), (4) for k ≦ 7; and indeed in these cases the problem has a solution with E a perfect set. An analogous problem, apparently in most respects subtler than the first, is the following. Do there exist finite regular Borel measures μ on such that is absolutely continuous (where is the adjoint of μ) and the kth convolution power μk is singular? Both problems are of interest in the general context of elucidating the properties of the measure algebra or, more generally, M(G) for locally compact abelian G. The second problem may be regarded as an attempt to provide (at least one aspectof) a multiplicity theory for the first.

Felsen (1) has shown that when a plane wave is incident along the axis of a rigid cone of narrow apex angle an approximate expression for the scattered wave involves an integral of the form

where is a Bessel function of the third kind, k a constant and , is the Legendre (conical) function of the first kind.

In (5) and (6) we studied certain subgroups of infinite dimensional linear groups over rings. In particular we investigated how the structure of the subgroups was related to the structure of the rings over which the linear groups were defined. It became clear that it might prove useful to study generalised nilpotent properties of rings analogous to Baer nilgroups and Gruenberg groups. We look briefly at some classes of generalised nilpotent rings in this paper and obtain a lattice diagram exhibiting all the strict inclusions between the classes.