uwloo

Pure Mathematics (PMATH)

22 graduate courses in the Fall 2014 Graduate Calendar, from Waterloo’s archived copy.

PMATH 632 First Order Logic and Computability0.50 units

The concepts of formal provability and logical consequence in first order logic are introduced, and their equivalence is proved in the soundness and completeness theorems. Goedel's incompleteness theorem is discussed; making use of the halting problem of computability theory. Relative computability and the Turing degrees are further studied.

Antireq: PMATH 432

LEC · Course ID 002339Archived pagePMATH 632 today

PMATH 641 Algebraic Number Theory0.50 units

An introduction to algebraic number theory; unique factorization, Dedekind domains, class numbers, Dirichlet's unit theorem, solutions of Diophantine equations.

Antireq: PMATH 441

LEC · Course ID 002341Archived pagePMATH 641 today

PMATH 646 Introduction to Commutative Algebra0.50 units

Module theory: classification of finitely generated modules over PIDs, exact sequences and tensor products, algebras, localisation, chain conditions. Primary decomposition, integral extensions, Noether's normalisation lemma, and Hilbert's Nullstellensatz.

Antireq: PMATH 446

LEC · Course ID 014670Archived pagePMATH 646 today

PMATH 650 Lebesgue Integration and Fourier Analysis0.50 units

Lebesgue measure on the line, the Lebesgue integral, monotone and dominated convergence theorems, LP spaces, completeness and dense subspaces; separable Hilbert space, orthonormal bases; Fourier analysis on the circle, Dirichlet kernel, Riemann-Lebesgue lemma, Fejer's theorem and convergence of Fourier series.

Antireq: PMATH 450

LEC · Course ID 013667Archived pagePMATH 650 today

PMATH 651 Measure and Integration0.50 units

General measures, measurability, Caratheodory extension theorem and construction of measures, integration theory, convergence theorems, LP spaces, absolute continuity, differentiation of monotone functions, Radon-Nikodym theorem, product measures, Fubini's theorem, signed measures, Urysohn's lemma, Riesz Representation theorems for classical Banach spaces.

Antireq: PMATH 451

LEC · Course ID 002346Archived pagePMATH 651 today

PMATH 652 Topics in Complex Analysis0.50 units

The Riemann mapping theorem and several topics such as analytic continuation, harmonic functions, elliptic functions, entire functions, univalent functions, special functions. Students without the required prerequisite may seek consent of the department.

Prereq: PMATH 352 or consent of department.

LEC · Course ID 002347Archived pagePMATH 652 today

PMATH 665 Differential Geometry0.50 units

Point-set topology; smooth manifolds, smooth maps, and tangent vectors; the tangent bundle, vector fields, tensor fields, and differential forms; Stokes's Theorem; integral curves, Lie derivatives, and the Frobenius Theorem.

Antireq: PMATH 465

LEC · Course ID 002349Archived pagePMATH 665 today

PMATH 667 Algebraic Topology0.50 units

Review of topological spaces and topological manifolds; quotient spaces; cut and paste constructions; classification of two-dimensional manifolds; fundamental group; homology groups. Additional topics may include: covering spaces; homotopy theory; selected applications to knots and combinatorial group theory.

Antireq: PMATH 467

LEC · Course ID 002350Archived pagePMATH 667 today

PMATH 690 Literature and Research Studies0.50 units

Reading Course

Department Consent Required

  • 1 Lie Algebras
  • 2 Topology
  • 3 Representation Theory
  • 4 C*-algebras and groups
  • 5 Integration and Probability
  • 6 Kaehler geometry
  • 7 Smooth Mthds in Algbrc Tpology
  • 8 Oprtr Algebras & q - probablty
  • 9 Class Field Theory

RDG · Course ID 002351Archived pagePMATH 690 today

PMATH 733 Model Theory and Set Theory0.50 units

Model theory: the semantics of first order logic including the compactness theorem and its consequences, elementary embedding and equivalence, the theory of definable sets and types, quantifier elimination, and w-stability. Set theory: well-orderings, ordinals, cardinals, Zermelo-Fraenkel axioms, axiom of choice, informal discussion of classes and independence results.

