Faktoralgebra: Porovnání verzí
Smazaný obsah Přidaný obsah
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap |
Oprava preklepu. značka: editace z Vizuálního editoru |
||
Řádek 4:
== Definice ==
Nechť je <math>A = (A,F)\,\!</math> [[Algebraická_struktura|algebra]].
* Pro každou operaci <math>F_A\,\!</math> a <math>a_1 \sim b_1, ..., a_{ar(F_A)} \sim b_{ar(F_A)}\,\!</math> platí <math>F_{A}(a_1, ..., a_{ar(F_A)}) \sim F_{A}(b_1, ..., b_{ar(F_A)})\,\!</math>
| |||