Intereting Posts

Do all algebraic integers in some $\mathbb{Z}$ occur among the character tables of finite groups?
How to geometrically interpret $\sum^{p}_{1}\lambda_{i}(A)=\operatorname{tr}(A)$?
What is the length of a point on the real number line?
2 Tricks to prove Every group with an identity and x*x = identity is Abelian – Fraleigh p. 48 4.32
Solve $\sin x = 1 – x$
Mminimize the integral and obtaining the constants $a$ and $b$
Why can we always take the zero section of a vector bundle?
Diophantine quartic equation in four variables, part deux
Units and Nilpotents
Intuitive explanation of variance and moment in Probability
a follow up question about modeling with exponential distributions
What is intresting about $\sqrt{\log_x{\exp{\sqrt{\log_x{\exp{\sqrt{\log_x{\exp{\cdots}}}}}}}}}=\log_x{e}$?
Question about Euler's approach to find $\sum_{n=1}^\infty\frac1{n^2}=\frac{\pi^2}6$
Series $\sum_{k=1}^\infty \left(\frac{1}{k}-\frac{1}{k+z} \right)$
Area of quadrangle

If $E/F$ is a field extension, and $H$ is a subgroup of $\mathrm{Aut}(E/F)$, it is quite trivial to see that $H\subset \mathrm{Aut}(E/E^H)$.

Since the theorem only shows the inclusion relationship, I think there must be a lot of examples where $\subset$ is actually $\subsetneq$. But due to lack of knowledge I can’t come up with one.

Could you help me with this? Best regards.

- Proving $2,3,1+\sqrt{-5}$ and $1-\sqrt{-5}$ are irreducible in $\mathbb{Z}$
- Prove that $\Gamma_I(\frac{M}{\Gamma_I(M)})=0$
- Subgroups of $(\mathbb Z_n,+)$
- Two definitions of tensor product: when are they equivalent?
- The (Jacobson) radical of modules over commutative rings
- Solvability of a group with order $p^n$

- Show there is a surjective homomorphism from $\mathbb{Z}\ast\mathbb{Z}$ onto $C_2\ast C_3$
- Vector Space Structures over ($\mathbb{R}$,+)
- Is my proof that $U_{pq}$ is not cyclic if $p$ and $q$ are distinct odd primes correct?
- If $n>m$, then the number of $m$-cycles in $S_n$ is given by $\frac{n(n-1)(n-2)\cdots(n-m+1)}{m}$.
- Is $\mathbb{Z}/3\otimes \mathbb{Z}=\mathbb{Z}/3$?
- Why free presentations?
- Meaning of $\mathbb{Z}\left$?
- Prove that $R \otimes_R M \cong M$
- (Ir)reducibility criteria for homogeneous polynomials
- How many irreducible factors does $x^n-1$ have over finite field?

If $H$ is finite, we always have equality. See these notes by Noam Elkies.

There are counterexamples, when $H$ is infinite.

If we allow a transcendental extension, then the following example is easy to grasp. Let $E=\Bbb{Q}(x)$ be the field of fractions of the polynomial ring $\Bbb{Q}[x]$. Let $\sigma$ be the automorphism gotten by extending $x\mapsto x+1$ in the obvious way, and let $H=\langle\sigma\rangle$ be the infinite cyclic group. Then it is not difficult to show (for an argument see an earlier answer of mine) that $E^H=\Bbb{Q}$. But $E$ has many other $\Bbb{Q}$-automorphisms. They are all of the form

$$

x\mapsto \frac{ax+b}{cx+d}

$$

with $ad-bc\neq0$ (= a quotient group of invertible 2×2 matrices by scalar matrices).

If you want an example of an algebraic extension, then it is a bit more complicated. Let $E$ be the algebraic closure of $\Bbb{F}_p$, and let $H$ be the group of automorphisms generated by the Frobenius mapping $F:z\mapsto z^p$. Because a degree $p$ polynomial can have at most $p$ fixed points we see that $E^H=\Bbb{F}_p$. But $H$ is not all of $Aut(E/\Bbb{F}_p)$. The recipe for all $\Bbb{F}_p$-automorphisms of $E$ is described in this answer by Ted. Here $H$ is only a dense subgroup of $Aut(E/\Bbb{F}_p)$ (w.r.t. the Krull topology). You need to read a bit about Galois theory of infinite algebraic extensions for the use of topological concepts to make sense here.

- Rellich's theorem for Sobolev space on the torus
- Splitting of primes in the compositum of fields
- Finite number of subgroups $\Rightarrow$ finite group
- If $a$, $a+2$ and $a+4$ are prime numbers then, how can one prove that there is only one solution for $a$?
- Is there another way to solve this integral?
- How to prove that $\lim_{x\rightarrow \infty}\dfrac{x^2}{e^x}=0$?
- expected value of a function
- $p$-Sylow subring
- Induction proof of $n^{(n+1) }> n(n+1)^{(n-1)}$
- How to show that we can always choose a smaller number?
- Rudin Theorem 2.41 – Heine-Borel Theorem
- In a complex vector space, $\langle Tx,x \rangle=0 \implies T = 0$
- Intuition behind curl identity
- Does a cubic polynomial with 3 real roots have Galois group C3?
- Self-teaching myself math from pre-calc and beyond.