Skip to main content
deleted 136 characters in body
Source Link
KConrad
  • 50.6k
  • 9
  • 196
  • 277

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll argue directly.

Let $\phi:G\to\mathbf{Z}$ be a homomorphism and fix $x\in G$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a map $\phi':B\mathbf{Z}\to \mathbf{Z}$ such that $\phi'(1)=\phi(x)$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. But sinceSince $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$, hence factor through $\hat{\mathbf{Z}}$, so we obtain a map $\phi'':\hat{\mathbf{Z}}\to\mathbf{Z}$ such that $\phi''(1)=\phi(x)$.

Finally $\phi''$ must vanish on Since $\prod_{p\neq 2}\mathbf{Z}_p$ because ofis infinitely $2$-divisibilitydivisibile and on $\prod_{p\neq 3}\mathbf{Z}_p$ because of$\mathbf{Z}_2$ is infinitely $3$-divisibilitydivisible, so $\phi''$ must vanish$\phi'$ vanishes on $\hat{\mathbf{Z}}$. Thus $\phi'$ is identically $0$, so $\phi(x)=\phi''(1)=0$$\phi(x)=\phi'(1)=0$.

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll argue directly.

Let $\phi:G\to\mathbf{Z}$ be a homomorphism and fix $x\in G$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a map $\phi':B\mathbf{Z}\to \mathbf{Z}$ such that $\phi'(1)=\phi(x)$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. But since $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$, hence factor through $\hat{\mathbf{Z}}$, so we obtain a map $\phi'':\hat{\mathbf{Z}}\to\mathbf{Z}$ such that $\phi''(1)=\phi(x)$.

Finally $\phi''$ must vanish on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $2$-divisibility and on $\prod_{p\neq 3}\mathbf{Z}_p$ because of $3$-divisibility, so $\phi''$ must vanish on $\hat{\mathbf{Z}}$, so $\phi(x)=\phi''(1)=0$.

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll argue directly.

Let $\phi:G\to\mathbf{Z}$ be a homomorphism and fix $x\in G$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a map $\phi':B\mathbf{Z}\to \mathbf{Z}$ such that $\phi'(1)=\phi(x)$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. Since $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$. Since $\prod_{p\neq 2}\mathbf{Z}_p$ is infinitely $2$-divisibile and $\mathbf{Z}_2$ is infinitely $3$-divisible, $\phi'$ vanishes on $\hat{\mathbf{Z}}$. Thus $\phi'$ is identically $0$, so $\phi(x)=\phi'(1)=0$.

edited body
Source Link
Sean Eberhard
  • 9.7k
  • 30
  • 57

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll argue directly.

Let $\phi:G\to\mathbf{Z}$ be a homomorphism and fix $x\in G$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a map $\phi':B\mathbf{Z}\to \mathbf{Z}$ such that $\phi'(1)=\phi(x)$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. But since $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$, hence factor through $\hat{\mathbf{Z}}$, so we obtain a map $\phi'':\hat{\mathbf{Z}}\to\mathbf{Z}$ such that $\phi''(1)=\phi(x)$.

Finally $\phi''$ must vanish on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $3$$2$-divisibility and on $\prod_{p\neq 2}\mathbf{Z}_p$$\prod_{p\neq 3}\mathbf{Z}_p$ because of $2$$3$-divisibility, so $\phi''$ must vanish on $\hat{\mathbf{Z}}$, so $\phi(x)=\phi''(1)=0$.

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll argue directly.

Let $\phi:G\to\mathbf{Z}$ be a homomorphism and fix $x\in G$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a map $\phi':B\mathbf{Z}\to \mathbf{Z}$ such that $\phi'(1)=\phi(x)$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. But since $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$, hence factor through $\hat{\mathbf{Z}}$, so we obtain a map $\phi'':\hat{\mathbf{Z}}\to\mathbf{Z}$ such that $\phi''(1)=\phi(x)$.

Finally $\phi''$ must vanish on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $3$-divisibility and on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $2$-divisibility, so $\phi''$ must vanish on $\hat{\mathbf{Z}}$, so $\phi(x)=\phi''(1)=0$.

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll argue directly.

