Skip to main content
12 events
when toggle format what by license comment
Nov 6, 2023 at 20:29 comment added David Loeffler This is the correct statement for (2). For (1) your formulation is correct if $K$ itself is totally real; but if $K$ isn't totally real, "the maximal totally real subfield of $K^{\mathrm{ab}}$" will not contain $K$! You want to replace "totally real" with "unramified at the real places of $K$" (i.e. as close to totally real as $K$ itself is).
Nov 6, 2023 at 18:50 history rollback Tim
Rollback to Revision 5
Nov 6, 2023 at 18:45 history undeleted Tim
Oct 26, 2023 at 18:45 history deleted Tim via Vote
Oct 26, 2023 at 17:33 comment added Tim @Aurel I see. The right statement should be, for (1), the Galois group is isomorphic to the quotient of $\mathbf{A}_K^{\times}$ by the closure of $K^{\times}\cdot(K\otimes_{\mathbf{Q}}\mathbf{R})^{\times, 0}$ (where the superscript $0$ means "connected component of the identity"), and for (2) it should be the same but with $(K\otimes_{\mathbf{Q}}\mathbf{R})^{\times, 0}$ replaced by all of $(K\otimes_{\mathbf{Q}}\mathbf{R})^{\times}$. Am I right?
Oct 26, 2023 at 16:50 comment added Aurel I don't think that 1) is true of the class group of $K$ is nontrivial, and similarly for 2) if the narrow class group is nontrivial.
Oct 26, 2023 at 15:58 history edited Tim CC BY-SA 4.0
deleted 467 characters in body
Oct 26, 2023 at 15:44 history edited Tim CC BY-SA 4.0
deleted 1092 characters in body
Oct 25, 2023 at 10:59 history edited Tim
edited tags
Oct 24, 2023 at 20:55 history edited Tim CC BY-SA 4.0
added 610 characters in body
Oct 24, 2023 at 20:27 history edited Tim CC BY-SA 4.0
added 164 characters in body
Oct 24, 2023 at 20:20 history asked Tim CC BY-SA 4.0