A Mathematica Notebook for Computing the Homology of Iterated Products of Groups

Let G be a group which admits the structure of an iterated product of central extensions and semidirect products of abelian groups G i (both finite and infinite). We describe a Mathematica 4.0 notebook for computing the homology of G, in terms of some homological models for the factor groups G i and...

Descripción completa

Detalles Bibliográficos
Autores: Álvarez Solano, Víctor, Armario Sampalo, José Andrés, Frau García, María Dolores, Real Jurado, Pedro
Tipo de recurso: capítulo de libro
Fecha de publicación:2006
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/31614
Acceso en línea:http://hdl.handle.net/11441/31614
https://doi.org/10.1007/11832225_5
Access Level:acceso abierto
Palabra clave:Numeric Computing
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Algorithm Analysis and Problem Complexity
Mathematical Software
Algorithms
Descripción
Sumario:Let G be a group which admits the structure of an iterated product of central extensions and semidirect products of abelian groups G i (both finite and infinite). We describe a Mathematica 4.0 notebook for computing the homology of G, in terms of some homological models for the factor groups G i and the products involved. Computational results provided by our program have allowed the simplification of some of the formulae involved in the calculation of H n (G). Consequently the efficiency of the method has been improved as well. We include some executions and examples.