Niech p będzie liczbą pierwszą. Pokaż, że S = {m + nsqrt (-p) m, n w ZZ} jest podrzędnym elementem CC .. Ponadto sprawdź, czy S jest ideałem CC?

Niech p będzie liczbą pierwszą. Pokaż, że S = {m + nsqrt (-p) m, n w ZZ} jest podrzędnym elementem CC .. Ponadto sprawdź, czy S jest ideałem CC?
Anonim

Odpowiedź:

# S # jest podporą, ale nie ideałem.

Wyjaśnienie:

Dany:

#S = m + nsqrt (-p) #

  • # S # zawiera tożsamość addytywną:

    # 0 + 0sqrt (-p) = 0color (biały) (((1/1), (1/1))) #

  • # S # jest zamykany w trakcie dodawania:

    # (m_1 + n_1 sqrt (-p)) + (m_2 + n_2 sqrt (-p)) = (m_1 + m_2) + (n_1 + n_2) sqrt (-p) kolor (biały) (((1/1), (1/1))) #

  • # S # jest zamknięta pod addytywnym odwróceniem:

    # (m_1 + n_1 sqrt (-p)) + (-m_1 + -n_1 sqrt (-p)) = 0color (biały) (((1/1), (1/1))) #

  • # S # jest zamykany w wyniku mnożenia:

    # (m_1 + n_1 sqrt (-p)) (m_2 + n_2 sqrt (-p)) = (m_1m_2-pn_1n_2) + (m_1n_2 + m_2n_1) sqrt (-p) kolor (biały) (((1/1) (1/1))) #

Więc # S # jest podrzędny # CC #.

Nie jest ideałem, ponieważ nie ma właściwości absorpcji.

Na przykład:

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