Колца, алгебра
Ко́лца[1] (або кальцо́) − мноства R з дзвюма аперацыямі, якія ўмоўна называюцца "складаннем" ("
") і "множаннем" ("
"), прычым адносна складання R ёсць абелевай групай, а "множанне" ўзгоднена са "складаннем" паводле размеркавальнага закона.
Прыкладам колца ёсць мноства
цэлых лікаў разам са звычайнымі складаннем і множаннем.
Адмысловым выпадкам колца ёсць поле, якое адметна найперш тым, што для любога ненулявога элемента існуе адваротны (адносна множання), у выніку чаго становіцца магчымым вызначыць аперацыю дзялення. А вось у колцы, у агульным выпадку, гэта не так.
Змест |
Строгае азначэнне[правіць]
Азначэнне колца[правіць]
Ко́лцам называецца мноства R з аперацыямі складання ("
") і множання ("
"), якія задавальняюць наступныя ўмовы:
ёсць абелеваю групай (з нейтральным элементам 0)- Складанне і множанне падпарадкоўваюцца размеркавальнаму закону: для любых
справядліва:
(левы размеркавальны закон)
(правы размеркавальны закон)
Заўвага 1: у азначэнні колца на аперацыю "множання" накладваецца толькі адна ўмова − размеркавальны закон (правы і левы). І таму, ўвогуле кажучы, у колцы можа не існаваць адзінкі (адносна "множання"), "множанне" можа быць неперастаўляльным, могуць існаваць дзельнікі нуля і г.д.
Заўвага 2: наяўнасць двух размеркавальных законаў неабходна, таму што "множанне" можа быць неперастаўляльным (г.зн. значэнне "здабытку" залежыць ад парадку множнікаў).
Аксіёмы колца[правіць]
Мноства R з аперацыямі складання ("
") і множання ("
") ёсць колцам, калі і толькі калі яно разам з аперацыямі задавальняе сістэму аксіём, якія называюцца аксіёмамі колца:
- Уласцівасці складання:
(спалучальны закон)
(перастаўляльны закон)- Існуе элемент
такі, што
(нейтральны элемент) - Для кожнага
існуе адваротны адносна складання элемент
, такі што
(процілеглы элемент)
- Узгодненасць (або дапасаванасць) складання і множання:
(левы размеркавальны закон)
(правы размеркавальны закон)
Заўвага: дзеля зручнасці, у фармулёўках аксіём прапушчаны словы ўзору "для любых
".
Крыніцы[правіць]
- Винберг Э.Б. Курс алгебры — Москва: Факториал Пресс, 2002.
Зноскі
- ↑ Матэматычная энцыклапедыя / Гал. рэд. В.Бернік — Мінск: Тэхналогія, 2001.
| Гэта пачатак артыкула па алгебры. Вы можаце дапамагчы праекту, выправіўшы і дапоўніўшы яго. |
ёсць
(левы размеркавальны закон)
(правы размеркавальны закон)
(
(
такі, што
(
існуе
, такі што
(процілеглы элемент)