## Q and Q^2 are not Isomorphic as Groups

**Point of Post: **In this post we prove that as abelian groups, and discuss a generalization.

*Motivation*

As I was trying to go to sleep last night, I was pondering the contents of my post the other day. In particular, I was thinking about the statement that I made that “one should always ask the obvious questions”, whatever that’s supposed to mean. It hit me then, that while there are many ‘obvious’ questions that could follow from the fact that as abelian groups, I didn’t ask perhaps the most obvious one. Namely, is as groups? I was pretty sure the answer was no, but it took me a little bit to come up with a proof. Of course, as one is supposed to, one sees that the argument that proves this really only has to do with the fact that as a group, is the localization of some commutative unital ring and the fact that we’re discussing the localization as a module over the original ring. So, in the spirit of quicker, simpler post I record this fact here.

## R and C are Isomorphic as Groups

**Point of Post: **In this post we prove that and are isomorphic as abelian groups, as well as discussing a *slightly* more general theorem concerning when infinite abelian groups are isomorphic to finite powers of themselves.

*Motivation*

I rarely post about random theorems/facts/ideas that come up in my daily mathematical life. I think this type of post is actually very helpful since, from a blog-reader point of view, these are often the most entertaining posts. To this end I’d like to discuss a problem that came up in discussion with a friend today. The problem actually came up when we were discussing a different, still interesting (I hope to discuss it on here), question altogether. In particular, say a category has the *Schroeder-Bernstein *property if whenever and are objects of such that there exists monomorphisms then . The classic Schroeder-Bernstein theorem then reduces to the statement that enjoys the Schroeder-Bernstein property. A natural question then comes as to which of the common categories have the Schroeder-Bernstein property. A quick check shows that , , and all do, where the first two categories are finite groups and finite rings respectively. Ok, so ‘finite’ things tend to have the Schroeder-Bernstein property, so what are some examples of categories that don’t? I was aware of the fact that did not have the Schroeder-Bernstein property but that the category of finitely generated abelian groups did. So, me and my friend set out to find the examples in which would violate the Schroeder-Bernstein property. So, being the good little math students that we are, we jumped right at the first non-finitely generated abelian group that came to mind, . Then, looking for another non-finitely generated abelian group (besides ) to throw against we immediately jumped at . There is an obvious embedding , and we started to wonder about embeddings the other way, when the obvious thing hit us. This is all moot if as abelian groups? Of course, such an ‘obvious’ question should have an obvious answer, right? Well, embarrassing as it is, neither of us knew the answer off hand. It took me the rest of walk to the car, and half the ride home to figure out the answer–and a simple answer it is–yes, they are isomorphic. The proof is actually a one-liner. This is just a reminder to always ask the ‘obvious’ questions, because sometimes we forget to.

## Homomorphisms Between Finitely Generated Abelian Groups (Pt. II)

**Point of Post: **This is a continuation of this post.

## Homomorphisms Between Finitely Generated Abelian Groups (Pt. I)

**Point of Post: **In this post we derive the necessary information to describe for any finitely generated abelian groups according to their cyclic group decomposition.

*Motivation*

In this post, using our ability to split Hom across finite products we shall show how to effectively calculate the Hom group between any two finitely generated abelian groups. The only caveat to this is that one must first decompose the finitely generated abelian groups into their cyclic decomposition as is guaranteed by the structure theorem. Probably the most useful aspect of this post is that it will, if you keep your bookkeeping orderly, the number of homomorphisms between two finite abelian groups (presented as a product of cyclic groups) and the generators that will enable one to, in theory, produce every single homomorphism.

## Unit Group of a Finite Field is Cyclic

**Point of Post:** In this post we prove the basic fact that if is a finite field then is cyclic.

*Motivation*

A very useful fact in both field and group theory is that if is a finite field then the group of units is cyclic of order . There are several ways one may go about doing this. In particular, there are two striking group theoretic facts about which one hope characterize it. Namely, from basic field theory we know for any polynomial one has that the number of roots of in is bounded above by . In particular, using only the operation of the group we have that has at most solutions in . The other interesting fact, which is easily implied by the bounded amount of roots , is that has at most one cyclic subgroup of a given order (this is clearly implied by the previous property since if and is the cyclic subgroup generated by then by Lagrange’s Theorem for each and so, in particular constitutes solutions of and so clearly there can’t be another distinct cyclic subgroup of order ). So, we prove that both of these properties characterize cyclic groups and so, in particular, is cyclic.

## Sylow’s Theorems Revisited

**Point of Post: **In this post we give a more refined proof of Sylow’s Theorems.

*Motivation*

On this blog I have given a proof of Sylow’s theorems and an alternate proof of Sylow’s first theorem. A year or so later, with more time, and more finesse I’d like to give the simplest, most coherent proof of Sylow’s theorems.

## A Clever Proof of a Common Fact

**Point of Post: **In this post we give a new proof that if is a finite group is a subgroup whose index is the smallest prime dividing then that subgroup is normal.

*Motivation*

It is a commonly used theorem in finite group theory that if is a finite group and such that is the smallest prime dividing then . We have already seen a proof of this fact by considering the homomorphism which is the induced map from acting on by left multiplication, and proving that . We now give an even shorter (and the just mentioned proof is already short) proof of this fact using double cosets.

## Actions by p-Groups (Pt. I)

**Point of Post: **In this post we discuss the theory of -groups acting on sets, and some of its ramifications.

*Motivation*

I have previously discussed group actions, but being a rush to discuss group theory I skirted over some of the beautiful theory. So, I’d like to take some time to discuss one of the prettier and more powerful branches of the theory, namely when we restrict our attention to group actions by -groups. Not only will we be able to say some prove some fairly substantive theorems about -group actions explicitly, but will be able to prove some very neat things in more general group theory and in number theory. The interesting fact about the theory we will discuss is that at the root of everything is a ‘fundamental theorem’ whose presence (being the theorem in the case of a particular group action) is the proof that every -group has a non-trivial center. Namely, we were able to conclude that since the cardinality of any conjugacy class must divide the order of the group, that they must be divisible by . From this and the fact that the sum of the cardinalities of all the distinct conjugacy classes must sum to the order of the group (which is divisible by ) that the sum of all the one point conjugacy classes must have cardinality divisible by . Well, the generalization of this idea (which, as I’m sure is pretty clear, can be restated for an arbitrary action with conjugacy class replaced by orbit) will be the main tool I mentioned from which all our other theorems are (not always straight-forward) consequences.

## A Classification of Integers n for Which the Only Groups of Order n are Cyclic (Pt. II)

**Point of Post: **This is a continuation of this post.