No abstract

No abstract

Student work, done cooperatively, often fails to generate individual understanding of abstract material. We suggest techniques which enable abstract algebra students to master proofs and which then enhance cooperative work.

We prove that finite presentations of n"X are effectively computable, when A1 is a connected, effectively locally finitely dominated nilpotent complex. The relationship between the solvability of the homotopy problem in recursive Kan complexes and the word problem in homotopy groups plays a role.

No abstract