Modulu (matematika)

Modulu bat bektore-espazioen kontzeptua orokortzen duen egitura aljebraikoa da. Bektore-espazioen orokorpena da, eskalarren multzoa gorputza izan beharrean eraztuna izatea nahikoa delako modulu batean. Era berean, moduluak talde abeldarren orokorpena ere badira; talde abeldar batek eskalartzat zenbaki osoen eraztuna duenean eratzen duen modulua talde abeldar bera baita.

Modulu bat, talde abeldar batukor batez, eraztun batez eta bien arteko lotura linealki zehazten duen biderkadura eskalar batez osaturik dago. Hots, biderkadura eskalarra banakorra da talde abeldarraren batuketarekiko zein eraztunaren batuketarekiko; eta gainera, biderkadura eskalarra eraztunaren biderketarekin bateragarria izan behar da.

Moduluek harreman estua dute taldeen errepresentazio teoriarekin. Aljebra trukakorraren eta aljebra homologikoaren oinarrietako bat dira. Eta oso erabiliak dira geometria aljebraikoan zein topologia aljebraikoan.

Sarrera eta definizioa

Motibazioa 
Bektore espazio batean, eskalarren multzoa gorputza izan behar da. Modulu baten kasuan aldiz, nahikoa da eskalarren multzoa eraztuna izatearekin. Horregatik, modulua bektore espazioaren orokorpen esanguratsua da. Gainera, aljebra trukakorrean, eraztun baten idealak zein zatidura eraztunak moduluak dira. Ondorioz, idealei eta zatidura eraztunei buruzko emaitza asko moduluen emaitza bakar baten bitartez labur daitezke.

Moduluen teoriak bektore-espazioen propietaterik onenak hedatzea du helburu. Horregatik garatzen da moduluen teoria, "portaera-ona" duten eraztunekin eta gutxienez eraztun trukakorrak eta identitatedunak izaten dira normalean. Zentzu horretan, oso eraztun “onak” dira ideal nagusietako domeinuak, besteak beste finituki sortuak direlako.

Izan ere, moduluak bektore-espazioak baino apur bat zailagoak izan daitezke. Esaterako, modulu guztiek ez dute oinarririk. Bektore-espazioek ordea beti dute oinarri bat, batzuetan oinarria infinitua den arren.

Definizio formala 
Izan bitez  talde abeldarra eta  eraztun identitateduna. Gainera,   biderketa definiturik izango dugu, zeinak  eta  bakoitzari   elementu bat esleitzen dion. Orduan,  -ren gainean ezker modulua dela esango dugu (edo, laburkiago, ezker -modulua dela) baldintza hauek betetzen badira:

Orduan, -ko elementuei eskalar deitzen diegu eta    biderketari biderkadura eskalar deritzogu. Era berean definitzen dira eskuin -moduluak, baina biderketa eskalarrak eskuinetik eginez   eragiketa batekin. Eraztun trukakorren kasuan, ezker -modulu bat badugu, berehalakoa da eskuin -modulua definitzea biak bat etortzeko moduan. Ondorioz, eraztun trukakorren kasuan zuzenean -moduluak defini ditzakegu ezker eta eskuin moduluen beharrik gabe aurretik zehaztu ditugun lau baldintzak betetzen direnean. 

Zenbait autorek, identitatedunak ez diren eraztunetarako ere definitzen dituzte moduluak. Kasu horretan, ez dute laugarren baldintza ezartzen ezker -modulua definitzeko. Artikulu honetan bezala lau baldintzak ezartzen diren kasuari aldiz unitatedun ezker -modulua deritze.

Adibideak 

 Izan bedi  gorputza, orduan -bektore-espazioa (-ren gaineko bektore-espazioa) eta -modulua gauza bera dira.
 Izan bedi  talde abeldar batukorra, orduan   zenbaki osoen eraztuna izanik (trukakorra da)   -modulua defini dezakegu honela:edozein  izanik.
 Izan bedi  edozein eraztun. Orduan,  zenbaki arrunta izanik,  biderketa kartesiarra ezker zein eskuin -modulua da eragiketak osagaiz osagai definituz gero.

Apunteak 
 Moduluak: https://ocw.ehu.eus/pluginfile.php/42405/mod_resource/content/1/06_teoria_at.pdf
 Moduluak ideal nagusietako domeinuen gainean: https://ocw.ehu.eus/pluginfile.php/42406/mod_resource/content/1/07_teoria_at.pdf

Erreferentziak

Ikus, gainera 

 Aljebra trukakor
 Eraztunen teoria
 Homologia (matematika)
 Aljebra homologiko
 Errepresentazioaren teoria

Kanpo estekak 
 https://ocw.ehu.eus/course/view.php?id=205 Aljebra trukakorra [2013/12] [eus]

Egitura aljebraikoak
Moduluen teoria