|
...be the associative identity “(xy)z=x(yz)”; in the case of ... might be the distributive law “x(y+z)=xy+xz”. We make... ought to read “For any x, y, z in the set, we have (xy)z=x(yz).” It will be fine to ... 1965), as is every finite ring (L’vov, 1973, and Kruse,... finite lattices (McKenzie, 1970), all commutative semigroups (Perkins, 1969), and all ... finitely based by the equation "x=y." In the 1990s, Ralph ...
Tags:
mathematical logic
universal algebra
http://community.livejournal.com/metatheorem/685.html
0 links
Published: 2 years, 1 month ago (Thu, 31 May 2007 18:58:22 PDT); 2912 bytes
|
