Group Theory – Direct Products

One of the ways of producing (potentially) new groups from old is called the direct product.Let me show you the direct product of two groups by example, first.

Let me invoke the abstract algebra package and set it to “groups”.

C2 x C2

I want two copies of C2, the cyclic group of order 2…

… and I am going to ask for their “direct product”.

What did we get?

First of all, we see that the elements of the direct product are just ordered pairs – the first component from H, the second component from K.


Read the rest of this entry »

Happenings – 2012 Feb 26

I decided to play hooky from school yesterday, so here’s the homework that was due yesterday.

By around 10 AM, I had a fairly simple happenings post laid out in my head.

3 books came in during the week. Lorenz’ “The Essence of Chaos” begins fairly slowly, but I think it will be a worthwhile read. Mumford’s “The Red Book of Varieties and Schemes” looks excellent… it has a list of prerequisites which I do not have, but which tell me what I need to get out of my current study of rings… he says in the preface that “The weakness of these notes is what had originally driven me to undertake the bigger project: there is no real theorem in them!” Instead, “The hope was to make the basic objects of algebraic geometry as familiar to the reader as the basic objects of differential geometry and topology….”

Sounds like a valuable resource.

Bloomfield’s “Fourier Analysis of Time Series” is fascinating. It’s fairly small, 250 pages… it may only have 3 significant examples… but I’ve already persuaded Mathematica to work out one of them – something other than the straightforward computation of the discrete Fourier transform of the data, followed by the periodogram. Instead, I did a nonlinear model which fitted frequencies directly. I’m sorry it’s taken me so long to get around to that.

I spent Friday evening curled up with that book. (The data for it, however, is rather challenging to track down. So far I have found both datasets I was looking for – but neither is any longer where the book said they could be found.)

And I’ve ordered 2 more books – both pertaining to perspective and cameras.

And that’s what I was ready to write yesterday morning. It would have been a simple straight-forward post.

Ho hum. I decided to take a look at Peter Woit’s blog to see what was happening in particle physics. Was there anything exciting I could talk about?

The signal from the Large Hadron Collider at 125 GeV still holds up… and it might be the Higgs particle… but there is no sign of SUSY particles – that is, the supersymmetric fermions and bosons corresponding to known bosons and fermions respectively – where some were expected… and he had an interesting link which I followed.

For quite a while. The question was “What is your favorite deep, elegant, or beautiful explanation” … and there are almost two hundred answers, from a wide variety of people (Alan Alda, among them).

And after all that, I just did not feel like doing what I was supposed to do – write the Happenings post, and do rings, and work on Monday’s group theory post.

Instead I decided to move beyond Friday evening’s reading. I curled up in my recliner with a Bayesian statistics book, Phil Gregory’s “Bayesian Logical Data Analysis for the Physical Sciences”. (He uses Bayesian methods for finding extra-solar planets, i.e. around other stars.)

One of my open subjects is spectrum analysis – frequency domain analysis – of time series. That’s why I bought and browsed the Bloomfield book that came in during the week. One of my other books categorized methods as “classical” or “modern”… classical being smoothing the periodogram, and modern being comparing the given spectrum to the spectra of explicit time series models. (I’m sure that’s too simple a summary, but sometimes simple is appropriate.)

The periodogram is just the magnitudes of the Fourier coefficients; it needs to be smoothed because it’s often violently erratic. And smeared out, too. (“Bin leakage”, if the number of observations is not an exact multiple of the periods in the data… which can be rather hard – usually impossible! – to arrange.)

I’m inclined to add “post-modern”, meaning Bayesian.

The simple form of Bayes Theorem is

p(A|B) = p(A) p(B|A) / p(B),

where p(A) and p(B) are the probabilities of A and B, and p(A|B) is the (conditional) probability of A given that B has occurred. Similarly for p(B|A).

The proof is easy enough:

