algebra, podalgebra, kongruencja Magda: (Z₄ x Z₃; +, *) (działania to dodawanie i mnożenie) a) {(x,y) : x∊{0,2}} Sprawdzić, ze nośnik jest nośnikiem podalgebry i wyznaczyć elementy. b)(x,y)∼(a,b)⇔a=b Sprawdzić, że dana relacja jest kongruencją w tę algebrę, wyznaczyć klasy abstrakcji. c)f(x,y)=(x,0) sprawdzić, czy dana funkcja jest homomorfizmem w siebie.