How Does kR Equal Zero in Ring Theory?

  • Context: Graduate 
  • Thread starter Thread starter PsychonautQQ
  • Start date Start date
  • Tags Tags
    Ring
Click For Summary

Discussion Overview

The discussion revolves around the concept of the ideal generated by an integer \( k \) in a ring \( R \), specifically addressing the conditions under which \( kR \) equals zero. Participants explore the implications of this equality and its relationship to the properties of the ring and the integer involved.

Discussion Character

  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant questions how \( kR \) can equal zero, suggesting that this would imply \( k \) must be zero, and expresses confusion over how all elements of \( R \) multiplied by \( k \) could yield zero.
  • Another participant introduces the concept of \( Z_k \), the ring of integers modulo \( k \), noting that in this context, \( kr \) equals zero for any \( r \) in \( Z_k \).
  • There is a repeated acknowledgment that the complex plane, real numbers, and integers all have characteristic \( 0 \), although the context of this statement is not fully elaborated.
  • One participant corrects a previous statement by noting that the integers form a ring, not a field, and mentions the possibility of non-trivial torsion in infinite algebraic structures.

Areas of Agreement / Disagreement

Participants express differing views on the nature of \( kR \) equating to zero, with some supporting the idea that this can occur under certain conditions while others remain skeptical. The discussion does not reach a consensus on the implications of these conditions.

Contextual Notes

There are unresolved assumptions regarding the definitions of the terms used, particularly the distinction between fields and rings, and the implications of torsion in algebraic structures.

Who May Find This Useful

This discussion may be of interest to those studying abstract algebra, particularly in understanding ideals in ring theory and the properties of different algebraic structures.

PsychonautQQ
Messages
781
Reaction score
10
Z = field of integers

.

If R is a ring and k is an element of Z, write kR = {kr | r is an element of R}. It is not too difficult to verify that {k is an element of Z | kR = 0} is an additive subgroup of Z.

I am confused on how kR would equal 0? Wouldn't that mean that k would have to equal zero? How could all of the elements of R multiplied by some integer k ever equal 0?

The book goes on to say that kR = 0 if and only if k1 = 0, where 1 = the unity of R.

Anyone want to help me understand what's going on here?
 
Physics news on Phys.org
Take Zk, the ring of integers modulo k, where k is a positive integer. Clearly, kr (that is, r+r+...+r, k times) equals 0 in Zk, for any r in Zk, right?
 
  • Like
Likes   Reactions: 1 person
Oh, thank you! So the complex plane, real numbers, integers all have char R = 0?
 
PsychonautQQ said:
Oh, thank you! So the complex plane, real numbers, integers all have char R = 0?
Yes.
 
Quick comment and a nitpick ; nitpick , re post #1 ,is that the integers are not a field, they are a ring. As a general comment notice that you may have non-trivial torsion in infinite algebraic structures.
 
The ring ℤ of integer numbers isn’t a field. Skipped all after such introduction.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 55 ·
2
Replies
55
Views
8K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
Replies
4
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K