Computing Resolutions Over Finite p-Groups
نویسندگان
چکیده
A uniform and constructive approach for the computation of resolutions and for (co)homology computations for any finite p-group is detailed. The resolutions we construct ([32]) are, as vector spaces, as small as the minimal resolution of IFp over the elementary abelian p-group of the same order as the group under study. Our implementations are based on the development of sophisticated algebraic data structures. Applications to calculating functional cocycles are given and the possibility of constructing interesting codes using such methods is presented.
منابع مشابه
COMPUTING THE PRODUCTS OF CONJUGACY CLASSES FOR SPECIFIC FINITE GROUPS
Suppose $G$ is a finite group, $A$ and $B$ are conjugacy classes of $G$ and $eta(AB)$ denotes the number of conjugacy classes contained in $AB$. The set of all $eta(AB)$ such that $A, B$ run over conjugacy classes of $G$ is denoted by $eta(G)$.The aim of this paper is to compute $eta(G)$, $G in { D_{2n}, T_{4n}, U_{6n}, V_{8n}, SD_{8n}}$ or $G$ is a decomposable group of order $2pq$, a group of...
متن کاملGeneralized Local Homology Modules of Complexes
The theory of local homology modules was initiated by Matlis in 1974. It is a dual version of the theory of local cohomology modules. Mohammadi and Divaani-Aazar (2012) studied the connection between local homology and Gorenstein flat modules by using Gorenstein flat resolutions. In this paper, we introduce generalized local homology modules for complexes and we give several ways for computing ...
متن کاملComputing group cohomology rings from the Lyndon-Hochschild-Serre spectral sequence
We describe a method for computing presentations of cohomology rings of small finite p-groups. The description differs from other accounts in the literature in two main respects. First, we suggest some techniques for improving the efficiency of the obvious linear algebra approach to computing projective resolutions over a group algebra. Second, we use an implementation of the multiplicative str...
متن کاملResolutions Which Split Off of the Bar Construction
Certain formal complexes were associated to groups and formal groups over the ring ZZ/pZZ (including the case p = 0, i.e., the integers) in [LL2]. These complexes are obtained by homological perturbation theory (see [LL2] and the references cited there) and can be thought of roughly in the following way. If ρ is a formal group law, then ρ(x, y) = x+y+O(≥ 2). One can think of ρ as a “perturbatio...
متن کاملSyzygies and diagonal resolutions for dihedral groups
Let G be a finite group with integral group ring Λ = Z[G]. The syzygies Ωr(Z) are the stable classes of the intermediate modules in a free Λ-resolution of the trivial module. They are of significance in the cohomology theory of G via the ‘co-represention theorem’ Hr(G,N) = HomDer(Ωr(Z), N). We describe the Ωr(Z) explicitly for the dihedral groups D4n+2, so allowing the construction of free reso...
متن کامل