As an exercise, I'm trying to compute the class number of [itex]K = \mathbb{Q}(\sqrt{30})[/itex]. By the Minkowski bound, I just need to consider the prime ideals which divide 2,3,5.(adsbygoogle = window.adsbygoogle || []).push({});

I've found that

[itex] (2) = \mathfrak{p}^2_2 [/itex]

[itex] (3) = \mathfrak{p}^2_3 [/itex]

[itex] (5) = \mathfrak{p}^2_5 [/itex]

where [itex] \mathfrak{p}_n = (n, \sqrt{30}) [/itex].

Also, using Legendre symbols it's easy to see that none of the [itex] \mathfrak{p}_n, n = 2,3,5 [/itex], is principal.

Moreover, I've found the relation

[itex] \mathfrak{p}_2 \mathfrak{p}_3 \mathfrak{p}_5 = (30) [/itex].

Now, these relations make me think that the class group is of order 4 (generated by [itex] \mathfrak{p}_2, \mathfrak{p}_3 [/itex], with the two generators in different ideal classes because of the last relation and the fact that [itex] \mathfrak{p}_5 [/itex] is not principal).

BUT: I know that the class number should be 2.

Can anyone help me? I'm really confused!

Thanks!

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Confusion: computation of class number of K=Q(sqrt(30))

Loading...

Similar Threads - Confusion computation class | Date |
---|---|

A 4th order tensor inverse and double dot product computation | May 10, 2017 |

A Modular forms, dimension and basis confusion, weight mod 1 | Nov 23, 2016 |

I Confused about basis vector notation | Mar 29, 2016 |

I Confused on definition of projection | Mar 12, 2016 |

Confusion about eigenvalues of an operator | Feb 21, 2016 |

**Physics Forums - The Fusion of Science and Community**