4
$\begingroup$

What is the meaning of "fix" in field theory?

Example: I found a definition of field automorphism,

A field automorphism fixes the smallest field containing $1$, which is $\Bbb Q$, the rational numbers, in the case of field characteristic zero.

The set of automorphisms of $F$ which fix a smaller field $F'$ forms a group, by composition, called the Galois group, written $\operatorname{Gal}(F/F')$. For example, take $F'=\Bbb Q$, the rational numbers, and ...

$\endgroup$
4
  • 3
    $\begingroup$ It means that it acts as identity if restricted to that subfield. In other words it sends each elements of $\mathbb{Q}$ to himself. Hence it "fixes" $\mathbb{Q}$ $\endgroup$
    – b00n heT
    Commented Jul 10, 2014 at 10:41
  • $\begingroup$ Look up "fixed point group action" on your favorite search engine. $\endgroup$
    – anon
    Commented Jul 10, 2014 at 11:56
  • 1
    $\begingroup$ It’s not a specially mathematical term. One speaks of the “fixed stars” (as opposed to the planets): they don’t move. Or one can say “I am fixed in my opinion” to indicate that the opinion hasn’t changed. $\endgroup$
    – Lubin
    Commented Jul 10, 2014 at 13:41
  • $\begingroup$ Or "fixed ladder", for that matter. The ordinary dictionary definition of "fixed" is "fastened securely". $\endgroup$
    – Pseudonym
    Commented Jul 11, 2014 at 0:34

3 Answers 3

Reset to default
8
$\begingroup$

I disagree with the other two answers. They tell you what the author meant, however this is not necessarily the meaning of "fixes" in mathematics.

The author is imprecise. If an automorphism $\sigma$ fixes a subfield $S$ it could mean two things.

  • It fixes the elements of the subfield, $\sigma(s)=s$ for all $s\in S$. That is, it fixes the subfield pointwise. So $\sigma$ induces the trivial automorphism of $S$.

  • It fixes the subfield, but moves the elements around within the subfield, $\sigma(S)=S$. That is, it fixes the subfield setwise. So $\sigma$ induces an automorphism of $S$, but not necessarily the trivial automorphism.

For example, in group theory an inner automorphism will fix all normal subgroups setwise but not necessarily pointwise. For an explicit example, think of the semidirect product of $H=\mathbb{Z}_2\times\mathbb{Z}_2$ with $K=\mathbb{Z}_2$ where the action of the non-trivial element of $\mathbb{Z}_2$ on $H$ swaps the two copies of $\mathbb{Z}_2$. This fixes $H$ setwise but not pointwise, although it fixes the "third" copy of $\mathbb{Z}_2$ in $H$ pointwise. (If you don't know about semidirect products, then forget about normal subgroups and just consider $\mathbb{Z}_2\times\mathbb{Z}_2$ with the same automorphism.)

$\endgroup$
5
  • 1
    $\begingroup$ I don't think I've ever seen "fixed field" mean anything other than the first. $\endgroup$
    – user14972
    Commented Jul 10, 2014 at 23:38
  • $\begingroup$ Yeah, wouldn't the second case normally be stated as "$S$ is invariant under $\sigma$"? Do you know of a reference in which "fixed" is used in the second sense? $\endgroup$
    – Nate Eldredge
    Commented Jul 11, 2014 at 0:00
  • $\begingroup$ Yes, the usual term for that is "invariant", not "fixed". $\endgroup$
    – Pseudonym
    Commented Jul 11, 2014 at 0:43
  • $\begingroup$ @NateEldredge Doing a Google Scholar search for "fixed setwise" automorphism brings up lots of results. My point wasn't that "fixes" doesn't have a precise meaning when talking about fields (I used the word "necessarily" as a get out clause!), but that it doesn't have a precise meaning in mathematics. I have flicked though my mini desk library, and for example Artin's Galois theory and Fraleigh's A first course in abstract algebra both define what they mean by a fixed field. $\endgroup$
    – user1729
    Commented Jul 11, 2014 at 8:44
  • $\begingroup$ (The implication being that because they define "fixed" to have this specific meaning, rather than assuming it, they understand the word "fixed" is ambiguous. The purpose of my answer to point out this ambiguity.) $\endgroup$
    – user1729
    Commented Jul 11, 2014 at 8:56
7
$\begingroup$

Let's get concrete for a moment. Consider the field automorphism:

$$f : \mathbb{C} \rightarrow \mathbb{C}\,\,\hbox{where}\,\,f(a + ib) = a - ib$$

This is commonly known as complex conjugation. (It's obvious that it's an invertible and that the domain and codomain are the same, and you can verify for yourself that it is a homomorphism if you want.)

If $z \in \mathbb{R}$, then $f(z) = z$. $\mathbb{R}$ is a subfield of $\mathbb{C}$, so we say that this subfield is "fixed" by the automorphism.

$\endgroup$
1
$\begingroup$

Basically, if $K$ is a field, $f: K \to K$ is a field automorphism then $f$ fixes some subfield $F$ of $K$ iff

$$ f|_{F} = id_F $$

i.e.

$$ \forall x \in F, f(x) = x $$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .