Intereting Posts

A problem on limit
Is there any branch of Mathematics which has no applications in any other field or in real world?
Show that the ideal $ (2, 1 + \sqrt{-7} ) $ in $ \mathbb{Z} $ is not principal
Integral ${\large\int}_0^1\frac{\ln^2\ln\left(\frac1x\right)}{1+x+x^2}dx$
The sum of the residues of a meromorphic differential form on a compact Riemann surface is zero
Category theory without codomains?
Quotient space and continuous linear operator.
Proving an invertible matrix which is its own inverse has determinant $1$ or $-1$
Symmetric Group $S_n$ is complete
Simulate repeated rolls of a 7-sided die with a 6-sided die
Why are rings called rings?
Sum of two periodic functions
Why free presentations?
Solving $a^2+3b^2=c^2$
If $X,Y$ are equivalence relations, so is $X \times Y$

I’m trying to express the splitting field of a cubic equation as a vector space over the rationals. Specifically I am looking for a set of six independent vectors that span the space. If the roots are a,b, and c then I know I need to be able to express all expressions in a,b and c up to second degree: namely,

a, a^2

b, b^2

- Galois group of $x^6-2$ over $\Bbb Q$
- Is it true that every element of $\mathbb{F}_p$ has an $n$-th root in $\mathbb{F}_{p^n}$?
- Finding the Galois group over $\Bbb{Q}$.
- If the minimal polynomial is irreducible $\bmod p$ for some $p$, is the Galois group cyclic?
- Find the minimal polynomial of $\sqrt2 + \sqrt3 $ over $\mathbb Q$
- When does a formula for the roots of a polynomial exist?

c, c^2

ab, bc, ca

a^2b, b^2c, c^2a, ab^2, bc^2, ca^2

Obviously there are 15 of these and they are not all independent. Given a and b, I easily get c as a linear term in a, b, and (a+b+c). Likewise c^2 is not independent of a^2 and b^2. And I find that I can generate ab etc as linear combinations of c, c^2, and abc.

So what are my six vectors? I have allowed myself 1, a, b, a^2, and b^2 ….this gives me five and I think they are all linearly independent. I’m only allowed one more and I can’t get it to work. I’m inclined to try (a^2b + b^2c + c^2a) because I’m pretty sure I need it, but having done so I can’t see how I generate terms like a^2b on their own.

Any ideas? I’d be especially interesteds if there is a basis which is more symmetric in some sense than the arbitrary collection of terms which I’m cobbling together.

- Conceptual reason why a quadratic field has $-1$ as a norm if and only if it is a subfield of a $\mathbb{Z}/4$ extension?
- Exercises on Galois Theory
- extension of automorphism of field to algebraically closed field
- Quadratic subfield of cyclotomic field
- How to prove that $\mathbb{Q} = \mathbb{Q}$, for $p_i$ prime?
- Every finite abelian group is the Galois group of of some finite extension of the rationals
- Show that $x^n + x + 3$ is irreducible for all $n \geq 2.$
- Finding the intermediate fields of $\Bbb{Q}(\zeta_7)$.
- Irreducible solvable equation of prime degree
- Expressing a root of a polynomial as a rational function of another root

The simplest basis I can think of consists of monomials $\mathcal{B}=\{1,a,a^2,b,ab,a^2b\}$. One way to see this goes as follows. Let’s first write

$$

P(x)=(x-a)(x-b)(x-c)=x^3-s_1x^2+s_2x-s_3,

$$

with the elementary symmetric polynomials $s_1=a+b+c$, $s_2=ab+bc+ac$ and $s_3=abc$. If $K$ is your base field, I claim that all the monomials $a^ib^jc^k$ can be written as linear combinations of monomials from the set $\mathcal{B}$ with coefficients from the field $L=K(s_1,s_2,s_3)$ (in your case surely $s_1,s_2,s_3\in K$, so the combinations are really $K$-linear).

The first and most obvious thing is to replace everywhere $c$ with $s_1-a-b$. After that we only need to take care of monomials $a^ib^j$. The quantities $a$ and $b$ are zeros of $P(x)$, so we know how to replace $a^i, i\ge 3$ and $b^j, j\ge3$ with lower powers. So we are left with the 9 monomials $\mathcal{B}\cup\{b^2,ab^2,a^2b^2\}$. Substituting $c=s_1-a-b$ to the equation $ab+ac+bc-s_2=0$ gives us a relation

$$

b^2=ab+a(s_1-a-b)+b(s_1-a)-s_2

$$

that allows us to write $b^2$ as an $L$-linear combination of $a^2,ab,a,b$ and $1$. When we do this substitution to a monomial like $ab^2$ or $a^2b^2$ we introduce higher powers of $a$. But we can reduce these to lower powers of $a$ as before. It may feel like $s_3$ wasn’t really used, but it did make an appearance, when we reduced the higher powers of $a$ and $b$.

- Improper integral and hypergeometric function
- The Hodge $*$-operator and the wedge product
- Show that $\lim_{n \to \infty}\prod_{k = n}^{2n}\dfrac{\pi}{2\tan^{-1}k} = 4^{1/\pi}$
- Confusion of the decidability of $(N,s)$
- How to compute SVD (Singular Value Decomposition) of a symmetric matrix
- Solving the recursive Equation $T(n) = 1 + \frac{2}{n} \sum_{i=1}^{n-2}T(i)$
- Is this a valid proof of $f(S \cap T) \subseteq f(S) \cap f(T)$?
- Limit of the derivative of a function as x goes to infinity
- Understanding the properties and use of the Laplacian matrix (and its norm)
- Is $f(x,y) = f(\mathbf{x})$ abuse of notation?
- Is there a “deep line” topological space in analogue to the “long line” $\omega_1\times[0,1)$?
- between Borel $\sigma$ algebra and Lebesgue $\sigma$ algebra, are there any other $\sigma$ algebra?
- What is $\lim_{n \to \infty} n a_n$?
- Product of $5$ consecutive integers cannot be perfect square
- One approach to showing the total variation of an absolutely continuous function f is the integral of |f'|