Let $\phi:G\to\mathbf{Z}$ be a homomorphism and fix $x\in G$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a map $\phi':B\mathbf{Z}\to \mathbf{Z}$ such that $\phi'(1)=\phi(x)$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. But since $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$, hence factor through $\hat{\mathbf{Z}}$, so we obtain a map $\phi'':\hat{\mathbf{Z}}\to\mathbf{Z}$ such that $\phi''(1)=\phi(x)$.

Finally $\phi''$ must vanish on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $2$-divisibility and on $\prod_{p\neq 3}\mathbf{Z}_p$ because of $3$-divisibility, so $\phi''$ must vanish on $\hat{\mathbf{Z}}$, so $\phi(x)=\phi''(1)=0$.

added 73 characters in body
Source Link
Sean Eberhard
  • 9.7k
  • 30
  • 57

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll exhibit a contradictionargue directly.

SupposeLet $\phi:G\to\mathbf{Z}$ is nonzero. Fixbe a homomorphism and fix $x\in G$ such that $\phi(x)\neq 0$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a nonzero map $\phi':B\mathbf{Z}\to \mathbf{Z}$ such that $\phi'(1)=\phi(x)$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. But since $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$, hence factor through $\hat{\mathbf{Z}}$, so we obtain a nonzero map $\phi'':\hat{\mathbf{Z}}\to\mathbf{Z}$ such that $\phi''(1)=\phi(x)$.

Finally $\phi''$ must vanish on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $3$-divisibility and on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $2$-divisibility, so $\phi''$ must vanish on $\hat{\mathbf{Z}}$, a contradictionso $\phi(x)=\phi''(1)=0$.

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll exhibit a contradiction.

Suppose $\phi:G\to\mathbf{Z}$ is nonzero. Fix $x\in G$ such that $\phi(x)\neq 0$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a nonzero map $\phi':B\mathbf{Z}\to \mathbf{Z}$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. But since $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$, so we obtain a nonzero map $\phi'':\hat{\mathbf{Z}}\to\mathbf{Z}$.

Finally $\phi''$ must vanish on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $3$-divisibility and on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $2$-divisibility, so $\phi''$ must vanish on $\hat{\mathbf{Z}}$, a contradiction.

Sorry for resurrecting such an old question, but I think we can give a much simpler proof here. We'll reduce the problem from $G$ to the Bohr compactification $B\mathbf{Z}$ of $\mathbf{Z}$, then from $B\mathbf{Z}$ to the profinite completion $\hat{\mathbf{Z}}=\prod_p\mathbf{Z}_p$ of $\mathbf{Z}$, and then we'll argue directly.

Let $\phi:G\to\mathbf{Z}$ be a homomorphism and fix $x\in G$. The map $\mathbf{Z}\to G$ extending $1\mapsto x$ induces a map $B\mathbf{Z}\to G$ such that $1\mapsto x$, and thus we obtain a map $\phi':B\mathbf{Z}\to \mathbf{Z}$ such that $\phi'(1)=\phi(x)$.

Recall that to construct $B\mathbf{Z}$ one takes the dual of $\mathbf{Z}$, namely $\mathbf{R}/\mathbf{Z}$, strips the topology to get the discrete group $\mathbf{R}_d/\mathbf{Z}\cong\mathbf{R}_d\times\mathbf{Q}/\mathbf{Z}$, then takes the dual again. The result is that $B\mathbf{Z} \cong B\mathbf{R}\times\hat{\mathbf{Z}}$. But since $B\mathbf{R}$ is divisible $\phi'$ must vanish on $B\mathbf{R}$, hence factor through $\hat{\mathbf{Z}}$, so we obtain a map $\phi'':\hat{\mathbf{Z}}\to\mathbf{Z}$ such that $\phi''(1)=\phi(x)$.

Finally $\phi''$ must vanish on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $3$-divisibility and on $\prod_{p\neq 2}\mathbf{Z}_p$ because of $2$-divisibility, so $\phi''$ must vanish on $\hat{\mathbf{Z}}$, so $\phi(x)=\phi''(1)=0$.

Source Link
Sean Eberhard
  • 9.7k
  • 30
  • 57
Loading