We survey the existing parts of a classification of finite groups generated by orthogonal transformations in a finite-dimensional Euclidean space whose fixed point subspace has codimension one or two and extend it to a complete classification. These groups naturally arise in the study of the quotient of a Euclidean space by a finite orthogonal group and hence in the theory of orbifolds.
We characterize finite groups G generated by orthogonal transformations in a finite-dimensional Euclidean space V whose fixed point subspace has codimension one or two in terms of the corresponding quotient space V/G with its quotient piecewise linear structure.
Answering a question of Dan Haran and generalizing some results of Aschbacher-Guralnick and Suzuki, we prove that given a set of primes pi, any finite group can be generated by a pi-subgroup and a pi-subgroup. This gives a free product description of a countably generated free profinite group.
This note is concerned with the geometric classification of connected Lie groups of dimension three or less, endowed with left-invariant Riemannian metrics. On the one hand, assembling results from the literature, we give a review of the complete classification of such groups up to quasi-isometries and we compare the quasi-isometric classification with the bi-Lipschitz classification. On the other hand, we study the problem whether two quasi-isometrically equivalent Lie groups may be made isometric if equipped with suitable left-invariant Riemannian metrics. We show that this is the case for three-dimensional simply connected groups, but it is not true in general for multiply connected groups. The counterexample also demonstrates that `may be made isometric is not a transitive relation.
A unital $ell$-group $(G,u)$ is an abelian group $G$ equipped with a translation-invariant lattice-order and a distinguished element $u$, called order-unit, whose positive integer multiples eventually dominate each element of $G$. We classify finitely generated unital $ell$-groups by sequences $mathcal W = (W_{0},W_{1},...)$ of weighted abstract simplicial complexes, where $W_{t+1}$ is obtained from $W_{t}$ either by the classical Alexander binary stellar operation, or by deleting a maximal simplex of $W_{t}$. A simple criterion is given to recognize when two such sequences classify isomorphic unital $ell$-groups. Many properties of the unital $ell$-group $(G,u)$ can be directly read off from its associated sequence: for instance, the properties of being totally ordered, archimedean, finitely presented, simplicial, free.
It is proved that for any prime $p$ a finitely generated nilpotent group is conjugacy separable in the class of finite $p$-groups if and only if the torsion subgroup of it is a finite $p$-group and the quotient group by the torsion subgroup is abelian.