HL Test 2018 Sets, Relations and Groups [50 marks]

Similar documents
HL Test 2018 Calculus Option [50 marks]

Topic 1 [145 marks] Markscheme. Examiners report. since. I is the identity A1 and. R is reflexive. it follows that B = AX 1 A1 and.

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

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

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

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

Theorems and Definitions in Group Theory


0 Sets and Induction. Sets

Foundations Revision Notes

INTRODUCTION TO THE GROUP THEORY

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

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

Elements of solution for Homework 5

Math 430 Exam 2, Fall 2008

Algebraic Structures Exam File Fall 2013 Exam #1

Name: Solutions Final Exam

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

More Functions Practice [30 marks]

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

Generating Permutations and Combinations

Groups and Symmetries

120A LECTURE OUTLINES

Chapter 1. Sets and Mappings

Algebraic structures I

MAT 150A, Fall 2015 Practice problems for the final exam

Examples: The (left or right) cosets of the subgroup H = 11 in U(30) = {1, 7, 11, 13, 17, 19, 23, 29} are

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

9 RELATIONS. 9.1 Reflexive, symmetric and transitive relations. MATH Foundations of Pure Mathematics

Math 430 Exam 1, Fall 2006

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Economics 204 Summer/Fall 2017 Lecture 1 Monday July 17, 2017

May 6, Be sure to write your name on your bluebook. Use a separate page (or pages) for each problem. Show all of your work.

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5

Kevin James. p-groups, Nilpotent groups and Solvable groups

DEPARTMENT OF MATHEMATIC EDUCATION MATHEMATIC AND NATURAL SCIENCE FACULTY

Quiz 2 Practice Problems

BASIC GROUP THEORY : G G G,

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

6 Cosets & Factor Groups

Revision, normal distribution

Chapter 4 Mathematics of Cryptography

Chapter 16 MSM2P2 Symmetry And Groups

Group. Orders. Review. Orders: example. Subgroups. Theorem: Let x be an element of G. The order of x divides the order of G

Week 4-5: Generating Permutations and Combinations

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Properties of the Integers

Relations MATH Relations. Benjamin V.C. Collins, James A. Swenson MATH 2730

Algebra I. Randall R. Holmes Auburn University

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.

A Little Beyond: Linear Algebra

Group Theory

MA441: Algebraic Structures I. Lecture 14

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd

Division of Marks TOTAL [3 +2] Part -A Part-B Part-C

Algebra: Groups. Group Theory a. Examples of Groups. groups. The inverse of a is simply a, which exists.

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

Rohit Garg Roll no Dr. Deepak Gumber

Exercises MAT2200 spring 2013 Ark 3 Cosets, Direct products and Abelian groups

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

Relations and Equivalence Relations

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Notes on Algebraic Structures. Peter J. Cameron

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 22, Time Allowed: 150 Minutes Maximum Marks: 30

LECTURES 11-13: CAUCHY S THEOREM AND THE SYLOW THEOREMS

Discrete Structures May 13, (40 points) Define each of the following terms:

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

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

Groups. Groups. 1.Introduction. 1.Introduction. TS.NguyễnViết Đông. 1. Introduction 2.Normal subgroups, quotien groups. 3. Homomorphism.

Written Homework # 2 Solution

Fall /29/18 Time Limit: 75 Minutes

Groups. Contents of the lecture. Sergei Silvestrov. Spring term 2011, Lecture 8

Math 430 Final Exam, Fall 2008

List of topics for the preliminary exam in algebra

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

MEI Extra Pure: Groups

Chapter 1. Sets and Numbers

Solutions to Exercises Chapter 5: The Principle of Inclusion and Exclusion

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

Abstract Algebra I. Randall R. Holmes Auburn University. Copyright c 2012 by Randall R. Holmes Last revision: November 11, 2016

Logic Practice 2018 [95 marks]

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

TEST CODE: PMB SYLLABUS

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

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

1. Groups Definitions

Group Isomorphisms - Some Intuition

Exponential and Log Functions Quiz (non-calculator)

MATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.

Teddy Einstein Math 4320

Fundamental Theorem of Finite Abelian Groups

