?? taking topos-flavored (?? or other ...) tannakian reconstruction seriously in artin reciprocity context .... ??? ...

?? "interesting" extension of gaussian integers as further splitting same primes already split; otherwise just re-using previously available splitting opportunities .... ???? ....

??? dyadic roots of unity .... ????? .... galois group .... ??? ....

?? adele ... idele .... ???? ....

?? mult gp of profinitization of comm ring (for example z ... ??? ....), vs profinitization of mult gp .... ??? .....

?? "inclusion of generators" ..... ????? ..... ???? ....