Privacy Policy Cookie Policy Terms and Conditions Кільце (в алгебрі) - Вікіпедія

Кільце (в алгебрі)

Матеріал з Вікіпедії — вільної енциклопедії.

В теорії кілець, підрозділі абстрактної алгебри, кільце є алгебраїчною структурою, в якій визначені операції додавання та множення з властивостями подібними до властивостей додавання і множення цілих чисел.

Зміст

[ред.] Історія

Див. Кілець теорія.

[ред.] Означення й нотація

Кільце є Абелевою (себто комутативною) групою (R, +) з другою бінарною операцією * такою, що для всіх a, b і cR,

a * bR - Замкнутість
a * (b*c) = (a*b) * c - Асоціативність
a * (b+c) = (a*b) + (a*c) - Лівий * - дистрибутивний закон над +
(a+b) * c = (a*c) + (b*c) - Правий * - дистрибутивний закон над +

і такою, що існує мультіплікативний нейтральний елемент або одиниця, себто, елемент 1 такий, що для всіх aR

a*1 = 1*a = a

(Деякі автори нехтують вимогою наявності одиниці, натомість називають кільця з такою одиницею унітарними кільцями або кільцями з одиницею. Також іноді нехтують вимогою асоціативності множення, натомість кільця, в яких множення асоціативне, називають асоціативними кільцями. Надалі в цій енциклопедії вважаємо, що наявність мультиплікативної одиниці та асоціативність є частиною означення кільця).

Зважте на те, що комутативний закон множення, себто

a*b = b*a для всіх a,bR

не входить до аксіом кільця, наведених вище. Кільця, що задовольняють вимогу комутативності (такі як кільце цілих чисел), називають комутативними кільцями. Не всі кільця є комутативними - див., наприклад, кільце матриць, описане нижче.

Нейтральний відносно додавання + елемент називають нульовим елементом кільця і позначають 0. Символ * зазвичай не пишуть, використовуючи стандартні правила порядку операцій, тому, наприклад, a+bc є скороченим записом a+(b*c). Обернений відносно додавання елемент кільця x записують як -x.

0=1 лише у випадку тривіального кільця {0}, що складається з одного елемента 0.

Якщо для двох елементів кільця a та b виконується рівність:

ab = ba = 1

Кажуть, що b є оберненим елементом до a відносно множення. В цьому випадку елемент b однозначно визначається елементом a, і ми пишемо a-1 = b.

[ред.] Приклади

  • Кільце цілих чисел з двома операціями - додаванням і відніманням. Це - комутативне кільце.
  • Раціональні, дійсні та комплексні числа утворюють кільця, фактично, вони навіть є полями. Вони також є комутативними кільцями.
  • Взагалі, будь-яке поле є комутативним кільцем.
  • Якщо n - додатне ціле, тоді множина Z/nZ цілих з модулем n утворює кільце з елементів n.

[ред.] Прості теореми

З аксіом можна негайно вивести, що для всіх елементів кільця a і b маємо

  • 0a = a0 = 0
  • (-1)a = -a
  • (-a)b = a(-b) = -(ab)
  • (ab)-1=b-1 a-1, якщо a і b обидва мають обернені елементи; звідси множина всіх обернених елементів є закритою відносно множення * і утворює групу.

[ред.] Конструювання нових кілець з даних

  • Якщо підмножина S кільця (R,+,*) разом з операціями + і *, обмеженими S, сама є кільцем, і нейтральний елемент 1 R міститься в S, тоді S називають підкільцем кільця (R,+,*).
  • Центром кільця R називають множину елементів R, що комутують з кожним елементом з R; таким чином, c знаходиться в центрі кільця, якщо cr=rc для кожного rR. Центр є підкільцем кільця R. Кажемо, що підкільце S кільця R є центральним, якщо воно є підкільцем центра кільця R.
  • Прямою сумою двох кілець R і S називаємо Декартів добуток R×S разом з операціями
(r1, s1) + (r2, s2) = (r1+r2, s1+s2) та
(r1, s1) * (r2, s2) = (r1*r2, s1*s2).
  • Якщо дано кільце R та ідеал I кільця R, кільцо відношень (або фактор-кільце) R/I є множиною суміжних класів I разом з операціями
(a+I) + (b+I) = (a+b) + I та
(a+I) * (b+I) = (a*b) + I.
  • Оскільки будь-яке кільце є одночасно лівим та правим модулем над собою, можна сконструювати тензорний добуток R над кільцем S з іншим кільцем T і отримати інше кільце, якщо S є центральним підкільцем R та T.


[ред.] Дивіться також

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu