Seol mar théacs é seo: Ultrafilters and topologies on groups