MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

Similar documents
MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.

Algebraic Structures Exam File Fall 2013 Exam #1

5 Group theory. 5.1 Binary operations

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings.

0 Sets and Induction. Sets

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

* 8 Groups, with Appendix containing Rings and Fields.

MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes.

INTRODUCTION TO THE GROUP THEORY

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

MATH 420 FINAL EXAM J. Beachy, 5/7/97

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

ORDERS OF ELEMENTS IN A GROUP

Error-Correcting Codes

Exercises on chapter 1

Latin squares. Clock arithmetic. Modular arithmetic. Binary operations 18/09/2013. Members only an introduction to groups

3. Coding theory 3.1. Basic concepts

LECTURES MATH370-08C

Math 3121, A Summary of Sections 0,1,2,4,5,6,7,8,9

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Cyclic codes: overview

What is a semigroup? What is a group? What is the difference between a semigroup and a group?

Examples of Groups

John B. Fraleigh, A first course in Abstract Algebra, 5th edition, Addison-Wesley.

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

Chapter 5 Groups of permutations (bijections) Basic notation and ideas We study the most general type of groups - groups of permutations

MATH3302 Coding Theory Problem Set The following ISBN was received with a smudge. What is the missing digit? x9139 9

ECEN 5022 Cryptography

Algebraic structures I

Math 103A Fall 2012 Exam 2 Solutions

List of topics for the preliminary exam in algebra

ECEN 5682 Theory and Practice of Error Control Codes

Name: Solutions Final Exam

Math 451, 01, Exam #2 Answer Key

Math 430 Exam 1, Fall 2006

Vector spaces. EE 387, Notes 8, Handout #12

Math 512 Syllabus Spring 2017, LIU Post

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Linear Codes and Syndrome Decoding

MATH Examination for the Module MATH-3152 (May 2009) Coding Theory. Time allowed: 2 hours. S = q

: Coding Theory. Notes by Assoc. Prof. Dr. Patanee Udomkavanich October 30, upattane

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

A Little Beyond: Linear Algebra

Know the meaning of the basic concepts: ring, field, characteristic of a ring, the ring of polynomials R[x].

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

CONSEQUENCES OF THE SYLOW THEOREMS

} has dimension = k rank A > 0 over F. For any vector b!

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

GENERATING SETS KEITH CONRAD

Cyclic Redundancy Check Codes

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

Symmetries in Physics. Nicolas Borghini

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Course of algebra. Introduction and Problems

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

MATH/MTHE 406 Homework Assignment 2 due date: October 17, 2016

B. Cyclic Codes. Primitive polynomials are the generator polynomials of cyclic codes.

120A LECTURE OUTLINES

The Symmetric Groups

Coset Decomposition Method for Decoding Linear Codes

SCHOOL OF DISTANCE EDUCATION

Lecture 2: Groups. Rajat Mittal. IIT Kanpur

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

Math 430 Exam 2, Fall 2008

Basic Definitions: Group, subgroup, order of a group, order of an element, Abelian, center, centralizer, identity, inverse, closed.

MATHEMATICS COMPREHENSIVE EXAM: IN-CLASS COMPONENT

Foundations Revision Notes

The Outer Automorphism of S 6

Chapter 4 Mathematics of Cryptography

ELEC 519A Selected Topics in Digital Communications: Information Theory. Hamming Codes and Bounds on Codes

GROUPS AND THEIR REPRESENTATIONS. 1. introduction

Physics 251 Solution Set 1 Spring 2017

Chapter 2. Symmetries of a system

Algebra Exercises in group theory

ALGEBRA HOMEWORK SET 2. Due by class time on Wednesday 14 September. Homework must be typeset and submitted by as a PDF file.

ALGEBRA I (LECTURE NOTES 2017/2018) LECTURE 9 - CYCLIC GROUPS AND EULER S FUNCTION

Name: Solutions Final Exam

Sample algebra qualifying exam

Abstract Algebra FINAL EXAM May 23, Name: R. Hammack Score:

ABSTRACT ALGEBRA. Romyar Sharifi

Solutions of Exam Coding Theory (2MMC30), 23 June (1.a) Consider the 4 4 matrices as words in F 16

MATH32031: Coding Theory Part 15: Summary

Notation. 0,1,2,, 1 with addition and multiplication modulo

