Dear Prof.,

I am a student doing your 3704 course. Please kindly answer some questions that i got. Thanks in advance

1) I noticed this pattern in some of the calculations, is this correct?

where is a root of the minimal polynomial; and are constants.

2) I am following the solution of 2008 past paper question 2. Is it true that is an algebraic integer if its norm and trace are integers.

3) When distinguishing between two fields, and with basis and , we check that if is in or not. Does this simply mean if is square-free in the rational?

—————————————————————–

Reply:

The general nature of your questions indicates you should review the course more thoroughly from the beginning. I will try to indicate just a few points where your questions are ill-formed and/or worrisome.

(1) When you say and are `constants,’ it’s very unclear what this means. All of the quantities are `constant’ in the usual sense that they are numbers. Also, when you say ` is a root of the minimal polynomial’ what minimal polynomial are you referring to?

One general fact about norms of numbers that follows immediately from the definitions (that is, you should know how to prove it easily at this point) is that

In particular, . Of course, should be a *natural number* here, that is, . When you refer to as a constant, you might mean that it is rational. In that case, if the norm is being taken inside a number field of degree , then . Therefore, if is rational and is any element of , then

Once again, you should have a very clear understanding of how this equality comes about starting from the definition. The worst possible approach to this material is to try to pick up on patterns of equalities that occur in the notes and then vaguely guess which variations on them are admissible. You may not be doing this, but this strategy is unfortunately common, so I’m giving a strong warning against it whenever I can. Note that in this discussion, whether is the root of some specific minimal polynomial or is irrelevant. Try to understand for yourself why that phrase occurred in your question. (Of course any algebraic number is a root of its *own* minimal polynomial.)

(2) This question makes sense. The fact is that the norm and trace of any algebraic integer are integers. However, the converse is false in general. On the other hand, if and is a quadratic field, then is an algebraic integer if and only if it norm and trace are integers. Prove this last statement as an exercise.

(3) The word `square-free’ for an integer means that is not divisible by the square of any prime. A rational number written in reduced form is square-free if both and are square-free integers. A rational number is a square if there is a rational number such that . Be careful not to confuse these elementary concepts. Once again, the way you formulated the question is itself a bit worrisome. For example, the sentence that begins `Does this simply mean…’ is very bad in many ways.

Regarding the motivating problem, if and are isomorphic, then for any choice of bases and , we would have that is a square. In particular, if is not a square for some bases and , then and are *not* isomorphic. One should be aware that the converse is false: being a square certainly does not imply that and are isomorphic. Examples illustrating all this are contained in the notes.