Is ℤ 6 a cyclic group? (a) Yes (b) No. How many generators are there of ℤ 6 ? 1 2 3 4 5 6 7 8 9 10.

Slides:



Advertisements
Similar presentations
Rotating a Square in Space
Advertisements

Vector Spaces A set V is called a vector space over a set K denoted V(K) if is an Abelian group, is a field, and For every element vV and K there exists.
Fall 2014 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
Finite Fields Rong-Jaye Chen. p2. Finite fields 1. Irreducible polynomial f(x)  K[x], f(x) has no proper divisors in K[x] Eg. f(x)=1+x+x 2 is irreducible.
BCH Codes Hsin-Lung Wu NTPU.
KRISTEN MCGAHAN Knot Groups. Group: A closed algebraic structure that has a law of composition with three properties Associative- (ab)c=a(bc) for all.
Chapter 4 Finite Fields. Introduction of increasing importance in cryptography –AES, Elliptic Curve, IDEA, Public Key concern operations on “numbers”
Cryptography and Network Security Chapter 4 Fourth Edition by William Stallings.
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.
CSCI 2670 Introduction to Theory of Computing September 13, 2005.
Subgroup Lattices and their Chromatic Number Voula Collins Missouri State University REU Summer 2008.
Groups TS.Nguyễn Viết Đông.
 Definition 16: Let H be a subgroup of a group G, and let a  G. We define the left coset of H in G containing g,written gH, by gH ={g*h| h  H}. Similarity.
Cyclic Groups Part 2.
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.
Group THeory Bingo You must write the slide number on the clue to get credit.
On the size of dissociated bases Raphael Yuster University of Haifa Joint work with Vsevolod Lev University of Haifa.
How do we start this proof? (a) Assume A n is a subgroup of S n. (b)  (c) Assume o(S n ) = n! (d) Nonempty:
*pqrstuvw pruptsqwv qupqwvrst rpqrstuvw stvsprwuq tswtrpvqu uqruvwpts vwtvquspr wvswuqtrp Does this table show a binary operation? (a) Yes (b) No.
How do we start this proof? (a) Let x  gHg -1. (b)  (c) Assume a, b  H (d) Show Nonempty:
Find all subgroups of the Klein 4- Group. How many are there?
What is the best way to start? 1.Plug in n = 1. 2.Factor 6n 2 + 5n Let n be an integer. 4.Let n be an odd integer. 5.Let 6n 2 + 5n + 4 be an odd.
1 More Applications of the Pumping Lemma. 2 The Pumping Lemma: Given a infinite regular language there exists an integer for any string with length we.
Is C 6 2-critical? a). Yes b). No c). I have absolutely no idea.
What is entry A in the matrix multiplication: ( a) 1 (b) -2(c) 5 (d) 11(e) 13 (f) 0.
Fall 2004COMP 3351 A Universal Turing Machine. Fall 2004COMP 3352 Turing Machines are “hardwired” they execute only one program A limitation of Turing.
Slide 10-1 Copyright © 2005 Pearson Education, Inc. SEVENTH EDITION and EXPANDED SEVENTH EDITION.
Cyclic Groups. Definition G is a cyclic group if G = for some a in G.
Tutorial Gauss-Jordan elimination. 1. Calculate the inverse matrix.
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach Wayne Lawton Department of Mathematics National University of Singapore S ,
External Direct Products (11/4) Definition. If G 1, G 2,..., G n are groups, then their external direct product G 1  G 2 ...  G n is simply the set.
Finite Groups & Subgroups. Order of a group Definition: The number of elements of a group (finite or infinite) is called its order. Notation: We will.
By: Hector L Contreras SSGT / USMC
Prelude to Public-Key Cryptography Rocky K. C. Chang, February
Groups Definition A group  G,  is a set G, closed under a binary operation , such that the following axioms are satisfied: 1)Associativity of  :
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.
1 1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 15-1 Mälardalen University 2012.
Math 3121 Abstract Algebra I Lecture 9 Finish Section 10 Section 11.
6.6 Rings and fields Rings  Definition 21: A ring is an Abelian group [R, +] with an additional associative binary operation(denoted · such that.
By S. Joshi. Content Binary Structures & Group Subgroup Isomorphism Rings Fields.
Great Theoretical Ideas in Computer Science for Some.
A Universal Turing Machine
Chapter 5: Permutation Groups  Definitions and Notations  Cycle Notation  Properties of Permutations.
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 344 Winter 07 Group Theory Part 2: Subgroups and Isomorphism
Math 3121 Abstract Algebra I
Math 344 Winter 07 Group Theory Part 1: Basic definitions and Theorems.
Math 3121 Abstract Algebra I Lecture 11 Finish Section 13 Section 14.
UNIT - 2.  A binary operation on a set combines two elements of the set to produce another element of the set. a*b  G,  a, b  G e.g. +, -, ,  are.
Elliptic Curves Number Theory and Cryptography. A Pile of Cannonballs A Square of Cannonballs.
Questions on Direct Products (11/6) How many elements does D 4  Z 4 have? A. 4B. 8C. 16D. 32E. 64 What is the largest order of an element in D 4  Z 4.
Functions (Mappings). Definitions A function (or mapping)  from a set A to a set B is a rule that assigns to each element a of A exactly one element.
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
SECTION 10 Cosets and the Theorem of Lagrange Theorem Let H be a subgroup of G. Let the relation  L be defined on G by a  L b if and only if a -1 b 
 Theorem 6.21: Let H be a subgroup of G. H is a normal subgroup of G iff g -1 hg  H for  g  G and h  H.  Proof: (1) H is a normal subgroup of G.
Recursively Enumerable and Recursive Languages
Induction Practice CS1050. Prove that whenever n is a positive integer. Proof: Basis Case: Let n = 1, then.
Group A set G is called a group if it satisfies the following axioms. G 1 G is closed under a binary operation. G 2 The operation is associative. G 3 There.
Extending a displacement A displacement defined by a pair where l is the length of the displacement and  the angle between its direction and the x-axix.
Prepared By Meri Dedania (AITS) Discrete Mathematics by Meri Dedania Assistant Professor MCA department Atmiya Institute of Technology & Science Yogidham.
Finite Groups and Subgroups, Terminology
Great Theoretical Ideas In Computer Science
Chapter 4: Cyclic Groups
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Rayat Shikshan Sanstha’s S.M.Joshi College, Hadapsar -28
What’s Covered?.
Finite Mathematical Systems
Presentation transcript:

Is ℤ 6 a cyclic group? (a) Yes (b) No

How many generators are there of ℤ 6 ?

How many generators are there of ℤ 10 ?

How many generators are there of ℤ 9 ?

Is the Klein 4-Group a cyclic group? (a) Yes (b) No

What is the first line in this proof? (a) Assume G is an abelian group. (b) Assume G is a cyclic group. (c) Assume a * b = b * a.

What is the next line in this proof? (a) Then G is abelian. (b) Then G contains inverses. (c) Then a * b = b * a for all a, b in G. (d) Then G = for some x in G.

What is the next line in this proof? (a) Choose any two elements of G. (b) Then G has finite order. (c) Then a * b = b * a for all a, b in G. (d) Choose any element x and its inverse.

What is the last line in this proof? (a) Thus G is abelian. (b) Thus G contains inverses. (c) Therefore G is cyclic. (d) Then G has primary order.

What is the second to last line in this proof? (a) Then G is cyclic. (b) Then G has finite order. (c) Then a * b = b * a for all a, b in G. (d) Choose any element x and its inverse.