Point of post: This is a continuation of this post.
Point of post: This is a literal continuation of this post. I just hate when that dark grey to light grey thing happens. Just pretend that there was no lapse in the posts
And so we continue…
Point of post: This post is a literal continuation of this post in the sense that if it weren’t for size constraints these two posts would be one. So, think of this as just the “next page” of that post.
Recall from the last post that for any we have that can be partitioned into orbits . Notice though that each of these orbits induces an element of namely each induces given by
Permutations of this kind are going to be the archetype for the sought class of permutations we have been searching for (see the motivation of the last post if your confused). These are going to be the archetypes of cycles. Which we will now rigorously define.
Point of post: In this post we continue the discussion of permutations discussed here and here in our journey to understand permutations rigorously, clearly, and fully so that we may discuss the basics of multilinear forms as is told in Halmos’s book. In it we will discuss the ideas of orbits and their ilk, cycles.
Remark: Because of the amount of information that will go into this “post”, I will have to break it into two smaller posts. I chose not to break orbits and cycles into separate posts unto themselves since they are inextricably linked (at least in the context we’re viewing them in).
It is common place in mathematics to take concepts and try to ascertain what is the most fundamental way to describe them. For topological spaces we have subbases, for vector spaces we have bases, for groups we have generators. Permutations are no different. We are looking for some fundamental, easily described, class of permutations such that every permutation can be written as a product (compostion) of such matrices. We shall begin our discussion with a few brief conventions on notation Next we will define orbits which we shall see are in essence partitions induced by a permutation . From there we will use this idea of orbits to define cycles which shall be the fundamental types of permutation of which all permutations are composed of.
Point of post: This post is a continuation of this post in a continuing effort to define permutations fully and clearly, something someone reading Halmos’s book is bounded not to get (though admittedly this isn’t his goal). In this particular post we discuss the interesting concept of “permutation matrices” in an effort to intuitively simplify proofs covered in the next few posts.
Often in mathematics the simple concept of “thinking of something differently” can have a profound impact on a study. The study of permutations is no different. Thus, it is clearly fruitful to search of as many different ways as possible. In this post we take permutations and think about them in terms of something most of us know all about, matrices.
Point of post: This will be the first of a few posts that are an expansion upon the topic of permutations discussed in Halmos sections 26, 27, and 28. I expand not because it’s a necessity for the material he covers, but because I think it’s a fruitful topic to explore considering it’s vast use througout many fields of mathematics.
No doubt any reader familiar with even the most basic group theory is aware of the power of permutations, in their own right, but alas this being a post about linear algebra I’ll try to keep the group theoretic rhetoric to a minimum. Anyways, why would anyone doing linear algebra care about permutations? Well, let’s recall some basics from undergraduate linear algebra, namely the determinant function. If one recalls the determinant function is some mystic tool which gives qualitative measure to the invertability of a matrix
namely, is invertible if and only if . But, how exactly did we define ? Well, for two-by-two matrices it was simple
If you have really good memory you might even remember off the top of your head (I sure can’t, I have to do the juxtaposition of a copy of the matrix trick). They then told you that the general form of the determinant was the ugly beast of the formua
and so we see the first (of trust me many) appearances of the concept of permutation and its ilk. But, that’s matrix theory you say! Why should a tangentially related concept motivate us to study this topic? Well, two reasons. Firstly, even though the determinant is classically matrix theory as we will see in subsequent chapters the determinant will play a vital role in determining the invertibility of a linear transformation, something which hits us very, very close to home. But, more immediately the determinant interests as as it is a an archetypal example of something we shall soon study. In particular if thought of as a function of the columns it is really a function
which is linear in each variable. In other words it’s the -fold analogue of a bilinear form, it’s a k-linear form. Moreover, it has the property that if that
which is an example of something called a skew-symmetric form. Both of these are integral parts of the subject, to be introduced, called multilinear algebra. So, with that said let’s embark on our study of the permutations, their group, and their parity.