Intereting Posts

Expectation of an Absolute Value that is the Standard Normal?
Proving that $ 2 $ is the only real solution of $ 3^x+4^x=5^x $
Books to study for Math GRE, self-study, have some time.
Solve $\sqrt{x+4}-\sqrt{x+1}=1$ for $x$
Norm of a Kernel Operator
Use of determinants
How to solve cubic equations with given coefficients?
Shortest path on a sphere
If $H$ is a subgroup of $\mathbb Q$ then $\mathbb Q/H$ is infinite
How does (21) factor into prime ideals in the ring $\mathbb{Z}$?
Definite integral $\int_1^2 \sqrt{1+\left(-x^{-2}+x^2/4\right)^2}\,dx$
How fast does the function $\displaystyle f(x)=\lim_{\epsilon\to0}\int_\epsilon^{\infty} \dfrac{e^{xt}}{t^t} \, dt $ grow?
What is the maximum point for which number of way to reach is given
If $a_1,a_2,\ldots, a_n$ are distinct primes, and $a_1=2$, and $n>1$, then $a_1a_2\cdots a_n+1$ is of the form $4k+3$.
Matrix Equality

Let $f(x)$ and $g(x)$ be irreducible polynomials over a field $F$ and let $a,b \in E$ where $E$ is some extension of $F$. If $a$ is a zero of $f(x)$ and $b$ is a zero of $g(x)$, show that $f(x)$ is irreducible over $F(b)$ if and only if $g(x)$ is irreducible over $F(a)$.

**Attempt:** Since $f(x),g(x)$ are irreducible over $F \implies a,b \notin F$.

$f(x)$ is irreducible over $F(b) $ and $f(x)$ is irreducible over $F \implies a \neq b$ (As, $a$ is the zero of $f(x)$)

- Prove the product of a polynomial function of the roots of another polynomial is an integer.
- Let $\phi:G_1\to G_2$ be a group homomorphism. Show $\phi(g^{-1})=(\phi(g))^{-1}$.
- Real life examples of commutative but non-associative operations
- Understanding the quotient ring $\mathbb{R}/(x^3)$.
- Each element of a ring is either a unit or a nilpotent element iff the ring has a unique prime ideal
- Do these matrix rings have non-zero elements that are neither units nor zero divisors?

Which means $b \notin F(a)$ either $\implies g(x)$ is irreducible over $F(a)$.

Similarly, the other half can be proved in a similar way.

Is my solution attempt correct?

Thank you for your help..

- Characteristic of an integral domain must be either $0$ or a prime number.
- $p = x^2 + xy + y^2$ if and only if $p \equiv 1 \text{ mod }3$?
- Is number rational?
- Minimum polynomial of $\sqrt{2} + \sqrt{5}$ above $\mathbb{Q}$ (and a generalization)
- $M$ finitely generated if submodule and quotient are finitely generated.
- Let $D$ be a UFD. If an element of $D$ is not a square in $D$ then is it true that it is not a square in the fraction field of $D$?
- Intuition behind quotient groups?
- A nontrivial subgroup of $G$ contained in every other nontrivial subgroup.
- Is any quotient of a Euclidean domain by a prime ideal a Euclidean domain?
- How far can we go with group isomorphisms?

$[F(a,b):F(b)]=\deg f$ iff $f$ is irreducible over $F(b)$. In this case $[F(a,b):F]=\deg f\deg g$.

$[F(a,b):F(a)]=\deg g$ iff $g$ is irreducible over $F(a)$. In this case $[F(a,b):F]=\deg f\deg g$.

We also have $[F(a,b):F]=[F(a,b):F(b)][F(b):F]=(\deg g)[F(a,b):F(b)]$ and $[F(a,b):F]=[F(a,b):F(a)][F(a):F]=(\deg f)[F(a,b):F(b)]$.

**Hint**

$\qquad \begin{array}{ccc} & F(\alpha,\beta)\ &\\

\color{#c00}x\nearrow\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!& &\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! \nwarrow \color{#0a0}y\\

F(\alpha)\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! & &\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\! F(\beta)\\

& a\nwarrow\qquad\nearrow b \\

& F &

\end{array} \Rightarrow\ \ \ {xa = yb}\ \ \ \Rightarrow\!\!\!\!\!\! \overset{\Large \stackrel{g\ {\rm irred\ over\ } F(\alpha)\ \ \ \ \ }\Updownarrow}{\color{#c00}{x=b}}\!\!\!\!\!\!\!\!\!\iff\!\!\!\!\!\!\!\!\! \overset{\Large \stackrel{\ \ f\ {\rm irred\ over\ }F(\beta)}\Updownarrow_\phantom{I^{I^I}}\!\!\!\!\!\!\!\!}{\color{#0a0}{y = a}}$

- Differentiable function in the normed space $\,\mathcal{C}$
- Edge coloring of the cube
- (Combinatorial) proof of an identity of McKay
- Cauchy's Integral Formula for Cayley-Hamilton Theorem
- Prove a function is one-to-one and onto
- Can decimal numbers be considered “even” or “odd”?
- Combinatorially showing $\lim_{n\to \infty}{\frac{2n\choose n}{4^n}}=0$
- Why is the Continuum Hypothesis (not) true?
- Overview of basic facts about Cauchy functional equation
- What is “white noise” and how is it related to the Brownian motion?
- What is a nice way to compute $f(x) = x / (\exp(x) – 1)$?
- Diophatine equation $x^2+y^2+z^2=t^2$
- First-order formula in first-order language, another open language where equivalence true on the naturals?
- Example of Tetration in Natural Phenomena
- Positive semidefinite cone is generated by all rank one matrices.