Complemented normal subloop