Category Archives: Notes

Quick Guide to Character Theory (II): Main Theory

Reminder: throughout this series, G is a finite group and K is a field. All K-vector spaces are assumed to be finite-dimensional over K. G4. Maschke’s Theorem If is a K[G]-submodule, it turns out V is isomorphic to the direct sum of W and some other submodule W’. … Continue reading

Posted in Notes | Tagged , , , , , , | Leave a comment

Quick Guide to Character Theory (I): Foundation

Character theory is one of the most beautiful topics in undergraduate mathematics; the objective is to study the structure of a finite group G by letting it act on vector spaces. Earlier, we had already seen some interesting results (e.g. proof … Continue reading

Posted in Notes | Tagged , , , , , , | Leave a comment

Topology: More on Algebra and Topology

We’ve arrived at the domain where topology meets algebra. Thus we have to proceed carefully to ensure that the topology of our algebraic constructions are well-behaved. Let’s look at topological groups again. Our first task is to show that the … Continue reading

Posted in Notes | Tagged , , , , , , , , | Leave a comment

Topology: Quotients of Topological Groups

Topology for Coset Space This is really a continuation from the previous article. Let G be a topological group and H a subgroup of G. The collection of left cosets G/H is then given the quotient topology. This quotient space, however, satisfies an additional … Continue reading

Posted in Notes | Tagged , , , , , , | Leave a comment

Topology: Quotient Topology and Gluing

In topology, there’s the concept of gluing points or subspaces together. For example, take the closed interval X = [0, 1] and glue the endpoints 0 and 1 together. Pictorially, we get: That looks like a circle, but to prove it’s … Continue reading

Posted in Notes | Tagged , , , , , , , | 2 Comments

Topology: Topological Groups

This article assumes you know some basic group theory. The motivation here is to consider groups whose underlying operations are continuous with respect to its topology. Definition. A topological group G is a group with an underlying topology such that: the … Continue reading

Posted in Notes | Tagged , , , , , , , | Leave a comment

Topology: Separation Axioms

Motivation The separation axioms attempt to answer the following. Question. Given a topological space X, how far is it from being metrisable? We had a hint earlier: all metric spaces are Hausdorff, i.e. distinct points can be separated by two … Continue reading

Posted in Notes | Tagged , , , , , , , , , , , , | Leave a comment

Topology: Locally Connected and Locally Path-Connected Spaces

Locally Connected Spaces Recall that each topological space X is the set-theoretic disjoint union of its connected components, but in general (e.g. for X=Q) fails to be the topological disjoint union. The problem is that the connected components in general aren’t open … Continue reading

Posted in Notes | Tagged , , , , , , , , | 4 Comments

Topology: Path-Connected Spaces

A related notion of connectedness is this: Definition. A path on a topological space X is a continuous map The path is said to connect x and y in X if f(0)=x and f(1)=y. X is said to be path-connected if any two points … Continue reading

Posted in Notes | Tagged , , , , , | 2 Comments

Topology: Connected Spaces

Let X be a topological space. Recall that if U is a clopen (i.e. open and closed) subset of X, then X is the topological disjoint union of U and X–U. Hence, if we assume X cannot be decomposed any further, there’re no non-trivial clopen subsets of X. … Continue reading

Posted in Notes | Tagged , , , , , , , | Leave a comment