I am always impressed how countability conditions and topological properties interact, like in the following cases.

Assume there is a topological group $P$ which is, as an abstract group, isomorphic to a direct product of groups $G$ and $H$. Assume all groups to be Hausdorff and locally compact. Then $P$ is isomorphic as a topological group to $G\times H$ in the product topology if $G$ and $H$ are sigmacompact.

And another example: Every locally compact totally disconnected group has uncountable cardinality.

I am always impressed how countability conditions and topological properties interact, like in the following cases.

Assume there is a topological group $P$ which is, as an abstract group, isomorphic to a direct product of groups $G$ and $H$. Assume all groups to be Hausdorff and locally compact. Then $P$ is isomorphic as a topological group to $G\times H$ in the product topology if $G$ and $H$ are sigmacompact.

And another example: Every non-discrete locally compact totally disconnected group has uncountable cardinality.