Freiman's theorem in an arbitrary nilpotent group
Freiman's theorem in an arbitrary nilpotent group
We prove a FreimanāRuzsa-type theorem valid in an arbitrary nilpotent group. Specifically, we show that a K-approximate group A in an s-step nilpotent group G is contained in a coset nilprogression of rank at most K O s ( 1 ) and cardinality at most exp ( K O s ā¦