Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
31 Cards in this Set
- Front
- Back
Vector Space
|
A set V is said to be a vector space over a field F if V is an Abelian group under addition (denoted by +) and, if for each a Î F and v Î V, there is an element av in V such that the following conditions hold for all a, b in F and all u, v in V.
1. a(v + u) = av + au 2. (a + b)v = av + bv 3. a(bv) = (ab)v 4. 1v = v |
|
Subspace
|
Let V be a vector space over a field F and let U be a subset of V. We say that U is a subspace of V if U is also a vector space over F under the operations of V.
|
|
Extension Field
|
A field E is an extension field of a field F if F subset E and the operations of F are those of E restricted to F
|
|
Fundamental Theorem of Field Theory (Kronecker's Theorem, 1887)
|
Let F be a field and let f(x) be a nonconstant polynomial in F[x]. Then there is an extension field E of F in which f(x) has a zero
|
|
Splitting Field
|
Let E be an extension field of F and let f(x) in F[x]. We say that f(x) splits in E if f(x) can be factored as a product of linear factors in E[x]. We call E a splitting field for f(x) over F if f(x) splits in E but in no proper subfield of E.
|
|
Existence of Splitting Fields
|
Let F be a field and let f(x) be a nonconstant polynomial in F[x]. Then there exists a splitting field E for f(x) over F
|
|
Theorem 20.3: F(a) » F[x]/Xp(x)\
|
Let F be a field and let p(x) Î F[x] be an 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]/Xp(x)\. Furthermore, if deg p(x) = n, then every member of F(a) can be uniquely expressed in the form
cn-1a n-1 + cn-2a n-2 + --- + c1a + c0 where c0, c1, ... , cn-1 Î F. |
|
F(a) » F(b)
|
Let F be a field and let p(x) Î 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 of E' of F, then the fields F(a) and F(b) are isomorphic.
|
|
Lemma
|
Let F be a field, let p(x) Î F[x] be irreducible over F, and let a be a zero of p(x) in some extension of F. If f is a field isomorphism from F to F' and b is a zero of f(p(x)) in some extension of F', then there is an isomorphism from F(a) to F'(b) that agrees with f and F and carries a to b.
|
|
Corollary: Splitting Fields Are Unique
|
Let F be a field and let f(x) in F[x]. Then any two splitting fields of f(x) over F are isomorphic.
|
|
Criterion for Multiple Zeros
|
A polynomial f(x) over a field F has a multiple zero in some extension E if and only if f(x) and f''(x) have a common factor of positive degree in F[x].
|
|
Zeros of an Irreducible
|
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 ¹ 0, then f(x) has a multiple zero only if it is of the form f(x) = gHx^p) for some g(x) in F[x].
|
|
Types of Extensions
|
Let E be an extension field of a field F and let a Î 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, 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.
|
|
Characterization of Extensions
|
Let E be an extension field of the field F and let a in E. If a is transcendental over F, then F(a) » F(x). If a is algebraic over F, then F(a) » F[x]/<p(x)>, where p(x) is a polynomial in F[x] of minimum degree such that p(a) = 0. Moreover, p(x) is irreducible over F
|
|
Uniqueness Property
|
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.
|
|
Divisibility Property
|
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].
|
|
Degree of an Extension
|
Let E be an extension field of a field F. We say that E has degree n over F and write [E:F] = n if E has dimension n as a vector space over F. If [E:F] is finite, E is called a finite extension of F; otherwise, we say that E is an infinite extension of F
|
|
Finite Implies Algebraic
|
If E is a finite extension of F, then E is an algebraic extension of F.
|
|
[K:F] = [K:E][E:F]
|
Let K be a finite extension field of the field E and let E be a finite extension field of the field F. Then K is a finite extension field of F and [K:F] = [K:E][E:F].
|
|
Primitive Element Theorem (Steinitz, 1910)
|
If F is a field of characteristic 0, and a and b are algebraic over F, then there is an element c in F(a,b) such that F(a,b) = F(c).
|
|
Primitive Element
|
An element a with the property that E = F(a) is called a primitive element of E.
|
|
Algebraic Closure
|
For any extension E of a field F, the subfield of E of the elements that are algebraic over F is called the algebraic closure of F in E.
|
|
Algebraically Closed
|
A field that has no proper algebraic extension (and extension that is strictly greater than the field it is an extension of) is called algebraically closed.
|
|
Classification of Finite Fields
|
For each prime p and each positive integer n, there is, up to isomorphism, a unique finite field of order p^n
|
|
Galois Field of order p^n
|
For each field of prime-power p^n (there is only one field per prime-power), the field is unambiguously denoted by GF(p^n) and is called Galois field of order p^n
. |
|
Corollary 1
|
[GF(p^n):GF(p)]=n
|
|
GF(p^n) Contains an Element of Degree n
|
Let a be a generator of the group of nonzero elements of GF(p^n) under multiplication. Then a is algebraic over
GF(p) of degree n |
|
Subfields of a Finite Field
|
For each divisor m of n, GF(p^n) has a unique subfield of order p^n. Moreover, these are the only subfields of GF(p^n)
|
|
Three ways to construct points
|
Starting with points in a plane of F
1. Intersect two lines in F 2. Intersect a circle in F and a line in F 3. Intersect two circles in F |
|
Simple Groups
|
A group is simple if its only normal subgroups are the identity subgroup and the group itself
|
|
Sylow Test for Nonsimplicity
|
Let n be a positive integer that is not prime, and let p be a prime divisor of n. If 1 is the only divisor of n that is
equal to 1 modulo p, then there does not exist a simple group of order n. |