|
|
| (11 intermediate revisions by 3 users not shown) |
| Line 1: |
Line 1: |
| − | ==Course Catalog== | + | ==Modern Abstract Algebra== |
| | | | |
| | [https://catalog.utsa.edu/undergraduate/sciences/mathematics/#courseinventory MAT 4233. Modern Abstract Algebra]. (3-0) 3 Credit Hours. | | [https://catalog.utsa.edu/undergraduate/sciences/mathematics/#courseinventory MAT 4233. Modern Abstract Algebra]. (3-0) 3 Credit Hours. |
| | | | |
| − | Prerequisites: [[MAT2233]] and [[MAT3013]]. Basic properties and examples of semigroups, monoids, and groups, detailed study of permutation, dihedral, and congruence groups, cyclic groups, normal subgroups, quotient groups, homomorphism, isomorphism theorems, direct products of groups, The Sylow Theorems, rings and fields and their basic properties, ideals, polynomial rings. Generally offered: Spring. Differential Tuition: $150. | + | Prerequisites: [[MAT3233]]. |
| − | ==Description==
| + | Basic properties and examples of semigroups, monoids, and groups, detailed study of permutation, dihedral, and congruence groups, cyclic groups, normal subgroups, quotient groups, homomorphism, isomorphism theorems, direct products of groups, rings and fields and their basic properties, ideals, polynomial rings. Generally offered: Spring. Differential Tuition: $150. |
| | | | |
| − | The objective of this course is to introduce the basic concepts of abstract algebra, look into the interaction of algebraic operations with foundational constructions, such as products of sets and quotient sets, and to develop rigorous skills needed for further study.
| |
| − | The course will focus on groups and homomorphisms, as well as provide an introduction to other algebraic structures like rings and fields.
| |
| − |
| |
| − | ==Evaluation==
| |
| − |
| |
| − | * Two midterms (for classes that meet twice a week) and an optional final.
| |
| − |
| |
| − | * Exam score is the best of final score and midterm average.
| |
| − |
| |
| − | * Students will have access to several past exams for practice.
| |
| | | | |
| | ==Text== | | ==Text== |
| − | J. Gallian, [https://isidore.co/calibre/get/pdf/4975 ''Contemporary abstract algebra''] (8e) Houghton Mifflin
| + | Charles C. Pinter. [https://store.doverpublications.com/0486474178.html ''A Book of Abstract Algebra.''] (Reprint of 2nd. ed. originally published in 1990) Dover Publications, NY (2010). ISBN-10: 0-486-47417-8. |
| | | | |
| − | ==Topics List== | + | ==Topics== |
| | {| class="wikitable sortable" | | {| class="wikitable sortable" |
| − | ! Week !! Session !! Topics !! Chapter !! Prerequisite Skills !! Learning Outcomes !! Examples !! Exercises | + | ! Date !! Sections !! Topics !! Student Learning Outcomes |
| − | | + | |- |
| − | |- | + | | |
| − | |1 | + | 1 |
| − | ||'''Z'''
| |
| − | ||
| |
| − | *The natural order on '''N''' and the well ordering principle
| |
| − | *Mathematical induction
| |
| − | *Construction of '''Z''' and its properties (graph the equivalence classes)
| |
| − | *Division algorithm
| |
| − | *Congruence mod m
| |
| − | *Algebra on the quotient set '''Z'''_m
| |
| − | *GCD, LCM, Bézout
| |
| − | *Primes, Euclid's Lemma
| |
| − | *Fundamental Theorem of Arithmetic
| |
| − | ||0
| |
| | || | | || |
| − | *Sets
| + | 1 & 2 |
| − | *Partitions
| |
| − | *Equivalence relations and classes
| |
| − | *Functions
| |
| − | *Images and preimages
| |
| | || | | || |
| − | *Review of known facts about '''Z'''
| + | Binary operations on sets. |
| − | *A concrete introduction to techniques of abstract algebra
| |
| | || | | || |
| − | *Equivalence classes are partitions
| |
| − | *If f is a function, xRy <=> f(x)=f(y) is an equivalence relation and the equivalence classes are fibers of f.
| |
| − | *Introduce congruence using the remainder function.
| |
| − | *Congruence classes mod 3
| |
| − | *Extended Euclid's algorithm
| |
| − | ||'''0:''' 2, 4, 10, 14, 15, 17, 18 (show work), 20, 21, 22, 27, 28.
| |
| | | | |
| | |- | | |- |
| − | |2 | + | | |
| − | || Groups
| + | 2 |
| | || | | || |
| − | *Symmetries
| + | 3 & 4 |
| − | *Properties of composition
| |
| − | *Definition of a group
| |
| − | *Elementary proofs with groups:
| |
| − | **uniqueness of identity
| |
| − | **uniqueness of inverses
| |
| − | **cancellation
| |
| − | **shortcuts to establishing group axioms*'''14:''' 4, 6, 10.
| |
| − | *Foundational examples with Cayley tables
| |
| − | ||2
| |
| − | ||Sets and functions
| |
| | || | | || |
| − | *Motivation for the concept of a group
| + | Groups: Definition and elementary properties. |
| − | *Learn the definition of a group
| |
| − | *Learn basic automatic properties of groups (with proofs) for later use as shortcuts
| |
| − | *Starting to build a catalog of examples of groups
| |
| − | *Learn to construct and read Cayley tables
| |
| | || | | || |
| − | *'''Z''', '''Q''', '''Q'''*, '''Q'''+, '''R''', '''R'''*, '''R'''+, {-1, 1}
| |
| − | *'''R'''^n, M(n,'''R''')
| |
| − | *symmetric group S_n
| |
| − | *'''Z'''_2 defined for now as {even,odd} ({solids,stripes})
| |
| − | *correspondence of '''Z'''_2 with {-1, 1} and with S_2
| |
| − | *functions X -> G with pointwise operation (fg)(x)=f(x)g(x)
| |
| − | *free group on a finite set
| |
| − | ||'''2:''' 2, 3, 19, 22, 23, 25, 26, 28, 35, 37, 39, 47.
| |
| | | | |
| | |- | | |- |
| − | |3 | + | | |
| − | ||Homomorphisms
| + | 3 |
| − | ||
| |
| − | *Cayley's theorem
| |
| − | *Homomorphisms of groups
| |
| − | *Isomorphisms and their inverses
| |
| − | *Automorphisms
| |
| − | *Examples
| |
| − | ||10, 6
| |
| − | ||
| |
| − | *Functions
| |
| − | *Groups
| |
| − | *Matrix multiplication
| |
| − | *Change of basis for matrices
| |
| | || | | || |
| − | *General framework for thinking of groups as symmetries and motivation for homomorphisms
| + | 5 |
| − | *Learn the definitions of homomorphism and isomorphism
| |
| − | *Prove that homomorphisms preserve powers.
| |
| − | *Starting to build a catalog of examples of homomorphisms.
| |
| | || | | || |
| − | *'''R''' -> '''R''': x -> ax
| + | Subgroups. |
| − | *'''R'''^n -> '''R'''^n: v -> Av
| |
| − | *M(n,'''R''') -> M(n,'''R'''): X -> AX
| |
| − | *'''R'''* -> '''R'''*: x -> x^n
| |
| − | *'''R''' -> '''R'''+: x -> a^x (a>0)
| |
| − | *determinant: GL(n,'''R''') -> '''R'''*
| |
| − | *inclusions
| |
| − | *natural projection '''Z''' -> '''Z'''_2
| |
| − | *evaluation {X -> G} -> G: f -> f(a)
| |
| − | *'''Z''' -> '''Z''': k -> -k
| |
| − | *Aut('''Z'''_2) is trivial
| |
| − | *Aut('''Z'''_3) is isomorphic to '''Z'''_2
| |
| − | *[http://zeta.math.utsa.edu/~gokhman/ftp//courses/notes/linear_maps_in_coordinates.pdf change of basis] S in '''R'''^n gives an inner automorphism of GL(n,'''R'''): X -> S^(-1).X.S
| |
| − | *'''C''' -> '''C''': z -> [http://zeta.math.utsa.edu/~gokhman/ftp//courses/notes/fta.pdf complex conjugate] of z
| |
| | || | | || |
| − | *'''10:''' 1, 2, 3, 6, 15, 21, 24, 25.
| |
| − | *'''6:''' 3, 8, 14, 17, 35, 39, 49, 58, 61.
| |
| | | | |
| | |- | | |- |
| − | |4 | + | | |
| − | ||Subgroups
| + | 4 |
| − | ||
| |
| − | *Definition of a subgroup
| |
| − | *Subgroup tests
| |
| − | *Automatic closure under inverses for finite subgroups
| |
| − | *Subgroups generated by a subset
| |
| − | *Examples
| |
| − | *Images and preimages under a homomorphism are subgroups.
| |
| − | *Fibers as cosets of the kernel
| |
| − | *First Isomorphism Theorem
| |
| − | *Examples
| |
| − | ||3, 10
| |
| | || | | || |
| − | *Groups
| + | 7 & 8 |
| − | *Functions
| |
| − | *Equivalence relations and classes
| |
| | || | | || |
| − | *Learn how to identify subgroups, with proofs.
| + | Groups of Permutations. Permutations of finite sets. |
| − | *Learn how to obtain new groups from old via homomorphisms.
| |
| − | *Learn how to prove a homomorphism is one-to-one by using the kernel.
| |
| | || | | || |
| − | *Cyclic subgroups <x>={x^k: k in '''Z'''} or xZ={xk: k in '''Z'''}
| |
| − | ||'''3:''' 4, 7, 11, 28, 29, 32.
| |
| | | | |
| | |- | | |- |
| − | |5 | + | | |
| − | ||Groups in Linear Algebra and Complex Variable
| + | 5 |
| | || | | || |
| − | * Euclidean space as an additive group
| + | 9 & 10 |
| − | * Null space and column space of a linear map
| |
| − | *Solutions to linear inhomogeneous systems
| |
| − | * Invertible linear transformations and matrices, GL(n,'''R''')
| |
| − | * Determinant: homomorphism, similarity invariance, geometrical interpretation.
| |
| − | * Additive and multiplicative subgroups of [http://zeta.math.utsa.edu/~gokhman/ftp//courses/notes/fta.pdf complex numbers]
| |
| | || | | || |
| | + | Group isomorphisms and orders of elements. |
| | || | | || |
| | + | |
| | + | |- |
| | + | | |
| | + | 6 |
| | || | | || |
| | + | --- |
| | || | | || |
| − | *GL(n,'''R'''), O(n,'''R'''), SL(n,'''R'''), SO(n,'''R''')
| + | Review. First midterm exam. |
| − | *'''C''', '''C'''*, S^1, ''n''-th roots of unity, D_n as a subgroup of O(2,'''R'''^2)
| |
| − | *[https://en.wikipedia.org/wiki/Linear_fractional_transformation Möbius transformations] on the [http://zeta.math.utsa.edu/~gokhman/ftp//courses/notes/sprs.pdf Riemann sphere]
| |
| | || | | || |
| | | | |
| | |- | | |- |
| − | |6 | + | | |
| − | ||Cyclic groups
| + | 7 |
| − | ||
| |
| − | *Order of a group, order of an element
| |
| − | *Defining homomorphisms on '''Z''' (free group)
| |
| − | *Classification of cyclic groups
| |
| − | *Subgroups of cyclic groups and their generators
| |
| − | *Subgroup lattice
| |
| − | ||4
| |
| | || | | || |
| | + | 11 |
| | || | | || |
| | + | Cyclic groups. |
| | || | | || |
| − | ||'''4:''' 10, 14, 18, 32, 52.
| |
| | | | |
| | |- | | |- |
| − | |7 | + | | |
| | + | 8 |
| | + | || |
| | + | 13 |
| | + | || |
| | + | Counting cosets. |
| | || | | || |
| − | *Catch up and review
| |
| − | *Midterm 1
| |
| | | | |
| | |- | | |- |
| − | |8 | + | | |
| − | ||Permutations
| + | 9 |
| − | ||
| |
| − | *Cycle notation
| |
| − | *D_n as a subgroup of S_n
| |
| − | *Factoring into disjoint cycles
| |
| − | *Ruffini's theorem
| |
| − | *Cyclic subgroups, powers of a permutation
| |
| − | *Parity, A_n < S_n
| |
| − | ||5, 1
| |
| − | ||
| |
| | || | | || |
| | + | 14 & 15 |
| | || | | || |
| | + | Homomorphisms and quotient groups. |
| | || | | || |
| − | *'''5:''' 3, 5, 11, 21, 22, 24, 26, 32, 36, 38.
| |
| − | *'''1:''' 1, 2, 13, 22.
| |
| | | | |
| | |- | | |- |
| − | |9 | + | | |
| − | ||Cosets
| + | 10 |
| − | ||
| |
| − | *Cosets as equivalence classes
| |
| − | *Lagrange's theorem
| |
| − | *Fermat's little theorem
| |
| − | *Euler's theorem
| |
| − | *Normal subgroups
| |
| − | *Factor groups
| |
| − | *Universal property of factor groups
| |
| − | *First Isomorphism theorem revisited
| |
| − | ||7, 9
| |
| − | ||
| |
| | || | | || |
| | + | --- |
| | || | | || |
| − | *cosets of <(1,2)> in S_3
| + | Review. Second midterm exam. |
| − | *cosets of a flip in D_4
| |
| − | *inverse images of subgroups are normal, kernels
| |
| − | *A_n is normal in S_n
| |
| − | *rotations in D_n
| |
| − | *'''Z'''/n'''Z'''
| |
| − | *'''R'''/'''Z'''
| |
| | || | | || |
| − | *'''7:''' 17, 20, 24, 26, 33, 43, 60.
| |
| − | *'''9:''' 12, 13, 14.
| |
| | | | |
| | |- | | |- |
| − | |10 | + | | |
| − | ||Products
| + | 11 |
| − | ||
| |
| − | *External direct product
| |
| − | *Universal property of direct product
| |
| − | *Chinese Remainder Theorem
| |
| − | *Internal direct product
| |
| − | *[https://en.wikipedia.org/wiki/Coproduct Free product]
| |
| − | *Universal property of free product
| |
| − | *Direct sums of Abelian groups and classification of finitely generated Abelian groups (without proof)
| |
| − | ||8, 9, 11
| |
| − | ||
| |
| | || | | || |
| | + | 16 |
| | || | | || |
| − | *'''Z'''x'''Z'''
| + | The fundamental theorem of homomorphism. |
| − | *[http://zeta.math.utsa.edu/~gokhman/ftp//courses/notes/sun.pdf public key cryptography]
| |
| − | *free product of '''Z''' with itself in groups and in Abelian groups
| |
| − | *free group on a set
| |
| − | *free Abelian group on a set
| |
| | || | | || |
| − | *'''8:''' 2, 5, 12, 54, 55, 56.
| |
| − | *'''9:''' 22, 24, 28, 31, 32, 48, 49, 50.
| |
| − | *'''11:''' 3, 4.
| |
| | | | |
| | |- | | |- |
| − | |11 | + | | |
| − | ||Rings
| + | 12 |
| − | ||
| |
| − | *Motivation and definition
| |
| − | *Properties
| |
| − | *Subrings
| |
| − | *Integral domains
| |
| − | *Fields
| |
| − | *Characteristic
| |
| − | *Ring homomorphisms
| |
| − | *Examples
| |
| − | ||12, 13, 15, 16
| |
| − | ||
| |
| | || | | || |
| | + | 17 |
| | || | | || |
| − | *'''Z''' and other number systems
| + | Rings and ideals. |
| − | *R*, '''Z'''_n* = U(n)
| |
| − | *polynomial rings
| |
| | || | | || |
| − | *'''12:''' 4, 6, 7, 12, 13, 22, 26.
| |
| − | *'''13:''' 7, 12.
| |
| − | *'''15:''' 20, 8, 12, 13, 19.
| |
| | | | |
| | |- | | |- |
| − | |12 | + | | |
| − | ||Ideals and factor rings
| + | 13 |
| − | ||
| |
| − | *Ideals
| |
| − | *Ideals generated by a set, principal ideals
| |
| − | *Images and preimages of ideals are ideals
| |
| − | *Factor rings
| |
| − | *Prime ideals
| |
| − | *Maximal ideals
| |
| − | *Localization, field of quotients
| |
| − | ||14
| |
| | || | | || |
| | + | 18 |
| | || | | || |
| | + | Ring homomorphisms. |
| | || | | || |
| − | *m'''Z''' < '''Z'''
| |
| − | *<2, x> = 2'''Z'''[x]+x'''Z'''[x] < '''Z'''[x]
| |
| − | *Hausdorff Maximality Principle
| |
| − | *'''Q'''[x]/<x^2-2>
| |
| − | *'''R'''[x]/<x^2+1>
| |
| − | *'''Z''' -> '''Q'''
| |
| − | *polynomials -> rational functions
| |
| − | ||'''14:''' 4, 6, 8, 10, 28, 31.
| |
| | | | |
| | |- | | |- |
| − | |13 | + | | |
| − | ||Factorization
| + | 14 |
| | || | | || |
| − | *Division algorithm for F[x]
| + | 19 & 20 |
| − | *F[x] is a PID
| |
| − | *Factorization of polynomials
| |
| − | *[http://zeta.math.utsa.edu/~gokhman/ftp//courses/notes/fta.pdf Fundamental Theorem of Algebra ]
| |
| − | *Tests, Eisenstein's criterion
| |
| − | *Irreducibles and associates
| |
| − | *'''Z'''[x] is a UFD
| |
| − | ||16, 17, 18
| |
| | || | | || |
| | + | Quotient rings and integral domains. |
| | || | | || |
| | + | |
| | + | <!-- |- --> |
| | + | <!-- | --> |
| | + | <!-- 15 --> |
| | + | <!-- || --> |
| | + | <!-- 21 & 22 --> |
| | + | <!-- || --> |
| | + | <!-- The integers. Factorization into primes. --> |
| | + | <!-- || --> |
| | + | <!-- |- --> |
| | + | <!-- | --> |
| | + | <!-- 14 --> |
| | + | <!-- || --> |
| | + | <!-- 23 --> |
| | + | <!-- || --> |
| | + | <!-- Elements of number theory. --> |
| | + | <!-- || --> |
| | + | |
| | + | |- |
| | + | | |
| | + | 15 |
| | || | | || |
| − | *In '''Z'''[x]/<x^2+5> we have 6=2.3=(1-sqrt(-5))(1+sqrt(-5))
| + | --- |
| | || | | || |
| − | *'''16:''' 19, 20, 26, 32, 34.
| + | Wrap-up and review. Student Study Day. |
| − | *'''17:''' 2, 4, 6, 11, 13, 14, 15, 16.
| |
| − | |-
| |
| − | |14
| |
| | || | | || |
| − | *Catch up and review
| + | |
| − | *Midterm 2
| |
| | |- | | |- |
| − | |15
| |
| − | ||
| |
| − | *Catch up and review for final
| |
| − | * Study days
| |
| | |} | | |} |
| − |
| |
| − | ==See also==
| |
| − |
| |
| − | * [https://catalog.utsa.edu/undergraduate/coursedescriptions/mat/ UTSA Undergraduate Mathematics Course Descriptions]
| |
