Related papers: Big Free Groups are Almost Free
For each positive integer Q there exists a path connected metric compactum X such that the Qth-homotopy group of X is compactly generated but not a topological group (with the quotient topology).
We find homogeneous counting quasimorphisms that are effective at seeing chains in a free group F. As corollary, we derive that if a group G has an index-d free subgroup, then every element g in G either has stable commutator length at…
We show that certain algebraic structures lack freeness in the absence of the axiom of choice. These include some subgroups of the Baer-Specker group $\mathbb{Z}^{\omega}$ and the Hawaiian earring group. Applications to slenderness,…
A word in a group is called a test element if any endomorphism fixing it is necessarily an automorphism. In this note, we give a sufficient condition in geometry to construct test elements for monomorphisms of a free group, by using the…
We obtain an explicit description of the endomorphisms of free-abelian by free groups together with a characterization of when they are injective and surjective. As a consequence we see that free-abelian by free groups are Hopfian and not…
Given a type A in homotopy type theory (HoTT), we can define the free infinity-group on A as the loop space of the suspension of A+1. Equivalently, this free higher group can be defined as a higher inductive type F(A) with constructors unit…
An almost Abelian Lie group is a non-Abelian Lie group with a codimension 1 Abelian subgroup. We show that all discrete subgroups of complex simply connected almost Abelian groups are finitely generated. The topology of connected almost…
We show that in algebraically locally finite countable homogeneous structures with a free stationary independence relation the small index property implies the strong small index property. We use this and the main result of [15] to deduce…
Autostackability for finitely generated groups is defined via a topological property of the associated Cayley graph which can be encoded in a finite state automaton. Autostackable groups have solvable word problem and an effective inductive…
Let G be a complex affine algebraic reductive group, and let K be a maximal compact subgroup of G. Fix elements h_1,...,h_m in K. For n greater than or equal to 0, let X (respectively, Y) be the space of equivalence classes of…
An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those…
We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free…
This is a biased survey for the Johnson homomorphisms of the automorphism groups of free groups. We just exposit some well known facts and recent developments for the Johnson homomorphisms and its related topics.
The Isbell, compact-open and point-open topologies on the set $C(X,\mathbb{R})$ of continuous real-valued maps can be represented as the dual topologies with respect to some collections $\alpha(X)$ of compact families of open subsets of a…
This paper aims to examine the version of the topological group structure in proximity and especially descriptive proximity spaces, that is, the concepts of proximal group and descriptive proximal group are introduced. In addition, the…
A set X of partial words over a finite alphabet A is called unavoidable if every two-sided infinite word over A has a factor compatible with an element of X. Unlike the case of a set of words without holes, the problem of deciding whether…
Factors $\frac{X}{Y}$ in a free group $F$ with $Y$ normal in $X$ are considered. Precise results on the free structure of ${Y}$ relative to the free structure of ${X}$ when $\frac{X}{Y}$ is abelian are obtained. Some extensions and…
We show that any homomorphism from the homeomorphism group of a compact 2-manifold, with the compact-open topology, or equivalently, with the topology of uniform convergence, into a separable topological group is automatically continuous.
An almost-direct product of free groups is an iterated semidirect product of finitely generated free groups in which the action of the constituent free groups on the homology of one another is trivial. We determine the structure of the…
A group, $\fl{H}$, of automorphisms of a totally disconnected locally compact group, $G$, is flat if there is a compact open $U\leq G$ such that the index $[\alpha(U):U\cap \alpha(U)]$ is mininimized for every $\alpha\in\fl{H}$. The…