Grupė (algebra): Skirtumas tarp puslapio versijų
{{inuse}}; remtasi VU MAF Algebros paskaitų konspektais bei angliškuoju straipsniu |
užbaigimas |
||
Eilutė 1: | Eilutė 1: | ||
'''Grupės''' - paprasčiausia algebrinė struktūra, aibė apibrėžiama vienintele binarine [[operacija]] (vidinės [[kompozicijos dėsnis|kompozicijos dėsniu]]), tenkinančia tam tikras aksiomas. Grupes ir jų savybes nagrinėja [[algebros]] mokslo šaka [[grupių teorija]]. |
'''Grupės''' - paprasčiausia algebrinė struktūra, aibė apibrėžiama vienintele binarine [[operacija]] (vidinės [[kompozicijos dėsnis|kompozicijos dėsniu]]), tenkinančia tam tikras aksiomas. Grupes ir jų savybes nagrinėja [[algebra|algebros]] mokslo šaka [[grupių teorija]]. |
||
Grupės apibrėžimą tenkina dauguma nagrinėtų matematinių struktūrų. Pavyzdžiui, grupės sudėties atžvilgiu yra sveikųjų, racionaliųjų, realiųjų ir kompleksinių skaičių aibės, grupės daugybos atžvilgiu yra racionalieji skaičiai (be 0), ralieji ir kompleksiniai skaičiai. |
|||
Grupės plačiai naudojamos matematikoje, kituose tiksliuosiuose moksluose, inžinerijoje. Pavyzdžiui, grupės naudojamos tiriant reliatyvumą, kvantinę mechaniką, dalelių fiziką, taip pat grupėmis išreikštos geometrinės transformacijos naudojamos chemijoje, kompiuterinėje grafikoje. |
|||
==Savybės== |
==Savybės== |
||
Eilutė 7: | Eilutė 11: | ||
*Kiekvienam elementui egzistuoja simetrinis elementas kompozicijos dėsnio atžvilgiu, t.y. <math>g * g^{-1} = g^{-1} * g = 1</math> (''g'' - bet kuris grupės elementas, <math>g^{-1}</math> - simetrinis elementas iš tos pačios grupės. |
*Kiekvienam elementui egzistuoja simetrinis elementas kompozicijos dėsnio atžvilgiu, t.y. <math>g * g^{-1} = g^{-1} * g = 1</math> (''g'' - bet kuris grupės elementas, <math>g^{-1}</math> - simetrinis elementas iš tos pačios grupės. |
||
==Pogrupiai== |
|||
{{inuse}} |
|||
Grupės pogrupiu vadinami tokie grupės ''G'' poaibiai ''H'', kurie tenkina savybes: |
|||
*bet kurių dviejų poaibio H elementų sandauga priklauso H |
|||
*kiekvienam poaibio H elementui atvirkštinis elementas priklauso H |
|||
Kiekvienas šias savybes tenkinantis pogrupis taip pat yra grupė. |
|||
Pavyzdžiui, racionalių skaičių aibė yra grupė sudėties atžvilgiu, o sveikųjų skaičių aibė yra šios grupės pogrupis. |
|||
[[category:Algebra]] |
[[category:Algebra]] |
||
[[en:Group (mathematics)]] |
[[en:Group (mathematics)]] |
14:14, 28 rugsėjo 2006 versija
Grupės - paprasčiausia algebrinė struktūra, aibė apibrėžiama vienintele binarine operacija (vidinės kompozicijos dėsniu), tenkinančia tam tikras aksiomas. Grupes ir jų savybes nagrinėja algebros mokslo šaka grupių teorija.
Grupės apibrėžimą tenkina dauguma nagrinėtų matematinių struktūrų. Pavyzdžiui, grupės sudėties atžvilgiu yra sveikųjų, racionaliųjų, realiųjų ir kompleksinių skaičių aibės, grupės daugybos atžvilgiu yra racionalieji skaičiai (be 0), ralieji ir kompleksiniai skaičiai.
Grupės plačiai naudojamos matematikoje, kituose tiksliuosiuose moksluose, inžinerijoje. Pavyzdžiui, grupės naudojamos tiriant reliatyvumą, kvantinę mechaniką, dalelių fiziką, taip pat grupėmis išreikštos geometrinės transformacijos naudojamos chemijoje, kompiuterinėje grafikoje.
Savybės
Elementų aibė vadinama grupe jai apibrėžto aibės elementų kompozicijos dėsnio atžvilgiu, jei tenkina šias savybes:
- Dėsnis yra asociatyvus, t.y. , bet kokiems grupės elementams
- Egzistuoja neutralus elementas (vadinamas grupės vienetu), su kuriuo teisinga lygybė
- Kiekvienam elementui egzistuoja simetrinis elementas kompozicijos dėsnio atžvilgiu, t.y. (g - bet kuris grupės elementas, - simetrinis elementas iš tos pačios grupės.
Pogrupiai
Grupės pogrupiu vadinami tokie grupės G poaibiai H, kurie tenkina savybes:
- bet kurių dviejų poaibio H elementų sandauga priklauso H
- kiekvienam poaibio H elementui atvirkštinis elementas priklauso H
Kiekvienas šias savybes tenkinantis pogrupis taip pat yra grupė.
Pavyzdžiui, racionalių skaičių aibė yra grupė sudėties atžvilgiu, o sveikųjų skaičių aibė yra šios grupės pogrupis.