Proving rI is a Minimal Right Ideal in R

  • Thread starter Thread starter jem05
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving that the product of a ring element \( r \) and a minimal right ideal \( I \) in a ring \( R \), denoted as \( rI \), is also a minimal right ideal. The user successfully established that \( rI \) is a right ideal but struggled to demonstrate its minimality. They attempted to construct a contradiction by assuming the existence of a non-zero right ideal \( K \) that lies strictly between \( rI \) and \( I \), but encountered difficulties. A proposed approach involves defining \( I_0 = \{i \in I : ri \in K\} \) and proving that \( I_0 \) is a right ideal.

PREREQUISITES
  • Understanding of ring theory and the definition of right ideals.
  • Familiarity with minimal ideals in algebraic structures.
  • Knowledge of constructing contradictions in mathematical proofs.
  • Basic proficiency in using set notation and definitions in algebra.
NEXT STEPS
  • Study the properties of minimal right ideals in ring theory.
  • Learn about the structure of right ideals and their relationships in rings.
  • Explore techniques for proving contradictions in algebraic proofs.
  • Investigate examples of rings and their right ideals to solidify understanding.
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, ring theory, and anyone interested in the properties of ideals within rings.

jem05
Messages
54
Reaction score
0

Homework Statement



R is a ring, r in R.
I is a minimal right ideal of R
rI =/= 0
prove rI is a minimal right ideal.


Homework Equations



rI minimal

The Attempt at a Solution



i proved rI right ideal, but I am having trouble with minimal, the thing is Ir is not a left nor a right ideal.
i tried supposing that there is a K right ideal not null and nor = rI but between them, and tried to consruct a right ideal that is neither null nor = I but also between them, to get a contradiction, but i failed.
any hint is appreciated.
thank you
 
Physics news on Phys.org
Suppose K is a non-zero right ideal contained in rI. What about defining

[tex]I_0=\{i\in I:\, ri\in K\}[/tex]

and proving that it is a right ideal using the fact that I, K are right ideals?
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
1
Views
12K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K