cartan.math.umb.edu - User contributions [en]

Math 361, Spring 2017, Assignment 13

2017-05-13T23:56:40Z

Beatris.Dominguez: /* Questions */

__NOTOC__
==Carefully define the following terms, then give one example and one non-example of each:==

# Symmetry (of a field extension $F\rightarrow E$).
# Galois group (of a field extension $F\rightarrow E$).
# Fixed field (of a subgroup of the Galois group).
# Group fixing a subextension.
# Galois correspondence (i.e. the maps $\phi$ and $\gamma$ discussed in class).
# Frobenius homomorphism.

==Carefully state the following theorems (you do not need to prove them):==

# The Freshman's Dream.
# Theorem concerning the splitting field of $x^{\left(p^n\right)}-x\in\mathbb{Z}_p[x]$.
# Theorem concerning uniqueness of finite fields of a given order.
# Theorem concerning inclusion-reversal of the Galois correspondence.
# Fundamental theorem of Galois theory.
# Theorem concerning the Galois group of $\mathbb{Z}_p\rightarrow GF(p^n)$.

==Solve the following problems:==

# Working in $GF(4)$, compute $(1+\alpha)^2$ and $1^2+\alpha^2$. Are these equal? What if the squares are replaced by cubes?
# Directly compute $x^4$ for each $x\in GF(4)$.
# Let $E$ denote the splitting field of $x^2-2\in\mathbb{Q}[x]$. Compute the Galois group $\mathrm{Gal}(E/\mathbb{Q})$. Then draw the subgroup diagram of the Galois group and the subextension diagram of $\mathbb{Q}\rightarrow E$, indicating the action of the maps $\phi,\gamma$ on these diagrams.
# Repeat the problem above, this time with $E$ denoting the splitting field of $x^4-x^2-6\in\mathbb{Q}[x]$.
# Draw the subextension diagram for $\mathbb{Z}_5\rightarrow GF(15625)$.

<center><big>'''--------------------End of assignment--------------------'''</big></center>

==Questions==
Galois group of field extension $F \rightarrow E$- the collection of all symmetries of $F \rightarrow E$ is a group under composition. Is the definition right and What would be an example.\

I think I am good with the above$\uparrow$ definition.

I have been auguring with a math colleague of mine about the theorem:

The theorem concerning inclusion-reversal of the Galois corresponding: If $H_1 \subseteq H_2$ then $\phi(H_1) \supseteq \phi(H_2)$[''$\phi$ is inclusion-reversing'']

While my colleague thinks it is

The theorem concerning inclusion-reversal of the Galois corresponding: Suppose $F \rightarrow E$ is any field extension. For any subgroup $H \subseteq Gal(E/F).$

Who is right?

==Solutions==

Math 361, Spring 2017, Assignment 13

2017-05-13T23:44:05Z

Beatris.Dominguez: /* Questions */

Math 361, Spring 2017, Assignment 10

2017-05-13T23:23:04Z

Beatris.Dominguez: /* Questions */

__NOTOC__
==Carefully define the following terms, then give one example and one non-example of each:==

# Relative algebraic closure (of a field $F$ in an extension $E$).
# $\overline{\mathbb{Q}}$ (a.k.a. the ''field of algebraic numbers'').
# Algebraically closed field.
# Prime subfield (of a field).
# Characteristic (of a field).
# $GF(p^n)$.

==Carefully state the following theorems (you do not need to prove them):==

# Theorem characterizing algebraically closed fields (i.e. giving several conditions equivalent to the property of being algebraically closed).
# Fundamental Theorem of Algebra.
# Theorem concerning degrees of irreducible polynomials in $\mathbb{C}[x]$.
# Theorem concerning degrees of irreducible polynomials in $\mathbb{R}[x]$.
# Theorem restricting the cardinality of a finite field.
# Theorem concerning existence of finite fields of certain cardinalities.
# Theorem relating finite fields of equal cardinality.

==Carefully describe the following procedures:==

# Procedure to factor polynomials in $\mathbb{C}[x]$.
# Procedure to factor polynomials in $\mathbb{R}[x]$.
# Procedure to construct finite fields.

==Solve the following problems:==

# Section 33, problems 1, 2, and 3.
# Construct a field with $125$ elements. (That is, describe how to write down elements of your field, give rules for addition and multiplication together with examples of these calculations, and explain why all this results in a field. You do ''not'' need to write down complete addition or multiplication tables.)
# Factor the polynomial $x^3 - 1$ over $\mathbb{C}$. ''(Hint: the roots all lie on the unit circle in the complex plane, and they are equally spaced around it. See the Wikipedia article on "Roots of unity" for more information.)''
# Factor the polynomial $x^3 - 1$ over $\mathbb{R}$.
# Show that $\overline{\mathbb{Q}}$ is algebraically closed, as follows: let $p=a_0+\dots+a_nx^n$ be any non-constant polynomial with coefficients in $\overline{\mathbb{Q}}$.
::(a) Explain why $p$ must have a root in $\mathbb{C}$. Choose such a root, and call it $\beta$.
::(b) Using the Dimension Theorem, show that $\mathbb{Q}(a_0,\dots,a_n)$ (i.e. the smallest subfield containing $\mathbb{Q}$ and the coefficients of $p$) must be finite-dimensional over $\mathbb{Q}$.
::(c) Using the classification of simple extensions, show that $\mathbb{Q}(a_0,\dots,a_n,\beta)$ is finite-dimensional over $\mathbb{Q}(a_0,\dots,a_n)$.
::(d) Using the Dimension Theorem a second time, conclude that $\beta$ is algebraic over $\mathbb{Q}$, and hence lies in $\overline{\mathbb{Q}}$.

<center><big>'''--------------------End of assignment--------------------'''</big></center>

==Questions==
1)'''Theorem characterizing algebraically closed fields (i.e. giving several conditions equivalent to the property of being algebraically closed):'''1)Every non-constant is in F[x] has a root. 2)Every non-constant in f[x] factors as a product of linear factors ("splits") 4) Every irreducible in F[x] has a degree 1. 5)Every algbrica extension of F is trivial.

2)'''Fundamental Theorem of Algebra:''' $\mathbb{C}$ is algebraically closed $x^5 +x^4+\pi(x^3)+ (e+i)x^2 +2x)$ has roots in $\mathbb{C}$

3)'''Theorem concerning degrees of irreducible polynomials in $\mathbb{C}[x]$:''' ??? Could not find at all so sad.

4)'''Theorem concerning degrees of irreducible polynomials in $\mathbb{R}[x]$:''' Any irr element $\mathbb{R}[x]$ has degree 1 or 2.

5)'''Theorem restricting the cardinality of a finite field:''' Suppose $F$ is a finite field then, $|F|$is a power of a prime.

6)'''Theorem concerning existence of finite fields of certain cardinalities:'''?? sort of idea. For every prime power $p^n$ there is a field $F$ with $|F|$=p.

7)'''Theorem relating finite fields of equal cardinality''': Any two finite filed with the same cardinality are in fact isomorphic.

My question is are my theorems correct? But more important I could not find theorem 3 and not sure completely on theorem 6. Can you make sure the others are correct as well.

'''''I would like to know what the procedure to construct finite fields are AS WELLL AS #3?
'''''

==Solutions==

Math 361, Spring 2017, Assignment 13

2017-05-12T00:54:51Z

Beatris.Dominguez: /* Questions */