Abstract:When the results of a computer program are confronted to some theorems proved on a theoretical basis three situations can occur: there can be an agreement between both approaches, the computer program can obtain calculations not covered by the theorems, or a discrepancy can be found between both methods. In this note we report on a work where the three above mentioned situations happen. We have enhanced the Computer Algebra called Kenzo to deal with the computation of homotopy groups of suspended classifying spaces, a problem tackled by Mikhailov and Wu in a paper published in the journal Algebraic and Geometric Topology. Our experimental approach, based on completely different methods from those by Mikhailov and Wu, has allowed us in particular to detect an error in one of their published theorems. 1. Motivation and statement of the problem It is well-known that the suspension functor Σ applied to a topological space X shifts its homology groups, that is to say, Hn(ΣX) ∼= Hn−1(X). However, in the case of homotopy groups the situation is not so favorable and in general there is not a direct relation between π∗(ΣX) and π∗(X). Let us consider for instance a circle S, whose homotopy type is very simple. The homology groups of the suspension ΣS = S are obvious but the problem of computing the homotopy groups of S is a difficult problem in Algebraic Topology. Given a group G, its classifying space, that is to say, the Eilenberg-MacLane spaceK(G, 1) [10], has trivial homotopy groups: π1(K(G, 1)) ∼= G and πn(K(G, 1)) = 0 for each n 6= 1. But when applying the suspension functor Σ, the new homotopy groups π∗(ΣK(G, 1)) are in general unknown. In [11], several groups πn(ΣK(G, 1)) are obtained for some particular cases of G and n, making use of different results and techniques from group theory and homotopy theory. More concretely, the main results of the article by Mikhailov and Wu are descriptions of the groups π4(ΣK(A, 1)) and π5(ΣK(A, 1)) when A is any finitely generated Abelian group; as applications, they also determine πn(ΣK(G, 1)) with n = 4 and 5 for some nonAbelian groups, as G = Σ3 the 3-th symmetric group and G = SL(Z) the standard linear group, and π4(ΣK(A4, 1)) for A4 the 4-th alternating group. The goal of this work consists in trying to obtain a computer program calculating π∗(ΣK(G, 1)) for a general group G, which will allow one to obtain as particular computations some theoretical results of [11]. To this aim, we have developed 2010 Mathematics Subject Classification. 68W05,55-04,55Q99. Partially supported by Ministerio de Ciencia e Innovacion, Spain, project MTM2009-13842C02-01. c ©XXXX American Mathematical Society

Rheology of blood cells as soft tissues.

Clinical Metabolomics: The New Metabolic Window for Inborn Errors of Metabolism Investigations in the Post-Genomic Era

[Inborn errors of metabolism. Advances in diagnosis and therapeutic]

488 From discovery to the clinical laboratory: a methodological appraisal of untargeted metabolomics platforms to characterize inborn errors of metabolism.

Omics-Based Strategies in Precision Medicine: Toward a Paradigm Shift in Inborn Errors of Metabolism Investigations

Next-generation metabolic screening: targeted and untargeted metabolomics for the diagnosis of inborn errors of metabolism in individual patients

[Screening for neonatal inborn errors of metabolism by electrospray ionization-tandem mass spectrometry and follow-up].

Application of a Computational Metabolomics Workflow for the Diagnosis of Inborn Errors of Metabolism in a Laboratory Setting

Current Problems and Prospect on Tandem Mass Spectrometry Based Newborn Inherited Metabolic Diseases Screening

Small molecules as therapeutic agents for inborn errors of metabolism

Targeted ultra performance liquid chromatography tandem mass spectrometry procedures for the diagnosis of inborn errors of metabolism: validation through ERNDIM external quality assessment schemes

Metabolomics analysis for biomarker discovery: advances and challenges

Inborn errors of metabolism: Historical perspectives to contemporary management

Etiological Spectrum and Clinical Characteristics of Neonates with High Risk of Inborn Errors of Metabolism: A Five-year Retrospective Analysis

Nutritional Management of Patients with Inborn Errors of Metabolism

Epidemiological burden of inborn errors of metabolism in low- and middle-income countries: a systematic review protocol

Targeted urine metabolomics with a graphical reporting tool for rapid diagnosis of inborn errors of metabolism

[Clinico-biological impact of pS2 positivity in estrogen receptor negative-infiltrating ductal carcinomas of the breast].

Homotopy groups of suspended classifying spaces: An experimental approach

Metabonomics: a useful tool for the future surgeon

Towards needed improvements in inherited metabolic medicine in adulthood: The SIMMESN adult metabolic working group and MetabERN Joint Position Statement