Math 3121 Abstract Algebra I

Slides:



Advertisements
Similar presentations
Cryptography and Network Security
Advertisements

Chapter 4 – Finite Fields. Introduction will now introduce finite fields of increasing importance in cryptography –AES, Elliptic Curve, IDEA, Public Key.
Section 11 Direct Products and Finitely Generated Abelian Groups One purpose of this section is to show a way to use known groups as building blocks to.
1.  We have studied groups, which is an algebraic structure equipped with one binary operation. Now we shall study rings which is an algebraic structure.
Math 3121 Abstract Algebra I
1.  Detailed Study of groups is a fundamental concept in the study of abstract algebra. To define the notion of groups,we require the concept of binary.
The Integers and Division
Rings,Fields TS. Nguyễn Viết Đông Rings, Integral Domains and Fields, 2. Polynomial and Euclidean Rings 3. Quotient Rings 2.
Math 3121 Abstract Algebra I Lecture 3 Sections 2-4: Binary Operations, Definition of Group.
By: Hector L Contreras SSGT / USMC
Numbers, Operations, and Quantitative Reasoning.
Monoids, Groups, Rings, Fields
Cyclic Groups (9/25) Definition. A group G is called cyclic if there exists an element a in G such that G =  a . That is, every element of G can be written.
Order in the Integers Characterization of the Ring of Integers.
Data Security and Encryption (CSE348) 1. Lecture # 12 2.
Math 3121 Abstract Algebra I Lecture 9 Finish Section 10 Section 11.
Rational Numbers and Fields
Information Security Lab. Dept. of Computer Engineering 87/121 PART I Symmetric Ciphers CHAPTER 4 Finite Fields 4.1 Groups, Rings, and Fields 4.2 Modular.
Math 3121 Abstract Algebra I Lecture 5 Finish Sections 6 + Review: Cyclic Groups, Review.
Math 3121 Abstract Algebra I Lecture 10 Finish Section 11 Skip 12 – read on your own Start Section 13.
Math 3121 Abstract Algebra I Lecture 7: Finish Section 7 Sections 8.
Math 3121 Abstract Algebra I Lecture 11 Finish Section 13 Section 14.
CS Lecture 14 Powerful Tools     !. Build your toolbox of abstract structures and concepts. Know the capacities and limits of each tool.
Math 3121 Abstract Algebra I Lecture 14 Sections
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
CompSci 102 Discrete Math for Computer Science March 13, 2012 Prof. Rodger Slides modified from Rosen.
Divisibility and Modular Arithmetic
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen (5 th Edition) Chapter 2 The Fundamentals: Algorithms,
Chapter 4 With Question/Answer Animations 1. Chapter Motivation Number theory is the part of mathematics devoted to the study of the integers and their.
Number Theory Lecture 1 Text book: Discrete Mathematics and its Applications, 7 th Edition.
Prepared By Meri Dedania (AITS) Discrete Mathematics by Meri Dedania Assistant Professor MCA department Atmiya Institute of Technology & Science Yogidham.
Math 3121 Abstract Algebra I Lecture 6 Midterm back over+Section 7.
3.3 Mathematical Induction 1 Follow me for a walk through...
Chapter 3 The Fundamentals: Algorithms, the integers, and matrices Section 3.4: The integers and division Number theory: the part of mathematics involving.
Number Theory. Introduction to Number Theory Number theory is about integers and their properties. We will start with the basic principles of divisibility,
Relations Chapter 9 Copyright © McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill.
The Relation Induced by a Partition
Assignment 4 is due! Assignment 5 is out and is due in two weeks!
Chapter 2 Sets and Functions.
CHAPTER 3 SETS, BOOLEAN ALGEBRA & LOGIC CIRCUITS
Chapter 3 The Real Numbers.
Relations, Functions, and Matrices
Unit-III Algebraic Structures
CS480 Cryptography and Information Security
Set, Combinatorics, Probability & Number Theory
Chapter 3 The Real Numbers.
Advanced Algorithms Analysis and Design
Abstract Algebra I.
Great Theoretical Ideas In Computer Science
Chapter 3 The Real Numbers.
Math 3121 Abstract Algebra I
Chapter 3 The Real Numbers.
MATH301- DISCRETE MATHEMATICS Copyright © Nahid Sultana Dr. Nahid Sultana Chapter 4: Number Theory and Cryptography.
CS201: Data Structures and Discrete Mathematics I
Math 3121 Abstract Algebra I
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Foundations of Discrete Mathematics
刘振 上海交通大学 计算机科学与工程系 电信群楼3-509
Great Theoretical Ideas in Computer Science
Section 10.1 Groups.
Algebraic Structures: Group Theory
Copyright © Zeph Grunschlag,
Divisibility and Modular Arithmetic
PHY 745 Group Theory 11-11:50 AM MWF Olin 102 Plan for Lecture 1:
Applied Discrete Mathematics Week 10: Introduction to Counting
Rayat Shikshan Sanstha’s S.M.Joshi College, Hadapsar -28
Cryptography Lecture 17.
Cryptography Lecture 19.
Lecture 3 Strings and Things (Section 1.1)
Section 9.1 Groups.
Presentation transcript:

