Modül (matematik)

Soyut cebirde, bir halka üzerindeki modül kavramı, alandaki vektör uzayının genelleştirilmiş gösterimidir. Buradaki ilgili skalerler, bir keyfi halkanın ögeleridir (elemanlarıdır). Tamsayılar halkasındaki modüller de Abelian gruplarının genel gösterimidir.

Vektör uzayına benzer bir modül, toplam abelian grubudur. Halkanın ögeleri ile modülün ögeleri arasında tanımlanan çarpım, hem parametreler hem de uygun halka çarpımında dağılımsaldır.

Tanım

Biçimsel tanım  
R, bir halka ve 1R, çarpım birimi olsun.
Bir M sol R-modülü,  abelian grubundan oluşur ve  işlemi, R deki tüm r, s ve M deki tüm x, y için, aşağıdaki eşitlikler sağlanır:

.

Mdeki halkanın işlemine skaler çarpma denir ve çoğunlukla yan yana yazılır. Örneğin Rdeki r ile Mdeki x için rx biçiminde. RM notasyonu (gösterimi), bir sol R-modül Myi ifade eder. Bir sağ R-modül M veya MR de benzer ifade edilir. Yalnızca burada  halka sağa doğrudur. Örneğin, skaler çarpma,  formunu alır ve yukarıdaki aksiyomlar x ve ynin sağındaki r ve s skalerleri ile yazılır.

Cebirsel yapılar
Modül teorisi