Dos álgebras formula_12 y formula_19 sobre formula_2 son isomorfas si existe una K "biyección" - función lineal "f": formula_21 tal que "f" (xy) = "f"(x)"f"(y) para todo x, y en formula_12.