Let K* be an associative algebra over a field F with identity u, and let u, e1, e2, … , be a basis for K*. Denote by K the linear space, over F, spanned by the ei,i = 1, 2, … . Then for x, y in K, xy = αu + a, where a ∈ K. Define h(x, y) = α and x.y = a. With respect to the operation thus defined, K becomes an algebra over F satisfying
1![](//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0008414X00002972/resource/name/S0008414X00002972_eqn01.gif?pub-status=live)
Further, the bilinear form h(x, y) is associative on K. Any algebra, over a field F, which possesses an associative bilinear form h(x, y) and satisfies (1) will be called a
algebra. It is not difficult to show that any
algebra K can be obtained from a unique associative algebra K* with identity by the process described above. The algebra K* will be called the associated associative algebra of K.