block nucleus lies in preimage of group nucleus