Timeline for On class groups of algebraic number fields
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 18, 2022 at 1:34 | answer | added | user488927 | timeline score: 4 | |
| Aug 17, 2022 at 9:13 | comment | added | Franz Lemmermeyer | As it stands, $I_K'$ is not a group. | |
| Aug 17, 2022 at 6:15 | comment | added | David Loeffler | I'm guessing $P_K'$ is the principal ideals in $I_K'$, so this group (let's call it $Cl_K'$) is just the subgroup of $Cl_K$ generated by $P_K'$. So it does seem there is a genuine question here, namely "is it possible to make the choices of primes so that $Cl_K'$ is strictly smaller than $Cl_K$?". I would strongly suspect not, but I don't immediately see a proof. | |
| Aug 16, 2022 at 13:22 | history | edited | YCor | CC BY-SA 4.0 |
removed capitals
|
| Aug 16, 2022 at 11:57 | comment | added | KConrad | You did not define $P_K’$. And what do you mean by asking what a group “would be”? Even for the usual ideal class group, how would you answer the question “what is it”? | |
| Aug 16, 2022 at 11:49 | history | asked | user13953 | CC BY-SA 4.0 |