A Compendium of Infinite Group Theory: Part 1—Countable Recognizability

Countably recognizable group classes were introduced by Reinhold Baer and provide a very ingenious way to study large groups through the properties of their countable subgroups. This is the reason we have chosen the countable recognizability to start this series of survey papers on infinite group theory.

Coarse structures on groups defined by conjugations

For a group G, we denote by G↔ the coarse space on G endowed with the coarse structure with the base {{(x,y)∈G×G:y∈xF}:F∈[G]<ω}, xF={z−1xz:z∈F}. Our goal is to explore interplays between algebraic properties of G and asymptotic properties of G↔. In particular, we show that asdim G↔=0 if and only if G/ZG is locally finite, ZG is the center of G. For an infinite group G, the coarse space of subgroups of G is discrete if and only if G is a Dedekind group.

Infinite Latin Squares: Neighbor Balance and Orthogonality

Regarding neighbor balance, we consider natural generalizations of $D$-complete Latin squares and Vatican squares from the finite to the infinite. We show that if $G$ is an infinite abelian group with $|G|$-many square elements, then it is possible to permute the rows and columns of the Cayley table to create an infinite Vatican square. We also construct a Vatican square of any given infinite order that is not obtainable by permuting the rows and columns of a Cayley table. Regarding orthogonality, we show that every infinite group $G$ has a set of $|G|$ mutually orthogonal orthomorphisms and hence there is a set of $|G|$ mutually orthogonal Latin squares based on $G$. We show that an infinite group $G$ with $|G|$-many square elements has a strong complete mapping; and, with some possible exceptions, infinite abelian groups have a strong complete mapping.

On automorphisms of graded quasi-lie algebras

Let Z be the ring of integers and let K(Z,2n) denote the Eilenberg-MacLane space of type (Z,2n) for n ? 1. In this article, we prove that the graded group Am := Aut(??2mn+1(?K(Z,2n))=torsions) of automorphisms of the graded quasi-Lie algebras ?? 2mn+1(?K(Z,2n)) modulo torsions that preserve the Whitehead products is a finite group for m ? 2 and an infinite group for m ? 3, and that the group Aut(?*(K(Z,2n))=torsions) is non-abelian. We extend and apply those results to techniques in localization (or rationalization) theory.

On pathological properties of fixed point algebras in Kirchberg algebras

We investigate how the fixed point algebra of a C*-dynamical system can differ from the underlying C*-algebra. For any exact group Γ and any infinite group Λ, we construct an outer action of Λ on the Cuntz algebra 𝒪2 whose fixed point algebra is almost equal to the reduced group C*-algebra ${\rm C}_{\rm r}^* (\Gamma)$. Moreover, we show that every infinite group admits outer actions on all Kirchberg algebras whose fixed point algebras fail the completely bounded approximation property.