Can You Hear Me Now?

Chapter 0: Preliminaries

Finite Mathematics. Nik Ruškuc and Colva M. Roney-Dougal

17 More Groups, Lagrange s Theorem and Direct Products

Algebra Exam Topics. Updated August 2017

Monoids. Definition: A binary operation on a set M is a function : M M M. Examples:

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

CSIR - Algebra Problems

An Introduction to Proof-based Mathematics Harvard/MIT ESP: Summer HSSP Isabel Vogt

Transcription:

MATH 433 Applied Algebra Lecture 22: Review for Exam 2.

Topics for Exam 2 Permutations Cycles, transpositions Cycle decomposition of a permutation Order of a permutation Sign of a permutation Symmetric and alternating groups Abstract groups (definition and examples) Semigroups Rings, integral domains, zero-divisors Fields, characteristic of a field Vector spaces over a field Algebras over a field

Topics for Exam 2 Order of an element in a group Subgroups, cyclic subgroups Cosets Lagrange s theorem Isomorphism of groups Binary codes, error detection and error correction Linear codes, generator matrix Coset leaders, coset decoding table Parity-check matrix, syndromes

What you are supposed to remember Definition of a permutation, a cycle, and a transposition Theorem on cycle decomposition Definition of the order of a permutation How to find the order for a product of disjoint cycles Definition of even and odd permutations Definition of the symmetric group S(n) and the alternating group A(n) Definition of a group Definition of a ring Definition of a field

What you are supposed to remember Definition of the order of a group element Definition of a subgroup How to check whether a subset of a group is a subgroup Definition of a cyclic subgroup Definition of a coset Lagrange s theorem Definition of a binary code and a codeword Definition of a linear code and a generator matrix How to determine the number of detected and corrected errors How to correct errors using the minimum distance approach

Sample problems Problem 1. Write the permutation π = (4 5 6)(3 4 5)(1 2 3) as a product of disjoint cycles. Problem 2. Find the order and the sign of the permutation σ = (1 2)(3 4 5 6)(1 2 3 4)(5 6). Problem 3. What is the largest possible order of an element of the alternating group A(10)? Problem 4. Consider the operation defined on the set Z of integers by a b = a + b 2. Does this operation provide the integers with a group structure?

Sample problems Problem ( 5. ) Let M be the set of all 2 2 matrices of the n k form, where n and k are rational numbers. Under the 0 n operations of matrix addition and multiplication, does this set form a ring? Does M form a field? Problem 6. Let L be the set of the following 2 2 matrices with entries from the field Z 2 : ( ) ( ) [0] [0] [1] [0] A =, B =, [0] [0] [0] [1] ( ) ( ) [1] [1] [0] [1] C =, D =. [1] [0] [1] [1] Under the operations of matrix addition and multiplication, does this set form a ring? Does L form a field?

Sample problems Problem 7. For any λ Q and any v Z let λ v = λv if λv is an integer and λ v = v otherwise. Does this selective scaling make the additive Abelian group Z into a vector space over the field Q? Problem 8. Suppose H and K are subgroups of a group G. Is the union H K necessarily a subgroup of G? Is the intersection H K necessarily a subgroup of G? Problem 9. Find all subgroups of the group (G 15, ). Problem 10. Determine which of the following groups of order 6 are isomorphic and which are not: Z 6, Z 3 Z 2, S(3), and D(3).

Sample problems Problem 11. Let f : B 3 B 7 be the coding function that sends each three-character word abc in the alphabet B = {0, 1} to the codeword abcabcy, where y is the inverted parity bit of the word abc (i.e., y = 0 if abc contains an odd number of 1s and y = 1 otherwise). How many errors will this code detect? correct? Is this code linear? Problem 12. Let f : B 3 B 6 be a coding function defined by the generator matrix 1 0 0 1 0 1 0 1 0 1 1 0. 0 0 1 0 1 1 Suppose that a message encoded by this function is received with errors as 101101 010101 011111. Correct errors and decode the received message.

Sample problems Problem 13. Complete the following Cayley table of a group of order 9: A B C D E F G H I A I F B F G C H E D G A E E F A B G E A H G D I F C

