158 ：１３２人目の素数さん：
>>153
工程表：
無限次Galois理論 → Neukirchの抽象類体論 → 局所類体論 → 大域類体論

単射包絡(injective envelope）
これは、類体論でどう用いられる？

単射包絡について書いているのも、上記工程表（の項目）の
準備のためなんですよね？