 Ray class exact sequence

For a finite modulus $\mathfrak{m}$, there is an exact sequenceWith real places in the modulus, the residue-unit term and the unit map also record the required signs.