Point of Post: In this post we discuss the morphisms in the “category of all extensions”.
We have spent a fair amount of time talking about the structures that are field extensions, but we have yet to mention what the “structure preserving maps” between such extensions “should” be. Well, of course, it’s not exactly obvious how to define such maps, but if we stop thinking about an extension as being a field and a field with and instead think about it as an -algebra which also happens to be a field then we know what to do. Namely, we already know what the morphisms in (the category of commutative -algebras) are. Namely, if are two -algebras then an -algebra map is nothing more than a ring map which also respects the -vector space structure (i.e. for all ).
That said, despite the fact that this is really the reason that we define maps of extensions the way we do, this is rarely said in basic books on the subject. Instead such books like to define a map of extensions to be a ring map such that . Of course, it’s easy to see that such definitions are equivalent. If is a map of extensions as defined in the first paragraph then necessarily for all . Conversely, if is a map of extensions as just defined then for all and (since for all by assumption).
Being a map of extensions is a pretty strong condition. For example, we shall see that if is a finite extension then every map of extensions is necessarily invertible. Moreover, in general mathematics one can construct a lot of information from an object by examining its automorphism group. This is (hyperbolically) nowhere more true than in the study of field extensions. We shall see that examining the automorphism group of an extension shall enable us to (more so in certain nice cases) read off certain extension-theoretic properties of our extension–this is the so-called field of Galois theory.
Point of Post: This post is a continuation of this one.
Point of post: In this post we discuss the notion of the group algebra, in preparation for our eventual discussion about the representation of symmetric groups.
We’ve seen in past posts that the group algebra is isomorphic in all the important ways to the direct sum of matrix algebras. We’ll use this fact to study projections in the group algebra which are functions generalizing the notion of projections on an endomorphism algebra. Namely, projections are elements of the group algebra which are idempotent under convolution. These shall prove to be very important when we attempt, at a later date, to classify the representations of the symmetric group.
Point of post: This post is a continuation of this one.
Point of post: In this post we discuss what is arguably one of the most important tools in all of basic representation theory– the irreducible characters of a group.
In our last few posts we’ve been developing the notion of a class function and the space of class functions under the hazy motivation that we will use them to ascertain that the cardinality of some set is the dimension of (we, in our last post, showed that this was the number of conjugacy classes in ). In this set we shall see that this set for which we’d like to show has the quality are the irreducible characters of the group . These are certain class functions which will occupy a fair amount of our efforts in the coming posts since, in a very real sense, they make up a vast portion of the substance in basic representation theory. But, for now we shall restrict our attention to defining the irreducible characters and showing that they form an orthonormal basis for . Of this we shall get the corollary that .
Point of post: In this post we derive results about the set of class functions on a finite group , in particular finding its dimension as a subspace of the group algebra and characterizing it as the center of the group algebra.
In our last series of posts we saw an interesting technique. We saw the interesting idea that if we want to prove the cardinality of a set is equal to it suffices to construct a vector space of dimension such that is a basis for . In particular, we saw that by considering the group algebra of dimension and then showing that is a basis for (where, as in the last post, the are the matrix entry functions). We now wish to get our milage out of this technique by applying it again in a different context (different set and different cardinality). We don’t want to ruin the surprise of what precisely this will be, but we shall construct the vector space with the ‘proper dimension’ in this post. In particular, we will consider and study the set of class functions on a finite group . Intuitively, these are functions which satisfy (of course we mean this loosely since we haven’t define the domain, range, etc.) the common ‘trace identity’ .