Page Points Possible Points. Total 200

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

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

Before you begin read these instructions carefully.

Problem Set Mash 1. a2 b 2 0 c 2. and. a1 a

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

MTH 411 Lecture Notes Based on Hungerford, Abstract Algebra

Transcription:

HL Test 2018 Sets, Relations and Groups [50 marks] The binary operation multiplication modulo 10, denoted by 10, is defined on the set T = {2, 4, 6, 8} and represented in the following Cayley table. 1a. Show that {T, 10} is a group. (You may assume associativity.) [4 marks] closure: there are no new elements in the table identity: 6 is the identity element inverse: every element has an inverse because there is a 6 in every row and column (2 1 = 8, 4 1 = 4, 6 1 = 6, 8 1 = 2) we are given that (modulo) multiplication is associative so {T, 10} is a group AG [4 marks] 1b. By making reference to the Cayley table, explain why T is Abelian. [1 mark] the Cayley table is symmetric (about the main diagonal) so T is Abelian AG [1 mark] 1c. Find the order of each element of {T, }. 10

considering powers of elements () A2 Note: Award A2 for all correct and for one error. 1d. Hence show that {T, 10} is cyclic and write down all its generators. EITHER {T, 10} is cyclic because there is an element of order 4 Note: Accept there are elements of order 4. {T, 10} is cyclic because there is generator Note: Accept because there are generators. THEN 2 and 8 are generators 1e. The binary operation multiplication modulo 10, denoted by 10, is defined on the set V = {1, 3,5,7,9}. Show that {V, 10} is not a group.

EITHER considering singular elements () 5 has no inverse (5 10 a = 1, a V has no solution) considering Cayley table for {V, 10} the Cayley table is not a Latin square (or equivalent) considering cancellation law eg, 5 10 9 = 5 10 1 = 5 if {V, 10} is a group the cancellation law gives 9 = 1 considering order of subgroups eg, {1, 9} is a subgroup it is not possible to have a subgroup of order 2 for a group of order 5 (Lagrange s theorem) THEN so {V, 10} is not a group AG Consider the sets A = {1, 3, 5, 7, 9}, B = {2, 3, 5, 7, 11} and C = {1, 3, 7, 15, 31}. 2a. Find (A B) (A C).

EITHER (A B) (A C) = {1, 2, 3, 5, 7, 9, 11} {1, 3, 5, 7, 9, 15, 31} A (B C) = {1, 3, 5, 7, 9, 11} {3, 7} B C is contained within A () THEN = {1, 3, 5, 7, 9} (= A) Note: Accept a Venn diagram representation. 2b. Verify that A \ C C \ A. A \ C = {5, 9} C \ A = {15, 31} so A \ C C \ A AG Note: Accept a Venn diagram representation. 2c. Let S be a set containing n elements where n N. Show that S has 2 n subsets.

METHOD 1 if S = then n = 0 and the number of subsets of S is given by 20 = 1 if n > 0 for every subset of S, there are 2 possibilities for each element x S either x will be in the subset or it will not so for all n elements there are (2 2 2)2 n different choices in forming a subset of S so S has 2 n subsets AG Note: If candidates attempt induction, award for case n = 0, for setting up the induction method (assume P (k) and consider P (k + 1) and for showing how the P (k) true implies P (k + 1) true). METHOD 2 n k=0( n is the number of subsets of S (of all possible sizes from 0 to ) k ) n n (1 + 1) n = k=0( n k ) (1k ) (1 n k ) n 2 n = k=0( n (= number of subsets of S) k ) so S has 2 n subsets AG The relation R is defined such that xry if and only if x + y = x + y for x, y, y R. 3a. Show that R is reflexive. (for x R ), x + x = 2 x and x + x = 2x = 2 x hence xrx so R is reflexive AG Note: Award for correct verification of identity for x > 0; for correct verification for x 0. 3b. Show that R is symmetric.

