Intereting Posts

Factoring extremely large integers.
Intervals are connected and the only connected sets in $\mathbb{R}$
Why General Leibniz rule and Newton's Binomial are so similar?
Do we have $End(V \otimes V) = End(V) \otimes End(V)$?
What's an intuitive way to think about the determinant?
Showing that $\int_{0}^{1}{x(x-1)(x+2)\over (x+1)^3}\cdot{1\over \ln(x)}dx={\ln{\pi\over 2}-{7\zeta(3)\over 4\pi^2}}$
Why isn't there a contravariant derivative? (Or why are all derivatives covariant?)
Confused on a proof that $\langle X,1-Y\rangle$ is not principal in $\mathbb{Q}/\langle 1-X^2-Y^2\rangle$
Max dimension of a subspace of singular $n\times n$ matrices
Minimum of $n$? $123456789x^2 – 987654321y^2 =n$ ($x$,$y$ and $n$ are positive integers)
Give an example of a non compact Hausdorff space such that $\Delta$ is closed but $Y$ is not Hausdorff
How do iterative methods applied to the companion matrix of a polynomial $p(\lambda)$ relate to $p$ itself?
What's the geometrical interpretation of the magnitude of gradient generally?
Simplifying Trig Product in terms of a single expression and $n$
what is the tensor product $\mathbb{H\otimes_{R}H}$

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?

- Classification of indecomposable modules over a given ring
- Determine the general term of a Recurrent Rational Sequence
- Example of Left and Right Inverse Functions
- Some irreducible character separates elements in different conjugacy classes
- Contravariant Grothendieck Spectral Sequence
- Subgroup of $\mathbb{Q}$ with finite index

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.

- Endomorphisms of modules satisfying chain conditions and counterexamples.
- Why are rings called rings?
- Appearance of Formal Derivative in Algebra
- Ideal defining the nilpotent cone of $\mathfrak{gl}_n(k)$
- When are nonintersecting finite degree field extensions linearly disjoint?
- Countable infinite direct product of $\mathbb{Z}$ modulo countable direct sum
- The degree of the extension $F(a,b)$, if the degrees of $F(a)$ and $F(b)$ are relatively primes.
- Why is the set of commutators not a subgroup?
- Aut $\mathbb Z_p\simeq \mathbb Z_{p-1}$
- Abelianization of free product is the direct sum of abelianizations

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**

- an analytic function from unit disk to unit disk with two fixed point
- Taylor expansion for $\arcsin^2{x}$
- At most finitely many (Hamel) coordinate functionals are continuous – different proof
- Subgroups of symmetric group
- Morphisms of $k$-schemes who agree on $\overline{k}$-points.
- What does closed form solution usually mean?
- Find rotation that maps a point to its target
- Original works of great mathematician Évariste Galois
- Does the Frattini subgroup $\Phi(G)$ contain the intersection $Z(G)\cap $.
- Do factorials really grow faster than exponential functions?
- Relationship Between Differential Forms and Vector Fields
- Do these $\sigma$-algebras on second countable spaces coincide?
- Show $\nabla\cdot\left(\mathbf{F}\times\mathbf{G}\right)=\mathbf{G}\cdot(\nabla\times\mathbf{F})-\mathbf{F}\cdot(\nabla\times\mathbf{G})$
- Inverse of a symmetric tridiagonal filter matrix
- Mathematical definition of the word “generic” as in “generic” singularity or “generic” map?