K か体てあるとき, K-右加群 M の算法は加法と减法およひ K の元と
の乗法てあるから, K-右加群 M'か M に准同型てあるというのは, M の元に対応する M'の元か一意的に定まり,対応する元の和かまた対応すること一―これは単なる加群としての准同型なることを意味する一ーおよひKの元との积かまた対応することを意味している.すなわち M の元 a,bとM'の元 a',b'か対応するとき, a+bとa'+b',およひKの元 Kに対して
akとa'kか対応することを意味しているのてある.M'の0に対応する M
の元は部分加群 M.をなし,その中て1次独立な元 a1,.,arをとり,それをM の适当な 1次独立な元