LEC · Course ID 013668Archived pagePMATH 733 today

PMATH 740 Analytic Number Theory0.50 units

Summation methods; analytic theory of the Riemann zeta function; Prime Number Theorem; primitive roots; quadratic reciprocity; Dirichlet characters and infinitude of primes in arithmetic progressions; assorted topics.

Antireq: PMATH 440

LEC · Course ID 013669Archived pagePMATH 740 today

PMATH 745 Representations of Finite Groups0.50 units

Basic definitions and examples: subrepresentations and irreducible representations, tensor products of representations. Character theory. Representations as modules over the group ring, Artin-Wedderburn structure theorem for semisimple rings. Induced representations, Frobenius reciprocity, Mackeys irreducibility criterion.

Antireq: PMATH 445

LEC · Course ID 014343Archived pagePMATH 745 today

PMATH 753 Functional Analysis0.50 units

Banach and Hilbert spaces, bounded linear maps, Hahn-Banach theorem, open mapping theorem, closed graph theorem, topologies, nets, Hausdorff spaces, Tietze extension theorem, dual spaces, weak topologies, Tychonoff's theorem, Banach-Alaoglu theorem, reflexive spaces.

Antireq: PMATH 453

LEC · Course ID 013670Archived pagePMATH 753 today

PMATH 763 Introduction to Lie Groups and Lie Algebras0.50 units

An introduction to matrix Lie groups and their associated Lie algebras: geometry of matrix Lie groups; relations between a matrix Lie group and its Lie algebra; representation theory of matrix Lie groups.

LEC · Course ID 002391Archived pagePMATH 763 today

PMATH 764 Introduction to Algebraic Geometry0.50 units

An introduction to algebraic geometry through the theory of algebraic curves. General algebraic geometry: affine and projective algebraic sets, Hilbert's Nullstellensatz, co-ordinate rings, polynomial maps, rational functions and local rings. Algebraic curves: affine and projective plane curves, tangency and multiplicity, intersection numbers, Bezout's theorem and divisor class groups.

Antireq: PMATH 464

LEC · Course ID 002392Archived pagePMATH 764 today

PMATH 810 Banach Algebras and Operator Theory0.50 units

Banach algebras, functional calculus, Gelfan transform, Jacobson radical, Banach space and Hilbert space operators, Fredholm alternative, spectral therorem for compact normal operators, ideals in C^*-algebras, linear functionals and states, Gelfand-Naimark-Segar (GNS) construction, von Neumann algebras, strong/weak operator topologies, Double Commutant theorem, Kaplansky's density theorem, spectral theorem for normal operators.

Prereq: PMATH 753

LEC · Course ID 011875Archived pagePMATH 810 today

PMATH 930 Topics in Logic0.50 units

  • 1 Computability Theory
  • 2 Computable Structure Theory
  • 3 Model Theory

LEC · Course ID 014769Archived pagePMATH 930 today

PMATH 940 Topics in Number Theory0.50 units

  • 1 Comp Algebraic Number Theory
  • 2 Heights and arithmetic

LEC · Course ID 014770Archived pagePMATH 940 today

PMATH 945 Topics in Algebra0.50 units

  • 1 Arithmetic Dynamics
  • 2 Ctgry thry & homological algbr

LEC · Course ID 014771Archived pagePMATH 945 today

PMATH 950 Topics in Analysis0.50 units

  • 1 Operator Algebras
  • 2 Reps of Locally Compact Groups
  • 3 Intro to Stochastic Integratio
  • 4 Harmonic anlys & repres thry

LEC · Course ID 014772Archived pagePMATH 950 today

PMATH 965 Topics in Gemetry and Topology0.50 units

  • 1 Kahler-Einstein Metrics
  • 2 Tools of gauge theory

LEC · Course ID 014773Archived pagePMATH 965 today

PMATH 990 Topics in Pure Mathematics0.50 units

  • 1 Matrix Analysis

LEC · Course ID 014774Archived pagePMATH 990 today