Jabarkan Aljabar seperabel dari Aljabar asosiatif

Misalkan A menjadi aljabar di atas gelanggang komutatif R. Maka aljabar A adalah modul di atas  dengan tindakan . Kemudian, menurut definisi,  A  dikatakan seperabel jika peta perkalian  sebagai peta linear-, dimana  adalah modul- oleh . Ekuivalen,

seperabel jika itu adalah modul proyektif di atas ; jadi, dimensi proyek  dari A, terkadang disebut bidimensi dari  A , mengukur keterpisahan.