Ch 1-6 Flashcards
What is a relation from set A to set B?
A relation is a subset from A x B
What is a function from set A to set B?
A function is a relation satisfying the following properties:
Dom(f)=A
For all x€A and y,z€B if (x,y)€f and (x,z)€f
then y=z
What is a binary operation on a set S?
A function from S x S * S. In other words, it is a function from S x S to S.
Ex: addition and mult. on: N, Z, Q, R, C
Must be every and well defined as well as closed by definition.
What does it mean if an operation is not everywhere defined?
If some element of S x S is not assigned anywhere then the operation is not everywhere defined.
What does it mean that an operation is not well defined?
If an element of S x S is assigned to more than one place then the operation is not well defined.
What does it mean if an operation is closed?
If all assigned elements are elements of S then S is closed under the operation.
What does it mean if an operation is associative on a set S?
For all a,b,c€S (ab)c=a(bc)
What does it mean if an operation is commutative on a set S?
For all a,b€S ab=ab
What does it mean if a function f is 1-1?
If f is a function from A to B, for all a,b€A, if f(a)=f(b) then a=b
To prove: choose two elements of A, assume f(a)=f(b) and show a=b
What does it mean that a function (f) is onto?
A function from A to B is onto if for all b€B there’s exists an a€A such that f(a)=b
To prove:
What is a group?
A set G closed under a binary operation * defined on G such that:
For all a,b,c€g (ab)c=a(bc) (associative)
For all a€G, there exists e€G s.t. ae=ea=a
(identity element of G)
For all a€G, there exists an a’€G such that
aa’=a’a=e where e is the identity element of
G (*-inverse)
What is left and right cancellation for a group ?
If ab=ac then b=c (left)
If ba=ca then b=c (right)
Hat is a subgroup?
If G is a group, then H is a subgroup iff
For all a,b€H, ab€H
e€H (where e is the identity of G)
For all a€H, a’€H (where a’ is the inverse)
To prove: assume G is a group and H is a subset of G, check three properties above.
Then assume G is a group and H is a subgroup of G, check the three properties of a group for H.
What does it mean that a group is abelian?
For all a,b€G, if ab=ba (commutative) then G is an abelian group.
What does it mean that a group is cyclic?
For a group G there exists an a€G such that <a>=G</a>