Skip to main content
3 of 5
added 75 characters in body
user38200
  • 1.4k
  • 8
  • 13

Axiom of dependent choice (up to $\omega_1$) and group rank

Assuming the axiom DC($\omega_1$), is there a definition of the rank of a group ?

Another related question: assuming DC($\omega_1$), if we have two groups $A$ and $B$ of the same infinite rank, is there necessarily a surjective homomorphism from $A$ onto $B$?

Edit: in the second question , we might assume $A$ and $B$ both abelian.

user38200
  • 1.4k
  • 8
  • 13