Up to isomorphism

The previous post showed that there are 10 Abelian groups that have 2025 elements. Implicitly that means there are 10 Abelian groups up to isomorphism, i.e. groups that are not in some sense the same" even if they look different.

Sometimes it is clear what we mean by the same" and there's no need to explicitly say up to isomorphism" and doing so would be pedantic. Other times it helps to be more explicit.

In some context you want to distinguish isomorphic as different objects. This is fine, but it means that you have some notion of different" that is more strict than not isomorphic." For example, the x-axis and the y-axis are different subsets of the plane, but they're isomorphic as 1-dimensional vector spaces.

Abelian groups

There is a theorem that says _mn, the group of integers mod mn, is isomorphic to the direct sum _{m n} if and only if m and n are relatively prime. This means, for example, that ₁₅ and _{3 5} are isomorphic, but ₉ and _{3 3} are not.

Because of this theorem it's possible to come up with a list of Abelian groups of order 2025 that looks different from the list in the previous post but it actually the same, where same" means isomorphic.

In the previous post we listed direct sums of groups where each group was a cyclic group of some prime power order:

• _{81 25}
• _{81 5 5}
• _{27 3 25}
• _{27 3 5 5}
• _{9 9 25}
• _{9 9 5 5}
• _{9 3 3 25}
• _{9 3 3 5 5}
• _{3 3 3 3 25}
• _{3 3 3 3 5 5}

We could rewrite this list as follows by combining group factors of relatively prime orders:

• ₂₀₂₅
• _{5 405}
• _{3 675}
• _{15 135}
• _{9 225}
• _{45 45}
• _{3 3 295}
• _{3 15 45}
• _{3 3 3 75}
• _{3 3 15 15}

This listing follows a different convention, namely that the order of each group is a factor of the order of the next.

Related posts

• NBA and MLB trees are isomorphic
• Field of order 9
• Number of representations of a finite field
• Duals and double duals
• Groups versus Abelian Groups

The post Up to isomorphism first appeared on John D. Cook.