メインメニューを開く

数学における岩澤群: Iwasawa group岩澤健吉に由来)、M群 (英: M-group)、モジュラー群 (英: modular group) とは、その部分群の束モジュラーであるような群のことである。

また、ある群 G が岩澤群であるとは、G の各部分群が G準正規ということであるとも言える(Ballester-Bolinches et al. 2010, pp. 24–25)。

Iwasawa (1941) は、p-群 G が岩澤群であることは、以下のどちらかが起こることと同値であることを示した。

Berkovich & Janko (2008, p. 257)によると、岩澤の証明には重要な欠陥があると思われ、これはフランコ・ナポリターニズヴォニミル・ヤンコによって修正された。 Roland Schmidt (1994) は彼の教科書で、異なる方針による別証明を与えている。 その証明の中で、有限 p-群が岩澤群であることと、そのすべての部分群が準正規であることが同値だと示されている (Schmidt 1994, p. 55, Lemma 2.3.2)。

有限 p-群の各部分群は亜正規で、亜正規性と準正規性が一致している有限群のことをPT-群英語版という。 したがって、有限 p-群が岩澤群であることとPT-群であることは同値である[要出典]

参考文献編集

  • Iwasawa, Kenkichi (1941), “Über die endlichen Gruppen und die Verbände ihrer Untergruppen”, J. Fac. Sci. Imp. Univ. Tokyo. Sect. I. 4: 171–199, MR0005721 
  • Iwasawa, Kenkichi (1943), “On the structure of infinite M-groups”, Japanese Journal of Mathematics 18: 709–728, MR0015118 
  • Schmidt, Roland (1994), Subgroup Lattices of Groups, Expositions in Math, 14, Walter de Gruyter, doi:10.1515/9783110868647, ISBN 978-3-11-011213-9, MR1292462 
  • Zimmermann, Irene (1989), “Submodular subgroups in finite groups”, Mathematische Zeitschrift 202 (4): 545–557, doi:10.1007/BF01221589, MR1022820 
  • Ballester-Bolinches, Adolfo; Esteban-Romero, Ramon; Asaad, Mohamed (2010), Products of Finite Groups, Walter de Gruyter, pp. 24–25, ISBN 978-3-11-022061-2 
  • Berkovich, Yakov; Janko, Zvonimir (2008), Groups of Prime Power Order, 2, Walter de Gruyter, ISBN 978-3-11-020823-8