InvisionFree - Free Forum Hosting
Join the millions that use us for their forum communities. Create your own forum today.

Learn More · Sign-up Now
Welcome to Did You Know?

Name:   Password:


 

 Finite Abelian groups, DYK Fact #564
JaneFairfax
Posted: 09:00 Tuesday 21 April 2009


The Enlightenment


Group: Moderators
Posts: 673
Member No.: 20
Joined: 03 Mar 2007



I have just read the Chapter 14 of A Course in Number Theory by John F. Humphreys, which is about the classification of finite Abelian groups. Man, I had a hard time struggling to follow the difficult proofs of the results presented in this chapter. But the nice thing is that we have a nice result about finite Abelian groups.

Did you know? If G is an Abelian group of order n, there exists a unique decomposition of the integer n into its factors as n = n1n2nr such that ni > 1 for each i = 1. , r, ni+1 divides ni for each i = 1. , r−1, and G is isomorphic to (where Ck denotes the cyclic group of order k).

The uniqueness is such that if also n = m1ms such that mi > 1 for each i = 1. , s, mi+1 divides mi for each i = 1. , r−1 and G is isomorphic to then s = r and mi = ni for all i = 1. , s.

Top
algebraic topology
Posted: 14:45 Tuesday 21 April 2009


Renaissance


Group: Friends
Posts: 143
Member No.: 14
Joined: 20 Feb 2007



Did you know?

If G is a finite Abelian group, then G has a subgroup of order d for every positive integer d dividing the order of G.

Top
JaneFairfax
Posted: 17:29 Tuesday 21 April 2009


The Enlightenment


Group: Moderators
Posts: 673
Member No.: 20
Joined: 03 Mar 2007



Did you know? The multiplicative group of nonzero elements of a field F is cyclic. For this group is isomorphic to some direct product of cyclic groups for which so that for all nonzero x in F. So x is a root of the polynomial of degree n1 in the unique-factorization domain and so there cannot be more than n1 such roots. On the other hand clearly has at least n1 elements. Hence and is cyclic.

Top
algebraic topology
Posted: 16:29 Wednesday 20 May 2009


Renaissance


Group: Friends
Posts: 143
Member No.: 14
Joined: 20 Feb 2007



Did you know?

The automorphism group of a cyclic group of prime order p is cyclic of order p−1.

Top
JaneFairfax
Posted: 21:27 Wednesday 20 May 2009


The Enlightenment


Group: Moderators
Posts: 673
Member No.: 20
Joined: 03 Mar 2007



Did you know? The automorphism group of the direct product of n copies of the cyclic group of order p is isomorphic to the general linear group of degree n over the field with p elements. Mischief.gif

Top
algebraic topology
Posted: 01:00 Monday 25 May 2009


Renaissance


Group: Friends
Posts: 143
Member No.: 14
Joined: 20 Feb 2007



Did you know?

The general linear group of degree n over a field with q elements (where q = pk for some prime p and positive integer k) has order (qn−1)(qnq)(qnq2)(qnqn−1).

Top
JaneFairfax
Posted: 11:33 Monday 25 May 2009


The Enlightenment


Group: Moderators
Posts: 673
Member No.: 20
Joined: 03 Mar 2007



Did you know? The special linear group of degree n over the field with q elements is the subgroup of the general linear group consisting of all matrices with determinant 1. This is a normal subgroup and

This is because the mapping mapping each matrix to its determinant is an epimorphism of the general linear group onto the multiplicative group of nonzero field elements with the special linear group as its kernel. smile.gif

Top
algebraic topology
Posted: 13:07 Monday 25 May 2009


Renaissance


Group: Friends
Posts: 143
Member No.: 14
Joined: 20 Feb 2007



Did you know?

Hence .

Top
JaneFairfax
Posted: 14:19 Monday 25 May 2009


The Enlightenment


Group: Moderators
Posts: 673
Member No.: 20
Joined: 03 Mar 2007



Did you know? The projective special linear group of degree n over is the group where is the group of all nn scalar matrices over with determinant 1.

Top
algebraic topology
Posted: 18:58 Monday 25 May 2009


Renaissance


Group: Friends
Posts: 143
Member No.: 14
Joined: 20 Feb 2007



Did you know?

is simple when n = 2 or when n > 1 and q > 3.

Top
JaneFairfax
Posted: 23:57 Monday 25 May 2009


The Enlightenment


Group: Moderators
Posts: 673
Member No.: 20
Joined: 03 Mar 2007



Did you know? The Mathieu groups M11, M12, M22, M23 and M24 are simple. One way of representing these groups is as groups of permutations (which is what Humphreys does) they are 5 of the 26 so-called sporadic finite simple groups. Yearning.gif

Top
algebraic topology
Posted: 23:17 Monday 01 June 2009


Renaissance


Group: Friends
Posts: 143
Member No.: 14
Joined: 20 Feb 2007



Did you know?

The Mathieu groups M11, M23 and M24 are the automorphism groups of the ternary Golay code, the binary Golay code and the extended binary Golay code respectively.

Top
0 User(s) are reading this topic (0 Guests and 0 Anonymous Users)
0 Members:
« Next Oldest | Natural Sciences & Mathematics | Next Newest »
InvisionFree - Free Forum Hosting
InvisionFree gives you all the tools to create a successful discussion community.
Learn More · Sign-up Now

Topic Options



Hosted for free by InvisionFree* (Terms of Use: Updated 2/10/2010) | Powered by Invision Power Board v1.3 Final © 2003 IPS, Inc.
Page creation time: 0.2054 seconds | Archive