Intereting Posts

Product of right cosets equals right coset implies normality of subgroup
University-level books focusing on intuition?
How to find the set of units of $\mathbb{Z}$
Is it true that all single variable integral that had closed form can solve by one algorithms?
Limit of a sequence of averaged numbers?
Point on the left or right side of a plane in 3D space
Unions and the axiom of choice.
Do we get predicative ordinals above $\Gamma_0$ if we use hyperexponentiation?
Simulate simple non-homogeneous Poisson proces
Binomial Coefficients Proof: $\sum_{k=0}^n {n \choose k} ^{2} = {2n \choose n}$.
A fair coin is tossed $n$ times by two people. What is the probability that they get same number of heads?
Find $\lim\limits_{n \rightarrow \infty}\dfrac{\sin 1+2\sin \frac{1}{2}+\cdots+n\sin \frac{1}{n}}{n}$
Contractibility of the space of sections of a fiber bundle
Sum involving the product of binomial coefficients
Is this a valid way to show $\chi(SL_n(\mathbb{R}))=0$?

Among the many techniques available at our disposal to prove FTA, is there any purely algebraic proof of the theorem?

That seems reasonably unexpected, because somehow or the other we are depending on the topological nature of $R$, and Wikipedia supports the claim in these statements: “In spite of its name, there is no purely algebraic proof of the theorem, since any proof must use the completeness of the reals (or some other equivalent formulation of completeness), which is not an algebraic concept.”

Is it a proven fact that no pure algebraic proof is possible?

- A morphism of free modules that is an isomorphism upon dualization.
- semidirect product of semigroups
- Finding an example for $\mathrm{Hom}\left ( \prod A_{j} ,B\right )\ncong \prod \mathrm{Hom}\left ( A_{j} ,B\right ) $
- Intersection of maximal subgroups isomorphic to $PGL_2(p)$ is of form $PGL_2(p_0)$
- Is the product of ideals commutative?
- More than 99% of groups of order less than 2000 are of order 1024?

And so if I assume we are relying on the topological properties of $R$ and $C$ to prove the theorem, then given any arbitrary field how can one test whether it is algebraically closed or not?

Again in Wikipedia I found this result stated, “The classic example is the theory of algebraically closed fields of a given characteristic. Categoricity does not say that all algebraically closed fields of characteristic 0 as large as the complex numbers C are the same as C; it only asserts that they are isomorphic as fields to C. It follows that although the completed p-adic closures Cp are all isomorphic as fields to C, they may (and in fact do) have completely different topological and analytic properties.” so i now want to rephrase my question as, given any field with different topological properties than C and which is in no simple way isomorphic to $C$ how can we generalize the proof of FTA to check whether FTA is valid on those fields?

And what about characteristic p fields? i can see an example that algebraic closure of $F_p((t))$ is an example of infinite, characteristic p field that is by construction closed, but if we had in our arsenal other ways to describe the field and suppress the fact that it is algebraic closure of another field then how can one prove that it is algebraically closed?

I don’t understand anything about categoricity and such things, and I was only interested in the result taken, and I am sorry if it is a repost.

- Intuition for groups
- Problem on $\operatorname{Hom}(\mathbb Z_6,R^*\oplus C^*)$
- Idempotents in $\mathbb Z_n$
- If I have the presentation of a group, how can I find the commutator subgroup of it?
- What's the difference between isomorphism and homeomorphism?
- Let $R$ be a finite commutative ring. Show that an ideal is maximal if and only if it is prime.
- Product of numbers $\pm\sqrt{1}\pm\sqrt{2}\pm\cdots\pm\sqrt{n}$ is integer
- Variety generated by finite fields
- Order of $\phi(g)$ divides the order of $g$
- How is this subgroup a normal subgroup?

No, there is no purely algebraic proof of FTA.

So, as someone already noted, FTA is a misnomer.

I think the following proof is one of the *most* algebraic ones, though it’s not *purely* algebraic.

**Assumptions**

We assume the following facts.

(1) Every polynomial of odd degree in $\mathbb{R}[X]$ has a root in $\mathbb{R}$.

(2) Every polynomial of degree 2 in $\mathbb{C}[X]$ has a root in $\mathbb{C}$.

Note:

(1) can be proved by the intermediate value theorem.

(2) can be proved by the fact that every polynomial of degree 2 in $\mathbb{R}[X]$ has a root in $\mathbb{C}$.

**Notation**

We denote by $|G|$ the order of a finite group $G$.

**Lemma**

Let $K$ be a field.

Suppose every polynomial of odd degree in $K[X]$ has a root in K.

Let $L/K$ be a finite Galois extension.

Then the Galois group $G$ of $L/K$ is a 2-group.

Proof:

We can assume that $L \neq K$.

By the theorem of primitive element, there exists $\alpha$ such that $L = K(\alpha)$.

By the assumption, the degree of the minimal polynomial of $\alpha$ is even.

Hence $|G|$ is even.

Let $|G| = 2^r m$, where $m$ is odd.

Let $P$ be a Sylow 2-subgroup of $G$.

Let $M$ be the fixed subfield by $P$.

Since $(M : K) = m$ is odd, $m = 1$ by the similar reason as above.

**QED**

**The fundamental theorem of algebra**

The field of complex numbers $\mathbb{C}$ is algebraically closed.

Proof:

Let $f(X)$ in $\mathbb{R}[X]$ be non-constant.

It suffices to prove that $f(X)$ splits in $\mathbb{C}$.

Let $L/\mathbb{C}$ be a splitting field of $f(X)$.

Since $L/\mathbb{R}$ is a splitting field of $(X^2 + 1)f(X)$, $L/\mathbb{R}$ is Galois.

Let $G$ be the Galois group of $L/\mathbb{R}$.

Let $H$ be the Galois group of $L/\mathbb{C}$.

By the assumption (1) and the lemma, $G$ is a 2-group.

Hence $H$ is also a 2-group.

Suppose $|H| > 1$.

Since $H$ is solvable, $H$ has a nomal subgroup $N$ such that $(H : N) = 2$.

Let $F$ be the fixed subfield by $N$.

Since $(F : C) = 2$, this is a contradiction by the assumption (2).

Hence $H = 1$. It means $L = \mathbb{C}$.

**QED**

- Looking for an alternative proof of the angle difference expansion
- Let $f$ be an analytic isomorphism on the unit disc $D$, find the area of $f(D)$
- Explain Carmichael's Function To A Novice
- $A \subseteq B$ if and only if $B' \subseteq A'$?
- When will $AB=BA$?
- What is exactly the inverse of the function $f(x)=\frac{x}{1-x^2}$?
- How to simplify this special case of Meijer G-Function?
- Why does $\ln(x) = \epsilon x$ have 2 solutions?
- How to round 0.4999… ? Is it 0 or 1?
- Smallest possible triangle to contain a square
- How to calculate interpolating splines in 3D space?
- If $p\equiv 1,9 \pmod{20}$ is a prime number, then there exist $a,b\in\mathbb{Z}$ such that $p=a^{2}+5b^{2}$.
- Pile of $2000$ cards
- Every irreducible representation comes via base change from a finite extension of the prime field
- How to get rid of the integral in this equation $\int\limits_{x_0}^{x}{\sqrt{1+\left(\dfrac{d}{dx}f(x)\right)^2}dx}$?