と書いたとき中国剰余定理として知られる同型 の具体的な与え方が毎回思い出せないのでどこかに書いておきたいと思ってメモ。ついでに単数群の生成元も。 同型 は単純にそれぞれの成分に射影すればよい。逆が少しややこしくて， となる。mod q_i での逆元は…