Problem 1. Write the permutation π = (4 5 6)(3 4 5)(1 2 3) as a product of disjoint cycles. Keeping in mind that the composition is evaluated from the right to the left, we find that π(1) = 2, π(2) = 5, π(5) = 3, and π(3) = 1. Further, π(4) = 6 and π(6) = 4. Thus π = (1 2 5 3)(4 6). Problem 2. Find the order and the sign of the permutation σ = (1 2)(3 4 5 6)(1 2 3 4)(5 6). First we find the cycle decomposition of the given permutation: σ = (2 4)(3 5). It follows that the order of σ is 2 and that σ is an even permutation. Therefore the sign of σ is +1.

Problem 3. What is the largest possible order of an element of the alternating group A(10)? The order of a permutation π is o(π) = lcm(l 1, l 2,...,l k ), where l 1,...,l k are lengths of cycles in the disjoint cycle decomposition of π. The largest order for π A(10), an even permutation of 10 elements, is 21. It is attained when π is the product of disjoint cycles of lengths 7 and 3, for example, π = (1 2 3 4 5 6 7)(8 9 10). One can check that in all other cases the order is at most 15. Remark. The largest order for π S(10) is 30, but it is attained on odd permutations, e.g., π = (1 2 3 4 5)(6 7 8)(9 10).

Problem 4. Consider the operation defined on the set Z of integers by a b = a + b 2. Does this operation provide the integers with a group structure? We need to check 4 axioms. Closure: a, b Z = a b = a + b 2 Z. Associativity: for any a, b, c Z, we have (a b) c = (a+b 2) c = (a+b 2)+c 2 = a+b+c 4, a (b c) = a (b+c 2) = a+(b+c 2) 2 = a+b+c 4, hence (a b) c = a (b c). Existence of identity: equalities a e = e a = a are equivalent to e + a 2 = a. They hold for e = 2. Existence of inverse: equalities a b = b a = e are equivalent to b + a 2 = e (= 2). They hold for b = 4 a. Thus (Z, ) is a group. Remark. The group (Z, ) is isomorphic to (Z, +) via the isomorphism f : Z Z, f (a) = a 2. Indeed, f (a b) = f (a) + f (b) for all a, b Z.

Problem ( 5. ) Let M be the set of all 2 2 matrices of the n k form, where n and k are rational numbers. Under 0 n the operations of matrix addition and multiplication, does this set form a ring? Does M form a field? The set M is closed under matrix addition, taking the negative, and matrix multiplication as ( ) ( n k n k + ) ( n + n k + k 0 n 0 n = ) 0 n + n, ( ) ( ) n k n k =, 0 n 0 n ( ) ( n k n k ) ( nn nk 0 n 0 n = + kn ) 0 nn. Also, the multiplication is commutative on M. The associativity and commutativity of the addition, the associativity of the multiplication, and the distributive law hold on M since they hold for all 2 2 matrices. Thus M is a commutative ring.

Problem ( 5. ) Let M be the set of all 2 2 matrices of the n k form, where n and k are rational numbers. Under 0 n the operations of matrix addition and multiplication, does this set form a ring? Does M form a field? The ring M is not a field since it has zero-divisors (and zero-divisors do not ( admit multiplicative ) inverses). 0 1 For example, the matrix M is a zero-divisor as 0 0 ( ) ( ) ( ) 0 1 0 1 0 0 =. 0 0 0 0 0 0

Problem 6. Let L be the set of the following 2 2 matrices with entries from the field Z 2 : ( ) ( ) ( ) ( ) [0] [0] [1] [0] [1] [1] [0] [1] A=, B =, C =, D =. [0] [0] [0] [1] [1] [0] [1] [1] Under the operations of matrix addition and multiplication, does this set form a ring? Does L form a field? First we build the addition and mutiplication tables for L (meanwhile checking that L is closed under both operations): + A B C D A A B C D B B A D C C C D A B D D C B A A B C D A A A A A B A B C D C A C D B D A D B C Analyzing these tables, we find that both operations are commutative on L, A is the additive identity element, and B is the multiplicative identity element. Also, B 1 = B, C 1 = D, D 1 = C, and X = X for all X L. The associativity of addition and multiplication as well as the distributive law hold on L since they hold for all 2 2 matrices. Thus L is a field.

