Czy funkcja jest homomorfizmem Buffy: Niech f będzie odwzorowaniem systemu algebraicznego <Z,*, 0> w system <N, nwd, 1>, f(x)=1 dla x=0 oraz f(x)=2 dla pozostałych wartości x, gdzie Z jest zbiorem liczb całkowitych, a nwd(x,y) jest największym wspólnym dzielnikiem liczb x i y. Czy funkcja f jest homomorfizmem? Taj czy nie ?