Uživatelské nástroje
msz:algebra_metody
Rozdíly
Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
| Obě strany předchozí revizePředchozí verzeNásledující verze | Předchozí verze | ||
| msz:algebra_metody [10. 06. 2012, 12.22:02] – [Kongruence a faktorové algebry] pitel | msz:algebra_metody [03. 08. 2026, 10.43:20] (aktuální) – odstraněno - upraveno mimo DokuWiki (Neznámé datum) 127.0.0.1 | ||
|---|---|---|---|
| Řádek 1: | Řádek 1: | ||
| - | ====== Základní algebraické metody ====== | ||
| - | ===== Podalgebry ===== | ||
| - | ===== Homomorfismy ===== | ||
| - | Zobrazení třeba z (ℂ, +) → (ℝ, ⊕). | ||
| - | //f//(//a// + //b//) = // | ||
| - | //a//, //b// ∈ ℂ | ||
| - | |||
| - | Když má ta struktura víc operací, musí se dokazovat pro všechny! | ||
| - | |||
| - | **Jádro** jsou ty prvky, které se zobrazí na neutrální prvek. Pokud má jádro právě jeden prvek, je homomorfizmus injektivní. | ||
| - | ===== Přímé součiny ===== | ||
| - | ===== Kongruence a faktorové algebry ===== | ||
| - | //g//₁ ≡ //g//₂ ∧ //h//₁ ≡ //h//₂ ⇒ //g//₁ ★ //h//₁ ≡ //g//₂ ★ //h//₂ | ||
| - | * ★ je libovolná operace ve struktuře | ||
| - | * ≡ znamená **kongruence** | ||
| - | |||
| - | Pravá kongruence: //g//₁ ≡ //g//₂ ⇒ //g//₁ ★ //w// ≡ //g//₂ ★ //w// | ||
| - | |||
| - | Aby to vůbec mohla být kongruence, musí platit **relace ekvivalence**! | ||
| - | - **Reflexivita**: | ||
| - | - **Symetrie**: | ||
| - | - **Tranzitivita**: | ||
| - | |||
| - | ---- | ||
| - | **Faktorové algebry** FIXME | ||
| - | ===== Normální podgrupy a ideály okruhů ===== | ||
/var/www/wiki/data/attic/msz/algebra_metody.1339330922.txt.gz · Poslední úprava: (upraveno mimo DokuWiki)
Nástroje pro stránku
Kromě míst, kde je explicitně uvedeno jinak, je obsah této wiki licencován pod následující licencí: CC Attribution-Share Alike 4.0 International
