The paper resolves two open problems in abstract algebra, specifically in the study of certain algebraic structures called p-algebras (also known as pseudocomplemented algebras). These are algebraic systems related to logic and lattice theory, where every element has a special "pseudocomplement" operation. The questions were posed by Kowalski and Slomczynska and had remained unanswered in the literature.
The first result shows that a certain collection of algebraic structures, denoted Q(F3(X)), is strictly smaller than a related class called Pa3-minus. In plain terms, there are algebraic structures belonging to the larger category that cannot be built or derived from the specific construction used to define the smaller one. This kind of "proper inclusion" result tells mathematicians that two seemingly related classes of objects are genuinely different, not just different descriptions of the same thing.
The second result shows that a particular class of algebraic structures defined by a specific set of equations, called Mod(qb3), cannot be fully explained or generated just by looking at free p-algebras. Free algebras are the most basic, unconstrained examples in a given class, and it is often hoped that they generate everything else through standard algebraic operations. The fact that they do not do so here reveals an unexpected complexity in the structure of this class, meaning it contains members that are fundamentally beyond what free p-algebras can produce.