PID Math Problem: Every Element Generating Ideal?

  • Thread starter Thread starter pivoxa15
  • Start date Start date
  • Tags Tags
    Pid
Click For Summary

Homework Help Overview

The discussion revolves around the properties of ideals in a Principal Ideal Domain (PID), specifically addressing whether every element in a PID can generate an ideal.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the distinction between elements generating ideals and the nature of ideals in a PID, questioning the implications of the definition of principal ideals.

Discussion Status

The conversation is ongoing, with participants clarifying concepts related to principal ideals and discussing the nature of ideal generation in the context of PIDs. There is recognition of the distinction between generating an ideal and the types of ideals present in a PID.

Contextual Notes

Some participants note the potential confusion surrounding the representation of ideals and the implications of defining them in different ways, such as using different generating sets.

pivoxa15
Messages
2,250
Reaction score
1

Homework Statement


If R is a PID then all its ideals can be generated by a single element. It doesn't imply that every element in R can generate an ideal does it?




The Attempt at a Solution


I have to agree that it doesn't but can't think of a proof.
 
Physics news on Phys.org
Of course in any ring, any element can generate an ideal, the ideal generated by that element.
 
You are right. Each element can always generate an ideal, namely a principle ideal. If R is a PID than it tells us that all the ideals in R are those that have been generated by a single element hence are all principle ideals.

However one can turn any principle ideal into a nonprinciple ideal. i.e. in Z. <3> is a Principle ideal. Instead of denoting it by <3> we denote this ideal by {0, 3} or {3, 6} and either of those two will be equivalent to <3>.
 
It's still the same ideal, and is still a principal ideal, which is just an ideal that can be generated by a single element, regardless of whichever generating set you choose to focus on.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
9
Views
5K
Replies
16
Views
4K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
8K
  • · Replies 12 ·
Replies
12
Views
4K
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K