Gal (\overline{Q_{p}} / Q_{p})

f (a) \equiv 0, f^{'} (a) \neq \equiv 0 (mod p) ⟹ \exists! α

∣ x ∣_{p} = p^{- v_{p} (x)}

∣ x + y ∣_{p} \leq max (∣ x ∣_{p}, ∣ y ∣_{p})

Projects

2026

QFC-SP Primary Course at Kyushu university

Data science and Informatics

2026

An AI-powered mathematics learning assistant

∿

Gal (\overline{Q_{p}} / Q_{p})

f (a) \equiv 0, f^{'} (a) \neq \equiv 0 (mod p) ⟹ \exists! α

∣ x ∣_{p} = p^{- v_{p} (x)}

∣ x + y ∣_{p} \leq max (∣ x ∣_{p}, ∣ y ∣_{p})