Naj bo p prime. Pokažite, da je S = {m + nsqrt (-p) m, n v ZZ} subring od CC .. Nadalje, preverite, ali je S ideal CC?

Naj bo p prime. Pokažite, da je S = {m + nsqrt (-p) m, n v ZZ} subring od CC .. Nadalje, preverite, ali je S ideal CC?
Anonim

Odgovor:

# S # je subring, vendar ne ideal.

Pojasnilo:

Glede na:

#S = m + nsqrt (-p) #

  • # S # vsebuje aditivno identiteto:

    # 0 + 0sqrt (-p) = 0barva (bela) (((1/1), (1/1))) #

  • # S # je zaprt pod dodatkom:

    # (m_1 + n_1 sqrt (-p)) + (m_2 + n_2 sqrt (-p)) = (m_1 + m_2) + (n_1 + n_2) sqrt (-p) barva (bela) (((1/1), (1/1))) #

  • # S # je zaprt pod aditivno inverzijo:

    # (m_1 + n_1 sqrt (-p)) + (-m_1 + -n_1 sqrt (-p)) = 0barva (bela) (((1/1), (1/1))) #

  • # S # je zaprto pod množenjem:

    # (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) barva (bela) (((1/1), (1/1))) #

Torej # S # je podskupina # CC #.

To ni ideal, saj nima lastnosti absorpcije.

Na primer:

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