Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have been stuck with a severe problem from last few days. I have developed some intuition for my-self in understanding the class group, but I lost the track of it in my brain. So I am now facing a hell.

The Class group is given by $\rm{Cl}(F)=$ {Fractional Ideals of F} / {Principle fractional Ideals of F} , ($F$ is a quadratic number field) so that we are actually removing the Principal fractional ideals there (that's what I understood by quotient group). But how can that class group measure the failure of Unique Factorization ?

For example a common example that can be found in any text books is $\mathbb{Z[\sqrt{-5}]}$ in which we can factorize $6=2\cdot3=(1+\sqrt{-5})(1-\sqrt{-5})$. So it fails to have unique factorization. Now can someone kindly clarify these points ?

  • How can one construct $\rm{Cl}(\sqrt{-5})$ by using the quotient groups ?
  • What are the elements of $\rm{Cl}(\sqrt{-5})$ ? What do those elements indicate ? ( I think they must some-how indicate the residues that are preventing the $\mathbb{Z[\sqrt{-5}]}$ from having a unique factorization )

  • What does $h(n)$ indicate ? ( Class number ). When $h(n)=1$ it implies that unique factorization exists . But what does the $1$ in $h(n)=1$ indicate. It means that there is one element in the class group , but doesn't that prevent Unique Factorization ?

EDIT:

I am interested in knowing whether are there any polynomial time running algorithms that list out all the numbers that fail to hold the unique factorization with in a number field ?

I am expecting that may be Class group might have something to do with these things. By using the class group of a number field can we extract all such numbers ? For example, if we plug in $\mathbb{Z}[\sqrt{-5}]$ then we need to have $6$ and other numbers that don't admit to a unique factorization.

Please do answer the above points and save me from confusion .

Thank you.

share|improve this question
1  
Thanks a lot for your edit Mr. M Turgeon –  Iyengar Aug 4 '12 at 17:46
    
This is related. math.stackexchange.com/questions/294150/… –  Mohan Feb 19 '13 at 15:45
    
And so where is CFT? I do not see any point of relating a prime element to a Frobenius here. Maybe the tag should be changed? Thanks. –  awllower Mar 4 '13 at 14:06

5 Answers 5

up vote 7 down vote accepted

For your third bullet, if there's only one element to the class group, then unique factorization holds because then all the fractional ideals are principal, and in particular the ring of integers is a principal ideal domain, which is equivalent to unique factorization for Dedekind rings.

As to the first two, I'll only state that the class group of $\mathbb{Z}[\sqrt{-5}]$ is $\mathbb{Z}/2\mathbb{Z}$. Maybe someone else can help you out with the details of the computation, but we can be sure the group isn't trivially due to examples like $(1+\sqrt{-5},1-\sqrt{-5})$. You can see that this ideal squares to $(2)$, and that the class group is $\mathbb{Z}/2\mathbb{Z}$ just tells that in fact every ideal is either principal or the square root of a principal. Unfortunately, you can see we lose a lot of information in passing to the class group, and in particular it doesn't tell us anything at all about which elements are obstacles to unique factorization. The intuition, rather, is that a more complicated class group implies we're further from unique factorization.

share|improve this answer
    
Good answer, Thank you sir +1 –  Iyengar Aug 4 '12 at 16:24
    
A Principal ideal domain is always a Unique factorisation domain, regardless of the fact that we are dealing with a Dedekind domain. However, for a Dedekind domain, being a UFD is equivalent to being a PID. –  M Turgeon Aug 4 '12 at 17:39
1  
Yes, @MTurgeon, I appreciate the correction. –  Kevin Carlson Aug 4 '12 at 23:44

There are various ways to interpret how class groups measure (non)unique factorization. For example, Carlitz (1960) showed that the class group has order at most $2$ iff all factorizations of a nonzero nonunit into irreducibles have the same number of factors. Narkiewicz posed the problem of generalizing this, i.e. devising arithmetical characterizations of class groups. Following is one simple characterization, due to J. Kaczorowski, Colloq. Math. 48 (1984), no. 2, 265-267.

Let $\,\cal O\,$ denotes the ring of integers of an algebraic number field. An algebraic integer $\rm\,a\in \cal O\,$ is said to be completely irreducible if it is irreducible and $\rm\,a^n\,$ has a unique factorization for all $\rm\,n\in \Bbb N.\,$ Let $\rm\ {\rm ord}\, a\ $ be the least $\rm\,n\in \Bbb N\,$ such that the length of any factorization of $\rm\,ab\,$ is $\rm\,\le n\,$ for any completely irreducible $\rm\,b\in \cal O.\:$ A sequence of nonassociate algebraic integers $\rm\,a_1,\ldots, a_k\,$ is said to be good if each $\rm\,a_i\,$ is completely irreducible but not prime, and their product $\rm\, a_1\cdots a_k\,$ factors uniquely. Suppose that $\rm\,a_1,\ldots,a_k\,$ is a good sequence having maximal $\rm\,\prod {\rm ord}\,a_i.\,$ Then $\cal O$ has class group $\,\rm\cong C({\rm ord}\, a_1\!) \oplus \cdots \oplus C({\rm ord}\,a_k\!),\:$ where $\rm \,C(n) \cong $ cyclic group of order $\rm\,n.$

Similar results were also published by F. Halter-Koch, and D.E. Rush around the same time. Since then these results have been generalized and abstracted into a powerful theory of nonunique factorization in Krull monoids. Search on said authors and Geroldinger to learn more.

share|improve this answer
    
Thanks a lot for your answer. +1 –  Iyengar Aug 4 '12 at 16:25

First of all, I want to clarify one thing: taking the quotient by the subgroup of principal ideals is not the same thing as removing the subgroup. It means that two fractional ideals $\frak{A}$ and $\frak{B}$ are equivalent iff $\frak{A}^{-1}\frak{B}$ is a principal ideal.

In general, if one wants to compute the class group of a number field, the first thing you might want to do is compute the class number; a good way to tackle this is to first compute an upper bound for the class number. For this purpose, you can use Minkowski's bound: $$M_F:=\sqrt{|D|}\left(\dfrac{4}{\pi}\right)^{r_2}\dfrac{n!}{n^n},$$ where $F$ is a number field of degree $n$ over $\mathbb{Q}$, $D$ is the discriminant, $r_2$ is half the number of complex embeddings. In general, every class in the class group contains an ideal of norm at most $M_F$, and so the class group is generated by the prime ideals of norm at most $M_F$. By studying the splitting of the rational prime ideals in $F$, you can deduce a lot of information about the class group. To see example of computations, I highly recommend this note by Keith Conrad.


Here are two ways of thinking about a Dedekind domain with class number equal to 1. First, for Dedekind domains, being a Unique factorisation domain (UFD) is equivalent to being a Principal ideal domain (PID) (this basically follows from the fact that Dedekind domains are Noetherian integral domains in which every nonzero prime ideal is maximal). Therefore, a Dedekind domain has a trivial class group if and only if every ideal is principal, if and only if it is a UFD. Second, we know that in Dedekind domains, every fractional ideal has a unique factorisation into prime ideals. Hence, you can think of the class group as being a comparison between unique factorisation of fractional ideals and unique factorisation per se.

share|improve this answer
    
Thank you for your answer. But what does the exact quotient group mean ? I had a tough time in understanding what does one get when one looks at quotient group. Suppose we are having { Fractional Ideals of F } / { Principal fractional ideals of F }. Then what are we looking at exactly ? . Every ideal is a principal ideal , i.e every ideal can be written as $I=\alpha.(1)$ . Doesn't it imply that every ideal is principal ? Forgive me if I am wrong. –  Iyengar Aug 4 '12 at 18:01
    
@Iyengar: What do you mean every ideal is principal? Try to find such an $\alpha$ for the ideal $(2, 1 + \sqrt{-5})$ in $\mathbb{Z}[\sqrt{-5}]$. –  Brandon Carter Aug 4 '12 at 18:08
2  
@Iyengar: perhaps the most direct way to point to your mistake is that while certainly every element of $(2,1+\sqrt{-5})$ is a product of something with 1, not nearly every product of something with 1 is an element of $(2,1+\sqrt{5})$. If $a$ generates an ideal for a ring $R$, then the ideal is equal to $aR,$ not just contained in it. –  Kevin Carlson Aug 4 '12 at 23:48
1  
@Iyengar See my edits. –  M Turgeon Aug 5 '12 at 15:58
1  
@MTurgeon : Good one.. –  Iyengar Aug 5 '12 at 16:09

h=1 means that the size of the class group is 1. That means that the group is the trivial group with only one element, the identity. The identity element of the class group is the equivalence class of principal ideals. Hence h=1 is equivalent to "all fractional ideals are principal" or equivalently "all ideals are principal".

share|improve this answer

The idea is that for the ring of integers $R$ of a number field, $R$ is a UFD if and only if $R$ is a PID. Only one way of this holds in general, the ring of integers is a special setting.

So it is enough to study the ideals of $R$. The above result basically tells us that any principal ideals in a factorisation of an ideal of $R$ are no obstacle to unique factorisation of elements, so it is enough to throw them away and study the "bad" ideals, i.e. the non-principal ones. But even some of these can be considered to produce the "same" obstruction to $R$ being a UFD.

By creating the quotient we are in some sense carrying all of this out, the non-identity elements should describe all genuinely different obstructions to $R$ being a UFD. If there is only one element in the quotient then clearly there are no obstructions since every ideal is principal, hence $R$ is a UFD.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.