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: Yes, but that's true in both constructions; $T$ and $\mathbb R^n$ are the normal factors, respectively.2011-08-06
  • 0
    @Dylan: I don't understand. Then you'd be putting the normal factor second, but you rightly said that it's the first?2011-08-07
  • 0
    @joriki Er, but $N \rtimes H$ means the same thing as $H \ltimes N$, no? Anyway, as long as there's some convention that makes us all understandable I'm quite happy.2011-08-07
  • 0
    Also, I think the last display needs a small tweak: if you want your automorphisms to act on the left, this won't be a group homomorphism. (What is the effect of $\psi_\tau \circ \psi_\sigma$?)2011-08-07
  • 0
    @Dylan: Sorry, I must have not noticed that you flipped 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