Binary Operations and Group Theory Flashcards
What is a Binary Operation?
A Binary operation * on a set S is a rule that assigns the element x*y to any ordered pair of elements x, y in S. Binary operation may or not be closed, commutative or associative.
What does it mean for integers to be congruent?
The integers x and y are said to be congruent modulo m id the difference between them is a multiple of m.
What is a way of representing a binary operation?
A Cayley table
What is a Group?
A group is defined for a closed, associative binary operation, where an identity element exists and each element has an inverse
What is an Abelian Group?
If the operation is commutative, the group is called abelian
What is the period of an element?
The period of an element x of a group is the smallest non-negative interger n such that xⁿ=e (where e is the identity)
What is a cyclic group?
G is a cyclic group is gⁿ=e for some generator g.
What is the order of the symmetry group of an n-sided polygon?
2n
What is a Subgroup?
any subset of G that gives rise to a group under the operation * is referred to as a subgroup of {G, * }
What is Lagrange’s Theorem?
Lagrange’s Theorem states that the order of a subgroup of a finite group is a factor of the order of the group
What does the term isomorphic mean (in group theory)?
Two groups are isomorphic if they have the same structure
Give three properties of isomorphic graphs
For isomorphic graphs G and H:
G is abelian if and only if H is abelian.
the periods of the elements of G are the same as those of the elements of H.
the orders of the subgroups of G are the same as those of H.
Give three results for isomorphisms?
All cyclic groups of a particular order are isomorphic to each other
all groups of order 4 are isomorphic to either the cyclic group if the Klein 4-group
there are two distinct groups of order 6: cyclic groups and groups isomorphic to D₃
What is a non-trivial subgroup?
A non-trivial subgroup is any subgroup other than {e}
What is a generator of a group?
It is said that g is a generator of the Group G (of order n) if gⁿ=e, and no smaller powers of g equals e.