Vikipedio:Projekto matematiko/Komplementa krado
El Vikipedio
 |
Ĉi tiu artikolo montras stilajn aŭ/kaj gramatikajn aŭ/kaj strukturajn problemojn kaj bezonas poluradon por konformi al pli bona nivelo de kvalito. Post plibonigo movu la artikolon al Komplementa krado (eble la nomo mem bezonas korekton) Se la ligo estas ruĝa, vi povas movi la artikolon. Se la ligo estas blua, la alia artikolo pri la temo jam ekzistas kaj tiun kaj ĉi tiun artikolon necasas kunigi. |
En la matematika disciplino de (mendi, ordo) teorio, kaj en aparta, en krada teorio, komplementa krado estas barita krado, (tio estas ĝi havas plej malgranda ero 0 kaj (plej granda, plej granda) ero 1), en kiu ĉiu ero x havas komplemento, difinis kiel ero y tia (tiu, ke, kiu)
kaj 
[redaktu] Unikeco
En ĝenerala ero x (majo, povas) havi pli ol unu komplemento. Tamen en distribueca krado, tio estas krado en kiu, por ĉiuj x, y kaj z, la distribueca leĝo tenas:
kiu estas ankaŭ barita, tiam ĉiu ero x estos havi maksimume unu komplemento. Tial en Bulea algebro, kiu estas komplementa distribueca krado, (komplementoj, komplementas) estas unika.
