You are currently browsing the category archive for the ‘GM.general-mathematics’ category.

I came across a simple statement in finite group theory that I’m almost upset no one told me earlier. The source is Serre’s book ‘Linear Representations of Finite Groups’. Serre used this statement below to define / prove Brauer’s theorem on induced representations of finite groups, using which one proves the meromorphicity of Artin-L-functions. Here it goes.

is a finite group and is a fixed prime. An element of is called –**unipotent** if has order a power of and –**regular** if it’s order is prime to .

**Cool result:** Every element in can be uniquely written as

where

- is -unipotent, is -regular,
- and commute and
- they are both powers of .

The proof is really easy. Just replace by the (finite) cyclic group generated by !

I call it the Jordan decomposition because we have a similar decomposition for endomorphisms (among other things).

Let be a finite dimensional vector space over an algebraically closed field of characteristic zero (just in case!). Each can be uniquely written as

where

- is semisimple (diagonalizable), is nilpotent,
- they both commute and
- they are polynomials in without a constant term.

Pretty cool, huh!

Sohei YASUDA gave me a proof of a lemma whose proof is instructive and interesting, using many little facts from group theory and topology. I thought I should blog it.

**Lemma:** G is a compact topological group and H is an open subgroup. Then H is also closed (!) and of finite index.

**Proof.** G can be written as a union of cosets, each of which is open in G thanks to continuity of the group product. Thus the complement of H is a union of open (co)sets so is open. H is thus closed.

Consider now the quotient map from G to G/H. (Here, I’m not assuming H is normal in G but rather thinking of G/H as the quotient topological group with it’s topology coming from the quotient map). By definition of the quotient map, H cl-open in G implies it’s image, the identity coset of G/H too is cl-open.

Compactness of G inherits to the topology on G/H so the identity element is discrete on a compact set. The set G/H better be finite now, thus proving the second assertion.

In their book, Singer & Thorpe say, “At the present time, the average undergraduate Mathematics major finds math heavily compartmentalized.” One learns many things but does not see the connections between seemingly different things. Indeed, as the great Poincare says, Mathematics is the art of giving the same name to different things. In this and the subsequent post, we shall see the connections in algebra and topology with respect the Galois theory.

**Galois theory in Algebra**

This topic is covered in most standard algebra texts. It deals with studying the roots of polynomials and their relations. Given a field F and an irreducible polynomial p(x) with coefficients in F, we look at the smallest field K containing F and which has all roots of p(x). The set of all permutations of the roots of p correspond to automorphisms of K which fix F element-wise. These automorphisms form a group known as the Galois group. There is a beautiful correspondence between subgroups of this group and subfields of K fixing F.

The 19-th century mathematicians Galois and Abel studied this group and Galois came up with useful characterization on this group as to when its roots could be expressed in terms of the coefficients. Of course the theory has now been much more generalized, abstracted and is used indispensably in many parts of mathematics – number theory, algebraic geometry and more.

**Galois theory in Topology**

(Even this can be found in any standard text on algebraic topology. But here I am talking about Riemann surfaces – and the connections between the two Galois theories — the too-fascinating-to-be-true connection, although not very difficult, its not found in lower-level texts. I will explain that in a follow-up post to this soon).

Given a point P on a topological space S, one talks about the equivalence class (modulo continuous deformations) of paths starting and ending at P. They form a group, the fundamental group. Also, given two (path)-connected spaces R and S, one says that R is a covering of S if there is a continuous surjective map from R to S such that every point of S has a neighbourhood U whose inverse image is a disjoint union of copies each resembling U. One may imagine the real line to be a covering of the unit circle via the map t being mapped to (cos t, sin t).

Now comes the Galois correspondence. For a `nice’ topological space, there is a natural one-to-one correspondence between subgroups of the fundamental group of that space and its covering spaces (rather, isomorphism classes of covering spaces, to be pedantic). Further, the fundamental groups of these spaces have fundamental group isomorphic to the subgroup we started with!

**More analogy**

The analogy between Galois groups of algebraic objects and fundamental groups and covering spaces of topological spaces goes beyond just one-to-one correspondence. A field extension is normal if it has enough automorphisms. A covering map too is normal (or Galois) if it has enough automorphisms!

Normal field extension Normal subgroups of the Galois group

Normal covering Normal subgroup of the fundamental group

In the next post, we shall see a deeper connection between the four objects above. Namely, we shall take a polynomial, construct its Galois group, get a covering map for this field extension and see that the two groups are the same!

Galois group = fundamental group.

Amazing stuff!

For the entire post, assume that is any countable set. (One may assume it to be the set of natural numbers. ) Further, let

It is a familiar proof (due to Cantor) that the set of all functions from to is uncountable. But can the same be said about bijections of ? Here are three proofs:

- We mimic the Cantor’s diagonal argument. Suppose that is countable and enumerate its elements as . We produce a bijection different from the ‘s. Partition into two (disjoint) infinite sets and . Define to be any element of other than . Having defined , define to be any element of

.

We need to fill in the odd places of so that it is a bijection. Let . Notice that is infinite since . Now map bijectively with odd places of .

This is a contradiction to the countability of .

- The second proof needs some facts from higher algebra. is countable. So is , its algebraic closure. Hence, there is a bijection between and . Now, the automorphisms of that fix are, in fact, bijections of , or to bijections of . In fact,

is a subgroup of .

That the former is uncountable is a (deep but) standard result in Algebraic Number Theory.

- For the third proof, I quote a result (due to Riemann) on the rearrangements of a conditionally-convergent series, from Rudin’s Principles of Mathematical Analysis, weakened as required in this context.

**Theorem: **Let be a series of real numbers which converges but not absolutely. Suppose that

.

Then there exists a rearrangement with partial sums such that

.

Take ; it is conditionally convergent. For every (extended) real number, we have a rearrangement of the ‘s. Further the uniqueness of a limit in the complete metric space suggests that the map (given by the theorem) from is injective. Q.E.D.

As a quick revision, let me recollect the way we define the addition of countably many numbers:

Suppose are non-negative real numbers. Then the series is said to converge to if the sequence defined by of partial sums of converges to .

In other words, the tail of the sequence must add up to atmost as small a number as one desires.

Now, in the quest of adding up uncountably many non-negative numbers, let us index the set of these numbers by . Suppose is a function that associates every element of the index set to a non-negative number. Our mission is to define .

Turn into a discrete measure space by defining the measure of each point in to be 1. Clearly, now , with the discrete measure is a measure on the measure space .

Now define

In other words, the sum of all elements indexed by , is the integral of f with respect to the discrete measure taken over the entire index set .

I then wondered if the sum of uncountably many positive numbers could be finite. (Note that a countable sum of positive numbers can be finite; the reciprocals of positive powers of two add up to unity.) The following proposition helps (cf. [Rud]) :

**Proposition: **Let be a measure space. If is such that , then except perhaps on a countable subset of I.

**Proof:**

Decompose as:

Call the right set as and the further right ones as . Suppose that some of the is infinite. Then

contrary to our assumption that the integral is finite. Hence, every is finite and so its union is countable and the proposition is proved.

Reference:

[Rud] Walter Rudin, “Real and Complex Analysis”, 3rd ed. TMH

## Recent Comments