An Ideal I of $ mathbb Z[sqrt 3]$ generated by an integer prime, such that $mathbb Z[ sqrt 3]/I$ is not an integral domain. Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Prove that every nonzero prime ideal is maximal in $mathbbZ[sqrtd]$Verifying proof :an Ideal $P$ is prime Ideal if $R/P$ is an integral domain.Integral domain without prime elements which is not a field$R$ be a commutative ring with unity such that every prime ideal contains no non-zero zero divisor , then is $R$ an integral domain?Why do we require a principal ideal domain to be an integral domain?$P$ is a prime ideal of $R$ iff $R/P$ is an integral domain. : $P≠R$Is $p=257$ prime in $mathbb Z[sqrt -92]$?$(x)$ prime ideal in $R[x]$ iff $R$ integral domain by contrapositiveThe localization of the ring $mathbbZ times mathbbZ$ at every prime ideal is an integral domainIdeal with no zero divisors implies integral domain?

Why do we bend a book to keep it straight?

Generate an RGB colour grid

Why did the IBM 650 use bi-quinary?

porting install scripts : can rpm replace apt?

Short Story with Cinderella as a Voo-doo Witch

Output the ŋarâþ crîþ alphabet song without using (m)any letters

String `!23` is replaced with `docker` in command line

Book where humans were engineered with genes from animal species to survive hostile planets

Naming the result of a source block

How to answer "Have you ever been terminated?"

List *all* the tuples!

3 doors, three guards, one stone

How to react to hostile behavior from a senior developer?

How to align text above triangle figure

Is it true that "carbohydrates are of no use for the basal metabolic need"?

What are the pros and cons of Aerospike nosecones?

Seeking colloquialism for “just because”

How come Sam didn't become Lord of Horn Hill?

English words in a non-english sci-fi novel

Can a USB port passively 'listen only'?

What causes the vertical darker bands in my photo?

Ring Automorphisms that fix 1.

How does debian/ubuntu knows a package has a updated version

How do I keep my slimes from escaping their pens?



An Ideal I of $ mathbb Z[sqrt 3]$ generated by an integer prime, such that $mathbb Z[ sqrt 3]/I$ is not an integral domain.



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Prove that every nonzero prime ideal is maximal in $mathbbZ[sqrtd]$Verifying proof :an Ideal $P$ is prime Ideal if $R/P$ is an integral domain.Integral domain without prime elements which is not a field$R$ be a commutative ring with unity such that every prime ideal contains no non-zero zero divisor , then is $R$ an integral domain?Why do we require a principal ideal domain to be an integral domain?$P$ is a prime ideal of $R$ iff $R/P$ is an integral domain. : $P≠R$Is $p=257$ prime in $mathbb Z[sqrt -92]$?$(x)$ prime ideal in $R[x]$ iff $R$ integral domain by contrapositiveThe localization of the ring $mathbbZ times mathbbZ$ at every prime ideal is an integral domainIdeal with no zero divisors implies integral domain?










1












$begingroup$



Find an ideal I of $ mathbb Z[sqrt
3]$
generated by an integer prime (i.e. a prime
number in $mathbb Z$) such that $mathbb Z[
sqrt
3]/I$
is not an integral domain.




Thoughts: We need to find some prime number that generates an ideal. This ideal should have the property that upon constructing a quotient of its ring, it should exhibit zero divisors. If we choose the prime number to be $3$, we consider $I =( 3)$. Then observe that $$sqrt3=0+ 1 cdot sqrt3 in mathbb Z[sqrt3]$$
And also that $sqrt3$ is not divisible by $3$ in $mathbb Z[
sqrt
3]$
, therefore its residue class modulo 3 will be $overlinesqrt3$
$$ overlinesqrt3 cdot overlinesqrt3 =3 equiv 0 bmod 3$$
So in $mathbb Z[
sqrt
3]/(3)$
we observe that there is at least one zero divisor and therefore it cannot be an integral domain.



I'm fairly new to integral domains and ideals, is this reasoning correct/on point?










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    Your reasoning is correct. The important point is that $sqrt3notin I= (3)_mathbbZ[sqrt3]$, so $overlinesqrt3notequiv overline0$, but $sqrt3sqrt3=3in I$ so $mathbbZ[sqrt3]/I$ is not a domain.
    $endgroup$
    – Kolja
    Mar 26 at 17:59







  • 2




    $begingroup$
    More generally this exact reasoning will work for any prime $p$ in which $3$ is a square, because then the ideal $(p)$ will not be prime in $mathbbZ[sqrt3]$ so that the quotient is not a domain.
    $endgroup$
    – JonHales
    Mar 26 at 18:02
















