0
$\begingroup$

I read the following:

The group $\mathbb Z +...+\mathbb Z=\mathbb Z^n$ of covering translations and $S_n$ acting on $\mathbb R^n$ by permuting coordinates, both lie in $aff(\mathbb R^n)$ the group of affine motions of $\mathbb R^n$. Let $G$ be the subgroup of $aff(\mathbb R^n)$ generated by $\mathbb Z^n$ and $\mathbb S_n$. then $\mathbb Z^n$ is normal in $G$ with quotient $S_n$. Hence $\mathbb R^n/G$ is the quotient first by $\mathbb Z^n$ then by $S_n$.

I understand that he means $G=\mathbb Z^n\ltimes_\phi\ S_n$ but what is $\phi$ here? i have two guesses:

i) my first guess is that he identifies the group $\mathbb Z^n=\{(m_1,...,m_n)\in Z^n\subset \mathbb R^n\}$ with the group $T=\{t:\mathbb R^n\rightarrow \mathbb R^n;\;(x_1,...,x_n)\mapsto (x_1+m_1,\cdots,x_n+m_n \} \subset Aff(\mathbb R^n)$ and now we have $T$ is normalized by $S_n$ and $T\cap S_n=\{1\}$ and so $G$ is THE internal semidirect product $G=TS_n$ or equivalently this is The external semidirect product $G=T\ltimes_\phi S_n$ with $\phi$ is the action of conjugation of $S_n$ on $T$.

ii)My second guess is that since there is an isomorphism $Aff(\mathbb R^n)\cong \mathbb R^n \ltimes_\psi Gl(\mathbb R^n)$ where $\psi:Gl(\mathbb R^n)\rightarrow Aut(\mathbb R^n);\; f\mapsto \psi_f(x)=f(x)$

The isomorphism above maps an invertible affine motion $a:\mathbb R\rightarrow \mathbb R;\;x\mapsto f(x)+y$ to the couple $(y,f)$.

now since $\mathbb Z^n\subset \mathbb R^n$ and $S_n\subset Gl(\mathbb R^n)$ then $G$ is just the restriction of $Aff(\mathbb R^n)\cong \mathbb R^n \ltimes_\psi Gl(\mathbb R^n)$ which means $G= \mathbb Z^n \ltimes_\psi S_n$ where $ \psi: S_n\rightarrow Aut(\mathbb Z^n);\; \sigma \rightarrow \psi_\sigma(m_1,...,m_n)=\sigma(m_1,...,m_n)=(m_{\sigma(1)},...,m_{\sigma(n)})$

  • 0
    @Dylan: Sorry, I must have not noticed that you fli$p$ped the product sign :-) Can't tell what was what now since you've deleted the comments, but I guess this is all resolved now then?2011-08-08

1 Answers 1

2

Literally speaking, he's doing the former, since he speaks of $\mathbb Z^n$ as a group of translations, but on a more abstract level it doesn't matter, since those two constructions, if I understand them correctly, are basically saying the same thing. The map inducing the semidirect product is always conjugation on the first factor by the second; there's no difference in that respect between your two constructions; the $\psi$ in your second construction is also conjugation of $S_n$ on $\mathbb Z^n$; you're just describing it internally in $\mathrm{Aff}(\mathbb R^n)$ in one case and externally as the semidirect product of two abstract groups in the other case.

  • 0
    @palio: (You don't need to ping me in comments under my answer, I get notified automatically; and when you do ping someone, it doesn't work with a space between the '@' and the name.) We agree that the semidirect product is not unique and different actions $\phi$ and $\psi$ give non-isomorphic groups; the question is whether your $\phi$ and $\psi$ are different. As I wrote, as far as I can tell these are both $S_n$ acting by conjugation on a group isomorphic to $\mathbb Z^n$, so I think they're just the same thing expressed slightly differently. How do you think they differ?2011-08-07