The Relative Trace-Zero Subgroup of the Barreto-Naehrig Curves (opens in new tab)

We prove a folklore characterization of the BN pairing subgroup as the kernel of a relative trace map on the $n$-torsion points.