GALOIS THEORY : LECTURE 11

Similar documents
GALOIS THEORY : LECTURE 12

Geometry beyond Euclid

Constructions with ruler and compass

Activity Sheet 1: Constructions

Lesson 9.1 Skills Practice

1 st Preparatory. Part (1)

A sequence of thoughts on constructible angles.

3.2 Constructible Numbers

Theorem 1.2 (Converse of Pythagoras theorem). If the lengths of the sides of ABC satisfy a 2 + b 2 = c 2, then the triangle has a right angle at C.

Constructions with ruler and compass

Euclid s Elements Part II

Chapter 1. Some Basic Theorems. 1.1 The Pythagorean Theorem

Chapter 12: Ruler and compass constructions

Integrated Math 1. Course Standards & Resource Guide

Course 311: Abstract Algebra Academic year

Integrated Math II. IM2.1.2 Interpret given situations as functions in graphs, formulas, and words.

1 Solution of Final. Dr. Franz Rothe December 25, Figure 1: Dissection proof of the Pythagorean theorem in a special case

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

Math 3 Unit Skills Checklist

Chapter 1. Theorems of Ceva and Menelaus

The Common Core Georgia Performance Standards (CCGPS) for Grades K-12 Mathematics may be accessed on-line at:

Constructions with ruler and compass.

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory

Homework Assignments Math /02 Fall 2017

TOPICS IN GEOMETRY: THE GEOMETRY OF THE EUCLIDEAN PLANE. 1. Introduction

Homework Assignments Math /02 Fall 2014

Math 1230, Notes 2. Aug. 28, Math 1230, Notes 2 Aug. 28, / 17

Unit 0. Unit 1. OUHSD Mathematics Pacing Guide. OUHSD Mathematics Pacing Guide. Total Days 15. Total Days 23. Unit 0: Bridge to Math 1.