if xry x + y = x + y x + y = y + x x + y = y + x hence yrx so R is symmetric AG 3c. Show, by means of an example, that R is not transitive. [4 marks] recognising a condition where transitivity does not hold () (eg, x > 0, y = 0 and z < 0) for example, 1R0 and 0 R( 1) however 1 + 1 1 + 1 so 1 R( 1) (for example) is not true hence R is not transitive AG [4 marks] The set of all permutations of the list of the integers 1, 2, 3 4 is a group, S 4, under the operation of function composition. 4a. Determine the order of S 4. number of possible permutations is 4 3 2 1 () = 24(= 4!) In the group S 4 let p 1 = ( 1 2 3 4 and. 2 3 1 4 ) p 2 = ( 1 2 3 4 2 1 3 4 ) 4b. Find the proper subgroup H of order 6 containing p 1, p 2 and their compositions. Express each element of H in cycle form. [5 marks]

attempting to find one of p 1 p 1, p 1 p 2 or p 2 p 1 p 1 p 1 = (132) or equivalent (eg, p 1 1 = (132)) p 1 p 2 = (13) or equivalent (eg, p 2 p 1 p 1 = (13)) p 2 p 1 = (23) or equivalent (eg, p 1 p 1 p 2 = (23)) Note: Award A0A0 for one correct permutation in any form; A0 for two correct permutations in any form. e = (1), p 1 = (123) and p 2 = (12) Note: Condone omission of identity in cycle form as long as it is clear it is considered one of the elements of H. [5 marks] 4c. Let f:s 4 S 4 be defined by f (p) = p p for p S 4. Using p 1 and p 2, explain why f is not a homomorphism. [5 marks] METHOD 1 if f is a homomorphism f (p 1 p 2 ) = f (p 1 ) f (p 2 ) attempting to express one of f (p 1 p 2 ) or f (p 1 ) f (p 2 ) in terms of p 1 and p 2 f (p 1 p 2 ) = p 1 p 2 p 1 p 2 f (p 1 ) f (p 2 ) = p 1 p 1 p 2 p 2 p 2 p 1 = p 1 p 2 but p 1 p 2 p 2 p 1 so f is not a homomorphism AG Note: Award only if is awarded. Note: Award marks only if p 1 and p 2 are used; cycle form is not required. METHOD 2 if f is a homomorphism f (p 1 p 2 ) = f (p 1 ) f (p 2 ) attempting to find one of f (p 1 p 2 ) or f (p 1 ) f (p 2 ) f (p 1 p 2 ) = e f (p 1 ) f (p 2 ) = (132) () so f (p 1 p 2 ) f (p 1 ) f (p 2 ) so f is not a homomorphism AG Note: Award only if is awarded. Note: Award marks only if p 1 and p 2 are used; cycle form is not required. [5 marks]

The function f : Z Z is defined by f (n) = n + ( 1) n. Prove that f f is the identity function. 5a. [6 marks] METHOD 1 (f f)(n) = n + ( 1) n + ( 1) n+( 1)n = n + ( 1) n + ( 1) n ( 1) ( 1)n () considering ( 1) n for even and odd n if n is odd, ( 1) n = 1 and if n is even, ( 1) n = 1 and so ( 1) ±1 = 1 = n + ( 1) n ( 1) n = n and so f f is the identity function AG METHOD 2 (f f)(n) = n + ( 1) n + ( 1) n+( 1)n = n + ( 1) n + ( 1) n ( 1) ( 1)n = n + ( 1) n (1 + ( 1) ( 1)n ) () ( 1) ±1 = 1 1 + ( 1) ( 1)n = 0 (f f)(n) = n and so f f is the identity function AG METHOD 3 (f f)(n) = f (n + ( 1) n ) considering even and odd n if n is even, f (n) = n + 1 which is odd so (f f)(n) = f (n + 1) = (n + 1) 1 = n if n is odd, f (n) = n 1 which is even so (f f)(n) = f (n 1) = (n 1) + 1 = n (f f)(n) = n in both cases hence f f is the identity function AG [6 marks] 5b. Show that f is injective. suppose f (n) = f (m) applying f to both sides n = m hence f is injective AG

5c. Show that f is surjective. [1 mark] m = f (n) has solution n = f (m) hence surjective AG [1 mark] International Baccalaureate Organization 2018 International Baccalaureate - Baccalauréat International - Bachillerato Internacional Printed for San Jose High School