Show Finite Principal Ideals Contain $(d)$ in U.F.D.

  • MHB
  • Thread starter mathmari
  • Start date
In summary, the conversation discusses the idea of showing that there are finitely many different principal ideals that contain a given ideal in a U.F.D. It is stated that for an element to be in an ideal, it must divide the generator of the ideal. It is also mentioned that in a U.F.D., the irreducible elements are prime. The conclusion is that the divisors of a given element can be represented in a finite set.
  • #1
mathmari
Gold Member
MHB
5,049
7
Hey! :eek:

Let $R$ be a U.F.D. and $0\neq d\in R$.
I want to show that there are finitely many different principal ideals that contain the ideal $(d)$.

A principal ideal is generated by a single element, say $i$, and so that it contains the ideal $(d)$, $i$ must divide $d$, right? (Wondering)
We have that $d=a_1^{k_1}\cdots a_r^{k_r}$ with $a_i$ irreducible.
Since $R$ is a U.F.D. the irreducible elements are prime. Does it follow from that that the divisors of $d$ are of the form $a_1^{j_1}\cdots a_r^{j_r}$ with $0\leq j_i\leq k_i$ ? (Wondering)
From that we get that the set of the divisors is finite, right? (Wondering)
 
Physics news on Phys.org
  • #2
Yes.
 
  • #3
Deveno said:
Yes.

Nice... Thank you! (Yes)
 

FAQ: Show Finite Principal Ideals Contain $(d)$ in U.F.D.

What is a U.F.D.?

A U.F.D. is a unique factorization domain, which is a type of commutative ring in abstract algebra where every non-zero and non-unit element can be expressed as a unique product of irreducible elements.

What is a principal ideal?

A principal ideal is an ideal in a ring that is generated by a single element. In other words, it is the set of all elements that can be obtained by multiplying the generator by any element in the ring.

What does it mean for a principal ideal to contain $(d)$?

When a principal ideal contains $(d)$, it means that the generator of the ideal is a multiple of $d$. In other words, every element in the ideal can be obtained by multiplying $d$ by an element in the ring.

Why is it important for finite principal ideals to contain $(d)$ in a U.F.D.?

In a U.F.D., every non-zero element can be expressed as a unique product of irreducible elements. Therefore, if a finite principal ideal contains $(d)$, it means that every element in the ideal can be expressed as a multiple of $d$, which helps ensure that the ideal is closed under multiplication.

How can one prove that finite principal ideals contain $(d)$ in a U.F.D.?

This can be proven using the unique factorization property of U.F.D.s. By expressing the generator of the principal ideal as a product of irreducible elements, and then expressing $d$ as a product of those same irreducible elements, it can be shown that every element in the ideal is a multiple of $d$.

Similar threads

MHB Is R a Principal Ideal Domain (P.I.D) Given These Properties?
Replies
3
Views
1K
MHB Statements about subrings and quotient
Replies
3
Views
1K
MHB Principal Ideal Rings and GCDs .... .... Bland Proposition 4.3.3
Replies
1
Views
1K
MHB How can we conclude from that that I is a principal ideal?
Replies
1
Views
1K
MHB Wondering if $R$ is a P.I.D.: Free Modules and Ideals
Replies
6
Views
2K
I Proving inequality about dimension of quotient vector spaces
Replies
0
Views
829
MHB Integral Domains and Principal Ideal Domains (PIDs)
Replies
4
Views
4K
MHB Why Does d and 1 Being Associates Imply 1 is a GCD?
Replies
3
Views
1K
MHB Row echelon form : Can the first column contain only zeros?
Replies
14
Views
3K
MHB Proof Noetherian Ring: $M^2 \ne M$
Replies
3
Views
2K

Hot Threads

Recent Insights

Back
Top