Intereting Posts

What is the highest power of $n$ in $(n^r-1)!$
State of the progess of the automated proof checking
Is this function holomorphic at 0?
Prove that $f$ has derivatives of all orders at $x=0$, and that $f^{(n)}(0)=0$ for $n=1,2,3\ldots$
A series $10^{12} + 10^7 – 45\sum_{k=1}^{999}\csc^4\frac{k\pi}{1000}.$
Suprema proof: prove $\sup(f+g) \le \sup f + \sup g$
Evaluating Indefinite Integrals of the form $\int\frac{f(x)}{p(x) \sqrt{q(x)}}\mathrm dx$
Square root of a specific 3×3 matrix
Given a group $ G $, how many topological/Lie group structures does $ G $ have?
Spectrum of a large matrix
Show that $\frac{xy}{z} + \frac{xz}{y} + \frac{yz}{x} \geq x+y+z $ by considering homogeneity
Prove by induction: $\sum\limits_{k=1}^{n}sin(kx)=\frac{sin(\frac{n+1}{2}x)sin\frac{nx}{2}}{sin\frac{x}{2}}$
A curve whose image has positive measure
Examples of famous problems resolved easily
Summing the series $(-1)^k \frac{(2k)!!}{(2k+1)!!} a^{2k+1}$

I am studying field theory, and I just started the chapter on Galois theory.

Since a Galois extension is the splitting field of some polynomial $p(x)$ and this polynomial have exactly $n$ roots in the extension field I think that every automorphism of the extension permutes the roots of $p(x)$ [and for every permutation there exist an automorphism].

So I deduced that that size of the Galois group, that is the number of automorphisms from the extension to itself that fix the field we started with, is $n!$ for some natural $n$.

- Inverse Limits in Galois Theory
- Analogy of ideals with Normal subgroups in groups.
- If $v$ is algebraic over $K(u)$, for some $u\in F$, and $v $ is transcendental over $K$, then $u$ is algebraic over $K(v)$
- Commutativity of “extension” and “taking the radical” of ideals
- $T:V\rightarrow W$ such that $N(T)=V'\subset V$ and $R(T)=W'\subset W$
- If we have exactly 1 eight Sylow 7 subgroups, Show that there exits a normal subgroup $N$ of $G$ s.t. the index $$ is divisible by 56 but not 49.

Am I right ?

- A finite field extension of $\mathbb R$ is either $\mathbb R$ or isomorphic to $\mathbb C$
- A particular set of generators for $S_n$
- How to deal with polynomial quotient rings
- Principal ideal and free module
- Finite Abelian groups: $G \times H \cong G\times K$ then $H\cong K$
- An elementary problem in Group Theory: the unique noncyclic group of order 4
- An element is integral iff its minimal polynomial has integral coefficients.
- Example of a ring without unity that has a subring with unity?
- “Classify $\mathbb{Z}_5 \times \mathbb{Z}_4 \times \mathbb{Z}_8 / \langle(1,1,1)\rangle$”
- How do i visualize Cosets of a group

No I don’t think this is right. For example the extension $\Bbb{Q}(\sqrt{3},\sqrt{2})$ is a Galois extension of $\Bbb{Q}$ because it is the splitting field of $(x^2 – 3)(x^2-2)$. This polynomial has exactly 4 distinct roots in $\Bbb{Q}(\sqrt{3},\sqrt{2})$ and it can easily be shown that its Galois group is the Klein 4-group $V_4$. But $V_4$ has order 4 that is not equal to $4!=24$.

Now you are thinking that the Galois group has to be $S_4$. Let me tell you why this is not possible. Let us call $\sqrt{3}$ root #1, $\sqrt{2}$ root #2, $-\sqrt{3}$ root #3, $-\sqrt{2}$ root #4. Given a cycle in $S_4$ let that cycle act on the roots simply by permuting the numbers $1,2,3$ and $4$. For example, the cycle $(12)$ exchanges $\sqrt{3}$ and $\sqrt{2}$ and keeps the negative guys fixed. But then this cannot possibly be a *valid* element of the Galois group because:

Elements of the Galois group must send for example $\sqrt{2}$ to ** another root of the minimal polynomial of $\sqrt{2}$ over $\Bbb{Q}$.** The minimal polynomial of $\sqrt{2}$ when viewed as an element of $\Bbb{Q}(\sqrt{2},\sqrt{3})$ is $x^2 -2$. Therefore the

