Transformation of Matrix Presentation for Bieberbach Groups into Polycyclic Presentations

Bieberbach groups are torsion free crystallographic groups. In this paper, our focus is on the Bieberbach groups with elementary abelian 2-group point group, The central subgroup of the nonabelian tensor square of a group is generated by for all in The purpose of this paper is to compute the central subgroups of the nonabelian tensor squares of two Bieberbach groups with elementary abelian 2-point group of dimension three.

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 investigate algebraic sets over certain finitely generated torsion-free metabelian groups. The class of groups under consideration is the class of so-called ρ-groups. It consists of all wreath products of finitely generated free abelian groups and their subgroups. In particular, it includes all free metabelian groups of finite rank. Our main result is a characterization of certain irreducible algebraic sets over ρ-groups. More precisely, we consider irreducible algebraic sets which are determined by a system of equations in n indeterminates. For their coordinate groups, we introduce a discrete invariant called the relative characteristic. This is an ordered pair of non-negative integers. We determine the structure of the coordinate group of the n-dimensional affine space, and show that its relative characteristic is (n, n). Then we characterize the irreducible algebraic sets of relative characteristic (n, n) and (0, k ) where 0 ≤ k ≤ n . We also obtain some examples of somewhat unusual algebraic sets over ρ-groups, thus demonstrating that algebraic sets over these groups are much more varied and complicated than, say, algebraic sets over free groups.

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

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)].

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 ℤ.

In Fourier-space crystallography, the space group is defined in terms of the point group G, the inverse lattice (or Fourier module) L, and a phase function Φ. We classify the two-dimensional space groups (or plane groups), the major step being the classification of lattices, of all ranks, symmetric under the finite point group G. This step requires new ideas from integer representation theory. Given this classification, the remaining steps can be done easily using techniques of group cohomology.

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.

Section 3.2.1 treats the geometric and group-theoretical aspects of both crystallographic and noncrystallographic point groups. It includes descriptions and diagrams of the sub- and supergroups of the crystallographic point groups and tabulations and diagrams of the (infinitely many) noncrystallographic point groups and their subgroups, with special emphasis on the two icosahedral point groups. All entries and terms are thoroughly described in the text. Section 3.2.2 discusses the relations between symmetry and the physical properties of crystals. The following properties and their dependence on the crystallographic point-group symmetries are described and presented in several tables: crystal morphology, symmetry of etch figures, optical birefringence, optical activity, enantiomorphism, pyroelectricity (ferroelectricity) and piezoelectricity. Section 3.2.3 presents an extensive tabulation of the 10 two-dimensional and the 32 three-dimensional crystallographic point groups, containing for each group the stereographic projections of the symmetry elements and the face poles of the general crystal form, and a table with the Wyckoff positions, their site symmetries and the coordinates of symmetry-equivalent points, and, in addition, the names and Miller indices {hkl} of the general and special face and point forms. Each point-group table concludes with the three major projection symmetries. Section 3.2.4 discusses molecular symmetry, including noncrystallographic symmetries, the symmetry of polymeric molecules and symmetry aspects of chiral molecules and crystal structures. It includes a table of the crystallographic and noncrystallographic rod groups.

We prove that, aside from the obvious exceptions, the mapping class group of a compact orientable surface is not abstractly commensurable with any right-angled Artin group. Our argument applies to various sub- groups of the mapping class group—the subgroups generated by powers of Dehn twists and the terms of the Johnson filtration—and additionally to the outer automorphism group of a free group and to certain linear groups. There are many analogies and interconnections between the theories of right- angled Artin groups on one hand and mapping class groups on the other hand. For instance, by the work of Crisp and Wiest (13), the work of Koberda (27), and the work of the first two authors with Mangahas (12), there is an abundance of injective homomorphisms from right-angled Artin groups to mapping class groups. Also, the last two authors proved (30) that any two elements of the pure braid group either generate a free group or a free abelian group—a property shared by all right-angled Artin groups (4, Theorem 1.2). We are thus led to ask to what extent mapping class groups are the same as right-angled Artin groups. It is straightforward to see that most mapping class groups are not isomorphic to right-angled Artin groups, for instance because right-angled Artin groups are torsion free. On the other hand, mapping class groups have finite-index sub- groups that are torsion free, and so this leaves open the possibility that mapping class groups are abstractly commensurable to right-angled Artin groups, that is, that they have isomorphic finite-index subgroups. We prove that, aside from a small number of exceptions, this is not the case. We also extend this result to several classes of groups related to mapping class groups. We start by recalling some definitions. To a finite graph , we can associate a right-angled Artin grou p: this is the group with one generator for each vertex of , and one defin ing relator for each edge, namely, the commutator of the two generators corresponding to the endpoints. Let Sg,n denote a closed, connected, orientable surface of genus g with n marked points. The mapping class group Mod(Sg,n) is the group of homotopy classes of orientation-preserving homeomorphisms of Sg,n preserving the set of marked points. As discussed in Koberda's paper (27, Theorem 1.5), no finite-index subgroup of Mod(Sg,n) injects into a right-angled Artin group if g ≥ 2 and (g,n) 6 (2,0); see

Computation of relativistic symmetry orbitals for finite double point 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

Given an N 1 -free abelian group G we characterize the class? G of all torsion abelian groups T satisfying Ext(G,T) = 0 assuming the special continuum hypothesis CH. Moreover, in Godel's constructible universe we prove that this characterizes? G for arbitrary torsion-free abelian G. It follows that there exists some ugly N 1 -free abelian groups.

We show that, even under very favourable hypotheses, a polygonal product of finitely generated torsion free nilpotent groups amalgamating infinite cyclic subgroups is, in general, not residually finite, thus answering negatively a question of C. Y. Tang. A second example shows similar kinds of limitations apply even when the factors of the product are free abelian groups.