Use the Chinese remainder theorem to separate relatively prime factors:These five cyclic prime-power summands are the elementary-divisor form. Leave one summand aside and combine the factors of orders , which are pairwise coprime. Their direct sum of modules is cyclic of order . The invariant-factor canonical form is thereforeIts group order is , and its exponent of a finite group is , providing independent checks on the decomposition. Since its exponent is smaller than its order, itself is not cyclic.
Articles by others on the same topic
There are currently no matching articles.