0
$\begingroup$

First, if I may, I would like to ask for help in getting an intuitive understanding regarding embeddings.

Wikipedia gives examples such as $\mathbb N$ in $\mathbb Z$. My first question is: were they not there already? And my second question is what advantage (or advantageous constraint) do you get by embedding.

This general question is motivated by a Theorem in Appendix 2 in Marcus's "Number Fields" on p. 259.

He states: We are interested in the embeddings of L in $\mathbb C$ which fix K pointwise. (L and K are subfields of $\mathbb C$ and K $\subset$ L.) Clearly such an embedding sends $\alpha \in$ L to one of its conjugates over K.

As a second question: How does an "embedding" of something that is already there $\alpha \in$ L $\subset \mathbb C$ get sent to a conjugate? Rather than call it a injective map or permutation?

Lastly in the proof of the theorem, he says: let $\sigma$ be an embedding of K in $\mathbb C$ ... and f be the monic irreducible polynomial for $\alpha$ over K. He then goes on to apply $\sigma$ to the coefficients of f to get g. But I thought (as above) that the embeddings fix K, so why would he say then say that g is irreducible (no problem) over $\sigma$K? Shouldn't that just be K?

As always thanks for your help and patience with what is probably a pretty obvious question.

2 Answers 2

2

On your first question: One way to define $\mathbb Z$ is as the set of equivalence classes of pairs of natural numbers under the equivalence relation $(k,l)\sim(m,n)\Leftrightarrow k+n=l+m$. The natural numbers are "not there already" – they have to be embedded in this structure via $f:\mathbb N\hookrightarrow\mathbb Z:n\to[(n,0)]$.

  • 0
    Thanks. I have a lot to learn.2012-08-07
1

Fair warning: my understanding of algebra is a bit shaky at points. But as I understand it...

joriki's answer can essentially be extended to answer all the questions. We tend to think about certain objects as though they were other objects, and when we're not being too rigorous there's nothing wrong with this. But for technical reasons relating to how things are defined, we sometimes need to deal with embeddings instead of the objects themselves.

I'm not entirely sure what your objection is in the second question. But you can call it an injective map if you prefer, because it is that. However, it would be awkward to call it a permutation, because the mapping is from L to $\mathbb{C}$, which is generally not the behavior one wants in a permutation. There is of course a natural extension from $\mathbb{C}$ to $\mathbb{C}$ (with non-L elements unchanged) or a natural "restriction" from L to L. But these change the triple (domain, range, relation), so they're not technically the same function.

Your third question makes me thing that either he is using a different definition of subfield that I am, or that he did not actually say that L and K are subfields of $\mathbb{C}$. When I think of a subfield, it is a subset of the original field which is also a field. However, it would be perfectly reasonable to define it as a field which is field-isomorphic to a subset of the original.

I'll assume the second definition. $g$ cannot be irreducible over K because it's coefficients are members of $\sigma$K, and in general there is no way to define a multiplication on two groups. Remember, even though $\sigma$K is in some sense "the same" as K, it is not technically the same object since the elements of $\sigma$K are elements of $\mathbb{C}$. No such restriction exists on the elements of K.

Now, if you take the first definition, and he explicitly states that K is a subfield of $\mathbb{C}$, then all of this is redundant, because the elements of K are also elements of $\mathbb{C}$, and there is the obvious multiplication on any two subsets of a field.

(I used the phrase "a multiplication on X and Y" a bit poorly, but I hope the meaning was clear.)

  • 0
    In particular, if $\alpha\in L$ is algebraic over $K$ with minimal polynomial $f\in K[X]$, then $\sigma(\alpha)\in L^\prime$ is algebraic over $K$ with the same minimal polynomial ($f=\sigma(f)$).2012-08-05