Given a group and a -module , we denote by the corresponding cochain complex obtained from the standard resolution. An element of the cohomology will be written as the class of some cocycle . The first result involves the triviality of the action of on , i.e. , . Adapted to cochains, we prove that , for some explicit map . The second result regards the commutativity of the cup product, i.e. , . (Here is the natural bijection.) Adapted to cochains, we prove that , , for some explicit map .

生成讲解博客的中文版本

生成AI智能校验的中文版本