1












$begingroup$



Find an ideal I of $ mathbb Z[sqrt
3]$
generated by an integer prime (i.e. a prime
number in $mathbb Z$) such that $mathbb Z[
sqrt
3]/I$
is not an integral domain.




Thoughts: We need to find some prime number that generates an ideal. This ideal should have the property that upon constructing a quotient of its ring, it should exhibit zero divisors. If we choose the prime number to be $3$, we consider $I =( 3)$. Then observe that $$sqrt3=0+ 1 cdot sqrt3 in mathbb Z[sqrt3]$$
And also that $sqrt3$ is not divisible by $3$ in $mathbb Z[
sqrt
3]$
, therefore its residue class modulo 3 will be $overlinesqrt3$
$$ overlinesqrt3 cdot overlinesqrt3 =3 equiv 0 bmod 3$$
So in $mathbb Z[
sqrt
3]/(3)$
we observe that there is at least one zero divisor and therefore it cannot be an integral domain.



I'm fairly new to integral domains and ideals, is this reasoning correct/on point?










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    Your reasoning is correct. The important point is that $sqrt3notin I= (3)_mathbbZ[sqrt3]$, so $overlinesqrt3notequiv overline0$, but $sqrt3sqrt3=3in I$ so $mathbbZ[sqrt3]/I$ is not a domain.
    $endgroup$
    – Kolja
    Mar 26 at 17:59







  • 2




    $begingroup$
    More generally this exact reasoning will work for any prime $p$ in which $3$ is a square, because then the ideal $(p)$ will not be prime in $mathbbZ[sqrt3]$ so that the quotient is not a domain.
    $endgroup$
    – JonHales
    Mar 26 at 18:02














1












1








1





$begingroup$



Find an ideal I of $ mathbb Z[sqrt
3]$
generated by an integer prime (i.e. a prime
number in $mathbb Z$) such that $mathbb Z[
sqrt
3]/I$
is not an integral domain.




Thoughts: We need to find some prime number that generates an ideal. This ideal should have the property that upon constructing a quotient of its ring, it should exhibit zero divisors. If we choose the prime number to be $3$, we consider $I =( 3)$. Then observe that $$sqrt3=0+ 1 cdot sqrt3 in mathbb Z[sqrt3]$$
And also that $sqrt3$ is not divisible by $3$ in $mathbb Z[
sqrt
3]$
, therefore its residue class modulo 3 will be $overlinesqrt3$
$$ overlinesqrt3 cdot overlinesqrt3 =3 equiv 0 bmod 3$$
So in $mathbb Z[
sqrt
3]/(3)$
we observe that there is at least one zero divisor and therefore it cannot be an integral domain.



I'm fairly new to integral domains and ideals, is this reasoning correct/on point?










share|cite|improve this question









$endgroup$





Find an ideal I of $ mathbb Z[sqrt
3]$
generated by an integer prime (i.e. a prime
number in $mathbb Z$) such that $mathbb Z[
sqrt
3]/I$
is not an integral domain.




Thoughts: We need to find some prime number that generates an ideal. This ideal should have the property that upon constructing a quotient of its ring, it should exhibit zero divisors. If we choose the prime number to be $3$, we consider $I =( 3)$. Then observe that $$sqrt3=0+ 1 cdot sqrt3 in mathbb Z[sqrt3]$$
And also that $sqrt3$ is not divisible by $3$ in $mathbb Z[
sqrt
3]$
, therefore its residue class modulo 3 will be $overlinesqrt3$
$$ overlinesqrt3 cdot overlinesqrt3 =3 equiv 0 bmod 3$$
So in $mathbb Z[
sqrt
3]/(3)$
we observe that there is at least one zero divisor and therefore it cannot be an integral domain.



I'm fairly new to integral domains and ideals, is this reasoning correct/on point?







abstract-algebra proof-verification ideals integral-domain






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Mar 26 at 17:49









Wesley StrikWesley Strik

2,201424




