MHB "structure" on the cosets → normal?

Swlabr1
Messages
15
Reaction score
0
Let $H\leq G$, where $G$ is some infinite group, and there exists some $g\in G$ such that the set $\{g^n: n\in\mathbb{Z}\}$ is a transversal for $G/H$. Then is $H$ normal in $G$?

I suspect not. However, I cannot seem to find a counter-example.

(By "a transversal for $G/H$" I mean that

1) $g^nH=g^mH\Rightarrow m=n$

2) if $hH$ is a coset of $G/H$ then there exists some $n\in\mathbb{Z}$ such that $g^nh^{-1}\in H$

so the powers of $g$ form a set of coset representatives for $G/H$, and no two of these representatives lie in the same coset.)
 
Physics news on Phys.org
Re: "structure" on the cosets $\Rightarrow$ normal?

Swlabr said:
Let $H\leq G$, where $G$ is some infinite group, and there exists some $g\in G$ such that the set $\{g^n: n\in\mathbb{Z}\}$ is a transversal for $G/H$. Then is $H$ normal in $G$?

I suspect not. However, I cannot seem to find a counter-example.

(By "a transversal for $G/H$" I mean that

1) $g^nH=g^mH\Rightarrow m=n$

2) if $hH$ is a coset of $G/H$ then there exists some $n\in\mathbb{Z}$ such that $g^nh^{-1}\in H$

so the powers of $g$ form a set of coset representatives for $G/H$, and no two of these representatives lie in the same coset.)

Hi Swlabr, :)

Does \(G/H\) stands for the quotient group ? In that case all the other parts of the question are redundant since by definition of quotient groups \(H\) should be normal in \(G\).

Kind Regards,
Sudharaka.
 
Re: "structure" on the cosets $\Rightarrow$ normal?

What about the (non-normal) subgroup $\mathbb{Z}/2$ as a subgroup of the infinite dihedral group? More precisely, let $G = \langle u,t\ |\ u^2=1,\ utu=t^{-1} \rangle$. Let $H = \{1,u\}$, and take $g=t$ for the generator of the transversal.
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...

Similar threads

Back
Top