Math 3121 Abstract Algebra I Lecture 4 Sections 5-6: Subgroups and Cyclic Groups

HW due Hand in: pages 45-49: 2, 19, 24, 31, 35 Questions on HW not to hand in: Pages 45-49: 1, 3, 5, 21, 25

Section 5: Subgroups Notation – additive and multiplicative Definition of subgroup Examples of subgroups Conditions for subgroup Cyclic subgroups Generators

Notation for Group Operations Typically either multiplicative or additive With multiplicative notation The binary operation is indicated by juxtaposition (infix notation with no symbol) and the result is called the product. The identity is indicated by “1” (sometimes by “e” or other letters). The inverse is indicated by “-1” superscript. The binary operation can be either noncommutative or commutative. With additive notation The binary operation is indicated by + (infix notation) and the result is called the sum. The identity is indicated by 0. The inverse indicated by a negative prefix. The binary operation is almost always commutative (abelian).

Some Examples of Additive Notation ℤn – The integers modulo n, where n is a positive integer. Here, addition is defined by ordinary addition modulo n (remainder when the sum is divided by n). Explain in class. In class look at tables for ℤ2 ,ℤ3 ℤ4. Note that ℤn is isomorphic to the nth roots of unity in the complex plane with multiplicative notation. Examples?

Some Examples of Multiplicative Notation Real nxn invertible matrices form a group. Multiplication is indicated by juxtaposition. Note an nxn matrix is invertible whenever its determinant is nonzero.

Definition of Subgroup Definition: Let <G, *> be a group. A subgroup of <G, *> is a group whose set is a subset H of G and whose binary operation is the binary operation induced on H by *. Note: We have reverted to a formal notation. The symbols for the binary operation for the group and its subgroups are normally written with the same symbol or with the same additive or multiplicative notation even though they are technically different functions. We will continue to use the same symbology for both operations. Conditions: Not any subset of G will do. H must be closed under the binary operation of <G, *>, and it must be a group under this operation.

More Terminology Improper subgroup: Any group is a subgroup of itself (called the improper subgroup) Trivial subgroup: The set consisting of just the identity of a group is a subgroup (called the trivial subgroup.

Examples of Groups and their Subgroups nℤ is a subgroup of ℤ. If a1, a2 ,… , an, are real numbers then the subset of ℝn given by { (x1, x2, …, xn) in ℝn | a1 x1 + a2 x2 + … + an xn = 0} is a subgroup of ℝn . (Likewise for integers, rationals, and complex numbers.) < ℤ,+> is a subgroup of < ℚ,+>, < ℝ,+>, and < ℂ,+>. Note the usual inclusion maps. Look at subgroups of ℤ4. (This is isomorphic to {1, -1, i, -i}). Let H be the group of all nxn matrices with determinant equal to 1 is a subgroup of the invertible nxn matrices. More examples in the book – continuous functions form a subgroup of a larger additive group of functions, likewise for differentiable functions.

Criterion for Subset to be a Subgroup Theorem: A subset H of the set of a group G is a subgroup iff all of the following hold: 1) H is closed under the binary operation of G. 2) The identity element of G is in H. 3) H is closed under inverses. Proof: (Comment) This is fairly immediate by checking details. See the book. The main point is that closure of the binary operation allow it to induce a binary operation on H. One subtlety is that associativity of the binary operation of G implies the associativity of the induced binary operation. Condition 2) is essential. Without it, H could be empty, so not have an identity.

The Inclusion Map Remark: If H is a subset of a set G, then the map that takes any element of H to itself as an element of G is called the inclusion map. Whenever <H, *> is a subgroup of <G, *>, then the inclusion map of H in G satisfies the homomorphism condition. Loosely speaking, the inclusion map is a homomorphism from the subset to the group G.

Powers If G is a group with multiplicative notation, a is an element of G, and n is a positive integer, then an is defined in such a way that a0 = 1, the identity of G a1 = a a2 = a a a3 = a a a … (and so on) an has n factors of a for n positive a-1 is the inverse of a a-2 = a-1 a-1 = (a-1 )2 a-3 = a-1 a-1 a-1 = (a-1 )3 a-n = (a-1 )n

