有限群のコホモロジー論の研究

有限群上同调理论研究

• 批准号: 04804002
• 负责人: 佐々木 洋城
• 金额: $ 0.45万
• 依托单位: Yamaguchi University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1992
• 资助国家: 日本
• 起止时间: 1992 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04804002/
• 关键词: 有限群; コホモロジー群; 相対射影加群; モデュラー表現

奥山によって導入された加群に関する相対射影加群の理論を用いて準2面体群を2シロー群にもつ有限群のmod2コホモロジー環を決定した.この環の構造はすでに,考えている有限群の分類空間の安定ホモトピー類の決定というMartinoの仕事によって知られていたが,本研究によって簡明かつ代数的に証明することができたものである.加群に関する相対射影加群の理論は従来の部分群に関する相対射影加群の理論を一般化したものであり,その初めての応用例としてこの理論の有効性を示した.kを標数2の体とし,Gを考える有限群とする.まずkG‐加群Vで拡大0→k→V→Ω^3(kG)→0がΩ^3(kG)のP(V)‐射影被覆であるものを構成する.この拡大を用いて,コホモロジー群の次元公式,コホモロジー環のパラメーター系を得,さらにコホモロジー環の生成元と生成関係式を決定した.また,拡大0→k→V→Ω^3(kG)→0を用いて,主ブロックに属する単純kG‐加群MがΩ^4(M)=Mを満たさなければコホモロジー群H^*(G,M)は自明でないこともわかった.加群に関する相対射影加群の理論について次のことも示した.kを標数pの体とし,Gを有限群とする.コホモロジー類ρ∈H^n(G,k)に対して拡大O→k→Ω^<n-1>(L_ρ)→Ω^<n-1>(kG)→0がΩ^<n-1>(kG)のΡ(L_ρ)‐射影被覆であるためにはkG‐準同型pho^^<^>(] SY.crosprd. [)1_<Lρ>が射影的であることが必要十分である.Bensonによって標数pが奇素数ならばコホモロジー類ρの斉次数nが偶数のとき,この条件が成り立つことが知られている.標数pが2のときは成立しない.そこでp=2のとき,どのようなρに対して条件が成り立つかを調べる必要がある.これに関して,コホモロジー類τ,ρがともに条件をみたせば積τρhも条件を満たすことがわかった.

In the theory of group theory, we use the standard dihedral group, the mod2 group, the finite group, and the environmental decision. The purpose of this study is to establish a computer system, and to determine the classification of space stability and stability in a finite group. The purpose of this study is to demonstrate the performance of Martino algebra in this study. Add the group theory to the projection of the group theory, the projection of the group theory, the general theory, the use case theory, the theory theory, the theory. The kG- plus group V is larger than 0 k V Ω ^ 3 (kG) 0 Ω ^ 3 (kG) P (V)-the projective cover becomes a projective cover. In this paper, the general information is used, the group dimensional formula is used, the environmental protection system is obtained, and the generation of the environmental generator is determined. (kG) 0. The main engine belongs to the kG- plus group M (M). The group H ^ * (GMagneM) is self-evident. The number of k tags, the number of tags, and the number of finite groups, G, G, The kG- of the projective cover is the same as that of the kG- ^ & lt; ^ & gt; (] SY.crosprd. [) 1. It is necessary for the projection of LTX L ρ & gt; to be very complex. Benson LTX L ρ & LTX L ρ & Benson LTX L ρ & LTX is projective. The number of headers