|Budget Amount *help
¥1,600,000 (Direct Cost : ¥1,600,000)
Fiscal Year 1999 : ¥500,000 (Direct Cost : ¥500,000)
Fiscal Year 1998 : ¥1,100,000 (Direct Cost : ¥1,100,000)
My research objectives were the completion of the theory of relative complete cohomology of finite groups, that is, "the theorem about periodicity" and "the theory of spectral sequences", and I have continued the research.
First, I tried to extend the methods of absolute theory of periodic cohomology (Artin-Tate Theorem) to relative case and I introduced the cup product ∪ : HィイD4^ィエD4ィイD1mィエD1 (G, H, A)【cross product】 HィイD4^ィエD4ィイD1nィエD1 (G, H, B) → HィイD4^ィエD4ィイD1m+nィエD1 (G, H, A【cross product】 B).
"The theorem about periodicity" is essentially equivalent to "the duality theorem". For the solution of this theorem, HィイD4^ィエD4ィイD1-1ィエD1 (G, H, A) is needed to be determined and I found out that it is described using the two-sisded residue class decomposition of the finite group G by the subgroup H (there is a related results by Adamson). By using this result, I have been studying "the duality theorem". To investigate the possibility of the proof of the theorem, I have been studying the programming of GAP, Maple and Mathematica etc.
On the other hand, another objective of my research was to extend the spectral sequence HィイD1pィエD1 (G/N, HィイD1qィエD1(N, A)) ⇒ィイD2pィエD2 HィイD1p+qィエD1 (G, A) to the case N was not necessarily normal in G, but I have not been able to solve the problem how I should regard HィイD1qィエD1 (N, A) as a G-module and I have been studying this.
For the generalized quaternion group of order of an exponent of 2, I determined the ring structure of the cohomology ring of the group with an order ring of a simple component of the group ring as the coefficient module.
I have plans that in general I will determine the ring structure of the cohomology ring of a finite group with an order ring of a simple component of the group ring as the coefficient module, and I will investigate the existence of a ring isomorphism between the cohomology rings with Morita equivalent orders as coefficient modules.