[Math] Do isomorphic groups have to have the same order

abstract-algebragroup-isomorphismorder-theory

I have been doing a lot of practice problems for an Abstract Algebra course, and I see a lot of proofs using the fact that isomorphic groups have the same order, which intuitively makes sense to me since they must have the same structure/are onto. But, I was wondering if this fact comes from a specific theorem, or if it is a result of something stated in a theorem/properties of isomorphic groups? Any ideas? (Or is it as simple as the fact that it is a bijection?)

Best Answer

Yes, because it is a bijection between groups. So Cardinality of isomorphic groups are equal.