4
$\begingroup$

I have been going through the exercises from Contemporary Abstract Algebra, and there are a few questions that I just couldn't solve.

  1. Let $F=Q(\pi^3)$. Find a basis for $F(\pi)$ over $F$. I know the structure of $Q(\pi)$ (kinda like the quotient field on $Q$), but I don't know how to proceed from there.

  2. Let $F$ be a field with characteristic $p\neq 0$. Show that the polynomial $x^{p^n}-x$ has distinct zeros. I know that a polynomial $f$ has a multiple zero if and only if $f$ and $f'$ have a common factor of positive degree. However, I'm kinda stuck on verifying that $x^{p^n}-x$ and $p^nx^{p^n-1}-1$ have no common factor.

  3. If $F$ is a field and the multiplicative group of nonzero elements of $F$ is cyclic, show that $F$ is finite. I honestly don't even know how to start thinking about this question. A hint would be much appreciated.

  4. Show that $\sqrt{2} \notin Q(\pi)$. Here is my train of thought: assume otherwise. Then \begin{equation} \sqrt{2} = \frac{a_m\pi^m+\cdots+a_1\pi+a_0}{b_n\pi^n+\cdots+b_1\pi+b_0} \end{equation} so that \begin{equation} 2 = \frac{(a_m\pi^m+\cdots+a_1\pi+a_0)^2}{(b_n\pi^n+\cdots+b_1\pi+b_0)^2} \text{.} \end{equation} But I'm not sure how to continue from here.

  5. Suppose $a$ is algebraic over a field $F$. Show that $a$ and $1+a^{-1}$ have the same degree over $F$. The only observation that I can make is that $F(a)=F(1+a^{-1})$, which may or may not help me solve this question. I feel like there must be a simple trick that I'm simply overlooking.

  • 0
    I'm sure 1. was asked here not too long ago.2012-12-17

1 Answers 1

3

1-Observe that $\pi$ is algebraic over $F$ and therefore $F(\pi)=F[\pi]$. The element $\pi$ is a root of the polynomial $x^3-\pi^3\in F[x]$ and therefore $F(\pi)$ is generated as a $F$-vector space by the set $\{1,\pi,\pi^2\}$. It remains to prove that this set is linearly independent. If not, there exist polynomials $f,g,h\in Q[X]$ not all zero such that $f(\pi^3)+\pi g(\pi^3)+\pi^2h(\pi^3)=0$. The degrees in $\pi$ of each term in $f(\pi^3)$ are $\equiv 0\mod 3$, in $\pi g(\pi^3)$ they are $\equiv 1\mod 3$ and in $\pi^2 h(\pi^3)$ they are $\equiv 2\mod 3$. Then we have a non trivial polynomial equation in $\pi$ with rational coefficients which is impossible since $\pi$ is trascendental.

  • 0
    It follows from my proof that $x^3-\pi^3$ is irreducible and this is because we've seen that: 1) $[F(\pi):F]=3$, which implies that the irreducible polynomial of $\pi$ has degree 3, and 2) the polynomial $\x^3-\pi^3$ annihilates $\pi$ so it must be the irreducible polynomial of $\pi$.2019-02-02