x Turn on thread page Beta
 You are Here: Home >< Maths

# Affine transformations watch

1. i'm trying to find a subgroup of the afifne group that is isomorphic to the abelian group . i've tried the centre and got stuck-i thought this might be right because the elements of the centre commute as do elements of under addition. however, rather than proceeding by trial and error, which could take ages, does anyone have any suggestions?

thanks
2. Assuming your definition of affine group is the set of all affine transformations (linear transformations + translations), can you see how translations could be isomorphic to ?
3. ok. i have the affine group as the group of all invertible affine transformations.

(i) the initial question:
firstly i was asked to find a subgroup isomorphic to the general linear group
after some googling i found that the answer was for any arbitrary . i then tried to prove why it was isomorphic:

consider the function where is the affine group and

is a homeomorphism since (for )

and

and for :
for some
and

but as both affine transformations are in the stabiliser of and so must leave unchanged.
i.e. and implies

so are homeomorphisms.

now is surjective because such that e.g. take

however i'm struggling to prove injectivity: since surely and would both map to ???

if i can show that is injective then i will have my isomorphism.

(ii) the second part is to find a subgroup isomorphic to . i still can't see what this would be. you are suggesting that the translations alone be a subgroup. how can this be? the elements are of the form so how could be possible? could i perhaps fix the matrix involved in the transformation as and then consider all the possible transformations of the form . these would form a subgroup (i think) although i'm not sure about the addition stuff.

thanks a lot.
4. Have A as the identity... (sorry I'm in a rush)
5. was my answer to the first part ok? can you help prove that function is bijective?

(Original post by SimonM)
Have A as the identity... (sorry I'm in a rush)
so for the second part i consider the subset . yes?
i now need to prove for is an isomorphism?
edit: i have succesfully proved is isomorphic to
and i think i've succesfully sorted out the first part of the question as well.
note to self: don't trust wikipedia!

thanks.
6. i do have another question on affine groups that i can't really get started on though:

Show that the affine group is a linear group by showing it is the subgroup of which preserves the affine hyperplane consisting of vectors in whose last entry is equal to 1. What is the matrix corresponding to the affine transformation ? Check that under matrix multiplication one recovers the composition law

i don't really understand how to go about the bit about the hyperplane and then for the next bit do i just add a_i to the A_{ii} entry to give the (n+1)x(n+1) matrix?
7. Ok, so that subspace is isomorphic to by just looking at the first n co-ordinates. So we want (A, a) to work on the first n co-ordinates like that. So we want the map

...

Can you see this as a matrix?
8. hi.
(Original post by SimonM)
Ok, so that subspace is isomorphic to by just looking at the first n co-ordinates. So we want (A, a) to work on the first n co-ordinates like that. So we want the map

...

Can you see this as a matrix?
sorry i don't really understand your last post.

(i) when you say that subspace is isomorphic to [latx]\mathbb{R}^n[/latex], are you referring to the previous part of the question where we had to show ? or are you talking about some part of this new question?

(ii) what is meant by an affine hyperplane? i haven't come across this before. searching the internet, i can't really see any distinguishing features from what i thought was just a "normal" hyperplane.

(iii)why do we set the last coordinate to 1.

(iv) i understand what you're saying when you're on about having (A,a) work only on the first n coordinates. this would leave the n+1th coordinate unchanged as 1. so affine transformations just map points in the affine hyperplane to other points in the affine hyperplane i.e. the affine hyperplane is left unlatered by affine transformations. is this true?

(v) i don't understand your notation for that map in the last post. why is the M inside those brackets?

sorry for being thick here.
thanks.
9. (Original post by latentcorpse)
(i) when you say that subspace is isomorphic to [latx]\mathbb{R}^n[/latex], are you referring to the previous part of the question where we had to show ? or are you talking about some part of this new question?
So the hyperplane of points consisting of points in R^(n+1) with last coordinate 1 can be identified with R^n (just ignore the last coordinate)

(ii) what is meant by an affine hyperplane? i haven't come across this before. searching the internet, i can't really see any distinguishing features from what i thought was just a "normal" hyperplane.
The thing defined to me looks awful like a hyperplane, so I'm just as confused.

(iii)why do we set the last coordinate to 1.
Less stupid answer: Because it works in the next part of the question. To motivate it, we could consider 'how' (A,a) behaves

[qupte](iv) i understand what you're saying when you're on about having (A,a) work only on the first n coordinates. this would leave the n+1th coordinate unchanged as 1. so affine transformations just map points in the affine hyperplane to other points in the affine hyperplane i.e. the affine hyperplane is left unlatered by affine transformations. is this true?[/quote]

Yes

(v) i don't understand your notation for that map in the last post. why is the M inside those brackets?
We're trying to get an isomorphism from the affine group to a subgroup of GL(n+1) (to show that it is linear). I am mapping (A, a) to the map M, (which is defined as M: stuff to stuff)

Sorry if any of this isn't clear, I'm exhausted
10. (Original post by SimonM)
Sorry if any of this isn't clear, I'm exhausted
it's ok. i think i understand all of the above except the mapping.

so we're going to show the affine group is linear by finding an isomorphism between it and a subgroup of GL(n,R). That makes sense.

now you have defined the isomorphism as
and are the basis vectors of i.e. where is the affine group.
so each basis vector is just rotated by the matrix A and therefore doesn't leave the hyperplane.
is this correct?

i don't think this is an isomorphism though. for example if we take h1 and h2 in H,

but

i.e. so isn't even a homomorphism.

N.B. i have used to represent the binary operation in the respective space i.e. composition of affine transformations in and vector addition in .

thanks again.
11. It looks like you ignored what a_{n+1} maps to
12. (Original post by SimonM)
It looks like you ignored what a_{n+1} maps to
don't you mean ?

why did you decide to map it to ?

is the map i posted above correct? except that i should have had the index i running from 1 to n+1, yes?
how will the inclusion of what e_{n+1} maps to solve the problem i listed above (i.e. with regards to it not being a homomorphism)?

cheers.
13. (Original post by latentcorpse)
don't you mean ?

why did you decide to map it to ?

is the map i posted above correct? except that i should have had the index i running from 1 to n+1, yes?
how will the inclusion of what e_{n+1} maps to solve the problem i listed above (i.e. with regards to it not being a homomorphism)?

cheers.
No. I meant what I said. It means that the linear map acting on the last basis "adds" the a part of (A,a). Read my map carefully
14. (Original post by SimonM)
ok. so the map is

so this is the correct map?

know i have to show it is an isomorphism in order to establish that the affine group is isomorphic to a subgroup of as this allows me to conclude that the affine group is linear. is that correct?

finally, the reason for mapping e_i to Ae_i when i is in [1...n] is so that points in the hyperplane are mapped to other points in the hyperplane, thus leaving it invariant. but why did you decide to map e_{n+1} to ae_1 + ... ae_n + e_{n+1}? surely you could equally well have just sent it to itself because so long as it's sent to something containing a non-zero multiple of e_{n+1} it won't be in the hyperplane?
15. bump.

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:
Updated: January 20, 2010
Today on TSR

### Negatives of studying at Oxbridge

What are the downsides?

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