You are Here: Home >< Maths

# Finitely generated abelian group Watch

1. Consider the integral matrix R: =

2 2 4 2
4 4 8 5
6 12 12 8
4 10 8 6

Determine the structure of the abelian group given by the generators and relations

AR:= <a1, a2, a3, a4 | R o a = 0 >

And determine the number of elements of order 2 in AR.

Please someone help me out! This wasn't really covered properly in lectures, and I can't seem to find any information on it which makes any sense to me.
2. Hae you covered Smith normal form? Putting your matrix in Smith normal form effectively 'changes the basis' for the finitely generated abelian group given, which should mean you can read off the structure of the abelian group.
3. For a lack of proofs and notes, I would suggest you look up the smith normal form of a matrix.
4. (Original post by around)
Hae you covered Smith normal form? Putting your matrix in Smith normal form effectively 'changes the basis' for the finitely generated abelian group given, which should mean you can read off the structure of the abelian group.
I think we did but it wasn't covered very well.

Is Smith-normal form something to do with row AND column operations? That's where I get a little confused.... with the column operations.

And I don't quite get what the question is asking me to find. Is it just the numbers on the diagonal?
5. Google smiths normal form of a matrix, it shouldn't take you too long to pick up the concept.
6. I have managed to get it into smith normal form. Is the question just asked for the values on the diagonal? Or is it asking for something else?
7. The number of zeros is the rank and the non-zero numbers are the torsion part.

In other words, if your matrix in smith normal form has diagonal entries and zeros then your group is isomorphic to

.

e.g. if you smith normal form were, say,

The structure theorem for finitely generated modules over PIDS says that ALL fin. generated abelian groups are of this form for some and some such that each divides .

If you really don't have any of this information in your notes then you can find it easily on the Wikipedia articles:
http://en.wikipedia.org/wiki/Structu...l_ideal_domain

and

http://en.wikipedia.org/wiki/Smith_normal_form

where the latter teaches you the technique for converting your matrix to Smith normal form.

If you are just working with abelian groups (rather than modules over a PID) then replace every occurance of 'PID' or 'the principal ideal domain R' etc. with .

Once you have written the group in this way, it should be easy to work out how many elements of order two there are.
8. Actually, I'm still a little confused. When getting it into smith normal form, can I just do row and column operations as I see fit? Or do I need to have those extra matrices either side?

I've searched online but I don't quite get it :s
9. (Original post by Mathlete29)
Actually, I'm still a little confused. When getting it into smith normal form, can I just do row and column operations as I see fit?
Yes. The whole point of the process is that you have a map

which you desire to write in a useful form.

This comes from the fact that for a finitely generated abelian group - we have a finite number of generators (represented by the and a finite number of relations (represented by the ) In fancy language, we may present any fin. gen. abelian group by a short exact sequence

Now, you pick a basis for the domain and codomain and write your map as a matrix. When you perform row and column operations - you are just changing the bases for the domain and codomain. The point being that we want to write the quotient of (generators) by the image of (relations) in a standard format.

Or do I need to have those extra matrices either side?
I don't know what you mean - I assume you are talking about elementary matrices? These are just a way of representing row or column operations by matrix multiplication e.g.

If we take the identity matrix:

and switch the rows (i.e. switch the two basis vectors) to get the matrix

Then we can write

where . Thus performing the row operation of switching the rows is just premultiplying by

I've searched online but I don't quite get it :s
Really? There are some great sources in the first few google entries e.g. this at number two in the search for 'Smith Normal Form'

It is probably the case that you need to go back and revise basic linear algebra:

Consider a finite dimensional vector space with (ordered) basis and let be the subspace spanned by, and . Then, obviously has the (ordered) basis given by

Now consider the linear map including into as a subspace.

With respect to the bases above, we can represent by the matrix . Performing the obvious two row operations gives us the matrix

All we have done is changed the basis of to and written the inclusion as the matrix with respect to this new basis.

Now, we can write the quotient as thus we can straight away see that is one dimensional with basis .

Of course, this is totally banal and pointless - by the rank nullity theorem, we know that is one dimensional and we can easily name a basis without putting pen to paper.

The point is that when we generalise this situation to finitely generated abelian groups i.e. -modules (which are just 'vector spaces' except we scale by integers in rather then elements of a field like or ), the situation becomes a tiny bit more complicated and we need to go through that convoluted process above to see what the quotient looks like.

When moving from a field to the integers - we retain a lot of good properties:

i) We can still talk about the 'dimension' of free modules (except now we call it the 'rank') thus if a free module has a basis with say elements - then so do all other bases.

ii) If we take a one dimensional free module (i.e. itself) - then every non-zero subspace is spanned by one element.

iii) More generally, every submodule of a free module is free

The main property we lose is that when we quotient a free module by a free submodule - we don't necessarily end up with something free. For example if we take which is freely generated by 1 and the subgroup (freely generated by 2) then the quotient is no longer free but is generated by one element, say now subject to a relation i.e. . Thus we have picked up something often called torsion.

In the above example with vector spaces - since vector spaces don't have torsion - when we classify fin. generated. vector spaces - all we need to know is the dimension which is why we could have just used the rank-nullity theorem. Now, with abelian groups, we have to change bases to see what the torsion looks like.

This doesn't happen with vector spaces since everything non-zero in a field is invertible so for example, a non-zero subspace of a one dimensional space is always equal to since it will contain the image of the one of the field. We already saw that this doesn't carry over: since we can't hit the number 2 with any integer to get one.

So what is the effect of this torsion? All it means in terms of the example we did with vector spaces is that we won't always be able to get ones on the diagonal when we perform our row and column operations. If you think about it - the ones just correspond to 0s in the quotient i.e. copies of for each other number on the diagonal, we get finite cyclic summands as well as our free modules (corresponding to the zeros i.e. copies of )
10. Do the diagonal entries have to be ascending?

I've attempted to put the original matrix into smith normal form and I've ended up with diagonal entries 2, 6, 1..... is that correct?
11. (Original post by Mathlete29)
Do the diagonal entries have to be ascending?

I've attempted to put the original matrix into smith normal form and I've ended up with diagonal entries 2, 6, 1..... is that correct?
Technically, if you want to get smith normal form (as most people define it), then yes but if you just want to write down your group then of course it doesn't matter. Think about my above and other posts and the links etc. and what the numbers mean.

You are essentially asking what the difference is between and

On the level of not understanding anything and just manipulating matrices to get answers - are you telling us that you cannot see how you can use row and column operations to transform

to ?

Come on; have you actually really read anything? This is just linear algebra.

If you don't have a good set of notes or a book then just read, for example, this.

All you are doing is changing bases.

Updated: May 12, 2012
TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Today on TSR

### Stuck for things to do this summer?

Come and get some inspiration.

Poll
Useful resources

### Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams