A Structure result for bricks in Heisenberg groups

Abstract

We show that for a sufficiently big \textit{brick} $B$ of the $(2n+1)$-dimensional Heisenberg group $H_n$ over the finite field $\mathbb{F}_p$, the product set $B\cdot B$ contains at least $|B|/p$ many cosets of some non trivial subgroup of $H_n$