Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35
Definice z Algebry I
Vlastní obsah definic najdete v Žemličkově seznamu, dodržel jsem seskupení pojmů (co řádek to jedna Definice). Tohle můžete využít na zopakování.
1. Algebry, homomorfismy, kongruence
- n-ární operace, arita (četnost) operace, algebra
- uzavřenost na operaci α, podalgebra
- zobrazení slučitelné s operací α
- algebry stejného typu
- homomorfismus
- isomorfismus, isomorfní algebry
- faktor (kvocient) množiny podle relace
- jádro zobrazení, přirozená projekce
- relace ρ/σ (ρ, &sigma ekvivalence)
- relace slučitelná s operací α, kongruence
- algbra A/ρ (resp. operace algebry A/ρ)
2. Algebry s jednou binární operací
- grupoid, neutrální prvek, monoid, podgrupoid, podmonoid
- invertibilní prvek, inverzní prvek
3. Uzávěrové systémy na algebře
- uzávěrový systém nad (množinou) A
- uzávěr (podmnožiny) B v (uzávěrového systému) C
- uzávěrový operátor
4. Svazy
- uspořádání
- největší, nejmenší prvek, supremum, infimum, (úplný) svaz
- spojení, průsek
- b pokrývá a, Hasseův diagram
- modulární svaz, distributivní svaz
- atom, koatom, komplement
- Booleova algebra
- monotónní zobrazení
5. Grupy
- relace rmod, lmod
- index podgrupy, řád podgrupy
- an, n ∈ Z, a ∈ G, v grupě G (s operací tečka/krát)
- Eulerova funkce
- definice struktury algebry na kartézském součinu algeber stejného typu
6. Okruhy a ideály
- okruh, komutativní okruh
- pravý (levý) ideál, ideál
- vlastní (levý, pravý) ideál
- ideál generovaný množinou A/ (není vedeno jako samostatná definice)
- invertibilní prvek okruhu, těleso, maximální ideál
- n × a, n ∈ Z, a ∈ R, v okruhu R
- obor integrity
- podílové těleso
7. Dělitelnost
- komutativní monoid s krácením
- největší společný dělitel, ireducibilní prvek, prvočinitel