basic unit subgroup of unit, 4 assertions