You are Here: Home >< Maths

# Induced Automorphisms in extension theory?? watch

1. Hi,

I'm new to TSR so if I've put this in the wrong place or it's already been discussed sorry.

I'm reading up on extension theory for an upcoming project and came across this...

The transformation of A by $g_{\alpha}$ induces an automorphism in A. We denote the image of an element $a$ of A under the isomorphism by $a^{\alpha}$;

${(g_{\alpha})^{-1}}*a*g_{\alpha} = a^{\alpha}$

Can someone explain why this is the case please?

A is a group and $g_{\alpha}$ are elements of the extension, G, of A by B such that $g_{\alpha}*A\rightarrow \alpha$ is the isomorphism between G/A and B

sorry if this doesn't make much sense. Any help would be much appreciated.
Thanks.
2. (Original post by jalw500)
Hi,

I'm new to TSR so if I've put this in the wrong place or it's already been discussed sorry.

I'm reading up on extension theory for an upcoming project and came across this...

The transformation of A by $g_{\alpha}$ induces an automorphism in A. We denote the image of an element $a$ of A under the isomorphism by $a^{\alpha}$;

${(g_{\alpha})^{-1}}*a*g_{\alpha} = a^{\alpha}$

Can someone explain why this is the case please?

A is a group and $g_{\alpha}$ are elements of the extension, G, of A by B such that $g_{\alpha}*A\rightarrow \alpha$ is the isomorphism between G/A and B

sorry if this doesn't make much sense. Any help would be much appreciated.
Thanks.
You will get more of a response in the maths forum. Zacken any chance of moving it for the OP?

BTW, studentroom uses "[latex]" tags rather than $for latex. 3. (Original post by Gregorius) You will get more of a response in the maths forum. Zacken any chance of moving it for the OP? BTW, studentroom uses "[latex]" tags rather than$ for latex.
Yep, thanks for the tag. Will be moved within an hour, I can't do it myself sincr it's not in study help but I've notified the relevant people. :-)
4. (Original post by jalw500)
The transformation of A by induces an automorphism in A. We denote the image of an element of A under the isomorphism by ;

Can someone explain why this is the case please?

A is a group and are elements of the extension, G, of A by B such that is the isomorphism between G/A and B
I'm not a group theorist, but until one turns up...

We have the short exact sequence

I think what is happening here is that is an element of G such that the coset is taken to in B under the canonical isomorphism. (I've not seen that notation for cosets before, so I may be completely off wack here). then acts by inner automorphism on A and it is an automorphism because A is a normal subgroup of G.
5. It's been moved now.

### Related university courses

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: April 7, 2016
Today on TSR

### Edexcel C2 Core Unofficial Markscheme!

Find out how you've done here

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