素チン、既約チン、単位チン、零チン。king環の理論とか構築しないか?