Un álgebra asociativa sobre un cuerpo "K", entonces, puede definirse de manera equivalente como un espacio vectorial sobre "K" junto con una multiplicación "K"-bilineal "A" x "A" -> "A" (donde la imagen de ("x", "y") se escribe como "xy") tal que la ley asociativa valga: