Hidden constructions in abstract algebra (1) Integral dependance relations

Journal of Pure and Applied Algebra 167, (2002) 259-267.
fichier ps. fichier pdf,

Abstract : We give an elementary method, hidden in a theorem of abstract algebra, for constructing integral dependance relations. We apply this method in order to give a constructive proof of a theorem of Kronecker.