The mechanical computation of first and second cohomology groups (Q1072655): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Derek F. Holt / rank
Normal rank
 
Property / author
 
Property / author: Derek F. Holt / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Cayley / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3333220 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3240881 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über modulare Darstellungen endlicher Gruppen, die von freien Gruppen induziert werden / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3331418 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3869534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An interpretation of the cohomology groups \(H^ n(G,M)\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A computer program for the calculation of a covering group of a finite group / rank
 
Normal rank
Property / cites work
 
Property / cites work: On an Algorithm for Finding a Base and a Strong Generating Set for a Group Given by Generating Permutations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cohomology theory in abstract groups. III. Operator homomorphisms of kernels / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 13:10, 17 June 2024

scientific article
Language Label Description Also known as
English
The mechanical computation of first and second cohomology groups
scientific article

    Statements

    The mechanical computation of first and second cohomology groups (English)
    0 references
    1985
    0 references
    The author continues his work of ''A computer program for the calculation of the Schur multiplier of a permutation group'' [Computational group theory, Proc. Symp., Durham 1982, 307-319 (1984; Zbl 0544.20004); J. Pure Appl. Algebra 35, 287-295 (1985; Zbl 0552.20006)]. This paper describes the theory and implementation of algorithms to compute the dimension of the first and second cohomology groups. The input is (1) a finite group G given by generating permutations, and (2) matrices for the generators' action on a finite module M over \(K=GF(p)\), p prime. A combination of hand and mechanical calculation produces (3) a Sylow p- subgroup P of G, (4) a chain of subgroups \(P=H_ 0\leq H_ 1=N(P)\leq...\leq H_ n=G\), (5) suitable double coset representatives \(D_ i\) of \(H_{i-1}\) in \(H_ i\), \(i=1,2,...,n\), (6) \(P\cap P^ q\), \(P\cap P^{g^{-1}}\), for each g in the \(D_ i\) as further requirements of the algorithm. The algorithm uses variants of the nilpotent quotient algorithm to compute \(H^ x(P,M)\), and then computes \(H^ x(G,M)\) as the subgroup of stable elements of \(H^ x(P,M)\), \(x=1,2\). The author has a stand alone implementation written in C for the Unix operating system. Two examples - the natural 5-dimensional module of \(L_ 5(2)\), and a 6-dimensional module over GF(3) for \(L_ 3(9)\)- illustrate the performance of the program.
    0 references
    implementation
    0 references
    algorithms
    0 references
    dimension of the first and second cohomology groups
    0 references
    generating permutations
    0 references
    Sylow p-subgroup
    0 references
    double coset representatives
    0 references
    nilpotent quotient algorithm
    0 references
    performance
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references