This paper is written in the spirit of constructive mathematics in the sense of Errett Bishop [3]. For a general introduction to constructive algebra see [11]. An algebraist with no background in constructive mathematics should have no trouble understanding the arguments, but might not see what obstacles are being overcome or sidestepped. From a procedural point of view, the di erence is that w...