Пусть p простое число. Докажите, что S = {m + nsqrt (-p) m, n в ZZ} является подстрокой в CC. Кроме того, проверьте, является ли S идеалом в CC?

Пусть p простое число. Докажите, что S = {m + nsqrt (-p) m, n в ZZ} является подстрокой в CC. Кроме того, проверьте, является ли S идеалом в CC?
Anonim

Ответ:

# S # это подкольцо, но не идеал.

Объяснение:

Дано:

#S = m + nsqrt (-p) #

  • # S # содержит аддитивную идентичность:

    # 0 + 0sqrt (-p) = 0 color (white) (((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) sqrt (-p) (белый) ((1/1) (1/1))) #

Так # S # является подстрокой # CC #.

Это не идеал, так как он не обладает свойством поглощения.

Например:

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