分类:子群性质

子群性质是指一个群的子群所会有的性质。这个性质被假定成要满足唯一一个条件：它们必须在交换同构下是不变的。亦即，设${\displaystyle G}$和${\displaystyle G'}$是两个相互同构的群，且${\displaystyle H}$为${\displaystyle G}$的子群及其在此一同构下的值域为${\displaystyle H'}$，则${\displaystyle H}$在会有一个在${\displaystyle G}$内的性质当且仅当${\displaystyle H'}$也会有一个在${\displaystyle G'}$内的相同性质。