.
Relations
Equivalence
Inverse relation
Functions
Inverse function
Bijection
Countable set
Injection
Integers
Division with remainder
GCD
Relatively prime
Unique prime factorization
Groups
Finite groups
Subgroup
Theorem based on subgroup
Properties of subgroup
Coset
Homomorphism in groups
Group homomorphism
Theorem based on homomorphism
Isomorphism
