多元環が(多元環が係数をとる(可換)環が持つ二種類の内部演算は数えないとすれば)三つの演算を持つことを思い出そう: