275 380
edits
«Օղակ (մաթեմատիկա)»–ի խմբագրումների տարբերություն
չ
clean up, փոխարինվեց: եւ → և (3), : → ։ (5), ` → ՝ (8) oգտվելով ԱՎԲ
(→Դաշտ) |
չ (clean up, փոխարինվեց: եւ → և (3), : → ։ (5), ` → ՝ (8) oգտվելով ԱՎԲ) |
||
|
==Սահմանում==
[[Պատկեր:Dedekind.jpeg|thumb|100px|right|Րիխարդ Դեդեկինդը` օղակների տեսության հիմնադիրներից մեկը:]]
<math>( </math> <math>G, </math> <math>+, </math> <math>\cdot </math> <math>) </math> համակարգը կոչվում է օղակ,
1. <math>( </math> <math>G, </math> <math>+ </math> <math>) </math> համակարգը տեղափոխելի խումբ է։<br />
2. <math>( </math> <math>a </math> <math>\cdot </math> <math>b </math> <math>) </math> <math>\cdot </math> <math>c </math> = <math>a </math> <math>\cdot </math> <math>( </math> <math>b </math> <math>\cdot </math> <math>c </math> <math>) </math><br />
3. <math>G </math> - ում <math>\exists </math> մի այնպիսի
4. <math>( </math> <math>a </math> <math>+ </math> <math>b </math> <math>) </math> <math>\cdot </math> <math>c </math> = <math>a </math> <math>\cdot </math> <math>c </math> + <math>b </math> <math>\cdot </math> <math>c </math> և <math>a </math> <math>\cdot </math> <math>( </math> <math>b </math> <math>+ </math> <math>c </math> <math>) </math> = <math>a </math> <math>\cdot </math> <math>c </math> + <math>b </math> <math>\cdot </math> <math>c </math>
== Դրույթներ ==
Առանց ապացույցի բերենք որոշ հայտնի
ա) <big>P</big> օղակում <big>a+x=0</big> հավասարումն ունի միակ լուծում, անկախ <big>a</big>-ի
բ) Եթե <big>P</big> օղակի մի կամ մի քանի տարրերի արտադրյալի մեջ գոնե մի արտադրիչը <big>0</big> է, ապա այդ արտադրյալը հավասար է
== Ծանոթագրություններ ==
| |||