2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/69868For a big class of commutative rings R every continuous R-automorphism of R[[X_1,...,X_n]] with the identity linear part is in the commutator subgroup of Aut(R[[X_1,...,X_n]]). An explicit bound for the number of the involved commutators and a K-theoretic interpretation of this result are provided.to appear in Proc. Amer. Math. SocCommutative AlgebraK-Theory and Homology13J10; 13F25; 19A99; 19B99Commutator automorphisms of formal power series ringstext