De�nição B.92 (Isomor�smo em estruturas algébricas). Sejam A e B duas instâncias de grupo, anel ou corpo. Uma bijeção f entre os elementos de A e B é um isomor�smo entre A e B se e somente se, para cada operação ⊗ de�nida na estrutura A e sua operação correspondente � de�nida na estrutura B, ∀x, y ∈ A, f(x⊗ y) = f(x)� f(y). Quando tal isomor�smo existe, dizemos que A e B são isomorfos.