Pirmoji izomorfizmo teorema
Grupių homomorfizmo φ:G→H branduolys ker φ yra normalusis pogrupis, o G/ker φ yra izomorfiška im φ pagal atvaizdį g ker φ↦φ(g).
Esminės žinios
Grupių homomorfizmo φ:G→H branduolys ker φ yra normalusis pogrupis, o G/ker φ yra izomorfiška im φ pagal atvaizdį g ker φ↦φ(g).
Sąlygos ir taikymo ribos
- Išvada taikoma homomorfizmo vaizdui, nebūtinai visai tikslinei aibei.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Teorema 4.22 ir nepriklausomumo nuo atstovo pasirinkimo į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-first-isomorphism-theorem
- Versija
- university-core.1
- Struktūruotas žinyno įrašas
- Universitetinių pagrindų plėtra