# 有限正規子群

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [有限正規子群](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-finite-normal-subgroup/)

有限群G的子群H若對每個g皆滿足gHg^{-1}=H，則H為正規子群；等價地每個左陪集等於相應右陪集。

atlas-finite-normal-subgroup · canonical_mko

[有限正規子群](https://ocme.evemisslab.com/zh-Hant/mko/mko-finite-normal-subgroup/)

## 前置節點


- [有限群](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-finite-group/)
- [子群與群同態](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-subgroup-homomorphism/)
- [量詞與明示論域](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-quantifier/)