(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.

Math Precalculus I University of Hawai i at Mānoa Spring

While we won t be figuring out how to fold any kinds of models, we will see what points we can find using the folds of origami.

Math III Curriculum Map

Objectives To find the measure of an inscribed angle To find the measure of an angle formed by a tangent and a chord

MEI Conference Squaring the Circle and Other Shapes

GEOMETRY. Similar Triangles

Chapter 2. The laws of sines and cosines. 2.1 The law of sines. Theorem 2.1 (The law of sines). Let R denote the circumradius of a triangle ABC.

Introduction Circle Some terms related with a circle

Geometry. Commensurate and incommensurate segments. The Euclidean algorithm.

THE BORSUK CONJECTURE. Saleem Watson California State University, Long Beach

Common Core State Standards for Mathematics Integrated Pathway: Mathematics I

A4 Linear Equations & Inequalities in Two Variables 15 days. A5 Quadratic Functions. 5 days A-CED 2 A-CED 3 A-CED 4 A-REI 5 A-REI 6 A-REI 10 A-REI 12

High School Math. Grades Scope and Sequence

The Three Ancient Geometric Problems

CBSE Class IX Syllabus. Mathematics Class 9 Syllabus

Pythagoras Theorem and Its Applications

Device Constructions with Hyperbolas

Grade 11 Pre-Calculus Mathematics (1999) Grade 11 Pre-Calculus Mathematics (2009)

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

The regular pentagon. Chapter The golden ratio

Utah Core State Standards for Mathematics Secondary Mathematics I

Integrated Math 3 Math 3 Course Description:

MA 323 Geometric Modelling Course Notes: Day 11 Barycentric Coordinates and de Casteljau s algorithm

Mathematics. Single Correct Questions

California Common Core State Standards for Mathematics Standards Map Mathematics I

Common Core State Standards for Mathematics - High School

MATH 241 FALL 2009 HOMEWORK 3 SOLUTIONS

SpringBoard Algebra 1 Correlations Crosswalk to New Louisiana Standards

0811ge. Geometry Regents Exam BC, AT = 5, TB = 7, and AV = 10.

Theorems on Area. Introduction Axioms of Area. Congruence area axiom. Addition area axiom

11. Periodicity of Klein polyhedra (28 June 2011) Algebraic irrationalities and periodicity of sails. Let A GL(n + 1, R) be an operator all of

22 SAMPLE PROBLEMS WITH SOLUTIONS FROM 555 GEOMETRY PROBLEMS

HAMPSHIRE COLLEGE: YOU CAN T GET THERE FROM HERE : WHY YOU CAN T TRISECT AN ANGLE, DOUBLE THE CUBE, OR SQUARE THE CIRCLE. Contents. 1.

SECONDARY MATHEMATICS I

IUPUI Department of Mathematical Sciences High School Math Contest Solutions to problems

2. On integer geometry (22 March 2011)

Construct a line perpendicular to the line below that passes through point R.

MATH 243 Winter 2008 Geometry II: Transformation Geometry Solutions to Problem Set 1 Completion Date: Monday January 21, 2008

Performance Level Descriptors Geometry

0811ge. Geometry Regents Exam

Math Precalculus I University of Hawai i at Mānoa Spring

Item Descriptions Developed During the TIMSS Advanced 2008 Benchmarking

Congruence. Chapter The Three Points Theorem

Circles-Tangent Properties

Inequalities for Triangles and Pointwise Characterizations

B C. You try: What is the definition of an angle bisector?

Solutions to Exercises in Chapter 1

How to (Almost) Square a Circle

Common Core Georgia Performance Standards Mathematics Grades Adopted Reason quantitatively and use units to solve problems.

Chapter 19 Exercise 19.1

Mathematics Class 9 Syllabus. Course Structure. I Number System 17 II Algebra 25 III Geometry 37 IV Co-ordinate Geometry 6 V Mensuration 5 Total 90

COURSE STRUCTURE CLASS -IX

Chapter 3. The angle bisectors. 3.1 The angle bisector theorem

Marquette University

2013 ACTM Regional Geometry Exam

9th Bay Area Mathematical Olympiad

M A T H E M A T I K O N

MeritPath.com. Problems and Solutions, INMO-2011

Distance in the Plane

Common Core State Standard (+) indicates Advanced Standards Math 1

What is the longest chord?.

DEVICE CONSTRUCTIONS WITH HYPERBOLAS. 1. Introduction In order to proceed, we will require a theorem and three basic constructions.

MATH II CCR MATH STANDARDS

Definitions. (V.1). A magnitude is a part of a magnitude, the less of the greater, when it measures

Circles in Neutral Geometry

Correlation of Moving with Math Grade 7 to HSEE Mathematics Blueprint

CCGPS Curriculum Map. Mathematics. CCGPS Analytic Geometry

Chapter 3 Cumulative Review Answers

COURSE STRUCTURE CLASS IX Maths

Affine Transformations

1 What is the solution of the system of equations graphed below? y = 2x + 1

Transcription:

GLOIS THORY : LTUR 11 LO GOLMKHR 1. LGRI IL XTNSIONS Given α L/K, the degree of α over K is defined to be deg m α, where m α is the minimal polynomial of α over K; recall that this, in turn, is equal to [K(α) : K]. The notion of degree holds even when α is transcendental over K, since in this case we say the degree of α is infinite. Remark. Note that α is algebraic over K if and only if α has finite degree over K. Question 1. oes the above remark hold for field extensions? I.e. is a field extension algebraic if and only if it has finite degree? In order to answer this question, we first need to define what we mean by an algebraic field extension. efinition. field extension L/K is algebraic if and only if every α L is algebraic over K. Now we want to know whether a field extension is finite if and only it is algebraic. This turns out to be false: xample 1 (Michael). Let L = Q(, 3, 5,...). Then [L : Q] =, but every α L is algebraic over Q. y our example, we see that an algebraic field extension is not always finite. li conjectured that the other direction is true, i.e. that a finite field extension must always be algebraic. His intuition for this was that any transcendental number would require an infinite basis to be expressed. This idea leads us to the following proposition. Proposition 1. If L/K is finite, then it is algebraic. Remark. Whenever we refer to an extension as finite, we implicitly mean finite degree. Proof. Let [L : K] = n and α L. We want to show that α is algebraic over K. Notice that since the degree of L/K is n, any collection of n + 1 elements is linearly dependent. Thus the set {1, α, α,..., α n } is linearly dependent and so there exist c i s from K, not all zero, such that c 0 + c 1 α + c α + + c n α n = 0. It follows that α satisfies some polynomial over K, and is therefore algebraic. Since this is true for an arbitrary element of L, we conclude that L/K is algebraic. Remark. We ve actually proved slightly more than we claimed: that deg α [L : K] for any α L/K. rom the proposition we deduce the following corollary. orollary. If α is algebraic over K, then K(α)/K is algebraic. Proof. If α is algebraic over K, then it must have finite degree, whence [K(α) : K] = deg m α is finite. The proposition implies K(α)/K is algebraic. This means that every element generated by some algebraic α and the field K is also algebraic over K. We can iterate this idea: orollary 3. If α, β are algebraic over K, then K(α, β)/k is algebraic. ate: March 8, 018. ased on notes by nya Michaelsen.

Proof. If we can show that [K(α, β) : K] is finite, then we are done. onsider the following tower of fields. K(α, β) We know that [K(α) : K] is finite, so by the Tower Law it suffices to show that? [K(α, β) : K(α)] is also finite. Note that β is algebraic over K, hence must also K(α) be algebraic over K(α). ut this means β has finite degree over K(α), whence finite [K(α, β) : K(α)] is finite. This concludes the proof. K In particular, we immediately deduce orollary 4. If α, β algebraic over K, then α + β and αβ are algebraic over K. or example, this allows us to assert that + 5 is algebraic without finding a polynomial that it satisfies.. (OL) GOMTRY long time ago the Greeks did a whole lot of geometry. They even developed integral calculus, even though it was phrased in rather different terms (since algebra hadn t been invented yet). or example, rchimedes determined a formula for the area between a parabola and an intersecting line. To do this, he first constructed the largest triangle enclosed by the two intersecting points and the parabola. If this triangle is T, then the regions to the right and left of T are also parabolas intersected by lines, and so we can insert the largest triangles into these regions, T and T T. rchimedes then noted that rea T = 4(rea T + rea T ). Iterating this process, the area of the enclosed region is given by rea T ( 1 + 1 4 + 1 16 + 1 64 + ). y finding a way of determining the area of the largest inscribed triangle, rchimedes was thus able to find the area of the enclosed region, in effect integrating a quadratic long before Newton and Leibniz. In fact, both differentiation and integration we used in mathematics long before Newton and Leibniz. However, these existed as totally separate techniques; Newton and Leibniz s key insight was the undamental Theorem of alculus which provided the relationship between differentiation and integration. lot of Greek geometry was based on geometric constructions using compass and straightedge. Here s how these two tools work. Given any two points x and y, a compass allows us to draw a circle centered at x that passes through y; a straightedge allows us to draw a straight line through both points (and extending arbitrarily far). We will work through some basic examples of constructions using these tools to get a sense for what they can accomplish. 1) Lengths Given a unit length, we can construct a segment of length. We do this by taking our segment and using the compass to draw a circle from one point with radius 1. Then using a straightedge we extend this to create a segment of length.

