Introduction to Abstract Algebra/Lecture 2

Last Time

edit

In our last lecture, we briefly reviewed set theory and plunged head-long into equivalence relations and equivalence classes. In this lecture, we will continue our discussion on equivalence relations and classes and also introduce mappings. Problem set exercises will be posted at the end of the lecture.

Equivalence relations and classes (cont.)

edit

Recall: A relation ~ on a set A is called an equivalence relation if:

1): a ~ a  .
2): If a ~ b   b ~ a.
3): If a ~ b and b ~ c,   a ~ c.

Following from the equivalence relation, the equivalence class cl(a) for   is defined to be: cl(a) = { a~b} = { b~a}. These two statements are equivalent. It's a matter of preference to which one you use. Now for a lemma.


Lemma: Let ~ be an equivalence relation on A for  . Then either   =   or  .

This statement says that either cl(a) and cl(b) share no elements or that they are the same. Let's prove it.

Proof: Suppose  . If that's the case, we can go home. There's nothing to prove. Suppose  . Let  . We are going to show that  . Let  . This imples that x ~ a. Since c   cl(a), a~c. This implies that x ~ c. Also,  , this implies that c ~ b, which implies x ~ b. . Hence,  . By a similar argument, we can show  . Hence,    .


Theorem: Let ~ be an equivalence relation on A. Then the disjoint equivalence classes give a partition on A.

In other words, this means that the set A is a disjoint union of different equivalence classes.


Remark: Let { } be a partition on A. Define a relation on A such that a ~ b if and only if   for some  . Then ~ is an equivalence relation. The distinct equivalence classes are exactly { }.

That ends our discussion on equivalence relations and classes for now. We will return to the topic in a later lecture.

Mappings

edit

Introduction

edit

Our focus now moves to mappings. Mappings will be a integral part of our study, particularly when we move into group theory. You have studied maps for quite a while, probably without realizing it. They are very familiar; you probably know them as 'functions.'

Some definitions

edit

Definition: Let A,B be sets. A map f from A to B is a correspondence from A to B, denoted by  .

Here, an element   is being mapped by the rule f, to  .

Definition: Let   be a map. f is injective or one-to-one (1:1) if   such that  . This means that every element in A is sent to a unique element in B.

Example:   such that f(x) =  . This is not a 1:1 map because 1   -1 but f(1) = f(-1) = 1

Definition: f is surjective or onto if  ,   such that b = f(a). This means that if f is mapping elements from A to B, every element in B has an element from A mapping to it. Another way to put this is that every element in B 'gets hit.'

Example:   such that f(x) =  .  , f(x) =     -1.   f is not onto. None of the negative numbers are hit in the image.

Definition: f is a one-to-one correspondence or bijection if f is both injective and surjective.

Examples

edit

Example: Let   such that A = {1,2,3,...}, B = {2,3,4,...}. Then   is a bijection.

Example: Let   such that f(x) =  . f is onto but not 1:1. So f is not a bijection.

Example: Let   such that f(n) = 2n. This is a bijection.

Example: The Identity Map,   is a bijection. We will make extensive use of the identity map later on.

Next Time

edit

In our next lecture, we will cover the composition of maps and cover some number theory that will be important to us later on. Please see the associated problem set for exercise related to this lecture.

  Resource type: this resource contains a lecture or lecture notes.