2,201424







  • 1




    $begingroup$
    Your reasoning is correct. The important point is that $sqrt3notin I= (3)_mathbbZ[sqrt3]$, so $overlinesqrt3notequiv overline0$, but $sqrt3sqrt3=3in I$ so $mathbbZ[sqrt3]/I$ is not a domain.
    $endgroup$
    – Kolja
    Mar 26 at 17:59







  • 2




    $begingroup$
    More generally this exact reasoning will work for any prime $p$ in which $3$ is a square, because then the ideal $(p)$ will not be prime in $mathbbZ[sqrt3]$ so that the quotient is not a domain.
    $endgroup$
    – JonHales
    Mar 26 at 18:02













  • 1




    $begingroup$
    Your reasoning is correct. The important point is that $sqrt3notin I= (3)_mathbbZ[sqrt3]$, so $overlinesqrt3notequiv overline0$, but $sqrt3sqrt3=3in I$ so $mathbbZ[sqrt3]/I$ is not a domain.
    $endgroup$
    – Kolja
    Mar 26 at 17:59







  • 2




    $begingroup$
    More generally this exact reasoning will work for any prime $p$ in which $3$ is a square, because then the ideal $(p)$ will not be prime in $mathbbZ[sqrt3]$ so that the quotient is not a domain.
    $endgroup$
    – JonHales
    Mar 26 at 18:02








1




1




$begingroup$
Your reasoning is correct. The important point is that $sqrt3notin I= (3)_mathbbZ[sqrt3]$, so $overlinesqrt3notequiv overline0$, but $sqrt3sqrt3=3in I$ so $mathbbZ[sqrt3]/I$ is not a domain.
$endgroup$
– Kolja
Mar 26 at 17:59





$begingroup$
Your reasoning is correct. The important point is that $sqrt3notin I= (3)_mathbbZ[sqrt3]$, so $overlinesqrt3notequiv overline0$, but $sqrt3sqrt3=3in I$ so $mathbbZ[sqrt3]/I$ is not a domain.
$endgroup$
– Kolja
Mar 26 at 17:59





2




2




$begingroup$
More generally this exact reasoning will work for any prime $p$ in which $3$ is a square, because then the ideal $(p)$ will not be prime in $mathbbZ[sqrt3]$ so that the quotient is not a domain.
$endgroup$
– JonHales
Mar 26 at 18:02





$begingroup$
More generally this exact reasoning will work for any prime $p$ in which $3$ is a square, because then the ideal $(p)$ will not be prime in $mathbbZ[sqrt3]$ so that the quotient is not a domain.
$endgroup$
– JonHales
Mar 26 at 18:02











1 Answer
1






active

oldest

votes


















1












$begingroup$

Couldn't fit this in a comment so I will write it here. Your reasoning is correct.



Furhtermore for all primes $pinmathbbZsetminus2,3$, let $mathfrakp=(p)_mathbbZ[sqrt3]$.



Then $mathfrakp$ is a prime ideal if and only if $x^2-3$ has no roots modulo $p$, in which case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p^2$.



On the other hand $mathfrakp$ is not prime if and only if $x^2-3$ has a root $r$ modulo $p$ (so it has two roots, $-r$ is the other one), and in this case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p times mathbbF_p$.



When the prime $p=3$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_3[x]/(x^2)$.



When the prime $p=2$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_2[x]/((x-1)^2)cong mathbbF_2[x]/(x^2)$.



In other words $mathbbZ[sqrt3] = mathbbZ[x]/(x^2-3)$ and $mathbbZ[sqrt3]/(p)_mathbbZ[sqrt3] cong mathbbF_p[x]/(x^2-3)$






share|cite|improve this answer









