If we have a collection of translation invariant sets (i.e. if $A$ is in the collection, then $A+x$ is in it too) - assume we have some notion of addition (e.g in a vector space).
Is the generated sigma algebra also translation invariant?
I think it may be useful to use some kind of transfinite induction on the steps of "generating" each set in the sigma algebra...