To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In this paper we study certain properties of free actions of non-abelian p-groups (p≥3) on products of spheres (Sn)k, k≥2. The following theorems are proved.
A basic notion in the classical theory of differentiation is that of a differentiation base. However, some differentiation type theorems only require the less restricted notion of a contraction. We demonstrate that the classical criteria, such as the covering criteria of de Possel, continue to hold in the new setting.
Recently, Szczepariski [11] has constructed examples of aspherical manifolds with the ℚ-homology of a sphere. More precisely, if k is a commutative ring of characteristic zero containing , the following theorem holds.
Let . denote the modular curve associated with the normalizer of a non-split Cartan group of level N., where N. is an arbitrary integer. The curve is denned over Q and the corresponding scheme over ℤ[1/N] is smooth [1]. If N. is a prime, the genus formula for . is given in [5,6]. The curve . has genus 0 if N < 11 and has genus 1. Ligozat [5] has shown that the group of Q-rational points on has rank 1. If the genus g(N). is greater than 1, very little is known about the Q-rational points of . Since under simple conditions imaginary quadratic fields with class number 1 give an integral point on these curves, Serre and others have asked whether all integral points are obtained in this way [8].
The results we present were motivated by the product measure problem for Baire measures. For two completely regular Hausdorff spaces X and Y, with totally finite a- additive measures μ and ν defined on the Baire σ- algebras ℬ0(X) and ℬ0(Y) respectively, under what conditions may we define a measure λ on the Baire σ-algebra ℬ0(X × Y), extending the product measure μ ⊗ ν defined on the product σ-algebra ℬ0(X) × ℬ0(Y) and satisfying a Fubini theorem?
We shall consider incomplete exponential sums of the shape
where q, a and h are integers satisfying 1 ≤ a < a + h ≤ q, f(x) is a function denned at least for the integers in the range of summation, and eq(t) is an abbreviation for e2πit/q.
In the middle of the last century, Kummer's studies on the famous Fermat conjecture led him to the question: when does a given prime p > 2 divide the class number of the p-th cyclotomic field? His conclusion was that this happens, if, and only if, p divides at least one of the Bernoulli numbers B2, B4,…, Bp_3. Such a prime is called irregular. Carlitz [1] has given the simplest proof of the fact that the number of irregular primes is infinite. However, it is not known whether there are infinitely many regular primes.
We show that if a polytope K1, in ℝd can be partitioned into a finite number of sets, and these sets can be moved by isometries in a locally discrete group to form a convex body K2, then K2 is a polytope and a similar partition can be made where the sets involved are simplices with disjoint interiors. This gives partial answers to questions of Tarski, Sallee and Wagon.
When a displacement front meets a heterogeneity in a porous medium, its shape will be altered. The amount of distortion depends on the size and shape of the heterogeneity, the amount of variation of the heterogeneous properties, and the mobility ratio between the displaced and displacing fluids. The solution for a circular permeability discontinuity is known when the capillary pressure is uniform and the mobility ratio M is unity [4]. Here, we extend the theory to the case where there is a small change ε in capillary pressure as well as a nearly unit mobility ratio M = 1 + εγ. Corrections can then be found, in closed form, to first order in ε, to the shape of the front and the pressure field. Computations using these expressions are simpler than the full free-boundary problem, and some analytical estimates are possible in further limits. Finally, the theory is extended to the case of a front passing a number of such heterogeneous patches which are widely spaced.
In [5] we have developed part of a theory of K- analytic sets that forms a common generalization of the theory of Lindelöf K- analytic sets developed by Choquet, Sion and Frolik and the theory of metric analytic sets developed by Stone and Hansell. As we explain in [5], this theory parallels the recently developed theory of Frolík and Holický, but has certain advantages. In this paper we take the theory rather further, and, in particular, we prove a number of variants of Lusin's first separation theorem and give some of their applications. We make free use of the definitions, notation and conventions introduced in [5].
The Banach-Tarski Paradox shows how to obtain two spheres, or balls, from one, and it is clear how to get any finite number of balls: just duplicate repeatedly, lifting the subsets of the new balls back to the original. After all, the joy in owning a duplicating machine is being able to use it more than once. Alternatively, one need only consider the weak system of congruences: A2j ≃ ∪ {Ai: 1 ≤ i ≤ 2n, i ≠ 2j - 1}, j = 1, …, n. By the remarks following 4.12, there is a partition of the sphere into sets Ai that satisfy this system with respect to rotations, and therefore A2j ∪ A2j-1 ∼ S2. Need we stop at just finitely many copies? What about infinitely many, even uncountably many? Using the existence of infinitely many independent rotations (σi τσ-i, i = 0, 1, 2, … where σ, τ are independent), it is not hard to see how the results of Chapter 4 on systems of congruences can be made to yield the solvability of any countably infinite weak system by a partition of S2. Hence S2 can be partitioned into countably many sets, each of which is SO3-equidecomposable (using just two pieces) with S2. But even stronger transfinite duplications are possible. One can get a continuum of spheres from one: the sphere can be partitioned into sets Bα, as many sets as there are points on the sphere (i.e., 2ℵo), such that each Bα is SO3-equidecomposable with the sphere.
In this chapter we shall present some interesting connections between the amenability of a group and the rate of growth of a group, that is, the speed at which new elements appear when one considers longer and longer words using letters from a fixed finite subset of the group. This approach to amenability sheds light on a basic difference between Abelian and solvable groups. Both types of groups are amenable, but their growth properties can be quite different. This will explain why there is a paradoxical subset of the plane (Sierpiński-Mazurkiewicz Paradox, 1.7), but no similar subset of R1.
The study of growth conditions also elucidates the amenability of Abelian groups. One may prove quite simply (without the Axiom of Choice) that an Abelian group is not paradoxical (12.8), but the proof that Abelian groups are amenable (10.4(b)) is more complicated. One can then obtain an alternate proof of 10.4 (b) by applying Tarski's Theorem (9.2).
We shall also discuss some recent work on the cogrowth of a group, a notion that refines the idea of the growth of a group. This leads to a striking and important characterization of amenable groups, a characterization that is central to the proof of Theorem 1.12, which constructs a group in NF\AG.
The notion of amenability of a group is based on the existence of a measure of total measure one. But we are often interested in invariant measures that assign specific subsets measure one.
Since paradoxical decompositions depend on free groups, and since the group of rotations of S2 is contained in higher-dimensional rotation groups, it comes as no surprise that paradoxical decompositions exist for higher-dimensional spaces. This generalization is not completely obvious, though, since the fixed point set of an isometry does expand when the isometry is extended to a higher dimension by fixing additional coordinates. Nevertheless, the basic results from Chapter 3 on the existence of paradoxical decompositions do extend without requiring any new techniques (see Theorem 5.1). For example, we have already seen that the unit ball in Rn is Gn-negligible if n ≥ 3 (see proof of 2.6), and by the theorem of Tarski alluded to just prior to Theorem 2.6, it follows that such balls are paradoxical. But it is useful to see how the decompositions in higher dimensions may be obtained quite directly from the construction on S2, as is done in Theorem 5.1.
The expansion of the fixed point set is a crucial impasse to generalizing the finer analysis of Chapter 4, however. This is because new fixed points completely destroy the local commutativity of a group when it is viewed as acting on a higher-dimensional space. Nonetheless, locally commutative free groups of isometries (and, where possible, free groups without fixed points) do exist; hence there are minimal paradoxical decompositions in all higher dimensions (see 5.5).