Given a unit length, we can also construct a segment of length 3. Using the same technique as before, we can add another segment of unit length to the end: In this way we can construct all positive integer lengths. What about fractional lengths? or example, can we construct a segment of length 1? Using the compass to make two unit circles centered at and, we can connect their intersecting points via straightedge to bisect the original line, thus producing a line segment with length 1 (right). Note that by this construction we also created a perpendicular line to our original segment. ) Perpendicular & Parallel Lines Given a line L and point P, we can construct a line perpendicular to L passing through P. Starting with the line segment L with endpoints and, we can construct a circle centered at P that passes through L twice. Using the same construction as before, we can use the intersecting points, and, to construct a perpendicular bisector. This line segment will pass through P and thus be a line perpendicular to L passing through P. Note that this construction works whether or not P lies on L. P Next, given a line L and a point P / L, we can construct a line parallel to L passing through P. To do this, we start by constructing a line L, perpendicular to L, such that L passes through P. Next we construct a perpendicular line L to L that passes through P. Thus L is parallel to L and passes through P. L P L L 3) More complicated lengths Given a unit length we can construct a segment of length 1. To do this, we first construct a segment of 3 length 3, and another segment of length 1 coming from point. Then we connect these to form a triangle. rom point, which is a unit from, we construct a line parallel to the line, which then passes through at point. y similar triangles, has length 1. 3 1 This idea can be used to construct any fractional length a b.

4) Squares Given a unit length, we can construct a unit square. irst we extend rays on either side of perpendicular to. Then we can use an arc centered at starting at to get line segment, of length 1. Repeat this from point to get segment of length 1. inally we can connect points and to get a unit square. Next, given a square, we can construct a square with twice the area of the original. To do this, we draw a line segment through the diagonal of the original square. Then by the method above, we construct a square whose sides are all this length. If the original square had side lengths a, this one has side lengths a, so it has twice the area. xercise 1. Given a square, construct a square with area three times that of the original. 5) ngles We saw before how to construct a 90 angle. We can construct other angles, too! or example, we can construct a 60 angle. We can proceed as though we were constructing a perpendicular bisector. However instead of taking the intersecting points of the circle and connecting them, we take one point and connect it to both centers of the circles. This yields an equilateral triangle, and so every interior angle has 60. Observe that this allows us to construct 30 angles as well, simply by drawing in the perpendicular bisector. More generally, it turns out that it s possible to bisect any given angle. To do this, we draw a circle centered at the point. Using the intersecting points and we then construct a perpendicular bisector to the line ; this bisects the original angle.

6) Regular polygons Given a line segment, we can construct a regular hexagon (i.e. hexagon with equal angles and side lengths). Using a series of intersecting circles we can construct a regular hexagon from the intersection points as shown below. G The Greeks also constructed regular n-gons for n = 3, 4, 5, 6, 8, 10, and 1. Gauss was the first to give an explicit construction of the regular 17-gon. 7) uplicating a Parallel Line One potential issue with a compass is that it might not hold its shape. In other words, it might not be possible to use it to measure length, since as soon as you pick it up off the page the compass might collapse. It turns out that this isn t an issue: given a line segment,, we can construct a parallel line segment starting at an arbitrary given point,. We do this by constructing a parallelogram with one side as our line segment including the point. 3. IMPOSSIL ONSTRUTIONS While the Greeks accomplished many geometric constructions, there were a number of difficult problems they were never able to solve. Here are four of these: (1) ouble a cube. Given a cube, construct a cube with twice the volume of the original. () Trisect a given angle. Given an angle, divide it into three equal angles. (3) Square the circle. Given a circle, construct a square with the same area. (4) onstruct a regular heptagon. onstruct a 7-gon with equal angles and side lengths. Next class we will show that (1), (), and (4) are impossible using only a compass and straightedge. If we take on faith that π is transcendental over Q, then we will also be able to show that (3) is impossible.