Problem 7. For any λ Q and any v Z let λ v = λv if λv is an integer and λ v = v otherwise. Does this selective scaling make the additive Abelian group Z into a vector space over the field Q? The group (Z, +) with the scalar multiplication is not a vector space over Q. One reason is that the axiom λ (µ v) = (λµ) v does not hold. A counterexample is λ = 2, µ = 1/2, and v = 1. Then λ (µ v) = λ v = 2 while (λµ) v = 1 v = 1.

Problem 8. Suppose H and K are subgroups of a group G. Is the union H K necessarily a subgroup of G? Is the intersection H K necessarily a subgroup of G? The union H K is a subgroup of G only if H K or K H (so that H K coincides with one of the subgroups H and K). Otherwise H K is not closed under the group operation. The intersection H K of two subgroups is always a subgroup.

Problem 9. Find all subgroups of the group (G 15, ). G 15 is the multiplicative group of invertible congruence classes modulo 15. It has 8 elements: [1], [2], [4], [7], [8], [11], [13], [14]. First we find the cyclic subgroups of G 15. These are {[1]}, {[1], [4]}, {[1], [11]}, {[1], [14]}, {[1], [2], [4], [8]}, and {[1], [4], [7], [13]}. Any other subgroup is the union of several cyclic subgroups. By Lagrange s theorem, a subgroup of G 15 can have the order 1, 2, 4, or 8. It follows that the only subgroup of G 15 other than cyclic subgroups and G 15 itself might be the union of three cyclic subgroups of order 2: {[1], [4], [11], [14]}. One can check that this is indeed a subgroup.

Problem 10. Determine which of the following groups of order 6 are isomorphic and which are not: Z 6, Z 3 Z 2, S(3), and D(3). Z 3 Z 2 is an additive group, where the addition is defined by (g, h) + (g, h ) = (g + g, h + h ). It is easy to check that the element ([1] 3, [1] 2 ) has order 6. Therefore it generates the entire group so that Z 3 Z 2 is cyclic. Hence it is isomorphic to Z 6. D(3) is a dihedral group, the group of symmetries of an equilateral triangle. Any symmetry permutes vertices of the triangle. Once we label the vertices as 1, 2, and 3, each symmetry from D(3) is assigned a permutation from the symmetric group S(3). This correspondence is actually an isomorphism. Neither of the groups Z 6 and Z 3 Z 2 is isomorphic to S(3) or D(3) since the first two groups are commutative while the other two are not.

Problem 11. Let f : B 3 B 7 be the coding function that sends each three-character word abc in the alphabet B = {0, 1} to the codeword abcabcy, where y is the inverted parity bit of the word abc (i.e., y = 0 if abc contains an odd number of 1s and y = 1 otherwise). How many errors will this code detect? correct? Is this code linear? First we list all 8 codewords for the given code: 0000001, 0010010, 0100100, 0110111, 1001000, 1011011, 1101101, 1111110. Then we determine the minimum distance between distinct codewords. By inspection, it is 3. Therefore the code allows to detect 2 errors and to correct 1 error. Since the zero word is not a codeword, it follows that the code is not linear.

Problem 12. Let f : B 3 B 6 be a coding function defined by the generator matrix 1 0 0 1 0 1 0 1 0 1 1 0. 0 0 1 0 1 1 Suppose that a message encoded by this function is received with errors as 101101 010101 011111. Correct errors and decode the received message. The coding function is given by f (w) = wg, where G is the generator matrix and w is regarded as a row vector. The 8 codewords are linear combinations of rows of the generator matrix: 000000, 001011, 010110, 011101, 100101, 101110, 110011, 111000. Every received word is corrected to the closest codeword. The corrected message is 100101 011101 011101. Since the code is systematic, decoding consists of truncating the codewords to 3 digits: 100 011 011.

Problem 13. Complete the following Cayley table of a group of order 9: A B C D E F G H I A I F B F G C H E D G A E E F A B G E A H G D I F C First we observe that E is the identity element as E 2 = E. Next we observe that A 2 = I and A 3 = AI = F so that the order of A is greater than 3. Since the order of the group is 9, it follows from Lagrange s theorem that the group is cyclic and A is a generator. Further, B = F 2 = A 6, C = I 2 = A 4, H = C 2 = A 8, D = H 2 = A 16 = A 7, G = D 2 = A 14 = A 5. Also, E = A 0. Now that every element of the group is represented as a power of A, completing the table is a routine task. For example, BC = A 6 A 4 = A 10 = A.