$endgroup$













    Your Answer








    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader:
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    ,
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );













    draft saved

    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3163520%2fan-ideal-i-of-mathbb-z-sqrt-3-generated-by-an-integer-prime-such-that-m%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    Couldn't fit this in a comment so I will write it here. Your reasoning is correct.



    Furhtermore for all primes $pinmathbbZsetminus2,3$, let $mathfrakp=(p)_mathbbZ[sqrt3]$.



    Then $mathfrakp$ is a prime ideal if and only if $x^2-3$ has no roots modulo $p$, in which case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p^2$.



    On the other hand $mathfrakp$ is not prime if and only if $x^2-3$ has a root $r$ modulo $p$ (so it has two roots, $-r$ is the other one), and in this case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p times mathbbF_p$.



    When the prime $p=3$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_3[x]/(x^2)$.



    When the prime $p=2$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_2[x]/((x-1)^2)cong mathbbF_2[x]/(x^2)$.



    In other words $mathbbZ[sqrt3] = mathbbZ[x]/(x^2-3)$ and $mathbbZ[sqrt3]/(p)_mathbbZ[sqrt3] cong mathbbF_p[x]/(x^2-3)$






    share|cite|improve this answer









    $endgroup$

















      1












      $begingroup$

      Couldn't fit this in a comment so I will write it here. Your reasoning is correct.



      Furhtermore for all primes $pinmathbbZsetminus2,3$, let $mathfrakp=(p)_mathbbZ[sqrt3]$.



      Then $mathfrakp$ is a prime ideal if and only if $x^2-3$ has no roots modulo $p$, in which case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p^2$.



      On the other hand $mathfrakp$ is not prime if and only if $x^2-3$ has a root $r$ modulo $p$ (so it has two roots, $-r$ is the other one), and in this case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p times mathbbF_p$.



      When the prime $p=3$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_3[x]/(x^2)$.



      When the prime $p=2$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_2[x]/((x-1)^2)cong mathbbF_2[x]/(x^2)$.



      In other words $mathbbZ[sqrt3] = mathbbZ[x]/(x^2-3)$ and $mathbbZ[sqrt3]/(p)_mathbbZ[sqrt3] cong mathbbF_p[x]/(x^2-3)$






      share|cite|improve this answer









      $endgroup$















        1












        1








        1





        $begingroup$

        Couldn't fit this in a comment so I will write it here. Your reasoning is correct.



        Furhtermore for all primes $pinmathbbZsetminus2,3$, let $mathfrakp=(p)_mathbbZ[sqrt3]$.



        Then $mathfrakp$ is a prime ideal if and only if $x^2-3$ has no roots modulo $p$, in which case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p^2$.



        On the other hand $mathfrakp$ is not prime if and only if $x^2-3$ has a root $r$ modulo $p$ (so it has two roots, $-r$ is the other one), and in this case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p times mathbbF_p$.



        When the prime $p=3$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_3[x]/(x^2)$.



        When the prime $p=2$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_2[x]/((x-1)^2)cong mathbbF_2[x]/(x^2)$.



        In other words $mathbbZ[sqrt3] = mathbbZ[x]/(x^2-3)$ and $mathbbZ[sqrt3]/(p)_mathbbZ[sqrt3] cong mathbbF_p[x]/(x^2-3)$






        share|cite|improve this answer









        $endgroup$



        Couldn't fit this in a comment so I will write it here. Your reasoning is correct.



        Furhtermore for all primes $pinmathbbZsetminus2,3$, let $mathfrakp=(p)_mathbbZ[sqrt3]$.



        Then $mathfrakp$ is a prime ideal if and only if $x^2-3$ has no roots modulo $p$, in which case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p^2$.



        On the other hand $mathfrakp$ is not prime if and only if $x^2-3$ has a root $r$ modulo $p$ (so it has two roots, $-r$ is the other one), and in this case $mathbbZ[sqrt3]/mathfrakpcong mathbbF_p times mathbbF_p$.



        When the prime $p=3$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_3[x]/(x^2)$.



        When the prime $p=2$ you will have $mathbbZ[sqrt3]/mathfrakpcong mathbbF_2[x]/((x-1)^2)cong mathbbF_2[x]/(x^2)$.



        In other words $mathbbZ[sqrt3] = mathbbZ[x]/(x^2-3)$ and $mathbbZ[sqrt3]/(p)_mathbbZ[sqrt3] cong mathbbF_p[x]/(x^2-3)$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Mar 26 at 18:22









        KoljaKolja

        625310




        625310



























            draft saved

            draft discarded
















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid


            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.

            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3163520%2fan-ideal-i-of-mathbb-z-sqrt-3-generated-by-an-integer-prime-such-that-m%23new-answer', 'question_page');

            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            How should I support this large drywall patch? Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How do I cover large gaps in drywall?How do I keep drywall around a patch from crumbling?Can I glue a second layer of drywall?How to patch long strip on drywall?Large drywall patch: how to avoid bulging seams?Drywall Mesh Patch vs. Bulge? To remove or not to remove?How to fix this drywall job?Prep drywall before backsplashWhat's the best way to fix this horrible drywall patch job?Drywall patching using 3M Patch Plus Primer

            random experiment with two different functions on unit interval Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Random variable and probability space notionsRandom Walk with EdgesFinding functions where the increase over a random interval is Poisson distributedNumber of days until dayCan an observed event in fact be of zero probability?Unit random processmodels of coins and uniform distributionHow to get the number of successes given $n$ trials , probability $P$ and a random variable $X$Absorbing Markov chain in a computer. Is “almost every” turned into always convergence in computer executions?Stopped random walk is not uniformly integrable

            Lowndes Grove History Architecture References Navigation menu32°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661132°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661178002500"National Register Information System"Historic houses of South Carolina"Lowndes Grove""+32° 48' 6.00", −79° 57' 58.00""Lowndes Grove, Charleston County (260 St. Margaret St., Charleston)""Lowndes Grove"The Charleston ExpositionIt Happened in South Carolina"Lowndes Grove (House), Saint Margaret Street & Sixth Avenue, Charleston, Charleston County, SC(Photographs)"Plantations of the Carolina Low Countrye