Skip to main content
3 of 4
clarified characteristic 0
M.G.
  • 7.1k
  • 3
  • 46
  • 60

Relation(s) between units and nilpotent elements in noncommutative graded rings

In Commutative Algebra we have the following standard facts which I am going to state in a slightly different form than usually found in textbooks. Namely, let $A$ be a commutative unital ring of characteristic 0 and let $f(x) \in A[x]$, then:

  1. $f(x) \in U(A[x])$ $\Leftrightarrow$ $f(0) \in U(A)$ and $f'(x) \in \operatorname{nil}(A[x])$;
  2. $f(x) \in \operatorname{nil}(A[x])$ $\Rightarrow$ $f'(x) \in \operatorname{nil}(A[x])$;

It is a natural question to ask whether something similar holds if we replace $A$ by a noncommutative unital ring $R$ and consider $R[x]$ ($x$ is assumed to commute with $R$). Of course, this would be much less straightforward because the nilpotent elements of a noncommutative ring in general do not form an ideal. The only result I know of along these lines is the following

Lemma: Let $R$ be a (noncommutative) $\mathbb{N}_0$-graded ring and let $r \in R$ be an element of positive degree. Then $1+r$ is a unit iff $r$ is nilpotent.

But I have not been able to trace this result throughout the literature. It is stated in Bass, Connell, and Wright's paper on the Jacobian Problem, but without proof from what I can see, likely because it is not too difficult to prove on one's own. Nevertheless, I would like to have a precise reference for this, because I would like to use it, but would rather avoid including a proof of what appears to be a standard result in noncommutative graded algebra.

Question 1: Do you know of a reference where the above lemma is stated with a proof?

And more importantly:

Question 2: Are there generalizations of the above lemma, i.e. is anything known about units of the form $1 + r_1 + \cdots + r_n$ for $r_1,\dots,r_n \in R$ homogeneous elements of respective degrees $1 \leq d_1 < \dots < d_n$?

I fear this might be too broad of a question or one that is likely impossible to answer in full generality, but I would be happy with some starting places. The motivating example is $U(R[x])$ for $R$ of characteristic 0, for which I would like to find out about analogous properties to the aforementioned commutative algebra facts.

M.G.
  • 7.1k
  • 3
  • 46
  • 60