Pogrupiai ir pogrupio kriterijus
Pogrupis H⊆G yra grupė su G operacijos apribojimu aibei H.
Esminės žinios
Pogrupis H⊆G yra grupė su G operacijos apribojimu aibei H. Lygiavertiškai, H yra netuščia ir gh⁻¹∈H visiems g,h∈H.
Sąlygos ir taikymo ribos
- Operacija paveldima iš G.
- Nepakanka būti poaibiu ir grupe su kokia nors kita operacija.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Skyrius 2.4, apibrėžimas ir teiginys 2.31.
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-subgroups
- Versija
- university-core.1
- Struktūruotas žinyno įrašas
- Universitetinių pagrindų plėtra