Intersections of automorphism fixed subgroups in the free group of rank three.
We consider the following notion of largeness for subgroups of . A group G is large if it contains a free subgroup on generators. We give a necessary condition for a countable structure A to have a large group Aut(A) of automorphisms. It turns out that any countable free subgroup of can be extended to a large free subgroup of , and, under Martin’s Axiom, any free subgroup of of cardinality less than can also be extended to a large free subgroup of . Finally, if Gₙ are countable groups, then...
The question of whether two parabolic elements A, B of SL2(C) are a free basis for the group they generate is considered. Some known results are generalized, using the parameter τ = tr(AB) - 2. If τ = a/b ∈ Q, |τ| < 4, and |a| ≤ 16, then the group is not free. If the subgroup generated by b in Z / aZ has a set of representatives, each of which divides one of b ± 1, then the subgroup of SL2(C) will not be free.
We revisit the problem of deciding whether a finitely generated subgroup is a free factor of a given free group . Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of and exponential in the rank of . We show that the latter dependency can be made exponential in the rank difference rank - rank, which often makes a significant change.
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of H and exponential in the rank of F. We show that the latter dependency can be made exponential in the rank difference rank(F) - rank(H), which often makes a significant change.