How to Find and Prove All Distinct Ideals of a Ring?

  • Thread starter Thread starter me@math
  • Start date Start date
  • Tags Tags
    Ring
Click For Summary
To find all distinct ideals of a ring, one must identify the structure of the ring in question, such as whether it is a Principal Ideal Domain (PID). In a PID, every ideal is generated by a single element, making it easier to enumerate all ideals. The example given, R = Z[1/n], raises questions about its classification as a PID, as it is not immediately clear if it meets the criteria. The discussion highlights the challenge of proving the absence of additional ideals in non-PID rings. Understanding the specific properties of the ring is crucial for identifying and proving all distinct ideals.
me@math
Messages
1
Reaction score
0
How do you find all the distint ideals of any ring? I am able to find may ideals but how do you prove that there are no more ideals.
Eg Let R = Z[1/n] = {x/n^i | x \in Z, n is a natural number}

I can see that x/n is an ideal for every x \in Z.

Is that right?
 
Physics news on Phys.org
I'm not sure what you're asking. x/n appears to be an element, and an ideal is a subring.

Although I'm not sure, I'll try to answer something that could be want you want:

The integers has a special structure called that of a Principal Ideal Domain. A principal ideal is the ideal generated by a single element: that is an element together with all of its multiples. In a Principal Ideal Domain, every ideal is a principal ideal, so it's easy to identify them all.

For other rings, however, there is not necessarily a general rule like that. It's not obvious to me whether Z adjoined with a reciprocal integer (Z[1/n]) is a PID, though it may be.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
872
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 5 ·
Replies
5
Views
936
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
2K