>>179
つづき

; later he has refined this result and shown that K may be recovered from the topological group GK and one Lubin-Tate character of GK (see [14] and [20]).

On the other hand, given a padic field K1, the Jarden-Ritter Theorem (see [8]) provides a characterization of all p-adic fields
K2 such that one has a topological isomorphism GK2 ' GK1 of their absolute Galois groups and
it is well-known that for every prime p, pairs of fields with this property always exists.
Mochizuki’s anabelian reconstruction yoga (see [22] and its references) provides, starting with
the topological group G ' GK, the reconstruction amphora of G (see [6, 5, 7, 20, 21, 22] and
its references for the contents of the reconstruction amphora; in [9] I introduced this term as a
convenient short-form and memory-aid) which contains all quantities related to K which are reconstructed from the topological group G such as the prime p,
the topological monoids O^*K (the group of units of the ring of integers OK of K) and OΔK the multiplicative monoid of non-zero elements of OK (this notation is due to Mochizuki).

However the ring OK is not contained in the reconstruction amphora of G.
Moreover Mochizuki’s Reconstruction yoga also asserts that if one has an isomorphism of
topological groups
GK1 〜＝ GK2
then an isomorphism of the topological monoids
OΔK1 〜＝ OΔK2
may also be reconstructed from it (see [6, Section 2]).

つづく