Generic properties of countably infinite groups

Group operations on a fixed countably infinite universe form a Polish space G. Thus we can view group properties as isomorphism-invariant subsets of G, and it makes sense to ask: what properties are generic (in the sense of Baire category)? In my talk, I will address this question and if time permits, I may also say a few words about generic properties of compact groups.