On the abstract images of profinite groups
Abstract
I will discuss the following
Conjecture B: Finitely generated abstract images of profinite groups are finite.
I will explain how it relates to the width of words and conjugacy classes in finite groups. I will indicate a proof in the special case of 'non-universal' profinite groups and propose several directions for future work.
This conjecture arose in my discussions with various participants of a workshop in Blaubeuren in May 2007 for which I am grateful. (You know who you are!)