可換モノイドのグロタンディーク群.