Proving the Equality of Rank for Finitely Generated Ideals in Number Fields

  • Thread starter gonzo
  • Start date
In summary, the ideals in the ring of integers for a number field have the same rank as the ring of integers itself. However, it is not always clear how to go from a finite ring to an infinite one, which is why it is difficult to prove that the ideals have the same rank. Any help would be appreciated.
  • #1
gonzo
277
0
I would appreciate some help with developing a simple proof that the ideals in the ring of integers for a number field have the same rank as the ring of integers itself.

In other words, assuming from the start that all the ideals are finitely generated, all ideals require the same number of generators as the entire ring of integers itself.

I find it easy to show that the ideals have the same rank or lower, but not that they have to have the same rank.

Any help would be appreciated. Thanks.
 
Physics news on Phys.org
  • #2
If I understand the question correctly, I think one way to see it is that O/I is a finite ring for any nontrivial ideal I of O.
 
  • #3
That is what I really want to show. Maybe there is another way to do it? I know I can do it my module theory if I can show that and ideal I has the same rank as O. But I would be more than happy for a simpler way to show the end result.

I saw another proof, but I don't understand a few steps.

One is that in any (nontrivial) ideal I in O we can always find a rational integer element of I, call it A. Then we get:

[itex](A) \subseteq I [/itex]

It is obvious that O/(A) is finite (that much I can prove), then they make the claim that we have the following relation which proves O/I finite:

[itex]{O/(A) \over O/I} \cong I/(A) [/itex]

But I have several confusions with this version. First, I'm not sure how we prove that we always have a rational integer in all proper ideals of O.

Second, I think I understand the general relation above as one of the fundamental isomorphism theorems for rings. But I'm not sure how we go from O/(A) being finite and the above congruence to O/I is finite.

So, help understanding this proof would be great.
 
  • #4
It's actually pretty easy to show that every nonzero ideal contains a rational integer: think about minimal polynomials.


That next step looks wrong; I think you meant

[tex]\frac{ \mathcal{O} / \langle A \rangle }{ I / \langle A \rangle} \cong \mathcal{O} / I.[/tex]

So... what is the relationship between O/A and (O/A) / (I/A)?


Or, a roughly equivalent alternative...

You know that

[tex]\langle A \rangle \subseteq I \subseteq \mathcal{O}[/tex]

so what does that tell you about O/A and O/I? (And O/0 and O/O)
 
Last edited:
  • #5
So... what is the relationship between O/A and (O/A) / (I/A)?

Maybe my ring theory is too rusty, but this is what I don't really see. I think I always got confused with quotient groups of other quotient groups.

Your last question was something I also saw, they used this alone in one place I saw to say that O/I was finite since O/A was. I just don't understand why this is true.

I do remember one of the correspondence theorems that there is a one to one correspondence between ideals between say A and O and ideals of O/A, and I is an ideal between A and O, but I don't see how this leads to finiteness either.

I would really like some clarification on this if you could provide it.

Aside from that (which I still very much would like) would the following be enough to prove O/I finite? (or rather that I has maximum rank in O, which then leads to finiteness):

Assume we have the following integral basis for O: [itex]\omega_1 ... \omega_n[/itex] then since we know that I contains a rational integer A, then [itex]A \omega_1 ... A \omega_n[/itex] must all be in I as well, and this alone is certainly a submodule of maximum rank, so trivially I must also have maximum rank.

Does that suffice?
 
  • #6
Your proof sounds right. But I think it's still worth understanding the other proofs.


Actually, the intuitive idea behind all of these things is this: if you mod out by (A), you have something left over. If you mod out by more than (A), you have even less.
 
Last edited:
  • #7
I would really like to understand the other proofs too, which is why I was asking for more info on them. And yes, to your very picky part, I can handle the part about the rank being less than or equal to, it was just the equal to exactly in this case that was bugging me.

I liked your last part, about the mods, that makes a lot of sense intuitively and is a nice way to think of it. Thanks. I miss that a lot ... a more general way of looking at these things. Unfortunately, I don't see how to apply that directly into a proof.

So more tips on the other proofs would be very much appreciated.
 
  • #8
Oh bah, you caught the picky part before I decided it wasn't worth mentioning and edited it out. :tongue:


