анықтама. Нөлдік емес элементтері керіленетін, бірлігі бар, нөлдік емес коммутатив сақина өріс деп аталады.
Сонымен 〈𝔽; +,⋅〉 алгебралық жүйесі өріс болу үшін келесі 4 шарттың орындалуы қажетті және жеткілікті:
𝔽 жиынның элементтер саны екіден кем емес;
〈𝔽, +〉 - абелдік тобы;
〈𝔽\{0},⋅〉 абелдік тобы (мұндағы 0 − 〈𝔽, +〉 тобының нөлдік элементі);
көбейту амалы қосу амалына қатысты дистрибутив.
〈𝔽, +〉 тобы 〈𝔽; +,⋅〉 өрісінің аддитив тобы деп, ал 〈𝔽\{0},⋅〉
мультипиликатив тобы деп аталады. Әрине, 𝔽∗ = 𝔽\{0}.
Әлбетте, келесі сандар жиындары кәдімгі қосу мен көбейту амалдары бойынша
〈ℚ; +,⋅〉 рационал сандар өрісін,
〈ℝ; +,⋅〉 нақты сандар өрісін және
〈ℂ; +,⋅〉 комплекс сандар өрісін
құрайды. Бұлар шексіз өрістердің мысалдары болып табылады, ал 〈{0,1}, +,⋅〉 алгебралық жүйесі екі элементті өріс мысалы болады, мұндағы + және ⋅ екілік қосу және екілік көбейту амалдары. Басқа ақырлы өрістердің мысалдарын біз келесі бапта қарастырамыз.
Кез келген өріс бүтіндік облысы болады. Оны дәлелдеу үшін өрісте тривиал емес нөл бөлгіштерінің жоқ болатындығын көрсетсек жекілікті. Егер өрістің 𝑎, 𝑏 элементтері үшін 𝑎 ⋅ 𝑏 = 0 және 𝑎 ≠ 0 болса, онда 𝑎 керіленетін элемент болады да, 𝑏 = 𝑎−1 ⋅ 0 = 0. Сонымен, өрістер үшін бүтіндік облыстардың барлық қасиеттері орындалады. Атап айтқанда, өрістерде қосу амалы үшін нөлдік емес элементтерге қысқарту ережесі орындалады.
Достарыңызбен бөлісу: |