Grätzer, in his Lattice Theory: Foundation, describes a Stone algebra as a distributive lattice with pseudocomplementation $L$ which satisfies the Stone identity: for every $a \in L$, $\neg a \vee ...
I'm working a bit with Heyting algebras (which are pseudocomplemented distributive lattives, right?) and I have a question about DeMorgan's laws. I know that, in general, it's not the case that $-(X ...
Let G denote the group of orientation-preserving isometries of the plane; equivalently, the group of affine transformations of the complex field C of the form $z \rightarrow \alpha z + \beta$ ...
In the screenshots attached above George Bergman outlines his way of proving $HSP \ne SHPS$ I understand the first definition as the group of affine transformations and each element of the group ...
To gain a big picture of (pre-categorical) mathematics, is it correct to divide mathematical theories resp. structures in two big families? universal algebra: classes of objects with arbitrary ...
I'm trying to understand a little bit about operads. I think I understand that monoids are algebras over the associative operad in sets, but can groups be realised as algebras over some operad? In ...