Skip to main content
Added follow-up question
Source Link
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198

Please accept my apologies for another elementary group theory question.

Let $$N\hookrightarrow E \twoheadrightarrow G$$ be a group extension such that the induced outer action $\psi\colon\thinspace G\to \mathrm{Out}(N)$ is trivial. Is it necessarily true that $N$ is central in $E$?

I have read comments on this site to this effect, but have been unable to come up with a proof. All I am seeing is that the conjugation action $\psi\colon\thinspace E\to \mathrm{Aut}(N)$ has image in the group $\mathrm{Inn}(N)$ of inner automorphisms.

On the other hand, work of Eilenberg and Mac Lane (as summarized in Brown's book "Cohomology of Groups", Section IV.6) shows that extensions as above are classified by $H^2(G;C)$, where $C$ denotes the centre of $N$ regarded as a trivial $G$-module, and therefore by central extensions of the form $$C\hookrightarrow A \twoheadrightarrow G.$$ This seems to suggest that the above statement is indeed true.

Edit: Thanks very much for the answer and comments so far, which have been very enlightening. In particular, comments of HW and others show clearly that the answer to my question as stated is "No". I have a follow-up question, which I'd like to ask here rather than start a new thread.

It is stated as Theorem 15.21 (3) in Peter Michor's book (linked in his answer below) that there is a split extension inducing a given outer action $\psi\colon\thinspace G\to\mathrm{Out}(N)$ if and only if $\psi$ lifts through the epimorphism $\mathrm{Aut}(N)\to\mathrm{Out}(N)$. This I agree with (and can even prove!). However, it seems to me that non-equivalent extensions can induce the same outer action (if $H^2(G;C)\neq 0$). My question is then:

Do there exist non-split extensions $$ N\hookrightarrow E \twoheadrightarrow G $$ such that the induced outer action $\psi\colon\thinspace G\to \mathrm{Out}(N)$ is trivial? Does anybody know any "natural" examples?

Please accept my apologies for another elementary group theory question.

Let $$N\hookrightarrow E \twoheadrightarrow G$$ be a group extension such that the induced outer action $\psi\colon\thinspace G\to \mathrm{Out}(N)$ is trivial. Is it necessarily true that $N$ is central in $E$?

I have read comments on this site to this effect, but have been unable to come up with a proof. All I am seeing is that the conjugation action $\psi\colon\thinspace E\to \mathrm{Aut}(N)$ has image in the group $\mathrm{Inn}(N)$ of inner automorphisms.

On the other hand, work of Eilenberg and Mac Lane (as summarized in Brown's book "Cohomology of Groups", Section IV.6) shows that extensions as above are classified by $H^2(G;C)$, where $C$ denotes the centre of $N$ regarded as a trivial $G$-module, and therefore by central extensions of the form $$C\hookrightarrow A \twoheadrightarrow G.$$ This seems to suggest that the above statement is indeed true.

Please accept my apologies for another elementary group theory question.

Let $$N\hookrightarrow E \twoheadrightarrow G$$ be a group extension such that the induced outer action $\psi\colon\thinspace G\to \mathrm{Out}(N)$ is trivial. Is it necessarily true that $N$ is central in $E$?

I have read comments on this site to this effect, but have been unable to come up with a proof. All I am seeing is that the conjugation action $\psi\colon\thinspace E\to \mathrm{Aut}(N)$ has image in the group $\mathrm{Inn}(N)$ of inner automorphisms.

On the other hand, work of Eilenberg and Mac Lane (as summarized in Brown's book "Cohomology of Groups", Section IV.6) shows that extensions as above are classified by $H^2(G;C)$, where $C$ denotes the centre of $N$ regarded as a trivial $G$-module, and therefore by central extensions of the form $$C\hookrightarrow A \twoheadrightarrow G.$$ This seems to suggest that the above statement is indeed true.

Edit: Thanks very much for the answer and comments so far, which have been very enlightening. In particular, comments of HW and others show clearly that the answer to my question as stated is "No". I have a follow-up question, which I'd like to ask here rather than start a new thread.

It is stated as Theorem 15.21 (3) in Peter Michor's book (linked in his answer below) that there is a split extension inducing a given outer action $\psi\colon\thinspace G\to\mathrm{Out}(N)$ if and only if $\psi$ lifts through the epimorphism $\mathrm{Aut}(N)\to\mathrm{Out}(N)$. This I agree with (and can even prove!). However, it seems to me that non-equivalent extensions can induce the same outer action (if $H^2(G;C)\neq 0$). My question is then:

Do there exist non-split extensions $$ N\hookrightarrow E \twoheadrightarrow G $$ such that the induced outer action $\psi\colon\thinspace G\to \mathrm{Out}(N)$ is trivial? Does anybody know any "natural" examples?

Source Link
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198

Extensions with trivial induced outer action

Please accept my apologies for another elementary group theory question.

Let $$N\hookrightarrow E \twoheadrightarrow G$$ be a group extension such that the induced outer action $\psi\colon\thinspace G\to \mathrm{Out}(N)$ is trivial. Is it necessarily true that $N$ is central in $E$?

I have read comments on this site to this effect, but have been unable to come up with a proof. All I am seeing is that the conjugation action $\psi\colon\thinspace E\to \mathrm{Aut}(N)$ has image in the group $\mathrm{Inn}(N)$ of inner automorphisms.

On the other hand, work of Eilenberg and Mac Lane (as summarized in Brown's book "Cohomology of Groups", Section IV.6) shows that extensions as above are classified by $H^2(G;C)$, where $C$ denotes the centre of $N$ regarded as a trivial $G$-module, and therefore by central extensions of the form $$C\hookrightarrow A \twoheadrightarrow G.$$ This seems to suggest that the above statement is indeed true.