DOCSLIB.ORG

MATH 205 HOMEWORK #1 OFFICIAL SOLUTION Problem 2: Show That If There Exists an Injective Field Homomorphism F → F Then Charf =

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
MATH 205 HOMEWORK #1 OFFICIAL SOLUTION Problem 2: Show That If There Exists an Injective Field Homomorphism F → F Then Charf = MATH 205 HOMEWORK #1 OFFICIAL SOLUTION Problem 2: Show that if there exists an injective field homomorphism F ! F 0 then char F = char F 0. Solution: Let ' be the homomorphism, and suppose that char F = p. Note that '(1) = 1, since ' restricts to a homomorphism of abelian groups F × ! (F 0)×. Then 0 = '(1 + ··· + 1) = '(1) + ··· + '(1) = 1 + ··· + 1 : | {z } | {z } | {z } p p p Thus p ≥ char F 0. Let r be the remainder when p is divided by char F 0. Then we know that in F 0, 0 = 1 + ··· + 1 = 1 + ··· + 1 + ··· + 1 + ··· + 1 + 1 + ··· + 1 = 1 + ··· + 1 : | {z } | {z } | {z } | {z } | {z } p char F 0 char F 0 r r By the minimality of char F 0 we know that r = 0, so char F 0jp. Since p is prime we must have char F 0 = p, as desired. Problem 3: Suppose that F is a finite field. Show that jF j = pn, where p = char F . Solution: Let ` be any prime dividing jF j. By the Sylow theorems, we know that there exists an element x of order ` in (F; +). But then by the same argument as in the previous problem we know that x + ··· + x = x(1 + ··· + 1) = x(1 + ··· + 1) | {z } | {z } | {z } ` ` ` mod p so by the minimality of p we know that pj`, and thus that ` = p. Therefore jF j = pn, as desired. Problem 4: Prove that if F is a field of characteristic 0 then F contains a copy of Q. Solution: Let ': Z ! F be a ring homomorphism defined by sending 1 to 1. Since Z = h1i as an abelian group under addition, this defines a perfectly good homomorphism of abelian groups (Z; +) ! (F; +); now we just need to check that it extends to a ring homomorphism. We check that '(mn) = '(1 + ··· + 1) = '(1 + ··· + 1) + ··· + '(1 + ··· + 1) | {z } | {z } | {z } mn m m | {z } n = '(m)(1 + ··· + 1) = '(m)('(1) + ··· '(1)) = '(m)'(n): | {z } | {z } n n We now extend ' to a field homomorphism : Q ! F by defining (m=n) = (m) (n)−1: We need to check that this is well-defined. First, note that if m=n = p=q then mq = np so that (m=n) = '(m)'(n)−1 = '(m)'(n)−1'(mq)−1'(np) = '(m)'(n)−1'(m)−1'(q)−1'(n)'(p) = '(p)'(q)−1: 1 2 MATH 205 HOMEWORK #1 OFFICIAL SOLUTION We also need to check that this commutes with addition and multiplication. We have (m=n + p=q) = ((mq + np)=nq) = '(mq + np)'(nq)−1 = '(mq)'(nq)−1 + '(np)'(nq)−1 = '(m=n) + '(p=q); and ((m=n)(p=q)) = (mp=nq) = '(mp)'(nq)−1 = '(m)'(n)−1'(p)'(q)−1 = (m=n) (p=q): Problem 5: (a) Define F [x] to be the ring of polynomials with coefficients in F . More formally, we define an element a 2 F [x] to be a formal sum of the form 1 X n a = anx n=0 where there exists some N such that for all n ≥ N, an = 0. Multiplication and addition are defined as usual for polynomials. Prove that F [x] is a ring but not a field. Find F [x]×. (b) Let F (x) be the quotient of the set F [x]×(F [x]nf0g) by the equivalence relation (p(x); q(x)) ∼ (r(x); s(x)) if p(x)s(x) = q(x)r(x). We define (p(x); q(x)) + (r(x); s(x)) = (p(x)s(x) + q(x)r(x); q(x)s(x)) and (p(x); q(x)) · (r(x); s(x)) = (p(x)r(x); q(x)s(x)): Show that these operations are well-defined and make F (x) into a field. Why is F (x) often called the field of fractions of F [x]? (c) Let F x be the ring of formal Taylor series with coefficients in F . More formally, we define an elmentJ K a 2 F [x] to be a formal sum of the form 1 X n a = anx : n=0 Multiplication and addition are defined as usual for power series. Prove that F x is a ring but not a field. Find F x ×. J K (d) Let F ((x)) be the ringJ ofK formal Laurent series with coefficients in F . More formally, we define an element a 2 F ((x)) to be a formal sum of the form 1 X n a = anx n=−∞ such that for some N 2 Z, if n < N then an = 0. Show that F ((x)) is a field. (e) Show that there exist ring homomorphisms F ! F [x] ! F (x) ! F ((x)) and F ! F [x] ! F x ! F ((x)): J K Solution: L1 (a) As a group, F [x] is isomorphic to n=0 Z, so it is abelian. Let p(x); q(x); r(x) 2 F [x]; write 1 1 1 X n X n X n p(x) = anx q(x) = bnx r(x) = cnx : n=0 n=0 n=0 MATH 205 HOMEWORK #1 OFFICIAL SOLUTION 3 Then 1 1 X X n X X n p(x) q(x)r(x) = p(x) bjck x = aibjck x n=0 j+k=n n=0 i+j+k=n j;k≥0 i;j;k≥0 0 1 1 B X X n nC = B aibj x x C r(x) = p(x)q(x) r(x): @ n=0 i+j=n A i;j≥0 Thus multiplication is associative. Note that multiplication is also commutative, since multiplication in F is commutative. Thus it suffices to check one distributive law. X X n p(x) q(x) + r(x) = ai(bj + cj) x n≥0 i+j=n i;j≥0 X X n X X n = aibj x + aicj x = p(x)q(x) + p(x)r(x): n≥0 i+j=n n≥0 i+j=n i;j geq0 i;j≥0 Thus F [x] is a ring. However, it is not a field because x has no inverse: for any p(x), xp(x) has the first coefficient equal to 0, not 1. We define the degree of p(x) to be the greatest n such that an 6= 0. Note that the degree of p(x)q(x) is equal to the sum of the degrees of p(x) and q(x), and that the degree of 1 (the identity) is 0. Thus the degrees of all units in F [x] must be 0. On the other hand, if the −1 degree of p(x) is 0 and p(x) is not equal to 0 then it is just equal to a0; then a0 is clearly its multiplicative inverse. Thus F [x]× = F ×. (b) We need to check that F (x) has well-defined operations. Supopse that (p(x); q(x)) ∼ (p0(x); q0(x)) and (r(x); s(x)) ∼ (r0(x); s0(x)); we need to check that (p(x); q(x)) + (r(x); s(x)) ∼ (p0(x); q0(x)) + (r0(x); s0(x)) and (p(x); q(x))(r(x); s(x)) ∼ (p0(x); q0(x))(r0(x); s0(x)): These follow from exactly the same reasoning we used in problem 4 to extend ' to . The additive identity is represented by (0; 1) and the multiplicative identity is represented by (1; 1). To see that F (x) is a field, note that the additive inverse of (p(x); q(x)) is (−p(x); q(x)). The pair (p(x); q(x)) 6∼ (0; 1) if and only if p(x) 6= 0. In this case, (p(x); q(x))−1 = (q(x); p(x)). F (x) is called the field of fractions of F [x] because its elements can be con- sidered to be the rational functions p(x)=q(x), the equivalence relation expresses when two such fractions represent the same function, and addition and multiplication is defined as it is for rational functions. (c) The formulas for addition and multiplication here as exactly the same as in part (1), so the same proof works to show that F x is a ring. Again, it is not a field because x does not have a multiplicative inverse. J K P1 n P1 n Suppose that p(x) = n=0 anx has a multiplicative inverse q(x) = n=0 bnx . We 0 will compute a formula for q(x) by induction. The coefficient of x in p(x)q(x) is a0b0, so −1 1 b0 = a0 ; thus we see that a0 6= 0. The coefficient of x in p(x)q(x) is a0b1 + a1b0, so −1 b1 = −a0 a1b0; this always exists when a0 6= 0. By induction, we see that bn can be defined in terms of the a0; a1; : : : ; an; b0; : : : ; bn−1 and will be well-defined exactly when a0 6= 0. Thus 4 MATH 205 HOMEWORK #1 OFFICIAL SOLUTION every p(x) with nonzero constant term is invertible in F x , and all invertible elements have nonzero constant term. We thus conclude that J K F x × = fp(x) 2 F x j p(0) 6= 0g: J K J K P1 n P1 n (d) The formula for the product of p(x) = n=−∞ anx and q(x) = n=−∞ bnx is 1 X X n p(x)q(x) = aibj x : n=−∞ i+j=n Note that this is well-defined, since there exist M and N such that ai = 0 for i < M and bj = 0 for j < N. The fact that the axioms hold for addition and multiplication here follow from the same principle as in part (a); we simply remove the conditions on the subscripts that say that the indices i; j; k are nonnegative and check that all stages of the computation are well-defined.
Load more

