Please Login to access more options.



Today

« October 2025 »

Sun

Mon

Tue

Wed

Thu

Fri

Sat

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31


(:include:)

Problem

Divisibility Tests could be great examples to put in here. We could do 3, 9, 11, and then invent a few others.


The problems below are still in progress

If $E$ and $E'$ are two splitting fields for $f(x)$ over $F$, prove that they are isomorphic. So Splitting Fields Are Unique Up To Isomorphism

Describe the extension $Q(\pi)$.

Define carefully zeros, factors, divides, multiple zeros.

If $f(x)$ is irreducible over a field of characteristic zero, prove that $f(x)$ has no multiple zeros. So it splits in a very nice way.

Define perfect field (give the definition by just talking about multiple roots)

If $f(x)$ is irreducible over a field of characteristic $p$, must $f(x)$ be perfect? Prove your answer, or give a counter example.

Show that in a perfect field, we must have $F^p=F$, so every element is a $p$th power.

There are several more equivalent ways to define perfect fields. Perhaps we should prove several of them.

Prove that all zeros of an irreducible $f(x)$ over $F$ have the same multiplicity in a splitting field $E$. So when we split a polynomial, it splits in a very nice way.

(:include:)

theorem}[20.3 - ]

Let $F$ be a field and $p(x)\in F[x]$ be irreducible over $F$. If $a$ is a zero of $p(x)$ in some extension $E$ of $F$, then $F(a)$ is isomorphic to $F[x]/\left<p(x)\right>$. Furthermore, if $\deg p(x) = n$, then every member of $F(a)$ can be uniquely expressed in the form $c_{n-1}a^{n-1} + c_{n-2}a^{n-2} + \cdots + c_{1}a + c_{0}$ where $c_i\in F$. (In other words, the set $\left\{1, a, a^2, \ldots, a^{n-1}\right\}$ is a basis for $F(a)$ over $F$.


(:include:)

cor}

Let $F$ be a field and let $p(x)\in F[x]$ be irreducible over $F$. If $a$ is a zero of $p(x)$ in some extension $E$ of $F$ and $b$ is a zero of $p(x)$ in some extension $E'$ of $F$, then the fields $F(a)$ and $F(b)$ are isomorphic.


(:include:)

lemma}

Let $F$ be a field, let $p(x)\in F[x]$ be irreducible over $F$, and let $a$ be a zero of $p(x)$ in some extension of $F$. If $\phi$ is a field isomorphism from $F$ to $F'$ and $b$ is a zero of $\phi(p(x))$ in some extension of $F'$, then there is an isomorphism from $F(a)$ to $F'(b)$ that agrees with $\phi$ on $F$ and carries $a$ to $b$.


(:include:)

theorem}[20.4 - ]

Let $\phi$ be an isomorphism from a field $F$ to a field $F'$ and let $f(x)\in F[x]$. If $E$ is a splitting field for $f(x)$ over $F$ and $E'$ is a splitting field for $\phi(f(x))$ over $F'$, then there is an isomorphism from $E$ to $E'$ that agrees with $\phi$ on $F$.


(:include:)

theorem}[20.5 - ]


(:include:)

theorem}[20.6 - ]

Let $f(x)$ be an irreducible polynomial over a field $F$. If $F$ has characteristic $0$, then $f(x)$ has no multiple zeros. If $F$ has characteristic $p\neq 0$, then $f(x)$ has a multiple zero only if it is of the form $f(x) = g(x^p)$ for some $g(x)\in F[x]$.


(:include:)

theorem}[20.7 - ]

Every finite field is perfect.


(:include:)

theorem}[20.8 - ]

If $f(x)$ is an irreducible polynomial over a perfect field $F$, then $f(x)$ has no multiple zeros.


(:include:)

theorem}[20.9 - ]

Let $f(x)$ be an irreducible polynomial over a field $F$ and let $E$ be a splitting field for $f(x)$ over $F$. Then all the zeros of $f(x)$ in $E$ have the same multiplicity.


(:include:)

definition}[Types of extenstions]

Let $E$ be an extension field of a field $F$, and let $a\in E$. We call $a$ algebraic over $F$ if $a$ is the zero of some nonzero polynomial in $F[x]$. If $a$ is not algebraic over $F$, it is called transcendental over $F$. An extension $E$ of $F$ is called an algebraic extension of $F$ if every element of $E$ is algebraic over $F$. If $E$ is not an algebraic extension of $F$, it is called a transcendental extension of $F$. An extension of $F$ of the form $F(a)$ is called a simple extension of $F$.


Recall that $F[x]$ is in integral domain, so it has a field of quotients we will call $F(x)$.

(:include:)

theorem}[21.1 - ]

Let $E$ be an extension field of $F$ and let $a\in E$. If $a$ is transcendental over $F$, then $F(a)\cong F(x)$. If $a$ is algebraic over $F$, then $F(a)\cong F[x]/\left<p(x)\right>$, where $p(x)$ is a polynomial in $F[x]$ of minimum degree such that $p(a)=0$. Moreover, $p(x)$ is irreducible over $F$.


(:include:)

theorem}[21.2 - ]

If $a$ is algebraic over a field $F$, then there is a unique monic irreducible polynomial $p(x)$ in $F[x]$ such that $p(a)=0$.


(:include:)

theorem}[21.3 - ]

Let $a$ be algebraic over $F$, and let $p(x)$ be the minimal polynomial for $a$ over $F$. If $f(x)\in F[x]$ and $f(a)=0$, then $p(x)$ divides $f(x)$ in $F[x]$.


(:include:)

theorem}[21.7 - ]

If $K$ is an algebraic extension of $E$, and $E$ is an algebraic extension of $F$, then $K$ is an algebraic extension of $F$.


(:include:)

cor}

Let $E$ be an extension of $F$. The set of elements of $E$ that are algebraic over $F$ is a subfield of $E$.


(:include:)

definition}

We say that a field $F$ is algebraically closed if every polynomial in $F[x]$ splits in $F$. Algebraically closed fields have no non proper algebraic extensions. The fact that $C$ is algebraically closed was first proved by Gauss when he was 22. This is called the fundamental theorem of (classical) algebra.


(:include:)

theorem}[22.1 -]

For each prime $p$ and each integer $n$, there is, up to isomorphism, a unique field of order $p^n$. We call this field the Galois field of order $p^n$ and denote is $GF(p^n)$.


(:include:)

theorem}[22.2 -]

As a group under addition, $GF(P^n)\cong Z_p \oplus Z_p\oplus \cdots \oplus Z_p$. As a group under multiplication, $GF(P^n)\backslash \{0\}\cong Z_{p^n-1}$.


(:include:)

theorem}[22.3 -]

For each divisor $m$ of $n$, $GF(p^n)$ has a unique subfield of order $p^m$. Moreover, these are the only subfields of $GF(P^n)$.



For more problems, see AllProblems