4
$\begingroup$

For any $k \in \mathbb{R^*}, \langle k\rangle$ is a normal subgroup.

Consider the case $k \neq 1, k>0$. Then, via the surjective homomorphism $$\varphi: \mathbb{R^*} \to \mathbb{T}\times\{\pm1\}, \quad x\mapsto (e^{2\pi i\cdot \log_{k}(|x|)}, \: \textrm{sign}(x))$$

$$\implies \mathbb{R^*}/\langle k\rangle \simeq \mathbb{T} \times\{\pm1\}.$$

by the First Isomorphism Theorem (where $\mathbb{T}$ is the circle of unit radius in the complex plane).

But for any $M, N \trianglelefteq G$, $$\langle M, N\rangle = MN \trianglelefteq G$$

$$\implies \langle k_1,...,k_n\rangle \trianglelefteq \mathbb{R^*}. $$

There turns out to be a few different cases for $n=1$, so suppose that $k_1, ... k_n \in \mathbb{R^*},$ with $k_i \neq 1, k_i >0$.

To which group is $\mathbb{R^*}/\langle k_1,...,k_n\rangle$ isomorphic? I can't spot a friendly homomorphism for this one so easily.

$\endgroup$
10
  • $\begingroup$ Is $\mathbf{R}^*$ the multiplicative group of the positive real numbers? If so, $\log_k$ is not defined if $k = 1$; so, we don’t have a surjective homomorphism (or even a homomorphism at all) in that case. $\endgroup$
    – shoteyes
    Jun 28, 2021 at 2:06
  • $\begingroup$ Note that $\mathbb R^*\cong\mathbb R_{>0}\times\{\pm1\}\cong\mathbb R\times C_2$. $\endgroup$
    – Kenta S
    Jun 28, 2021 at 2:16
  • $\begingroup$ @shoteyes You are right. If $k = 1$, then the quotient is isomorphic to $\mathbb{R^*}$. Thanks for pointing that out. $\endgroup$ Jun 28, 2021 at 12:37
  • 1
    $\begingroup$ If $\mathbf{R}^*$ is supposed to be the nonzero reals as @KentaS says, then the $\log_k x$ homomorphism is not defined for negative $x$. If, instead, you mean $\mathbf{R}^*$ to be the positive reals, then it’s fine. $\endgroup$
    – shoteyes
    Jun 28, 2021 at 12:58
  • 1
    $\begingroup$ Careful, the surjective homomorphisms you want are $(e^{2\pi i \log_k\lvert x \rvert}, \operatorname{sgn} x)$ and $(\operatorname{sgn} x)e^{\pi i \log_{-k}\lvert x \rvert}$ for the last two cases, respectively. Unfortunately, I cannot think of a clean way to describe the quotient you want. There are too many cases to deal with for me. $\endgroup$
    – shoteyes
    Jun 28, 2021 at 13:27

1 Answer 1

5
$\begingroup$

Dealing with quotients of $\Bbb{R}_{>0}$ only. Isolating the effect of the factor $\langle -1\rangle\simeq C_2$ should pose no problems.

By uniqueness of positive roots of positive numbers we see that the multiplicative group $\Bbb{R}_{>0}$ is actually isomorphic to the additive group of the vector space $V$ over $\Bbb{Q}$ with uncountable dimension. See Hurkyl's old answer. Alternatively, we see that the multiplicative group $\Bbb{R}_{>0}$ becomes a 1-dimensional vector space over $\Bbb{R}$, if we define the scalar multiplication by $\alpha\star x=x^\alpha$, for all $x>0$ and all $\alpha\in\Bbb{R}$. The singleton set $\{e\}$ is obviously a basis. We can then restrict the scalar multiplication to $\Bbb{Q}$ as we want to only use the structure of a vector space over $\Bbb{Q}$.

The subgroup $G=\langle k_1,\ldots,k_n\rangle$ is a torsion free finitely generated abelian group, hence a free $\Bbb{Z}$-module. So $G$ has a $\Bbb{Z}$-basis $\mathcal{B}$. Assuming the axiom of choice we can extend $\mathcal{B}$ to a $\Bbb{Q}$-basis $\mathcal{C}$ of $V$. Clearly $\mathcal{C}$ is an uncountable set. As $\mathcal{B}$ is finite, $\mathcal{C}\setminus\mathcal{B}$ has the same cardinality as $\mathcal{C}$.

Let $m=|\mathcal{B}|$ be the rank of $G$. It follows that we have an isomorphism $$ V/G\simeq (\Bbb{Q}/\Bbb{Z})^m\times V', $$ where $V'$ is the $\Bbb{Q}$-space spanned by $\mathcal{C}\setminus\mathcal{B}$. Cardinality of a basis dictates the isomorphism type of a vector space, so actually $V'\simeq V$.

We have shown that $$\Bbb{R}_{>0}/\langle k_1,k_2,\ldots,k_n\rangle\simeq (\Bbb{Q}/\Bbb{Z})^m\times\Bbb{R}_{>0}$$ for some positive integer $m\le n$. On the right hand side the group structure is addition in the first factor and multiplication in the second.

The catch is that because AoC was invoked, it is impossible to describe this isomorphism explicitly. We can only deduce that one exists.


It may be mildly counterintuitive that $\Bbb{R}_{>0}$ appears as a factor of its proper quotient group, but infinite dimensional spaces sometimes behave in surprising ways.

If we discard the axiom of choice, then ... I don't know what happens :-)

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.