It follows that the Galois group in this case can only be viewed as a proper subgroup of $S_4$ and hence cannot have order $4!=24$.

**Edit:** Since you seem to be having some trouble understanding the Galois group, let me explain a bit more here. Now I assume that you know what an $F$ – algebra is (otherwise how would you understand field extensions?)

The following is the start of how one describes the Galois group:

Let $A = F[x]$ where $F$ is a field. Let $\iota_A$ denote inclusion of $F$ into $A$. Then any $F$ – algebra homomorphism from $F[x]$ to some other $F$ – algebra $B$ (where the homomorphism in question for $B$ is just the inclusion map $\iota_B : F \to B$) is completely determined by specifying the image of $x$ in $B$. This is because if we have an $F$ – algebra homomorphism $\varphi$ from $F[x] \rightarrow B$, we must have that

$$\iota_B = \varphi \circ \iota_A.$$

In particular this means that $\varphi$ must be the *identity* on the coefficients of a polynomial in $F[x]$. This explains why $\varphi$ is completely determined by its action on $x$. Now we claim that we have a bijection of sets

$$\Big\{\operatorname{Hom}_{\text{$F$ -algebra}} \big(F[x],B\big)\Big\} \longleftrightarrow B $$

where the bijection is given by $f$ that maps $\varphi$ on the left to $\varphi(x)$ with inverse $g$ that maps an element in $b \in B$ to the homomorphism $\varphi_b$ which is evaluation at $b$. Viz. $\varphi_b$ is just the homomorphism that sends $x$ to $b$. You can check that $f$ and $g$ are mutual inverses.

Now a corollary of this is that we have a bijection

$$\Big\{\operatorname{Hom}_{\text{$F$ -algebra}} \big(F[x]/(f(x)),B\big)\Big\} \longleftrightarrow \Big\{b\in B : \varphi_b(f(x)) = 0 \Big\}. $$

I will leave you to work out the details of how this comes from the fact I stated before. Essentially it is due to the universal property of quotient rings that says given a unique ring homomorphism $\varphi$ from $F[x]$ to $B$ we have unique ring homomorphism from the quotient of $F[x]/(\ker \varphi)$to $B$ such that $\varphi$ factorises through the quotient. I can edit my post to explain this more if you wish.

This is the start of how one gets a description of the Galois group because giving a homomorphism from some field say $F(\alpha)$ to itself (which is automatically an automorphism by the Rank – Nullity Theorem) is by my description above equivalent equivalent to specifying a root of the minimal polynomial of $\alpha$ over $F$ in $B$. But then our $B$ here is exactly what we started with, that is $F(\alpha)$ so that $\alpha$ must be sent to another root of its minimal polynomial over $F$.

Does this help to explain more to you?

Benjamin Lim’s answer is great. I thought I would add an answer with infinitely many counterexamples. Let $a\geq 1$ be a natural number, and let $K$ be the splitting field over $\mathbf{Q}$ of

$$x^3-ax^2-(a+3)x-1.$$

The discriminant of this polynomial is $(a^2+3a+9)^2$, a square, and the polynomial is irreducible over $\mathbf{Q}$ since it is a cubic without rational roots (the only possibilities for rational roots are $\pm 1$, and neither works). Therefore $\operatorname{Gal}(K/\mathbf{Q})\cong \mathbf{Z}/3\mathbf{Z}$, instead of $S_3$, so the size of the Galois group is $3$, and not $3!=6$. These fields are called the “simplest cubic fields”, and you can learn more about them in this article by Daniel Shanks.

- if every continuous function attains its maximum then the (metric) space is compact
- Number of solutions to a set of homogeneous equations modulo $p^k$
- Everything in the Power Set is measurable?
- Prove that $\sum\limits_{n=1}^{\infty} \frac{n}{3^n} = \frac{3}{4}$
- “Fair” game in Williams
- Irreducibility is preserved under base extension
- Novel approaches to elementary number theory and abstract algebra
- Why are very large prime numbers important in cryptography?
- Compute center, axes and rotation from equation of ellipse
- Can the factorial function be written as a sum?
- Can a surjective continuous function from the reals to the reals assume each value an even number of times?
- meaning of powers on trig functions
- cyclic vectors- cyclic subspaces
- Give an example of a relation R on $A^2$ which is reflexive, symmetric, and not transitive
- Is there a classification of finite abelian group schemes?