単数群、零因子の定義は?