III.D97 — Radical Function

Radical of n: product of distinct prime divisors. rad(1)=1, rad(p^k)=p, rad(pq)=pq. Idempotent (rad(rad(n))=rad(n)). On primorial tower, rad(M_k)=M_k (squarefree).