Recommended publications
  • Modular Arithmetic
    CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 5 Modular Arithmetic One way to think of modular arithmetic is that it limits numbers to a predefined range f0;1;:::;N ¡ 1g, and wraps around whenever you try to leave this range — like the hand of a clock (where N = 12) or the days of the week (where N = 7). Example: Calculating the day of the week. Suppose that you have mapped the sequence of days of the week (Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday) to the sequence of numbers (0;1;2;3;4;5;6) so that Sunday is 0, Monday is 1, etc. Suppose that today is Thursday (=4), and you want to calculate what day of the week will be 10 days from now. Intuitively, the answer is the remainder of 4 + 10 = 14 when divided by 7, that is, 0 —Sunday. In fact, it makes little sense to add a number like 10 in this context, you should probably find its remainder modulo 7, namely 3, and then add this to 4, to find 7, which is 0. What if we want to continue this in 10 day jumps? After 5 such jumps, we would have day 4 + 3 ¢ 5 = 19; which gives 5 modulo 7 (Friday). This example shows that in certain circumstances it makes sense to do arithmetic within the confines of a particular number (7 in this example), that is, to do arithmetic by always finding the remainder of each number modulo 7, say, and repeating this for the results, and so on.
    [Show full text]
  • Discrete Mathematics
    Slides for Part IA CST 2016/17 Discrete Mathematics <www.cl.cam.ac.uk/teaching/1617/DiscMath> Prof Marcelo Fiore [email protected] — 0 — What are we up to ? ◮ Learn to read and write, and also work with, mathematical arguments. ◮ Doing some basic discrete mathematics. ◮ Getting a taste of computer science applications. — 2 — What is Discrete Mathematics ? from Discrete Mathematics (second edition) by N. Biggs Discrete Mathematics is the branch of Mathematics in which we deal with questions involving finite or countably infinite sets. In particular this means that the numbers involved are either integers, or numbers closely related to them, such as fractions or ‘modular’ numbers. — 3 — What is it that we do ? In general: Build mathematical models and apply methods to analyse problems that arise in computer science. In particular: Make and study mathematical constructions by means of definitions and theorems. We aim at understanding their properties and limitations. — 4 — Lecture plan I. Proofs. II. Numbers. III. Sets. IV. Regular languages and finite automata. — 6 — Proofs Objectives ◮ To develop techniques for analysing and understanding mathematical statements. ◮ To be able to present logical arguments that establish mathematical statements in the form of clear proofs. ◮ To prove Fermat’s Little Theorem, a basic result in the theory of numbers that has many applications in computer science. — 16 — Proofs in practice We are interested in examining the following statement: The product of two odd integers is odd. This seems innocuous enough, but it is in fact full of baggage. — 18 — Proofs in practice We are interested in examining the following statement: The product of two odd integers is odd.
    [Show full text]
  • EE 595 (PMP) Advanced Topics in Communication Theory Handout #1
    EE 595 (PMP) Advanced Topics in Communication Theory Handout #1 Introduction to Cryptography. Symmetric Encryption.1 Wednesday, January 13, 2016 Tamara Bonaci Department of Electrical Engineering University of Washington, Seattle Outline: 1. Review - Security goals 2. Terminology 3. Secure communication { Symmetric vs. asymmetric setting 4. Background: Modular arithmetic 5. Classical cryptosystems { The shift cipher { The substitution cipher 6. Background: The Euclidean Algorithm 7. More classical cryptosystems { The affine cipher { The Vigen´erecipher { The Hill cipher { The permutation cipher 8. Cryptanalysis { The Kerchoff Principle { Types of cryptographic attacks { Cryptanalysis of the shift cipher { Cryptanalysis of the affine cipher { Cryptanalysis of the Vigen´erecipher { Cryptanalysis of the Hill cipher Review - Security goals Last lecture, we introduced the following security goals: 1. Confidentiality - ability to keep information secret from all but authorized users. 2. Data integrity - property ensuring that messages to and from a user have not been corrupted by communication errors or unauthorized entities on their way to a destination. 3. Identity authentication - ability to confirm the unique identity of a user. 4. Message authentication - ability to undeniably confirm message origin. 5. Authorization - ability to check whether a user has permission to conduct some action. 6. Non-repudiation - ability to prevent the denial of previous commitments or actions (think of a con- tract). 7. Certification - endorsement of information by a trusted entity. In the rest of today's lecture, we will focus on three of these goals, namely confidentiality, integrity and authentication (CIA). In doing so, we begin by introducing the necessary terminology. 1 We thank Professors Radha Poovendran and Andrew Clark for the help in preparing this material.
    [Show full text]
  • Quaternion Algebra and Calculus
    Quaternion Algebra and Calculus David Eberly, Geometric Tools, Redmond WA 98052 https://www.geometrictools.com/ This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA. Created: March 2, 1999 Last Modified: August 18, 2010 Contents 1 Quaternion Algebra 2 2 Relationship of Quaternions to Rotations3 3 Quaternion Calculus 5 4 Spherical Linear Interpolation6 5 Spherical Cubic Interpolation7 6 Spline Interpolation of Quaternions8 1 This document provides a mathematical summary of quaternion algebra and calculus and how they relate to rotations and interpolation of rotations. The ideas are based on the article [1]. 1 Quaternion Algebra A quaternion is given by q = w + xi + yj + zk where w, x, y, and z are real numbers. Define qn = wn + xni + ynj + znk (n = 0; 1). Addition and subtraction of quaternions is defined by q0 ± q1 = (w0 + x0i + y0j + z0k) ± (w1 + x1i + y1j + z1k) (1) = (w0 ± w1) + (x0 ± x1)i + (y0 ± y1)j + (z0 ± z1)k: Multiplication for the primitive elements i, j, and k is defined by i2 = j2 = k2 = −1, ij = −ji = k, jk = −kj = i, and ki = −ik = j. Multiplication of quaternions is defined by q0q1 = (w0 + x0i + y0j + z0k)(w1 + x1i + y1j + z1k) = (w0w1 − x0x1 − y0y1 − z0z1)+ (w0x1 + x0w1 + y0z1 − z0y1)i+ (2) (w0y1 − x0z1 + y0w1 + z0x1)j+ (w0z1 + x0y1 − y0x1 + z0w1)k: Multiplication is not commutative in that the products q0q1 and q1q0 are not necessarily equal.
    [Show full text]
  • WORKSHEET # 7 QUATERNIONS the Set of Quaternions Are the Set Of
    WORKSHEET # 7 QUATERNIONS The set of quaternions are the set of all formal R-linear combinations of \symbols" i; j; k a + bi + cj + dk for a; b; c; d 2 R. We give them the following addition rule: (a + bi + cj + dk) + (a0 + b0i + c0j + d0k) = (a + a0) + (b + b0)i + (c + c0)j + (d + d0)k Multiplication is induced by the following rules (λ 2 R) i2 = j2 = k2 = −1 ij = k; jk = i; ki = j ji = −k kj = −i ik = −j λi = iλ λj = jλ λk = kλ combined with the distributive rule. 1. Use the above rules to carefully write down the product (a + bi + cj + dk)(a0 + b0i + c0j + d0k) as an element of the quaternions. Solution: (a + bi + cj + dk)(a0 + b0i + c0j + d0k) = aa0 + ab0i + ac0j + ad0k + ba0i − bb0 + bc0k − bd0j ca0j − cb0k − cc0 + cd0i + da0k + db0j − dc0i − dd0 = (aa0 − bb0 − cc0 − dd0) + (ab0 + a0b + cd0 − dc0)i (ac0 − bd0 + ca0 + db0)j + (ad0 + bc0 − cb0 + da0)k 2. Prove that the quaternions form a ring. Solution: It is obvious that the quaternions form a group under addition. We just showed that they were closed under multiplication. We have defined them to satisfy the distributive property. The only thing left is to show the associative property. I will only prove this for the elements i; j; k (this is sufficient by the distributive property). i(ij) = i(k) = ik = −j = (ii)j i(ik) = i(−j) = −ij = −k = (ii)k i(ji) = i(−k) = −ik = j = ki = (ij)i i(jj) = −i = kj = (ij)j i(jk) = i(i) = (−1) = (k)k = (ij)k i(ki) = ij = k = −ji = (ik)i i(kk) = −i = −jk = (ik)k j(ii) = −j = −ki = (ji)i j(ij) = jk = i = −kj = (ji)j j(ik) = j(−j) = 1 = −kk = (ji)k j(ji) = j(−k) = −jk = −i = (jj)i j(jk) = ji = −k = (jj)k j(ki) = jj = −1 = ii = (jk)i j(kj) = j(−i) = −ji = k = ij = (jk)j j(kk) = −j = ik = (jk)k k(ii) = −k = ji = (ki)i k(ij) = kk = −1 = jj = (ki)j k(ik) = k(−j) = −kj = i = jk = (ki)k k(ji) = k(−k) = 1 = (−i)i = (kj)i k(jj) = k(−1) = −k = −ij = (kj)j k(jk) = ki = j = −ik = (kj)k k(ki) = kj = −i = (kk)i k(kj) = k(−i) = −ki = −j = (kk)j 1 WORKSHEET #7 2 3.
    [Show full text]
  • Math 412. §3.2, 3.3: Examples of Rings and Homomorphisms Professors Jack Jeffries and Karen E. Smith
    Math 412. x3.2, 3.3: Examples of Rings and Homomorphisms Professors Jack Jeffries and Karen E. Smith DEFINITION:A subring of a ring R (with identity) is a subset S which is itself a ring (with identity) under the operations + and × for R. DEFINITION: An integral domain (or just domain) is a commutative ring R (with identity) satisfying the additional axiom: if xy = 0, then x or y = 0 for all x; y 2 R. φ DEFINITION:A ring homomorphism is a mapping R −! S between two rings (with identity) which satisfies: (1) φ(x + y) = φ(x) + φ(y) for all x; y 2 R. (2) φ(x · y) = φ(x) · φ(y) for all x; y 2 R. (3) φ(1) = 1. DEFINITION:A ring isomorphism is a bijective ring homomorphism. We say that two rings R and S are isomorphic if there is an isomorphism R ! S between them. You should think of a ring isomorphism as a renaming of the elements of a ring, so that two isomorphic rings are “the same ring” if you just change the names of the elements. A. WARM-UP: Which of the following rings is an integral domain? Which is a field? Which is commutative? In each case, be sure you understand what the implied ring structure is: why is each below a ring? What is the identity in each? (1) Z; Q. (2) Zn for n 2 Z. (3) R[x], the ring of polynomials with R-coefficients. (4) M2(Z), the ring of 2 × 2 matrices with Z coefficients.
    [Show full text]
  • Vector Spaces
    Chapter 1 Vector Spaces Linear algebra is the study of linear maps on finite-dimensional vec- tor spaces. Eventually we will learn what all these terms mean. In this chapter we will define vector spaces and discuss their elementary prop- erties. In some areas of mathematics, including linear algebra, better the- orems and more insight emerge if complex numbers are investigated along with real numbers. Thus we begin by introducing the complex numbers and their basic✽ properties. 1 2 Chapter 1. Vector Spaces Complex Numbers You should already be familiar with the basic properties of the set R of real numbers. Complex numbers were invented so that we can take square roots of negative numbers. The key idea is to assume we have i − i The symbol was√ first a square root of 1, denoted , and manipulate it using the usual rules used to denote −1 by of arithmetic. Formally, a complex number is an ordered pair (a, b), the Swiss where a, b ∈ R, but we will write this as a + bi. The set of all complex mathematician numbers is denoted by C: Leonhard Euler in 1777. C ={a + bi : a, b ∈ R}. If a ∈ R, we identify a + 0i with the real number a. Thus we can think of R as a subset of C. Addition and multiplication on C are defined by (a + bi) + (c + di) = (a + c) + (b + d)i, (a + bi)(c + di) = (ac − bd) + (ad + bc)i; here a, b, c, d ∈ R. Using multiplication as defined above, you should verify that i2 =−1.
    [Show full text]
  • Number Theory
    CS 5002: Discrete Structures Fall 2018 Lecture 5: October 4, 2018 1 Instructors: Tamara Bonaci, Adrienne Slaugther Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. They may be distributed outside this class only with the permission of the Instructor. Number Theory Readings for this week: Rosen, Chapter 4.1, 4.2, 4.3, 4.4 5.1 Overview 1. Review: set theory 2. Review: matrices and arrays 3. Number theory: divisibility and modular arithmetic 4. Number theory: prime numbers and greatest common divisor (gcd) 5. Number theory: solving congruences 6. Number theory: modular exponentiation and Fermat's little theorem 5.2 Introduction In today's lecture, we will dive into the branch of mathematics, studying the set of integers and their properties, known as number theory. Number theory has very important practical implications in computer science, but also in our every day life. For example, secure online communication, as we know it today, would not be possible without number theory because many of the encryption algorithms used to enable secure communication rely heavily of some famous (and in some cases, very old) results from number theory. We will first introduce the notion of divisibility of integers. From there, we will introduce modular arithmetic, and explore and prove some important results about modular arithmetic. We will then discuss prime numbers, and show that there are infinitely many primes. Finaly, we will explain how to solve linear congruences, and systems of linear congruences. 5-1 5-2 Lecture 5: October 4, 2018 5.3 Review 5.3.1 Set Theory In the last lecture, we talked about sets, and some of their properties.
    [Show full text]
  • Number Theory & Asymmetric Cryptography
    Number Theory & Asymmetric Cryptography Modular Arithmetic Notations Ζ={−∞,⋯−2,−1,0,1,2,⋯,∞} Ζm={0,1,2,⋯,m−2,m−1} a≡b mod m⇒ a=b+km, integer k Addition mod m Given a≡b mod m and c≡d mod m (a+c)≡(b+d) mod m a−b=km ,c−d=lm, integers k ,l (a+c)=b+d+(k+l)m=(b+d)+ jm Examples (25+15)≡(1+3)≡0 mod 4 (25+15)≡(4+1)≡5 mod 7 Multiplication mod m a≡b mod m,c≡d mod ac≡bd mod m ac=(b+km)(d+lm)=bd+(bl+kd+klm)m Example 26≡2 mod 4,11≡3 mod 4 26∗11=286≡2 mod 4 2∗3=6≡2 mod 4 What about division? Is division possible in Zm? (A long detour necessary at this point) Group, Abelian Group, Ring and Field Abelian Group Field Ring Group Group, Ring and Field Group: Addition is closed, and associative, additive identity and additive inverse exist Abelian group: Addition is also commutative Ring: Multiplication is closed, associative, commutative, and distributive; multiplicative identity exists Field: Every element except “additive identity” has multiplicative inverse In Zm additive identity is 0, multiplicative identity is 1. Its a Ring. Is Zm a Field? Multiplicative Inverse Consider m = 5, or {0,1,2,3,4} – 2*3 = 3*2 = 1 mod 5. So 2↔3 ● (3 and 2 are multiplicative inverses in Z5) – 4*4 = 1 mod 5, or 4 ↔ 4 – obviously, 1 ↔ 1 Z5 is clearly a field (all elements except additive identity have a multiplicative inverse) Consider m = 6, or {0,1,2,3,4,5} – 5↔5 , 1 ↔ 1 – No inverses for 2,3 and 4? (why?) – Z6 is not a Field (it is a Ring) – (As we shall see soon) the reason for this is that 6 is not a prime mumber Basic Theorems of Arithmetic Any number can be represented as a product th of powers of primes.
    [Show full text]
  • MAT 240 - Algebra I Fields Definition
    MAT 240 - Algebra I Fields Definition. A field is a set F , containing at least two elements, on which two operations + and · (called addition and multiplication, respectively) are defined so that for each pair of elements x, y in F there are unique elements x + y and x · y (often written xy) in F for which the following conditions hold for all elements x, y, z in F : (i) x + y = y + x (commutativity of addition) (ii) (x + y) + z = x + (y + z) (associativity of addition) (iii) There is an element 0 ∈ F , called zero, such that x+0 = x. (existence of an additive identity) (iv) For each x, there is an element −x ∈ F such that x+(−x) = 0. (existence of additive inverses) (v) xy = yx (commutativity of multiplication) (vi) (x · y) · z = x · (y · z) (associativity of multiplication) (vii) (x + y) · z = x · z + y · z and x · (y + z) = x · y + x · z (distributivity) (viii) There is an element 1 ∈ F , such that 1 6= 0 and x·1 = x. (existence of a multiplicative identity) (ix) If x 6= 0, then there is an element x−1 ∈ F such that x · x−1 = 1. (existence of multiplicative inverses) Remark: The axioms (F1)–(F-5) listed in the appendix to Friedberg, Insel and Spence are the same as those above, but are listed in a different way. Axiom (F1) is (i) and (v), (F2) is (ii) and (vi), (F3) is (iii) and (vii), (F4) is (iv) and (ix), and (F5) is (vii). Proposition. Let F be a field.
    [Show full text]
  • Modular Arithmetic Some Basic Number Theory: CS70 Summer 2016 - Lecture 7A Midterm 2 Scores Out
    Announcements Agenda Modular Arithmetic Some basic number theory: CS70 Summer 2016 - Lecture 7A Midterm 2 scores out. • Modular arithmetic Homework 7 is out. Longer, but due next Wednesday before class, • GCD, Euclidean algorithm, and not next Monday. multiplicative inverses David Dinh • Exponentiation in modular There will be no homework 8. 01 August 2016 arithmetic UC Berkeley Mathematics is the queen of the sciences and number theory is the queen of mathematics. -Gauss 1 2 Modular Arithmetic Motivation: Clock Math Congruences Modular Arithmetic If it is 1:00 now. What time is it in 2 hours? 3:00! Theorem: If a c (mod m) and b d (mod m), then a + b c + d x is congruent to y modulo m, denoted “x y (mod m)”... ≡ ≡ ≡ What time is it in 5 hours? 6:00! ≡ (mod m) and a b = c d (mod m). · · What time is it in 15 hours? 16:00! • if and only if (x y) is divisible by m (denoted m (x y)). Proof: Addition: (a + b) (c + d) = (a c) + (b d). Since a c − | − − − − ≡ Actually 4:00. • if and only if x and y have the same remainder w.r.t. m. (mod m) the first term is divisible by m, likewise for the second 16 is the “same as 4” with respect to a 12 hour clock system. • x = y + km for some integer k. term. Therefore the entire expression is divisible by m, so Clock time equivalent up to to addition/subtraction of 12. a + b c + d (mod m). What time is it in 100 hours? 101:00! or 5:00.
    [Show full text]
  • Algebra and Geometry of Hamilton's Quaternions
    GENERAL ARTICLE Algebra and Geometry of Hamilton’s Quaternions ‘Well, Papa, Can You Multiply Triplets?’ Govind S Krishnaswami and Sonakshi Sachdev Inspired by the relation between the algebra of complex numbers and plane geometry, William Rowan Hamilton sought an algebra of triples for application to three-dimensional geometry. Un- able to multiply and divide triples, he invented a non-commutative division algebra of quadru- ples, in what he considered his most significant (left) Govind Krishnaswami is on the faculty of the work, generalizing the real and complex number Chennai Mathematical systems. We give a motivated introduction to Institute. His research in quaternions and discuss how they are related to theoretical physics spans Pauli matrices, rotations in three dimensions, the various topics three sphere, the group SU(2) and the celebrated from quantum field theory and particle physics to fluid, Hopf fibrations. plasma and non-linear dynamics. 1. Introduction (right) Sonakshi Sachdev is Every morning in the early part of the above-cited month a PhD student at the [October 1843], on my coming down to breakfast, your Chennai Mathematical (then) little brother William Edwin, and yourself, used Institute. She has worked on to ask me, “Well, Papa, can you multiply triplets”? the dynamics of rigid bodies, Whereto I was always obliged to reply, with a sad shake fluids and plasmas. of the head: “No, I can only add and subtract them.” W R Hamilton in a letter dated August 5, 1865 to his son A H Hamilton [1]. Imaginary and complex numbers arose in looking for ‘impossible’ solutions to polynomial equations such as x2 + 1 = 0.
    [Show full text]