תן p להיות Prime.Show כי S = {m + nsqrt (-p) מ ', n ב ZZ} הוא subring של CC .. יתר על כן, לבדוק אם S הוא אידיאלי של CC?

תן p להיות Prime.Show כי S = {m + nsqrt (-p) מ ', n ב ZZ} הוא subring של CC .. יתר על כן, לבדוק אם S הוא אידיאלי של CC?
Anonim

תשובה:

# S # היא סוברינג אבל לא אידיאל.

הסבר:

בהתחשב you

#S = m + nsqrt (-p) #

  • # S # מכיל את הזהות התוספתית:

    # 0 + 0sqrt (-p) = 0 צבע (לבן) ((1/1), (1/1)) #

  • # S # סגור:

    # (m_1 + n_1 sqrt (-p)) + (m_2 + n_2 sqrt (-p)) = (m_1 + m_2) + (n_1 + n_2) sqrt (-p) צבע (לבן) ((1/1), (1/1))) #

  • # S # סגור בתחתית הפוכה:

    # (m_1 + n_1 sqrt (-p)) + (-m_1 + -n_1 sqrt (-p)) = 0 צבע (לבן) ((1/1), (1/1)) #

  • # S # סגור תחת כפל:

    # (m_1 + n_1 sqrt (-p)) (m_2 + n_2 sqrt (-p)) = (m_1m_2-pn_1n_2) + (m_1n_2 + m_2n_1) צבע (p) בצבע לבן () (1/1) (1/1))) #

לכן # S # הוא סובלנות של # CC #.

זה לא אידיאל, כי אין לו את רכוש הקליטה.

לדוגמה:

#sqrt (3) (1 + 0sqrt (-p)) = sqrt (3)! S #