Can a Unit Also be Nilpotent? Proving the Contradiction

  • Thread starter Thread starter Bashyboy
  • Start date Start date
  • Tags Tags
    Elements Units
Click For Summary
SUMMARY

This discussion confirms that a unit in a ring cannot be nilpotent, and vice versa. The proof provided demonstrates that assuming a unit is nilpotent leads to a contradiction through the well-ordering property, specifically by establishing a minimal natural number for which the nilpotent condition holds. The second claim mirrors the first, reinforcing the conclusion that units and nilpotent elements are mutually exclusive in ring theory.

PREREQUISITES
  • Understanding of ring theory concepts, specifically units and nilpotent elements.
  • Familiarity with the well-ordering property in mathematics.
  • Basic knowledge of multiplicative inverses in algebra.
  • Experience with mathematical proofs and contradiction techniques.
NEXT STEPS
  • Study the properties of units in abstract algebra.
  • Explore nilpotent elements in ring theory.
  • Learn about the well-ordering principle and its applications in proofs.
  • Investigate alternative proof techniques for algebraic properties, such as direct proof or induction.
USEFUL FOR

This discussion is beneficial for students and educators in abstract algebra, particularly those studying ring theory, as well as mathematicians interested in the properties of algebraic structures.

Bashyboy
Messages
1,419
Reaction score
5

Homework Statement


First Claim: If ##u \in R## is a unit, then it cannot be nilpotent

Second Claim: If ##u \in R## is nilpotent, then it cannot be a unit

Homework Equations

The Attempt at a Solution



I realize these are simple problems, but I have no one to verify my work and I want to be certain I am doing things correctly. Here is a proof of the first claim:

Suppose the contrary, that ##u## is a unit and also nilpotent. This implies there exists an element ##v## that acts as a multiplicative inverse and a natural number ##n## such that ##u^n = 0##. By the well ordering property, we can take ##n## to be the smallest natural number for which ##u^n=0##. Then

##u^n = 0##

##u u^{n-1} = 0##

##vu u^{n-1} = v0##

##u^{n-1} = 0##,

contradicting the minimality of ##n##.

Does this seem right? If I am not mistaken, then proof of the second claim is identical.
 
Physics news on Phys.org
That's correct, although I wouldn't have used ordering and minimality, which looks kind of artificial to me, like a little stone in the shoe.
You could have simply multiplied by ##v^n## instead.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 24 ·
Replies
24
Views
4K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K