جبر جامع

[s.r.mirabbasi]

(Teylor).let A be the set of functions from ω to {0,1}.Define the bi-unary algebra ⟨A,f,g⟩ by letting
f(a)(i)=a(i+1)
g(a)(i)=a(0)
show that a is subdirectly irred

ucibl.

[محمدی1985]

با سلام و احترام
لطفا در حل این سوال به من کمک کنید.
Verify the claim that consequence of balanced identities are again balanced.
از کمک شما سپاسگذارم.

[tabrizianmath]

با سلام و احترام
لطفا در حل این سوال به من کمک کنید.
Verify the claim that consequence of balanced identities are again balanced.
از کمک شما سپاسگذارم.


(Teylor).let A be the set of functions from ω to {0,1}.Define the bi-unary algebra ⟨A,f,g⟩ by letting
f(a)(i)=a(i+1)
g(a)(i)=a(0)
show that a is subdirectly irred

ucibl.