En grupos abelianos al verificarse la bilateralidad de este teorema: