{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T08:53:16Z","timestamp":1776847996739,"version":"3.51.2"},"reference-count":37,"publisher":"American Mathematical Society (AMS)","issue":"216","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    Let\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper E slash upper K\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>E<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo>\/<\/mml:mo>\n                            <\/mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">E\/K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    be an abelian extension of number fields, with\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper E not-equals double-struck upper Q\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>E<\/mml:mi>\n                            <mml:mo>\n                              \u2260\n                              \n                            <\/mml:mo>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"double-struck\">Q<\/mml:mi>\n                            <\/mml:mrow>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">E \\ne \\Bbb Q<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    . Let\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"normal upper Delta\">\n                        <mml:semantics>\n                          <mml:mi mathvariant=\"normal\">\n                            \u0394\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\Delta<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    and\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"n\">\n                        <mml:semantics>\n                          <mml:mi>n<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">n<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    denote the absolute discriminant and degree of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper E\">\n                        <mml:semantics>\n                          <mml:mi>E<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">E<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    . Let\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"sigma\">\n                        <mml:semantics>\n                          <mml:mi>\n                            \u03c3\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\sigma<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    denote an element of the Galois group of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper E slash upper K\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>E<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo>\/<\/mml:mo>\n                            <\/mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">E\/K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    . We prove the following theorems, assuming the Extended Riemann Hypothesis:\n                  <\/p>\n                  <p>\n                    There is a degree-\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"1\">\n                        <mml:semantics>\n                          <mml:mn>1<\/mml:mn>\n                          <mml:annotation encoding=\"application\/x-tex\">1<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    prime\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"German p\">\n                        <mml:semantics>\n                          <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                            <mml:mi mathvariant=\"fraktur\">p<\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">{\\frak p}<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper K\">\n                        <mml:semantics>\n                          <mml:mi>K<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    such that\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"left-parenthesis StartFraction German p Over upper E slash upper K EndFraction right-parenthesis equals sigma\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mrow>\n                              <mml:mo>(<\/mml:mo>\n                              <mml:mfrac>\n                                <mml:mstyle displaystyle=\"true\" scriptlevel=\"0\">\n                                  <mml:mi mathvariant=\"fraktur\">p<\/mml:mi>\n                                <\/mml:mstyle>\n                                <mml:mrow>\n                                  <mml:mi>E<\/mml:mi>\n                                  <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                    <mml:mo>\/<\/mml:mo>\n                                  <\/mml:mrow>\n                                  <mml:mi>K<\/mml:mi>\n                                <\/mml:mrow>\n                              <\/mml:mfrac>\n                              <mml:mo>)<\/mml:mo>\n                            <\/mml:mrow>\n                            <mml:mo>=<\/mml:mo>\n                            <mml:mi>\n                              \u03c3\n                              \n                            <\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\left (\\frac {\\displaystyle \\frak p}{E\/K}\\right ) =\\sigma<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , satisfying\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper N German p less-than-or-equal-to left-parenthesis 1 plus o left-parenthesis 1 right-parenthesis right-parenthesis left-parenthesis log normal upper Delta plus 2 n right-parenthesis squared\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>N<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"fraktur\">p<\/mml:mi>\n                            <\/mml:mrow>\n                            <mml:mo>\n                              \u2264\n                              \n                            <\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo>+<\/mml:mo>\n                            <mml:mi>o<\/mml:mi>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>log<\/mml:mi>\n                            <mml:mo>\n                              \u2061\n                              \n                            <\/mml:mo>\n                            <mml:mi mathvariant=\"normal\">\n                              \u0394\n                              \n                            <\/mml:mi>\n                            <mml:mo>+<\/mml:mo>\n                            <mml:mn>2<\/mml:mn>\n                            <mml:mi>n<\/mml:mi>\n                            <mml:msup>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <mml:mn>2<\/mml:mn>\n                            <\/mml:msup>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">N{\\frak p}\\le (1+o(1))(\\log \\Delta +2n)^2<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    .\n                  <\/p>\n                  <p>\n                    There is a degree-\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"1\">\n                        <mml:semantics>\n                          <mml:mn>1<\/mml:mn>\n                          <mml:annotation encoding=\"application\/x-tex\">1<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    prime\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"German p\">\n                        <mml:semantics>\n                          <mml:mi mathvariant=\"fraktur\">p<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\frak p<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    of\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper K\">\n                        <mml:semantics>\n                          <mml:mi>K<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    such that\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"left-parenthesis StartFraction German p Over upper E slash upper K EndFraction right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:mfrac>\n                              <mml:mstyle displaystyle=\"true\" scriptlevel=\"0\">\n                                <mml:mi mathvariant=\"fraktur\">p<\/mml:mi>\n                              <\/mml:mstyle>\n                              <mml:mrow>\n                                <mml:mi>E<\/mml:mi>\n                                <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                  <mml:mo>\/<\/mml:mo>\n                                <\/mml:mrow>\n                                <mml:mi>K<\/mml:mi>\n                              <\/mml:mrow>\n                            <\/mml:mfrac>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\left (\\frac {\\displaystyle \\frak p}{E\/K}\\right )<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    generates  the same group as\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"sigma\">\n                        <mml:semantics>\n                          <mml:mi>\n                            \u03c3\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\sigma<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , satisfying\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper N German p less-than-or-equal-to left-parenthesis 1 plus o left-parenthesis 1 right-parenthesis right-parenthesis left-parenthesis log normal upper Delta right-parenthesis squared\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>N<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"fraktur\">p<\/mml:mi>\n                            <\/mml:mrow>\n                            <mml:mo>\n                              \u2264\n                              \n                            <\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo>+<\/mml:mo>\n                            <mml:mi>o<\/mml:mi>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>log<\/mml:mi>\n                            <mml:mo>\n                              \u2061\n                              \n                            <\/mml:mo>\n                            <mml:mi mathvariant=\"normal\">\n                              \u0394\n                              \n                            <\/mml:mi>\n                            <mml:msup>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <mml:mn>2<\/mml:mn>\n                            <\/mml:msup>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">N{\\frak p}\\le (1+o(1))(\\log \\Delta )^2<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    .\n                  <\/p>\n                  <p>\n                    For\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper K equals double-struck upper Q\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                            <mml:mo>=<\/mml:mo>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"double-struck\">Q<\/mml:mi>\n                            <\/mml:mrow>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">K=\\Bbb Q<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , there is a prime\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"p\">\n                        <mml:semantics>\n                          <mml:mi>p<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">p<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    such that\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"left-parenthesis StartFraction German p Over upper E slash double-struck upper Q EndFraction right-parenthesis equals sigma\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mrow>\n                              <mml:mo>(<\/mml:mo>\n                              <mml:mfrac>\n                                <mml:mstyle displaystyle=\"true\" scriptlevel=\"0\">\n                                  <mml:mi mathvariant=\"fraktur\">p<\/mml:mi>\n                                <\/mml:mstyle>\n                                <mml:mrow>\n                                  <mml:mi>E<\/mml:mi>\n                                  <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                    <mml:mo>\/<\/mml:mo>\n                                  <\/mml:mrow>\n                                  <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                    <mml:mi mathvariant=\"double-struck\">Q<\/mml:mi>\n                                  <\/mml:mrow>\n                                <\/mml:mrow>\n                              <\/mml:mfrac>\n                              <mml:mo>)<\/mml:mo>\n                            <\/mml:mrow>\n                            <mml:mo>=<\/mml:mo>\n                            <mml:mi>\n                              \u03c3\n                              \n                            <\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\left (\\frac {\\displaystyle \\frak p}{E\/\\mathbb {Q}}\\right )=\\sigma<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , satisfying\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"p less-than-or-equal-to left-parenthesis 1 plus o left-parenthesis 1 right-parenthesis right-parenthesis left-parenthesis log normal upper Delta right-parenthesis squared\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>p<\/mml:mi>\n                            <mml:mo>\n                              \u2264\n                              \n                            <\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo>+<\/mml:mo>\n                            <mml:mi>o<\/mml:mi>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>log<\/mml:mi>\n                            <mml:mo>\n                              \u2061\n                              \n                            <\/mml:mo>\n                            <mml:mi mathvariant=\"normal\">\n                              \u0394\n                              \n                            <\/mml:mi>\n                            <mml:msup>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <mml:mn>2<\/mml:mn>\n                            <\/mml:msup>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">p\\le (1+o(1))(\\log \\Delta )^2<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    .\n                  <\/p>\n                  <p>\n                    In (1) and (2) we can in fact take\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"German p\">\n                        <mml:semantics>\n                          <mml:mi mathvariant=\"fraktur\">p<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\frak p<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    to be unramified in\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper K slash double-struck upper Q\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo>\/<\/mml:mo>\n                            <\/mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi mathvariant=\"double-struck\">Q<\/mml:mi>\n                            <\/mml:mrow>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">K\/\\Bbb Q<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    . A special case of this result is the following.\n                  <\/p>\n                  <p>\n                    [(4)] If\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"gcd left-parenthesis m comma q right-parenthesis equals 1\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mo movablelimits=\"true\" form=\"prefix\">gcd<\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>m<\/mml:mi>\n                            <mml:mo>,<\/mml:mo>\n                            <mml:mi>q<\/mml:mi>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo>=<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\gcd (m,q)=1<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    , the least prime\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"p identical-to m left-parenthesis mod q right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>p<\/mml:mi>\n                            <mml:mo>\n                              \u2261\n                              \n                            <\/mml:mo>\n                            <mml:mi>m<\/mml:mi>\n                            <mml:mspace width=\"0.667em\"\/>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>mod<\/mml:mi>\n                            <mml:mspace width=\"0.333em\"\/>\n                            <mml:mi>q<\/mml:mi>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">p\\equiv m\\pmod q<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    satisfies\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"p less-than-or-equal-to left-parenthesis 1 plus o left-parenthesis 1 right-parenthesis right-parenthesis left-parenthesis phi left-parenthesis q right-parenthesis log q right-parenthesis squared\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>p<\/mml:mi>\n                            <mml:mo>\n                              \u2264\n                              \n                            <\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo>+<\/mml:mo>\n                            <mml:mi>o<\/mml:mi>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mn>1<\/mml:mn>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>\n                              \u03c6\n                              \n                            <\/mml:mi>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>q<\/mml:mi>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                            <mml:mi>log<\/mml:mi>\n                            <mml:mo>\n                              \u2061\n                              \n                            <\/mml:mo>\n                            <mml:mi>q<\/mml:mi>\n                            <mml:msup>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <mml:mn>2<\/mml:mn>\n                            <\/mml:msup>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">p\\le (1+o(1))(\\varphi (q)\\log q)^2<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    .\n                  <\/p>\n                  <p>\n                    It follows from our proof that (1)\u2013(3) also hold for arbitrary Galois extensions, provided we replace\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"sigma\">\n                        <mml:semantics>\n                          <mml:mi>\n                            \u03c3\n                            \n                          <\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">\\sigma<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    by its conjugacy class\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"mathematical left-angle sigma mathematical right-angle\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mo fence=\"false\" stretchy=\"false\">\n                              \u27e8\n                              \n                            <\/mml:mo>\n                            <mml:mi>\n                              \u03c3\n                              \n                            <\/mml:mi>\n                            <mml:mo fence=\"false\" stretchy=\"false\">\n                              \u27e9\n                              \n                            <\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\langle \\sigma \\rangle<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    . Our theorems lead to explicit versions of (1)\u2013(4), including the following: the least prime\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"p identical-to m left-parenthesis mod q right-parenthesis\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>p<\/mml:mi>\n                            <mml:mo>\n                              \u2261\n                              \n                            <\/mml:mo>\n                            <mml:mi>m<\/mml:mi>\n                            <mml:mspace width=\"0.667em\"\/>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>mod<\/mml:mi>\n                            <mml:mspace width=\"0.333em\"\/>\n                            <mml:mi>q<\/mml:mi>\n                            <mml:mo stretchy=\"false\">)<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">p \\equiv m \\pmod q<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    is less than\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"2 left-parenthesis q log q right-parenthesis squared\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mn>2<\/mml:mn>\n                            <mml:mo stretchy=\"false\">(<\/mml:mo>\n                            <mml:mi>q<\/mml:mi>\n                            <mml:mi>log<\/mml:mi>\n                            <mml:mo>\n                              \u2061\n                              \n                            <\/mml:mo>\n                            <mml:mi>q<\/mml:mi>\n                            <mml:msup>\n                              <mml:mo stretchy=\"false\">)<\/mml:mo>\n                              <mml:mn>2<\/mml:mn>\n                            <\/mml:msup>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">2( q \\log q )^2<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    .\n                  <\/p>","DOI":"10.1090\/s0025-5718-96-00763-6","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T18:13:45Z","timestamp":1027707225000},"page":"1717-1735","source":"Crossref","is-referenced-by-count":55,"title":["Explicit bounds for primes in residue classes"],"prefix":"10.1090","volume":"65","author":[{"given":"Eric","family":"Bach","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Sorenson","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[1996]]},"reference":[{"key":"1","unstructured":"M. Abramowitz and I. A. Stegun.  Handbook of Mathematical Functions. Dover, 1970."},{"key":"2","unstructured":"L. Adleman and H. W. Lenstra, Jr. Finding irreducible polynomials over finite fields. In Proc. 18th Ann. ACM Symp. Theory of Computing, pages 462\u2013469, 1987."},{"key":"3","first-page":"623","article-title":"Annihilator ideals and representation iteration for abstract rings","volume":"5","author":"Everett, C. J., Jr.","year":"1939","journal-title":"Duke Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0012-7094","issn-type":"print"},{"key":"4","first-page":"623","article-title":"Annihilator ideals and representation iteration for abstract rings","volume":"5","author":"Everett, C. J., Jr.","year":"1939","journal-title":"Duke Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0012-7094","issn-type":"print"},{"issue":"191","key":"5","doi-asserted-by":"publisher","first-page":"355","DOI":"10.2307\/2008811","article-title":"Explicit bounds for primality testing and related problems","volume":"55","author":"Bach, Eric","year":"1990","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"6","unstructured":"E. Bach, M. Giesbrecht, and J. McInnes. The complexity of number-theoretic problems. Technical Report 247\/91 (ITRC Lecture Series), Dept. of Computer Science, Univ. Toronto, 1991."},{"issue":"185","key":"7","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/2008664","article-title":"Factoring with cyclotomic polynomials","volume":"52","author":"Bach, Eric","year":"1989","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"203","key":"8","doi-asserted-by":"publisher","first-page":"69","DOI":"10.2307\/2152936","article-title":"Statistical evidence for small generating sets","volume":"61","author":"Bach, Eric","year":"1993","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"3","key":"9","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/322261.322269","article-title":"The area-time complexity of binary multiplication","volume":"28","author":"Brent, R. P.","year":"1981","journal-title":"J. Assoc. Comput. Mach.","ISSN":"https:\/\/id.crossref.org\/issn\/0004-5411","issn-type":"print"},{"key":"10","doi-asserted-by":"crossref","unstructured":"S. Chowla. On the least prime in an arithmetical progression. J. Indian Math. Soc., 2:1\u20133, 1934.","DOI":"10.1007\/BF03035566"},{"issue":"169","key":"11","doi-asserted-by":"publisher","first-page":"211","DOI":"10.2307\/2007805","article-title":"Estimates for the Chebyshev function \ud835\udf13(\ud835\udc65)-\ud835\udf03(\ud835\udc65)","volume":"44","author":"Costa Pereira, N.","year":"1985","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"12","doi-asserted-by":"crossref","unstructured":"M. Deuring. \u00dcber den Tschebotareffschen Dichtigkeitssatz. Math. Ann., 110:414\u2013415, 1935.","DOI":"10.1007\/BF01448036"},{"key":"13","unstructured":"P. G. Lejeune Dirichlet. Beweis eines Satzes \u00fcber die arithmetische Progression. Bericht Ak. Wiss. Berlin, 108\u2013110, 1837. Reprinted in Werke, 1:307\u2013312."},{"key":"14","doi-asserted-by":"crossref","unstructured":"P. G. Lejeune Dirichlet. Beweis des Satzes, da\u00df jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enth\u00e4lt. Abhand. Ak. Wiss. Berlin, 45\u201381, 1837\u20139. Reprinted in Werke, 1:313\u2013342.","DOI":"10.1017\/CBO9781139237321.012"},{"key":"15","first-page":"261","article-title":"On the class field tower","volume":"28","author":"Golod, E. S.","year":"1964","journal-title":"Izv. Akad. Nauk SSSR Ser. Mat.","ISSN":"https:\/\/id.crossref.org\/issn\/0373-2436","issn-type":"print"},{"key":"16","volume-title":"Bericht \\\"{u}ber neuere Untersuchungen und Probleme aus der Theorie der algebraischen Zahlk\\\"{o}rper. Teil I: Klassenk\\\"{o}rpertheorie. Teil Ia: Beweise zu Teil I. Teil II: Reziprozit\\\"{a}tsgesetz","author":"Hasse, Helmut","year":"1970"},{"issue":"2","key":"17","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1112\/plms\/s3-64.2.265","article-title":"Zero-free regions for Dirichlet \ud835\udc3f-functions, and the least prime in an arithmetic progression","volume":"64","author":"Heath-Brown, D. R.","year":"1992","journal-title":"Proc. London Math. Soc. (3)","ISSN":"https:\/\/id.crossref.org\/issn\/0024-6115","issn-type":"print"},{"issue":"3","key":"18","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1017\/S0305004100054657","article-title":"Almost-primes in arithmetic progressions and short intervals","volume":"83","author":"Heath-Brown, D. R.","year":"1978","journal-title":"Math. Proc. Cambridge Philos. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0305-0041","issn-type":"print"},{"key":"19","first-page":"204","article-title":"Zeta-functions and \ud835\udc3f-functions","author":"Heilbronn, H.","year":"1967"},{"key":"20","unstructured":"D. Hilbert. Die Theorie der algebraischen Zahlk\u00f6rper. Jahresber. Deutsch. Math.-Verein., 4:175\u2013546, 1897."},{"key":"21","doi-asserted-by":"publisher","first-page":"425","DOI":"10.2307\/2303037","article-title":"Series for all the roots of the equation (\ud835\udc67-\ud835\udc4e)^{\ud835\udc5a}=\ud835\udc58(\ud835\udc67-\ud835\udc4f)\u207f","volume":"46","author":"Eagle, Albert","year":"1939","journal-title":"Amer. Math. Monthly","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9890","issn-type":"print"},{"issue":"3","key":"22","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF01390234","article-title":"A bound for the least prime ideal in the Chebotarev density theorem","volume":"54","author":"Lagarias, J. C.","year":"1979","journal-title":"Invent. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-9910","issn-type":"print"},{"key":"23","first-page":"409","article-title":"Effective versions of the Chebotarev density theorem","author":"Lagarias, J. C.","year":"1977"},{"key":"24","volume-title":"Algebraic number theory","author":"Lang, Serge","year":"1970"},{"issue":"2","key":"25","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/0020-0190(79)90149-2","article-title":"Miller\u2019s primality test","volume":"8","author":"Lenstra, H. W., Jr.","year":"1979","journal-title":"Inform. Process. Lett.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-0190","issn-type":"print"},{"key":"26","doi-asserted-by":"publisher","first-page":"45","DOI":"10.4064\/aa-15-1-45-47","article-title":"A reduction of the \u010cebotarev density theorem to the cyclic case","volume":"15","author":"MacCluer, C. R.","year":"1968","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"issue":"153","key":"27","doi-asserted-by":"publisher","first-page":"247","DOI":"10.2307\/2007741","article-title":"A rapidly convergent series for computing \ud835\udf13(\ud835\udc67) and its derivatives","volume":"36","author":"McCullagh, Peter","year":"1981","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"1","key":"28","doi-asserted-by":"crossref","first-page":"119","DOI":"10.5802\/jtnb.22","article-title":"Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results","volume":"2","author":"Odlyzko, A. M.","year":"1990","journal-title":"S\\'{e}m. Th\\'{e}or. Nombres Bordeaux (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0989-5558","issn-type":"print"},{"key":"29","unstructured":"J. Oesterl\u00e9. Versions effectives du th\u00e9or\u00e8me de Chebotarev sous l\u2019hypoth\u00e8se de Riemann generalis\u00e9e. Soc. Math. France Ast\u00e9risque, 61:165\u2013167, 1979."},{"key":"30","first-page":"64","article-title":"Approximate formulas for some functions of prime numbers","volume":"6","author":"Rosser, J. Barkley","year":"1962","journal-title":"Illinois J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0019-2082","issn-type":"print"},{"issue":"203","key":"31","doi-asserted-by":"publisher","first-page":"415","DOI":"10.2307\/2152965","article-title":"Numerical computations concerning the ERH","volume":"61","author":"Rumely, Robert","year":"1993","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"197","key":"32","doi-asserted-by":"publisher","first-page":"369","DOI":"10.2307\/2153041","article-title":"Searching for primitive roots in finite fields","volume":"58","author":"Shoup, Victor","year":"1992","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"33","doi-asserted-by":"crossref","unstructured":"N. Tchebotarev. Bestimmung der Dichtigkeit einer Menge von Primzahlen, welche zu einer gegebenen Substitutionsklasse geh\u00f6ren. Math. Ann., 95:191\u2013228, 1926.","DOI":"10.1007\/BF01206606"},{"key":"34","doi-asserted-by":"crossref","unstructured":"E. Titchmarsh. A divisor problem. Rend. Circ. Mat. Palermo, 54:414\u2013429, 1930.","DOI":"10.1007\/BF03021203"},{"key":"35","unstructured":"P. Tur\u00e1n. \u00dcber die Primzahlen der arithmetischen Progression. Acta Sci. Math., 8:226\u2013235, 1936\/37."},{"issue":"147","key":"36","doi-asserted-by":"publisher","first-page":"1073","DOI":"10.2307\/2006082","article-title":"Greatest of the least primes in arithmetic progressions having a given modulus","volume":"33","author":"Wagstaff, Samuel S., Jr.","year":"1979","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"1","key":"37","first-page":"32","article-title":"Two results on the distribution of prime numbers","volume":"1","author":"Wang, Yuan","year":"1965","journal-title":"J. China Univ. Sci. Tech.","ISSN":"https:\/\/id.crossref.org\/issn\/0253-2778","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/1996-65-216\/S0025-5718-96-00763-6\/S0025-5718-96-00763-6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/1996-65-216\/S0025-5718-96-00763-6\/S0025-5718-96-00763-6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T21:17:47Z","timestamp":1776719867000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/1996-65-216\/S0025-5718-96-00763-6\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"references-count":37,"journal-issue":{"issue":"216","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["S0025-5718-96-00763-6"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-96-00763-6","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[1996]]}}}