From Wikipedia, the free encyclopedia
Algebrinė struktūra - aibė, kurioje yra apibrėžta viena arba kelios algebrinės operacijos[1]. Algebrinės struktūros yra žymimos kortežais:
Šiam straipsniui ar jo daliai reikia daugiau nuorodų į patikimus šaltinius. Jūs galite padėti Vikipedijai įrašydami tinkamas išnašas ar nuorodas į patikimus šaltinius. |
kur yra aibė, yra kompozicijos dėsnis, kurio tiksli išraiška yra apibrėžiama kiekvienu konkrečiu atveju.
Grupoidas - tai aibė, kurioje yra apibrėžtas vienas uždaras kompozicijos dėsnis[2]. Daugiau jokių sąlygų grupoidui nėra - net asociatyvumo sąlygos.
Pavyzdžiui, realiųjų skaičių aibė su atimties kompozicija
yra grupoidas, nes atimties operacija nėra asociatyvi:
, .
Pusgrupė - tai aibė, kurioje yra apibrėžtas uždaras asociatyvus kompozicijos dėsnis[3].
Pavyzdžiui, natūraliųjų skaičių aibė be nulio sudėties atžvilgiu
yra pusgrupė, nes sudėties operacija yra asociatyvi:
, ,
ir ši struktūra neturi neutralaus elemento.
Monoidas – pusgrupė, kurioje yra neutralusis elementas (vienetas) toks, kad:
Čia yra neutralus elementas.
Grupė tai yra monoidas, kuriame kiekvienas elementas turi sau simetrinį elementą (atvirkštinį):
Čia elementas atvirkštinis .
Abelio grupė tai yra grupė, kurioje esantis kompozicijos dėsnis yra komutatyvus:
Čia – aibės elementai.
Ž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 (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 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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.