Changes

Jump to: navigation, search
no edit summary
==Proof==
Let <math>K_1</math> be [[cyclic group:Z2]] and <math>K_2</math> be [[cyclic group:Z3]]. Consider the groups <math>G_1 = K_1^\omega</math> and <math>G_2 = K_2^\omega</math>. As a group, <math>G_1</math> is the countable times unrestricted [[external direct product]] of <math>K_1</matH> with itself. The topology is the [[topospaces:product topology|product topology]] from the discrete topology of <math>K_1</math>. Similarly, as a group, <math>G_2</math> is the countable times unrestricted [[external direct product]] of <math>K_2</matH> with itself. The topology is the [[topospaces:product topology|product topology]] from the discrete topology of <math>K_2</math>.
Then, we note that:
Bureaucrats, emailconfirmed, Administrators
38,913
edits

Navigation menu