„Idempotencia” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
gépelésjavítás |
→Tulajdonságok: Bármely <math>(A; \cdot )</math> félcsoport tetszőleges <math>a \in A</math> ''idempotens elemére'' akkor és csak akkor teljesül a baloldali egyszerűsítési szabály, ha <math>a</mat |
||
7. sor: | 7. sor: | ||
==Tulajdonságok== |
==Tulajdonságok== |
||
Gyűrű minden olyan idempotens eleme, amely nem nulla és nem [[egységelem|egység]], [[zérusosztó]]. |
*Gyűrű minden olyan idempotens eleme, amely nem nulla és nem [[egységelem|egység]], [[zérusosztó]]. |
||
*Bármely <math>(A; \cdot )</math> félcsoport tetszőleges <math>a \in A</math> ''idempotens elemére'' akkor és csak akkor teljesül a baloldali egyszerűsítési szabály, ha <math>a</math> [[Neutrális elem#Féloldali neutrális elemek|balegységelem]]. |
|||
==Példák== |
==Példák== |
A lap 2007. március 12., 20:06-kori változata
A matematikában az idempotencia a kétváltozós matematikai műveletek egy tulajdonsága. Idempotensnek nevezzük egy algebrai struktúra valamely elemét a struktúra egy adott kétváltozós műveletére nézve, ha azokban az esetekben, amikor a művelet mindkét operandusa megegyezik az adott elemmel, akkor a művelet eredménye is megegyezik az operandusokkal, azaz a megadott elemmel. Idempotens műveletről beszélünk, ha az adott műveletre nézve a struktúra minden eleme idempotens.
Gyűrűk esetén az idempotenciát mindig a gyűrű szorzás műveletére nézve vizsgáljuk.
Definíció
Legyen tetszőleges grupoid. Ha valamely elemre teljesül, hogy , akkor azt mondjuk, hogy az idempotens elem az grupoidban. Ha minden elemre teljesül, hogy , akkor azt mondjuk, hogy a művelet idempotens az grupoidban.
Tulajdonságok
- Gyűrű minden olyan idempotens eleme, amely nem nulla és nem egység, zérusosztó.
- Bármely félcsoport tetszőleges idempotens elemére akkor és csak akkor teljesül a baloldali egyszerűsítési szabály, ha balegységelem.
Példák
- Az egyesítés és metszetképzés bármely, halmazokból álló alaphalmazon értelmezve idempotens.
Idempotens műveletek struktúrákban
- Háló metszet és egyesítés műveletei
Lásd még
Hivatkozások
- Rédei, László, Algebra I. kötet, Akadémiai Kiadó, Bp (1954)
- Szendrei, Ágnes, Diszkrét matematika, Polygon, JATE Bolyai Intézet, Szeged (1994)