Abstract Algebra: Theory and Applications · Problem 6.5.10
Introduction to Cryptography — Thomas Judson
Mathematics — Abstract Algebra · cosets-index
Problem
Show that the additive group of real numbers has infinite index in the additive group of the complex numbers.Intuitive explanation
The index of a subgroup is the number of distinct cosets it creates. Here, you need to show that as a subgroup of (under addition) generates infinitely many cosets. The key insight is that cosets are determined by their "imaginary parts"—two complex numbers are in the same coset if and only if their difference lies in , which means they differ only by a real number. Since the imaginary axis is uncountable and each point gives a distinct coset, the index must be infinite.
Intuitive explanation
The index of a subgroup is the number of distinct cosets it creates. Here, you need to show that as a subgroup of (under addition) generates infinitely many cosets. The key insight is that cosets are determined by their "imaginary parts"—two complex numbers are in the same coset if and only if their difference lies in , which means they differ only by a real number. Since the imaginary axis is uncountable and each point gives a distinct coset, the index must be infinite.