跳至內容

可除群

維基百科,自由的百科全書

群論中,一個可除群是一個滿足以下條件的阿貝爾群 :對每個正整數 及元素 ,存在 使得 。等價的表法是:。事實上,可除群恰好是 上的內射模,所以有時也稱之為內射群

例子

[編輯]
  • 有理數 對加法構成可除群。
  • 一般而言,任何 -向量空間對加法都構成可除群。
  • 可除群的商群仍可除,如
  • p-Prüfer 群 是可除群
  • 模型論中,任何存在性封閉的群皆可解。

可除群結構定理

[編輯]

為可解群,則其撓子群 亦可除。由於可解群是 -內射模 是直和項,即:

商群 亦可解,而且其中沒有撓元,所以它是 -上的向量空間:存在集合 使得

撓子群的結構稍複雜,然而可以證明對所有素數 ,存在 使得

其中 是的 -準素部分。於是:

推廣

[編輯]

一個 上的左可除模是滿足 的模 。可除群不外是可除 -模。主理想域上的可除模恰好是內射模