You are on page 1of 7

# MATH 3013 ABSTRACT ALGEBRA COURSE SCHEDULE

and

## 1 TOPIC 1: Introduction to Abstract Algebra Lecture and

class
1. Review set theory and basic set notation.
discussion.
2. Review methods of proof.
3. Discuss document Advice for MATH 317E Students
1 TOPIC 2: Axiom of Extension & Specification Lecture and
class
1. Definitions of sets, elements and subsets.
discussion.
2. The Axiom of Extension - Two sets are equal if and only
if they have the same elements
3. Theorem 2.1 - If A B and B A, then A B
4. The Axiom of Specification - To every set A and to every
condition S x there corresponds a set B whose

## elements are exactly those elements x of A for which

S x holds.
5. Class discussion involving the Axiom of Extension and
the Axiom of Specification and their implications.
2 TOPIC 3: Unions & Intersections Lecture and Assignment
class #1 is given
1. Definition of the empty set
discussion. out in week
2. The Axiom of Pairing - For any two sets a set that
#2 and is
they both belong to
due in week
3. The Axiom of Unions - For every collection of sets, a
#4
set that contains all the elements that belong to at
least one set of the given collection
4. Theorem 3.1 -
(i ) A A
(ii ) A B B A
(iii ) A ( B C ) ( A B) C ( AssociativeLaw)
(iv ) A A A
(v ) A B if and only if A B B
5. The Axiom of Intersections - For every collection of
sets, a set that contains all the elements that belong
to each set in the given collection
(i ) A
(ii ) A B B A
6. Theorem 3.2 - (iii ) A ( B C ) ( A B) C
(iv ) A A A
(v ) A B if and only if A B A
7. Definitions of disjoint and non-empty
8. Theorem 3.3 -
(i ) A ( B C ) ( A B) ( A C )
(ii ) A ( B C ) ( A B) ( A C )
2 TOPIC 4: Complements Lecture and
class
1. Definitions of difference between 2 sets and relative
discussion.
complement

(i ) ( A ' ) ' A
(ii ) ' E and E '
2. Theorem 4.1 -
(iii ) A A ' and A A ' E
(iv ) A B if and only if B ' A '
3. Theorem 4.2 - De Morgans Laws:

## (i ) ( A B) ' A ' B '

(ii ) ( A B) ' A ' B '
4. Theorem 4.3 -
(i ) A B A B '
(ii ) A B if and only if A B
(iii ) A ( A B ) A B
(iv ) A ( B C ) ( A B ) ( A C )
(v ) A B ( A C ) ( B C ' )
(vi) ( A C ) ( B C ' ) A B
5. Definition of symmetric difference.
3 TOPIC 5: Relations Lecture and
class
1. Definitions of the ordered pair and cartesian product
discussion.
2. Theorem 5.1 -
(i ) ( A B) C ( A C ) ( B C )
(ii ) ( A B) (C D) ( A C ) ( B D)
3. Definitions of a relation, domain, range, co domain,
reflexive, symmetric, transitive, irreflexive, atransitive,
antisymmetric, composition, inverse, order(partial
order), strict order, total, equivalence relation,
equivalence class and partition
4. Theorem 5.2 - Two equivalence classes are either equal
or are disjoint
3 TOPIC 6: Functions & Inverses Lecture and
class
1. Definitions of function, surjective, injective, image,
discussion.
bijective, one-to-one correspondence, projection, canonical
map, characteristic function, families, index and identity
function.

(i) f (i Ai ) i f ( Ai )
2. Theorem 6.1 -
(ii ) f (i Ai ) i f ( Ai )

## 4. Theorem 6.2 A necessary and sufficient condition that

f be one-to-one is that the inverse image under f of each
singleton in the range of f be a singleton in X

5. Theorem 6.3 -
1
(i ) If B Y , then f ( f ( B)) B.
If f maps X ontoY , then f ( f 1 ( B)) B.
(ii ) If A X , then A f 1 ( f ( A)).
If f is one to onethen A f 1 ( f ( A))
(iii ) If {Bi } is a family of subsets of Y , then
(a) f 1 ( i Bi ) i f 1 ( Bi )
(b) f 1 ( i Bi ) i f 1 ( Bi )

## 4 TOPIC 7: The Natural Numbers Lecture and

class
1. Definition of natural numbers
discussion.
2. The Axiom of Infinity - There exists a set containing 0
and containing the successor of each of its elements.
3. Definitions of infinite and finite sets, successor sets,
equivalent sets and partial order sets.
4. Theorem 7.1 - Two natural numbers are always
comparable.
4,5 TOPIC 8: Groups and Subgroups Lecture and Assignment
class #2 is given
1. Definitions of groupoid, semigroup, monoid, group,
discussion. out in week
abelian(commutative), order, finite and infinite groups
#5 and is
2. Theorem 8.1 - Let (G, ) be a group, then
due in week
(i) the identity element is unique and
#11.

## 3. Theorem 8.2 - If G is a group and a, b G , then

( a 1 ) 1 a and (ab) 1 b 1 a 1
4. Theorem 8.3 - Let G be a group and a, b, c G. If

either ab ac or ba ca , then b c .
5. Definition of a subgroup
6. Theorem 8.4 - Let G be a group. Let H G ( H )

## such that a, b H ab 1 H . Then H is a

subgroup of G.
7. Theorem 8.5 -Let G be a group and H a non-empty
subset of G. Then H is a subgroup of G if and only if

a, b H , ab1 H .
8. Theorem 8.6 - Let G be a group and H a finite non-
empty subset of G. Then H is a subgroup of G if and
only if H H H .
6,9 TOPIC 9: Symmetric, Permutation and Cyclic Groups, Cosets
and Lagranges Theorem

1. Theorem 9.1 - For any set X, let S(X) denote the subset
of X consisting of all bijections of X to itself. Then
(S ( X ), ) is a group where denotes composition of
functions.
2. Definitions of symmetric and permutation groups

Theorem 9.2 - S n n!
3. Definitions of product, r-cycle, transposition, even
(odd) permutations, alternating group and symmetry.
4. Definitions of cyclic groups, generator element and
order of an element.
5. Theorem 9.3 - If (G, ) is a finite group of order n and

## g G is of order n, then G is a cyclic group of order n.

6. Definition of a is congruentto b modulo H .

## 7. Theorem 9.4 - The relation (mod H) is and

equivalence relation on G.
8. Definition of right (left) cosets.
9. Lagranges Theorem - Let G be a finite group and H, a

## 7,8 2 week field teaching PRAC 3002

10 TOPIC 10: Normal subgroups & Quotients groups Lecture and In Course
class Exam is
1. Definition of normal subgroups
discussion. given in
2. Theorem 10.1 - H is normal in G if and only if
week #8.
g 1hg H , g g and h H
(based on
3. Theorem 10.2 - If NG , then the set of cosets
week 1-7).
G / N {gN : g G} is a group under the operation
defined by Ng1 Ng 2 Ng1 g 2
4. Definition of the quotient group of factor group of G by
N.

## 11 TOPIC 11: Homomorphism of Groups Lecture and

class
1. Definition of group homomorphism, isomorphism,
discussion.
isomorphic and automorphism.
2. Theorem 11.1: Let f : G H be a homomorphism

## from a group G to a group H. Let eG and e H be the

identities in G and H respectively. Then
(i) f ( eG ) e H

(ii) f ( g 1 ) ( f ( g )) 1 , g G

## 12 TOPIC 12: Rings Lecture and

class
1. Definition of a ring, a subring and a proper subring.
discussion.
2. Definition of homomorphism in rings.
3. Definition of fields.