Ask Your Question
2

How to check if a number field is a PID

asked 2012-06-06 12:28:05 -0600

Alex C gravatar image

updated 2012-06-06 14:12:50 -0600

Given a NumberField, is there a way to check if its ring of integers is a PID? This could be with a built in method, analogous to is_noetherian(), but if there's a more complicated way to do it that's good too.

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
2

answered 2012-07-20 18:18:43 -0600

updated 2012-07-20 18:30:48 -0600

The method class_number gives you the answer, there is no need for further methods

sage: QuadraticField(2).class_number()
1
sage: QuadraticField(-5).class_number()
2

For a number field K, the fractional ideals form a group under multiplication. The class number of K is the number of elements in the quotient of this ring by the principal ideals. In particular, the class number is 1 if and only if the ring of integers of K is a PID.

see also: http://en.wikipedia.org/wiki/Ideal_cl...

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2012-06-06 12:28:05 -0600

Seen: 311 times

Last updated: Jul 20 '12