Vikipedio:Projekto matematiko/Subalgebro
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 Subalgebro (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 universala algebro, subalgebro de algebro A estas subaro S de A (tiu, ke, kiu) ankaŭ havas la strukturo de algebro de la sama tipo kiam la algebra (operacioj, operacias) estas limigita al A. Ekde la (aksiomoj, aksiomas) de algebraj strukturoj en universala algebro estas priskribita per _equational_ leĝoj, la nur aĵa tio estas necesa al kontroli estas (tiu, ke, kiu) S estas (fermita, fermis) sub la (operacioj, operacias).
Ekzemple, subgrupo de grupo G estas subaro S de G tia (tiu, ke, kiu):
- la idento e de G apartenas al S (tiel ke S estas (fermita, fermis) sub la identa konstanta operacio);
- ĉiam x apartenas al S, (do, tiel) faras x-1 (tiel ke S estas (fermita, fermis) sub la inversa operacio);
- ĉiam x kaj y aparteni S, (do, tiel) faras x * y (tiel ke S estas (fermita, fermis) sub la grupa multiplika operacio).
Ĉe (grupoj, grupas), ĝi's reale sufiĉa al kontroli (tiu, ke, kiu) S estas ne la malplena aro kaj kun x kaj y ĉiam ankaŭ enhavas x-1 * y. Tamen, en pli ĝenerala (situacioj, situacias), ĝi's ne sekura al fari analoga (premisoj, supozoj, supozas), kaj ĉiu operacio devas esti (kontrolita, kontrolis).
La (termo, membro, flanko, termino) subalgebro estas ankaŭ uzita en la ĉirkaŭteksto de specifa (klavas, tipoj) de (algebroj, algebras) kiel asociecaj algebroj kaj (Mensogi, Kuŝi) (algebroj, algebras). En tiuj ĉirkaŭtekstoj, vi devus (opinii, pensi) aparte de la algebraj strukturoj taŭga al ili.
