We study fibred spaces with fibres in a structure category F and we show that cellular approximation, Blakers–Massey theorem, Whitehead theorems, obstruction theory, Hurewicz homomorphism, Wall finiteness obstruction, and Whitehead torsion theorem hold for fibred spaces. For this we introduce the cohomology of fibred spaces. AMS SC : 55R55 (Fiberings with singularities); 54H15 (Transformation g...

We give a combinatorial equivalent to the existence of a non-free hereditarily separable group of cardinality א1. This can be used, together with a known combinatorial equivalent of the existence of a non-free Whitehead group, to prove that it is consistent that every Whitehead group is free but not every hereditarily separable group is free. We also show that the fact that Z is a p.i.d. with i...

The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank free group. We give the first fully polynomial algorithm to solve this problem, that is, an algorithm that is polynomial both in the length of the input word and in the rank of the free group. Earlier algorithms had an ...