Properties of Powers Powers satisfy the following rules, for all integers n, m: an am = an+m (an) m = an m (an) -1 = a-n Note that 1) can be shown by considering various cases. So can 2) which is needed later. Note that 3) is a special case of 2. Note that 1) makes the function f: ℤ  G given by f(n) = an a homomorphism (stated more formally on next slide).

Power Function Let G be a group with multiplicative notation, and let a be an element of G. Then the function f: ℤ  G given by f(n) = an is called the power function. It is a homomorphism. Note: With additive notation, powers are written multiplicatively and the formula for f looks like f(n) = n a. Then the homomorphism property is given by (n+m) a = n a + m a, which looks like a distributive law. Powers were introduced informally. They could be more carefully defined inductively, but this is beyond the scope of the course, for now at least. We can treat the existence of the power function and the fact that it is a homomorphism as fundamental.

The Principle of Mathematical Induction Mathematical Induction is a standard way to define and prove things about the natural numbers and integers. One way to state it is that if S is a nonempty set of positive integers that contains 1 and for which n in S implies that n+1 is in S, then S is equal to the entire set of positive integers. An equivalent statement that we will use is that any nonempty subset of nonnegative integers has a least element. This property is called well-ordering.

Cyclic Subgroups and Power Notation Theorem: Let G be a group with multiplicative notation. For each element a of G, the set H = { an | n in ℤ} is a subgroup of G and is the smallest subgroup of G that contains a. Proof: See the book. Sketch: H satisfies the three properties for subgroups on the previous theorem. Thus is a subgroup. To prove any subgroup K of G that contains a must contain H: Let S be the set of all positive n such that an is not in K. If S is empty, we are done. If S is nonempty, then let m be the smallest member of S. Then am = am-1a. But am-1and a are both in K, thus am is also.

Section 6: Cyclic Groups Generators Abelian Division Algorithm Counting arguments

Generators of Cyclic Groups Let G be a group with multiplicative notation. By the previous section, each a in G determines a subgroup of integral powers of a. We say a generates this subgroup and denote it by <a>. Definition: A group is called cyclic if it is equal to <a> for some a in the group.

Order of a Group The order of a group is the number of elements it contains. The order of any member of a group is the number of elements in its cyclic group.

Cyclic Implies Abelian Theorem: Every Cyclic group is abelian (commutative). Proof: If x and y are in the group, then there is an a in the group and integers n, m such that x = an and y = am. Then x y = an am = an+m = am+n = am an = y x.

Division Algorithm Theorem (Division Algorithm): If m is a positive integer and n is any integer, then there exist unique integers q and r such that n = q m + r and 0 ≤ r < m Proof: This follows well-ordering (or by induction). Let’s use well-ordering. Let S be the set of all nonnegative integers of the form n – q m. S is nonempty: If n is positive, let q=0, then n – m 0 is in S and it positive. If n is negative, let q=n, then n – m (n) = -n(-1+m), which is nonnegative. Let r be the least element of S. Then 0 ≤ r. If r ≥ m, then r = n – q m, for some q, so r-m = n – (q+1) m is still in S, and thus not minimal. Thus r < m. So 0 ≤ r < m. But r = n – q m implies that n = q m + r.

A subgroup of a Cyclic Group is Cyclic Theorem: A subgroup of a cyclic group is cyclic. Proof: In class

Subgroups of Integers Are Cyclic Corollary: A subgroup of the integers is cyclic. Proof: The integers are cyclic, hence any subgroup is cyclic.

GCD Definition (normal definition): The greatest common divisor of two integers is the largest integer that divides both. Theorem: If n and m are integers, then there are integers a and b such that gcd(n, m) = a n + b m. Proof: In class.

Examples Find gcd of 60 and 56

Relatively Prime Definition: Two integers are relatively prime if their gcd is 1.

Theorem Theorem: A cyclic group is isomorphic to ℤ or to ℤn. In the first case it is of infinite order, and in the second case it is of finite order. Proof: In class – use the power function. Note that ax = ay iff x = y mod n, where n is the order of the group if the group is finite. Two cases: 1) an is never equal to e, and 2) an is equal to e for some n.

Theorem Theorem: Let G be a cyclic group of finite order n and generated by a. Let b = as, for some integer s. Then b generates a cyclic group of order n/gcd(n, s). Furthermore, <as> = <at> iff gcd(s, n) = gcd(t, n). Proof: See book. Use ℤn as a model.

HW Don’t hand in: Pages 66-67: 3, 5, 11, 17, 23, 45