Page 1

Displaying 1 – 7 of 7

Showing per page

Equivalent Expressions of Direct Sum Decomposition of Groups1

Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama (2015)

Formalized Mathematics

In this article, the equivalent expressions of the direct sum decomposition of groups are mainly discussed. In the first section, we formalize the fact that the internal direct sum decomposition can be defined as normal subgroups and some of their properties. In the second section, we formalize an equivalent form of internal direct sum of commutative groups. In the last section, we formalize that the external direct sum leads an internal direct sum. We referred to [19], [18] [8] and [14] in the...

Extension of complexes of groups

André Haefliger (1992)

Annales de l'institut Fourier

Complexes of groups G ( X ) over ordered simplicial complexes X are generalizations to higher dimensions of graphs of groups. We first relate them to complexes of spaces by considering their classifying space B G ( X ) . Then we develop their homological algebra aspects. We define the notions of homology and cohomology of a complex of groups G ( X ) with coefficients in a G ( X ) -module and show the existence of free resolutions. We apply those notions to study extensions of complexes of groups with constant or abelian kernel....

Currently displaying 1 – 7 of 7

Page 1