可換環論への招待 - 数値半群を通じた環構造探求