I.D97 — Galois Automorphism

A Galois automorphism at stage k: multiplication by a unit a with gcd(a, M_k)=1. Preserves ring structure: σ_a(x+y) = σ_a(x)+σ_a(y), σ_a(xy) = σ_a(x)·σ_a(y).