分類:子群性質

子群性質是指一個群的子群所會有的性質。這個性質被假定成要滿足唯一一個條件：它們必須在交換同構下是不變的。亦即，設${\displaystyle G}$和${\displaystyle G'}$是兩個相互同構的群，且${\displaystyle H}$為${\displaystyle G}$的子群及其在此一同構下的值域為${\displaystyle H'}$，則${\displaystyle H}$在會有一個在${\displaystyle G}$內的性質若且唯若${\displaystyle H'}$也會有一個在${\displaystyle G'}$內的相同性質。