Jabarkan diberikan oleh dari Aljabar atas medan

Diberikan dua unital asosiatif seperti aljabar- pada  dan , sebuah homomorfisme aljabar- dari  adalah homomorfisme gelanggang dengan perkalian skalar yang didefinisikan oleh , apabila ditulis sebagai

untuk  dan . Dengan kata lain, diagram berikut ini adalah: