Algebrinė struktūra

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Peršokti į: navigacija, paiešką

Algebrinė struktūra matematikoje yra aibė su joje apibrėžta viena arba keliomis operacijomis – kompozicijos dėsniais (operacijomis), tenkinančiais tam tikras savybes.

Pagrindinės algebrinės struktūros[redaguoti | redaguoti vikitekstą]

Grupoidas[redaguoti | redaguoti vikitekstą]

Grupoidas tai yra aibė, kurioje apibrėžtas uždaras kompozicijos dėsnis:

Čia  – aibės elementai,  – kompozicijos dėsnis (bendrąja prasme, nebūtinai sudėtis)

Pusgrupė[redaguoti | redaguoti vikitekstą]

Pusgrupė tai yra aibė, kurioje apibrėžtas asociatyvus kompozicijos dėsnis:

Čia  – aibės elementai,  – kompozicijos dėsnis (bendrąja prasme, nebūtinai sudėtis)

Monoidas[redaguoti | redaguoti vikitekstą]

Monoidas – pusgrupė, kurioje yra neutralusis elementas (vienetas) toks, kad:

Čia yra neutralus elementas.

Grupė[redaguoti | redaguoti vikitekstą]

Grupė tai yra monoidas, kuriame kiekvienas elementas turi sau simetrinį elementą (atvirkštinį):

Čia elementas atvirkštinis .

Abelio grupė[redaguoti | redaguoti vikitekstą]

Abelio grupė tai yra grupė, kurioje esantis kompozicijos dėsnis yra komutatyvus:

Čia  – aibės elementai.

Žiedas[redaguoti | redaguoti vikitekstą]

Žiedas tai yra aibė su joje įvestais dviem kompozicijos dėsniais (). Pirmojo kompozicijos dėsnio () atžvilgiu žiedas yra Abelio grupė. Antrojo kompozicijos dėsnio () atžvilgiu žiedas yra pusgrupė. Ir taip pat abiem kompozicijos dėsniams galioja distributyvumo taisyklė:

Čia aibės elementai.

Kūnas[redaguoti | redaguoti vikitekstą]

Kūnas (angl. division ring) tai yra žiedas, kuris pirmojo kompozicijos dėsnio () atžvilgiu yra Abelio grupė. Antrojo kompozicijos dėsnio () atžvilgiu yra tiesiog grupė (nebūtina komutatyvumo sąlyga), kurioje atvirkštinis elementas apibrėžtas visiems aibės elementams, išskyrus „0 “– pirmojo kompozicijos dėsnio () neutralųjį (vienetinį) elementą.

Laukas[redaguoti | redaguoti vikitekstą]

Laukas tai yra kūnas, kuriame antrasis kompozicijos dėsnis () yra komutatyvus. Arba kitas apibrėžimas, kad tai yra žiedas, kuriame abu kompozicijos dėsniai yra Abelio grupės.