Generalizations of the Stacked Bases Theorem

We give a complete description of the topological spaces X such that the free abelian topological group A(X) embeds into the free abelian topological group A(I) on the closed unit interval. In particular, the free abelian topological group A(X) on any finite-dimensional compact metrizable space X embeds into A(I). To obtain our description, we study similar embeddings of the free locally convex spaces and continuous surjections between the spaces of continuous functions with the pointwise topology. Proofs are based on the classical Kolmogorov's Superposition Theorem.

§1. Introduction.The motivation of this work comes from two different directions: infinite abelian groups, and ordered algebraic structures. A challenging problem in both cases is that of classification. In the first case, it is known for example (cf. [KA]) that the classification of abelian torsion groups amounts to that of reducedp-groups by numerical invariants called theUlm invariants(given by Ulm in [U]). Ulm's theorem was later generalized by P. Hill to the class of totally projective groups. As to the second case, let us consider for instance the class of divisible ordered abelian groups. These may be viewed as ordered ℚ-vector spaces. Their theory being unstable, we cannot hope to classify them by numerical invariants. On the other hand, being o-minimal, the theory enjoys several good model theoretic properties (cf. [P-S]), so the search for some reasonable invariants is well motivated. The common denominator of the two cases, as well as of many others, is valuation theory. Indeed given an ordered vector space, one can consider it as a valued vector space, endowed with the natural valuation. Also, the socleG[p] of a reduced abelianp-groupG, endowed with the height functionhG, is a valued vector space over(the prime field of characteristicp) with values in the ordinals (cf. [F]).

Long colimits of topological groups II: Free groups and vector spaces

Let (X,≤) be a partially ordered set (in short, a poset). The automorphism group Aut (X,≤) is the group of all permutations g of X such that x ≤ y if and only if xg ≤ yg for all x,y∈X. We say that (X,≤) is sharply transitive if Aut(X,≤) is sharply transitive on X, that is, for x,y∈X there exists a unique g∈Aut(X,≤) with y = xg. Sharply transitive totally ordered sets have been studied by Ohkuma[4, 5], Glass, Gurevich, Holland and Shelah [3] (see also [2] and [6]). Whereas the only countable sharply transitive totally ordered set is the set of integers, there are a great variety of countable sharply transitive posets. Amongst other results, in [1] the author showed that there are countably many non-isomorphic sharply transitive posets whose automorphism group is infinite cyclic (and also gave a full description of those), whereas there are 2N0 non-isomorphic sharply transitive posets whose automorphism group is isomorphic to the additive group of the rational numbers. This suggests also that one should consider the analogous problem for free abelian groups. The purpose of this note is to show that whenever G is a countable free abelian group then there exists a sharply transitive poset whose automorphism group is isomorphic to G, and that there are already 2N0 non-isomorphic sharply transitive posets whose automorphism group is the free abelian group of rank 2.

We would like to build Abelian groups (or R-modules) which on the one hand are quite free, say ℵω+1-free, and on the other hand are complicated in a suitable sense. We choose as our test problem one having no nontrivial homomorphism to ℤ (known classically for ℵ1-free, recently for ℵn-free). We succeed to prove the existence of even $${\aleph _{{\omega _1} \cdot n}}$$ -free ones. This requires building n-dimensional black boxes, which are quite free. This combinatorics is of self interest and we believe will be useful also for other purposes. On the other hand, modulo suitable large cardinals, we prove that it is consistent that every $${\aleph _{{\omega _1} \cdot \omega }}$$ -free Abelian group has non-trivial homomorphisms to ℤ.

We consider the class of abelian groups possessing partial decomposition bases in L ∞ ω δ L^\delta _{\infty \omega } for δ \delta an ordinal. This class contains the class of Warfield groups which are direct summands of simply presented groups or, alternatively, are abelian groups possessing a nice decomposition basis with simply presented cokernel. We prove a classification theorem using numerical invariants that are deduced from the classical Ulm-Kaplansky and Warfield invariants. This extends earlier work by Barwise-Eklof, Göbel and the authors.

