Zobrazení třeba z (ℂ, +) → (ℝ, ⊕).

f(a + b) = f(a) ⊕ f(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í.

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!

1. Reflexivita: a ~ a
2. Symetrie: a ~ b ∧ b ~ a
3. Tranzitivita: a ~ b ∧ b ~ c ∧ c ~ a

Faktorové algebry