4
$\begingroup$

Some standard examples on various quals seems to be computing units/class numbers etc. of the ring $\mathbb{Q}(\alpha)$, where $\alpha$ is a root of either $X^3+aX+b$ or $X^5+aX+b$.

My questions is the following: What are some standard tricks that can be used to deduce that a particular unit is actually a fundamental unit?

I'm familiar with class field theory and L-series, so I don't mind higher-level methods. I'm sort of trying to figure out what's usable during an exam. Books on number theoretic algorithms only cover pretty general cases and these algorithms are too computationally intensive to be done manually.

  • 0
    Show that no other unit can have smaller norm in some real or complex embedding. This is feasible in the quadratic case; it might be feasible in the cubic case.2011-03-16
  • 0
    Well, the quadratic case is trivial by just looking at the corresponding a Pell equation. This doesn't seem to work as easily for higher-degree roots.2011-03-16
  • 1
    Yes, but that doesn't contradict what I said.2011-03-16

1 Answers 1