加载中…
Let be a Dedekind domain and an endomorphism of a finitely-generated projective -module. If is an power in for ranging over an infinite set of positive integers, then (a) decomposes as a direct sum of the zero operator and an invertible operator on a summand of and (b) that summand is semisimple or of finite order if is appropriately large (what this means depends on the structure of the additive and multiplicative groups of ). This generalizes a result of M. Cavachi’s to the effect that the only non-singular integer matrix that is an power in for all is the identity.

生成讲解博客的中文版本

生成AI智能校验的中文版本