MathLabs

Problem 3

Let n>2n>2 and let Vn={1+kn:k=1,2,…}V_n=\{1+kn:k=1,2,\ldots\}. An element of VnV_n is indecomposable if it is not a product of two elements of VnV_n. Prove that some element of VnV_n has two distinct factorizations into indecomposable elements, where order is ignored.
Step 6 of 6: Handle n=5n=5 and n=8n=8
In plain words

Explicit witnesses cover the exceptional cases.

3136=16⋅196=56⋅56,25921=49⋅529=161⋅1613136=16\cdot196=56\cdot56,\quad25921=49\cdot529=161\cdot161
Detailed analysis

For n=5n=5, 16,196,5616,196,56 are indecomposable elements of V5V_5 and 16⋅196=56⋅5616\cdot196=56\cdot56. For n=8n=8, 49,529,16149,529,161 are indecomposable elements of V8V_8 and 49⋅529=161⋅16149\cdot529=161\cdot161. Each identity gives two distinct factorizations.