Several authors have recently studied the problem of finding circumstances under which the amenability of a semigroup is inherited by a subsemigroup. It is known ([2] and [3]) that subgroups of an amenable group are amenable, but that in general subsemigroups of an amenable semigroup are not. We show here that subsemigroups of an amenbable group need not be amenable. Frey proved in [4] that subsemigroups of a group inherit amenability and the group contains no copy of the free semigroup S on two generators (S is not amenable). The problem is discussed in detail in [51. It is known [11 that a group generated by a copy of S contained in it need not be free; the question is whether it can be far enough from free to be amenable. Since solvable groups are amenable [6], our claim that subsemigroups of amenable groups need not be amenable will be established we can embed S in a solvable group. We proceed to do this. Granirer conjectured in his review [MR 35 #3423] of Wilde and Witz [7] that a group is amenable and it contains no copy of S. It will follow that the only if part of this conjecture is quite false. Let B be the free additive abelian group on the family of generators {b(m, n) }, m, n integers. Any permutation of these generators induces an automorphism of B. Let x and y be the automorphisms induced by b(m, n)F->b(m+1, n) and b(m, n)'->b(m, n+1), respectively. It is easy to see that the subgroup C of Aut B generated by x and y is the free abelian group on the generators x, y. We write C additively, and we indicate the action of an element c of C on an element b of B by be. Let be the normal product of B by C. consists of pairs [c, b] and the multiplication is given by -[c, b1i [c, b] [cl+c, b1+b]. c1->[c, 0], bF-*[O, b] are embeddings of C, B respectively into G, and B is thus a normal abelian subgroup with quotient G/B-C. Hence, is solvable and in fact the second derived group G of is trivial. The same holds for every subgroup of G. Now, let s= [x, b(O, 0)] and t= [y, b(0, 0)].

A classical result of Magnus asserts that a free group F has a faithful representation in the group of units of a ring of non-commuting formal power series with integral coefficients. We generalize this result to the category of A-groups, where A is an associative ring or an Abelian group. We say that a free A-group FA has a faithful Magnus representation if there is a ring B containing A as an additive subgroup (or a subring) such that FA is faithfully represented (exactly as in Magnus' classical result in the case A = Z)in the group of units of the ring of formal power series in non-communting indeterminater over B.The three principal results are: (I) If A is a torsion free Abelian group and FA is a free A-groupp of Lyndon' type, then FA has a faithful Magnus representation; (II) If A is an ω‐residually Z ring, then FA has a faithful Magnus representation;(III) for every nontrivial torsion-free Abelian group A, FA has a faithful Magnus representation in B[[Y]] for a suitable ring B in and only if FQ has a faithful Magnus representation in Q[[Y]].

Using the set theoretical principle ∇ for arbitrary large cardinals κ, arbitrary large strongly κ-free abelian groupsA are constructed such that Hom(A, G)={0} for all cotorsion-free groupsG with |G|<κ. This result will be applied to the theory of arbitrary torsion classes for Mod-Z. It allows one, in particular, to prove that the classF of cotorsion-free abelian groups is not cogenerated by aset of abelian groups. This answers a conjecture of Gobel and Wald positively. Furthermore, arbitrary many torsion classes for Mod-Z can be constructed which are not generated or not cogenerated by single abelian groups.

In this chapter we develop the algebra underlying multirate filter structures over free abelian groups of finite rank. Suppose A is a free abelian group of rank N. Each subgroup Δ of A is a free abelian group of rank n ≤ N. The basis theorem describes how Δ sits in A in the sense that it characterizes the quotient group A/Δ. This quotient group can be a finite abelian group a free abelian group of finite rank the direct product of a finite abelian group and a free abelian group of finite rank.

Let T be an abelian group and λ an uncountable regular cardinal. The question of whether there is a λ-universal group U among all torsion-free abelian groups G of cardinality less than or equal to λ satisfying Exta(G,T) = 0 is considered. U is said to be λ-universal for T if, whenever a torsion-free abelian group G of cardinality at most λ satisfies Ext(G,T)=0, there is an embedding of G into U. For large classes of abelian groups T and cardinals λ, it is shown that the answer is consistently no, that is to say, there is a model of ZFC in which, for pairs T and λ, there is no universal group. In particular, for T torsion, this solves a problem by Kulikov.

Properties of abelian groups related to a given finite rank torsion free abelian group A are analyzed in terms of End (A), the endomorphism ring of A. This point of view gives rise to generalizations of some classical theorems by R. Baer and examples of pathological direct sum decompositions of finite rank torsion free abelian groups.

Let \({(S,\cdot)}\) be a semigroup, (H, +) an abelian group and \({f: S \to H}\). The first and second order Cauchy differences of f are $$\begin{aligned} C^{1}f(x, y)= & {} f(xy) - f(x) - f(y),\\ C^{2}f(x, y, z)= & {} f(xyz) - f(xy) - f(yz) - f(xz) + f(x) + f(y) + f(z).\end{aligned}$$ Higher order Cauchy differences Ckf are defined recursively. In the case of H = R, a ring where multiplication is distributive over addition, we show that functions \({f: S\to R}\) with vanishing finite Cauchy differences are closed under multiplication. The equation Ckf = 0 is considered for cyclic groups, free abelian groups and other selected quotients of the free groups.

We will construct an almost free non-free group <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of cardinality <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="normal alef 1"> <mml:semantics> <mml:msub> <mml:mi mathvariant="normal"> ℵ </mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>1</mml:mn> </mml:mrow> </mml:msub> <mml:annotation encoding="application/x-tex">\aleph _{1}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> such that <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G slash upper G prime"> <mml:semantics> <mml:mrow> <mml:mi>G</mml:mi> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo>/</mml:mo> </mml:mrow> <mml:msup> <mml:mi>G</mml:mi> <mml:mo>′</mml:mo> </mml:msup> </mml:mrow> <mml:annotation encoding="application/x-tex">G/G’</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a free abelian group.

Using the wonderful compactification of a semisimple adjoint affine algebraic\ngroup G defined over an algebraically closed field k of arbitrary\ncharacteristic, we construct a natural compactification Y of the G-character\nvariety of any finitely generated group F. When F is a free group, we show that\nthis compactification is always simply connected with respect to the \\'etale\nfundamental group, and when k=C it is also topologically simply connected. For\nother groups F, we describe conditions for the compactification of the moduli\nspace to be simply connected and give examples when these conditions are\nsatisfied, including closed surface groups and free abelian groups when\nG=PGL(n,C). Additionally, when F is a free group we identify the boundary\ndivisors of Y in terms of previously studied moduli spaces, and we construct a\nfamily of Poisson structures on Y and its boundary divisors arising from\nBelavin-Drinfeld splittings of the double of the Lie algebra of G. In the\nappendix, authored by Sam Evens and Arlo Caine, we explain how to put a Poisson\nstructure on a quotient of a Poisson algebraic variety by the action of a\nreductive Poisson algebraic group.\n