Given a rough definably amenable rough approximate subgroup A of a group in some first-order structure there is a type-definable subgroup N normalized by A and contained in A4 of bounded index in the subgroup ⟨A⟩ generated by A.
Save Important notes in documents
Highlight text to save as a note, or write notes directly
You can also access these Documents in Paperpal, our AI writing tool