Solving Nilpotent Problem in Abstract Algebra

  • Context: MHB 
  • Thread starter Thread starter cbarker1
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around an exercise problem from Dummit and Foote's Abstract Algebra regarding nilpotent elements in rings. Participants are exploring the implications of the definition of nilpotent elements and how it relates to a specific problem involving the integers modulo \( n \).

Discussion Character

  • Homework-related
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • Cbarker1 presents a problem involving nilpotent elements and asks for assistance in proving that if \( n = a^{k}b \) for some integers \( a \) and \( b \), then \( \overline{ab} \) is an element of \( \mathbb{Z}/n\mathbb{Z} \).
  • Another participant requests clarification on the notation \( \overline{ab} \) and notes the absence of the term "nilpotent" in the statement to be proven, despite its definition being provided earlier.
  • Cbarker1 later defines \( \overline{ab} \) as \( a \cdot b \) (mod \( n \)) and adds that \( \overline{ab} \) is a nilpotent element of \( \mathbb{Z}/n\mathbb{Z} \), indicating a correction to their earlier post.
  • A later post introduces the expression \( \overline{ab}^{\,k} \) without further elaboration.

Areas of Agreement / Disagreement

Participants have not reached a consensus on the implications of the problem or the relationship between nilpotent elements and the specific case presented. There are questions regarding the definitions and the proof structure, indicating ongoing uncertainty.

Contextual Notes

There is a lack of clarity regarding the connection between nilpotent elements and the specific problem statement, as well as the need for potential case distinctions in the proof. The discussion also reflects varying levels of understanding of the notation used.

cbarker1
Gold Member
MHB
Messages
345
Reaction score
23
Dear Everyone,

I am stuck with an exercise problem. The problem states from Dummit and Foote Ed. 2 Abstract Algebra: "An element $x$ in $R$ (where $R$ is a ring with 1) is called nilpotent if $x^{m}=0$ for some $m \in \Bbb{Z}^{+}$. Show that if $n=a^{k}b$ for some $a,b \in \Bbb{Z}$, then $\overline{ab}$ is a element of $\Bbb{Z}/n\Bbb{Z}$."

My attempt:

Example: When $n=6=3\cdot 2$, then the only element will be $\overline{3*2}$ in $\Bbb{Z}/6\Bbb{Z}$.

Proof: Suppose $n=a^{k}b$ for some $a,b \in \Bbb{Z}$. (Do I need some cases? If so, three cases?)

Thanks,
Cbarker1
 
Last edited:
Physics news on Phys.org
Cbarker1 said:
"An element $x$ in $R$ (where $R$ is a ring with 1) is called nilpotent if $x^{m}=0$ for some $m \in \Bbb{Z}^{+}$. Show that if $n=a^{k}b$ for some $a,b \in \Bbb{Z}$, then $\overline{ab}$ is a element of $\Bbb{Z}/n\Bbb{Z}$."
Could you define the notation $\overline{ab}$? Also, it is strange that the statement one is asked to prove does not mention the concept "nilpotent", which is defined right before that.
 
$\overline{ab}:=a * b $(mod n)

Sorry. I typed quickly and I forgot about the most important information. If $n=a^kb$ for some $a,b\in \Bbb{Z}$, then $\overline{ab}$ is a nilpotent element of $\Bbb{Z}/n\Bbb{Z}$. Again, I am sorry. Cbarker1
 
Last edited:
Consider $\overline{ab}^{\,k}$.
 

Similar threads

Replies
48
Views
5K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K