«Խմբեր»–ի խմբագրումների տարբերություն
Content deleted Content added
No edit summary |
No edit summary |
||
Տող 6.
# ցանկացած '''a''' '''''G'''''-ի համար, գոյություն ունի '''b''' տարր '''''G'''''-ից, այնպիսին որ '''ab = ba = e''' - '''հակադարձ''' տարրի գոյության պայման
Ասոցիատիվության պայմանից բխում է, որ եթե
Երկրորդ պայմանն ասում է, որ գոյություն ունի մեկ հատուկ տարր, որը նշանակվում է '''e''' տառով և կոչվում է '''միավոր''', որը բազմապատկելիս '''''G''''' բազմության որևէ տարրով արդյունքում տալիս է հենց այդ նույն տարրը (այսինքն միավորը խաղում է 1 թվի դերը)։ Միավոր տարրը միակն է։ Եթե ունենք 2 միավոր '''e<sub>1</sub>''' և '''e<sub>2</sub>''', ապա պարզ է, որ '''e<sub>1</sub> = e<sub>1</sub>e<sub>2</sub> = e<sub>2</sub>''':
| |||