p(A) p(B|A) = p(A B) = p(B A) = p(B) p(A|B),

where p(A B) is the probability of both A and B happening. It’s the same as p(B A), and each of those can be written using a conditional probability. Equate the two expressions involving conditional probabilities, and then solve for p(A|B). Voila’, Bayes Theorem.

Seems harmless enough, huh?

Well, for one thing, it flies in the face of the far-more-common frequentist structure of probability and statistics… and, in the case of spectrum analysis, it is significantly more precise than classical methods. So much more precise that people mistrust it. As I said, it’s being used to find extra-solar planets.

One of the books that popularized it in the physical sciences is now available online, having gone out of print. (Im very glad I found it online; the only copy – the only copy! – available through Abebooks was in Berkeley, and I was thinking about driving up to get it. Instead, I downloaded it.

The second book that really grabbed me was Sivia’s “Data Analysis: A Bayesian Tutorial”. It begins with an awesome example: computing the probability that a coin is biased as we throw it more and more times. I’ve been meaning to work that example for the blog.

The first book that really grabbed me was Tribus’ “Rational Descriptions, Decisions, and Designs”, a long time ago. (Good luck finding that! My copy was used when I bought it 35 years ago.)

OK… now let me answer this question about the quaternion group and permutations….

Group Theory: normal subgroups

I want to show you a simple concept. It has major consequences, but it starts out as a far simpler thing than it usually looks like.

I want to talk about normal subgroups. Clearly, if all subgroups were normal, we wouldn’t need to distinguish normal from non-normal… so I will have to show you a non-normal subgroup. That won’t be a problem.

Before I go into the details, let me give you the answer. Even if you know this material, the answer may surprise you.

A subgroup K of a group G is a normal subgroup of G if and only if K is the kernel of a homomorphism defined on G.

I know… I know: besides “normal”, I’ve used three other terms that I haven’t defined: subgroup, kernel, and homomorphism. If you’ve never seen this material before, you’re lost – but I can fix that.

Again, before I go into the details, let me give you the names of other things I will be talking about: fibers, left cosets and right cosets, and factor groups; I will briefly mention conjugacy classes.

My starting point will be to define a (group) homomorphism. It is just a function between groups which honors the group multiplications. (They do not need to be, and generally are not, the same operation in the 2 groups.)
Read the rest of this entry »

Happenings – 2011 Feb 18

Let’s see.

It’s been a relatively slow week, mathematically. You can see that a group theory post went out last Monday… I had said last Saturday morning that it existed only in my head. Clearly I succeeded in taking it from stage II through stage V… but I didn’t have time for much else. I’m a little disappointed in that, but rather pleased that I finished what I did.

My alter ego the kid looked at control theory… and my alter ego the graduate student is still looking at rings. It was my undergraduate who put out the group theory post. He will be trying to write another group theory post for this Monday.

Although the 2nd and 3rd group theory posts have not matched the success of the 1st one, business is still booming on Mondays and Tuesdays: total hits for the last 3 Mondays have been 530, 437, and 367; total hits for the last 3 Tuesdays has been 327, 331, and 332. Considering that the previous high was 309 in March of 2010, I’m delighted.

I’ve also got 3 books on order.

The kid had also looked at algebraic geometry recently, so I ordered Mumford’s “The Red Book of Varieties and Schemes…” republished with additional material.

Something – catastrophe theory? Korner’s “the pleasures of counting” or “naïve decision theory” – reminded me of something by Edward Lorenz … the Lorenz equations of a simple chaotic system.

And, since I’ve been thinking about Fourier analysis of time series, I ordered a well reviewed book of that title by Bloomfield. It turns out there was a recent 2nd edition.

And with that, it’s time to start writing a group theory post for Monday. I want to talk about normal subgroups. My 1st exposure to them was confusing as hell… but, to completely change the metaphor, I know how to cut the Gordian knot. They can be introduced very simply.

(If you know that a group is called simple if it has no proper normal subgroups, you may have cringed at the previous sentence. I swear that no pun was intended.)

Group Theory: Symmetric, Alternating, and Quaternion groups

Let’s talk about “symmetric groups” and, at the very end of the post, “alternating groups” and the “quaternion group”.

First, let’s get the abstract algebra package running… and tell it that we’re doing groups. (The alternative is “rings”, which have two operations instead of one.) You can find this free package here.

Let’s see what happens if I ask for the symmetric group “3″ (and I’ve asked for its set of elements and called it p):

The help system tells me that the elements of this group are all of the permutations of 3 objects, with composition as the group product.
Read the rest of this entry »

Happenings – 2012 Feb 11

(This post is also in the “quaternions” category. If that’s what you’re looking for, just get the rest of the post and page down to the section heading.)

Let me begin by saying that the 2nd group theory post was not quite as popular as the 1st one… the blog “only” got 436 hits Monday, and the 2nd group theory post only got 102 hits itself. On Tuesday, as it had the week before, the blog as a whole got more than 300 hits.

I assure you I’m not disappointed in these kinds of numbers.

I hope to put out another post on group theory – about symmetric groups, permutations and cycles, and the quaternion group. On the one hand, the material is not complicated….

On the other hand, that post is at stage II. I’m not sure I’ve ever talked before about a specific post being at stage II. That means that I haven’t even done the mathematics for it! All I have is an outline in my head. We’ll see what happens.

As for the week gone by….
Read the rest of this entry »

Group Theory: Dihedral Groups

Having looked at cyclic groups, let’s look at dihedral groups. They can be created geometrically by starting with a cyclic group Cn… think of it as rotations of a regular n-gon through multiples of 360°/n… and then imagine that you can also spin the n-gon out of the plane about some axis.

Huh?

Let’s look back at the cyclic group C3. Take an equilateral triangle. Take our group operation r to be a rotation thru 120° (= 360°/3). Then r^2 is a rotation thru 240°, and r^3 is a rotation thru 360° – that is, r^3 = 1, the identity element.

Here a pictures of what r and r^2 do to an equilateral triangle:


Read the rest of this entry »

Happenings – 2012 Feb 4

The biggest news in the past week was the response to Monday’s post on group theory. As I said, this blog gets about 1000 hits per week… about 150 hits per day.

Monday is often a good day… perhaps because that’s the day new posts go out. Well, I put out last Monday’s post at 5 PM… at that time, the blog already had 150 hits. It seemed likely that I might get 250 by midnight. The all-time daily high was 309.

I checked a little after midnight.

530 hits. The group theory post alone got 236 hits.

Wow. Okay, I’ll be trying to put out another group theory post this Monday. This one should be straightforward… and maybe 2 or 3 more easy ones before I have to hunker down and work on the last few group theory posts. I won’t be going very far into it, not yet. (To be specific, I do not expect to do the Sylow theorems this time around.)

Oh, speaking of group theory…. It turns out that Mathematica® version 8 can do things with finite groups. I looked at the documentation for version 8.0.0.0 and I have to say that the free package I’m using looks better – literally: it has prettier output. On the other hand, a cursory look suggests that the 2 – Mathematica version 8 and the free package – have some different capabilities.

So I guess I’m going to have to install 8.0.0.4 and play with it.

Oh, speaking of Mathematica…. There is now a “stack exchange” for Mathematica.

(I have previously mentioned the “stack exchange” for non-research mathematics and applied mathematics.)

Oh, and speaking of Mathematica again: it can display Klingon. Now that is geeky.

I’m not sure how many group theory posts I’ll put out before I return to regression. I still need to finish off multi-collinearity by providing a summary… and then there are a few posts I want to put out in order to close out all that I’ve done in regression. Then I can move on to other things. I think I’m looking forward to a small number of posts for each of several different topics.

Follow

Get every new post delivered to your Inbox.