_63）。formula_6 上环的结构与此外部运算结构使其成为一个 formula_1-模并且成为一个结合且有单位的 formula_1-代数。将上述性质套用在交换环上，我们便可得到结合、有单位且交换的代数的另一种看法：
代数同态.设 formula_72 是 formula_1-代数，formula_1-模间的同态 formula_75 被称作 formula_1-代数间的同态，若且唯若它满足 formula_77。因此所有 formula_1-代数构成一个范畴，也可以探讨