Intereting Posts

How to find $\lim_{(x,y)\rightarrow (0,0)} \frac{\sin(x\cdot y)}{x}$?
On commutative unital graded rings in which no element in any homogenous part has a zero divisor
If $\lim_n f_n(x_n)=f(x)$ for every $x_n \to x$ then $f_n \to f$ uniformly on $$?
Finer topologies on a compact Hausdorff space
In what spaces does the Bolzano-Weierstrass theorem hold?
Can a Mersenne number ever be a Carmichael number?
Proof of $\arctan{2} = \pi/2 -\arctan{1/2}$
How to solve this Complex inequality system
How to descend within the “Tree of primitive Pythagorean triples”?
Solving this limit without l'Hôpital $\lim_{x \to -\infty} \sqrt{x^2 +x + 4} + x$
Equivalence of tensor reps & tensor products of reps
Applications of complex numbers to solve non-complex problems
Proof Verification for $n2^{n-1} = \sum\limits_{k=1}^n k\binom{n}{k}$
A calculus problem with functions such that $f''(x) = g(x)$ and $g''(x) = f(x)$
What is a function?

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)$)

- For which $k$ do the $k$th powers of the roots of a polynomial give a basis for a number field?
- Show that a ring is commutative if it has the property that ab = ca implies b = c when $a\neq 0$
- Result due to Cohn, unique division ring whose unit group is a given group?
- Maximal Ideals in the Ring of Complex Entire Functions
- Rings with a given number of (prime, maximal) ideals
- True/False about ring and integral domain

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

- How to prove or disprove PID (or ED)?
- Euclidean Algorithm help!
- Quotient ring of Gaussian integers $\mathbb{Z}/(a+bi)$ when $a$ and $b$ are NOT coprime
- Prime elements of ring $\mathbb{Z}$
- Constructing a finite field
- $\ker \phi = (a_1, …, a_n)$ for a ring homomorphism $\phi: R \to R$
- Can an element in a Noetherian ring have arbitrarily long factorizations?
- Literature on group theory of Rubik's Cube
- Is the set of all rational numbers with odd denominators a subring of $\Bbb Q$?
- $Tr(A^2)=Tr(A^3)=Tr(A^4)$ then find $Tr(A)$

$[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}}$

- Asymptotic approximation of sum $\sum_{k=0}^{n}\frac{{n\choose k}}{2^{2^k}}$
- Probability of selecting different kinds of items from a set of items
- Primary ideals of Noetherian rings which are not irreducible
- Geometrical interpretation of $(\sum_{k=1}^n k)^2=\sum_{k=1}^n k^3$
- Solve the System of Equations in Real $x$,$y$ and $z$
- definition of winding number, have doubt in definition.
- $L^2()$ is a set of first category in $L^1()$?
- $A$ and $B$ are ideals of a ring ${R}$ such that $A\cap B=\{0\}$. Prove that $st=0$ for every $s\in A, t\in B$.
- Is 2201 really the only non-palindromic number whose cube is palindromic?
- Sequences of integers with lower density 0 and upper density 1.
- Two circle intersection: help on understanding a specific explanation
- Prove that $F_n={n-1 \choose 0 }+{n-2 \choose 1 }+{n-3 \choose 2 }+\ldots$ where $F(n)$ is the $n$-th fibonacci number
- Prove $\frac{\sqrt\pi z^v}{2^v~\Gamma\left(v+\frac{1}{2}\right)}\int_0^\infty e^{-z\cosh t}\sinh^{2v}t~dt=\int_0^\infty e^{-z\cosh t}\cosh vt~dt$?
- Combinatoric puzzle: minimum servings at dinner
- Quick way to find eigenvalues of anti-diagonal matrix