I guess the most direct translation of the inutitive idea is that [itex]0 \subseteq A \subseteq B \subseteq C[/itex] induces surjective maps [itex]C \twoheadrightarrow C/A \twoheadrightarrow C/B \twoheadrightarrow 0[/itex]. The isomorphism theorems even tell you that the kernel of the middle map is B/A. (But that should be clear... what's the kernel of [itex]C \twoheadrightarrow C/B[/itex]?) I'm not really sure me explaining things will help you any further -- the best thing at this point is probably to work it out as an exercise in using the isomorphism theorems (or even to work it out directly in terms of cosets).
 
Last edited:
  • #9
Hurkyl said:
Oh bah, you caught the picky part before I decided it wasn't worth mentioning and edited it out. :tongue:

Heh. It was a good point to bring up, so that's fine. It's easy to get confused and make assumptions without realizing with this stuff.

Though I am much more interested in understanding the other parts.

Maybe we can start with this one. That if:

[itex]<A> \subset I \subset O [/itex]

Then this implies directly that if O/A is finite that O/I is as well. This was the proof given in one of my books, but they just said this was "trivially true", which i don't really agree with ... obviously. At least not yet.

I understand conceptually how this relates to your comments about mods, so I understand abstractly why it should be true, but I'm still missing the practical connection to actually show it.
 
  • #10
I saw the second part of your response after I typed mine ... I'll look at it some more myself and see what I come up with.

By the way, it's that middle map that confuses me. Quotient to quotient with kernal another quotient somehow tends to lose me.
 
Last edited:
  • #11
Try working a concrete example. Say...

[tex]0 \subseteq (6) \subseteq (2) \subseteq \mathbb{Z}
\twoheadrightarrow \mathbb{Z}_6
\twoheadrightarrow \mathbb{Z}_2
\twoheadrightarrow 0
[/tex]


Or, how about

[tex]
0 \subseteq \langle x \rangle \subseteq \langle x, y \rangle \subseteq F[x, y]
\twoheadrightarrow F[y] \twoheadrightarrow F \twoheadrightarrow 0
[/tex]

(where F is some ring. Maybe a field. Your call. The first surjection sends x->0 and y->y. The second sends y->0)


I'm just trying to pick some examples where you can understand each component of the diagram in its own right.
 
Last edited:
  • #12
I think I just saw a possibly trivial way of looking at it. Let me know if this is solid reasoning.

If we have two elements [itex]r,s \in O[/itex] if they are in the same residue class mod A, in other words if A+r = A+s in O/A, then we must have [itex]r-s \in A[/itex]. But of course since [itex]A \subset I[/itex] then [itex]r-s \in I[/itex] as well.

This means that any two elements in the same residue class in O/A must also be in the same residue class in O/I, from which is really is trivial that there can not be more residue classes in O/I then in O/A.

That about right?
 
  • #13
Yep, that looks right! (Do you see the surjection O/A -->> O/I now?)
 
  • #14
Hurkyl said:
Yep, that looks right! (Do you see the surjection O/A -->> O/I now?)

Sort of, getting there. Since all elements that in the same class stay in the same class, the only option is to combine entire classes. I want to say this means the total number of classes of O/I has to divide O/A, which sounds right from the general theory and specific examples, but I'm not "seeing" that part yet. In other words, I don't "see" intuitively why you can't just collapse one class into another and leave the rest the same. I need another obvious constraint that would get violated.

I'll have to see if I can see that one as well.

This is also the part where the kernel is supposed to be I/A right? This is still confusing me a bit.

...

Hey, I just got the kernel part!

If we are mapping O/A to O/I, then we are mapping A+r to I+r, and so the kernel is whenever r is in I, but that is obviously just I/A which is A+r where r is in I. So I see why I/A is the kernel. Cool. Getting there.
 
Last edited:
  • #15
gonzo said:
I want to say this means the total number of classes of O/I has to divide O/A, which sounds right from the general theory and specific examples, but I'm not "seeing" that part yet.
That sounds right. Actually, it's just a counting argument.

This is also the part where the kernel is supposed to be I/A right? This is still confusing me a bit.
Yep. But you'll get it! Oh, I'm wrong; you already got it!
 
Last edited:
  • #16
Okay, then basic isomorphism theory gives that

[tex]\frac{ \mathcal{O} / \langle A \rangle }{ I / \langle A \rangle} \cong \mathcal{O} / I.[/tex]

Which is what you had before. Assuming that O/I is the image of the map, or in other words that it is surjective as we have been discussing.

But then isn't surjectivity itself enough to say that O/I is finite if O/A is?

I feel like I'm missing one little step in showing surjectivity in either case ...
 
  • #17
gonzo said:
But then isn't surjectivity itself enough to say that O/I is finite if O/A is?
Yep! And this is what your one book meant by "trivially true".
 
  • #18
A crack at surjectivity of the map from O/A to O/I:

An element of O/I is of the form I+r, but for every possible r here, we can map from A+r to that element. So all elements have a source in O/A.

But the problem with this logic is it works the other way too as worded, and it can't be surjective in both directions or it would be an isomorphism and they are different sizes. So I must be making an oversimplification here that isn't valid.

Maybe I need to look at residue classes instead? A+[r] to I+[r]? Since we showed there were at least as many residue classes O/I as in O/A all residue classes in O/I must have a source class in O/A, but it doesn't work the other way around because you are "splitting" the classes up again. Makes sense logically, but it doesn't feel very algebraic yet.

There must be something trivial here I'm not seeing, right?
 
  • #19
gonzo said:
But the problem with this logic is it works the other way too as worded
True. And that's a general phenomenon of surjective maps. However, only one direction is a function: the other direction is usually not.
 
Last edited:
  • #20
Do you mean injective when you say a function? Clearly O/A to O/I can't be injective unless they are isomorphic.

O/I to O/A can be injective, but not surjective. So is this just a question of how we define our maps?

It seems circular to me at this point ... surjectivity shows that O/I is smaller than O/A, but I need to know that it is smaller to show surjectivity in the first place.

How else do I show surjectivity directly without assuming this fact beforehand?
 
  • #21
The point is, in the forward direction, possibly many different A+r's go to the same I+r. In the backward direction, one I+r goes to possibly many different A+r's.
 
  • #22
Hurkyl said:
The point is, in the forward direction, possibly many different A+r's go to the same I+r. In the backward direction, one I+r goes to possibly many different A+r's.

Right, but that assumes that you already know that O/I is smaller than O/A. I was wondering if there was a surjective argument without assuming this fact from the beginning.

Oh wait, of course there can't be, since that is fundamental to the concept of being surjective ... it is predicated on the target being the same size or smaller. Okay.

Thanks for all your help.
 

1. What is a finitely generated ideal?

A finitely generated ideal is a subset of a ring that can be generated by a finite number of elements. This means that every element in the ideal can be written as a combination (usually multiplication) of the generators. In other words, the ideal is the set of all possible products of the generators with elements of the ring.

2. How is a finitely generated ideal different from a general ideal?

A finitely generated ideal is a specific type of ideal that can be generated by a finite number of elements. In contrast, a general ideal can be generated by an infinite number of elements. This means that a finitely generated ideal is a more restricted and manageable type of ideal.

3. What is the significance of finitely generated ideals in mathematics?

Finitely generated ideals are significant in mathematics because they provide a way to understand and work with more complex structures, such as rings and fields. They also have important applications in algebraic geometry and commutative algebra, and play a crucial role in the study of polynomial rings.

4. How are finitely generated ideals used in real-world applications?

Finitely generated ideals have many practical applications, including in coding theory, cryptography, and error-correcting codes. They are also used in the study of algebraic structures in computer science and engineering, such as in the design of algorithms and data structures.

5. Can every ideal be finitely generated?

No, not every ideal can be finitely generated. In fact, there are many examples of ideals that cannot be generated by a finite number of elements. However, there are important classes of rings, such as Noetherian rings, where every ideal is finitely generated. This property is useful in simplifying proofs and computations in these rings.

Similar threads

  • Linear and Abstract Algebra
Replies
7
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
17
Views
4K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Linear and Abstract Algebra
Replies
6
Views
2K
Replies
1
Views
774
  • Linear and Abstract Algebra
Replies
2
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
5K
  • Linear and Abstract Algebra
Replies
5
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
2K
Back
Top