A Cancellation Theorem for Projective Modules in the Metastable Range.
We present a class of counterexamples to the Cancellation Problem over arbitrary commutative rings, using non-free stably free modules and locally nilpotent derivations.
Butler groups formed by factoring a completely decomposable group by a rank one group have been studied extensively. We call such groups, bracket groups. We study bracket modules over integral domains. In particular, we are interested in when any bracket -module is tensor a bracket group.
Let F=X-H: → be a polynomial map with H homogeneous of degree 3 and nilpotent Jacobian matrix J(H). Let G=(G1,...,Gn) be the formal inverse of F. Bass, Connell and Wright proved in [1] that the homogeneous component of of degree 2d+1 can be expressed as , where T varies over rooted trees with d vertices, α(T)=CardAut(T) and is a polynomial defined by (1) below. The Jacobian Conjecture states that, in our situation, is an automorphism or, equivalently, is zero for sufficiently large d....
I extend the Hasse–Arf theorem from residually separable extensions of complete discrete valuation rings to monogenic extensions.
On this paper we compute the numerical function of the approximation theorem of M. Artin for the one-dimensional systems of formal equations.
Given a set of “indeterminates” and a field , an ideal in the polynomial ring is called conservative if it contains with any polynomial all of its monomials. The map yields an isomorphism between the power set and the complete lattice of all conservative prime ideals of . Moreover, the members of any system of finite character are in one-to-one correspondence with the conservative prime ideals contained in , and the maximal members of correspond to the maximal ideals contained in...