Normalieji pogrupiai ir faktorgrupės
Pogrupis N yra normalusis, kai gNg⁻¹=N kiekvienam g∈G.
Esminės žinios
Pogrupis N yra normalusis, kai gNg⁻¹=N kiekvienam g∈G. Jo gretutinės klasės sudaro grupę G/N, kurioje (aN)(bN)=abN.
Sąlygos ir taikymo ribos
- Normalumas užtikrina, kad sandauga nepriklauso nuo atstovų pasirinkimo.
- Savavališko pogrupio gretutinėms klasėms ši grupės operacija savaime nėra apibrėžta.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Teoremos 3.11–3.12 ir daugybos faktorgrupėje įrodymas.
2026-10-10 · Nepriklausoma DI redakcinė peržiūra: perskaitytas visas 241 glaustai suformuluotų teiginių rinkinys, įskaitant prielaidas, pateiktas lygtis ir susitarimus, taip pat visos 596 semantinės kilmės sąsajos. Peržiūrėta visa autoriaus tikslių šaltinių patikros matrica, apimanti 241 įrašą, ir deklaruoti apribojimai. Kad būtų aprėptas visas įrašų rinkinys, perskaitytas ir ankstesnių 105 faktiškai perimtų matematikos ir informacijos įrašų rinkinys. Toliau išvardyti tikslingai parinkti pirminių šaltinių skyriai, tikrinti nepriklausomai; tuo NETEIGIAMA, kad visas kiekvieno cituojamo šaltinio tekstas ar kiekvienas įrodymas buvo nepriklausomai perskaitytas iš naujo. Tai DI atlikta informacinio turinio peržiūra, o ne žmogaus atliekamas dalykinis sertifikavimas, išsamus vadovėlio atkūrimas ar eksperimentinis atkartojimas. Patvirtinimo įrašas: mathematics-information-independent-content-review.1.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- math-normal-quotient-groups
- Versija
- university-core.1
- Struktūruotas žinyno įrašas
- Universitetinių pagrindų plėtra