The commutator in equivalential algebras and Fregean varieties

A class \({\mathcal {K}}\) of algebras with a distinguished constant term 0 is called Fregean if congruences of algebras in \({\mathcal {K}}\) are uniquely determined by their 0-cosets and Θ _A (0, a) = Θ _A (0, b) implies a = b for all \({a, b \in {\bf A} \in \mathcal {K}}\) . The structure of Fregean varieties was investigated in a paper by P. Idziak, K. S?omczyńska, and A. Wroński. In particular, it was shown there that every congruence permutable Fregean variety consists of algebras that are expansions of equivalential algebras, i.e., algebras that form an algebraization of the purely equivalential fragment of the intuitionistic propositional logic. In this paper we give a full characterization of the commutator for equivalential algebras and solvable Fregean varieties. In particular, we show that in a solvable algebra from a Fregean variety, the commutator coincides with the commutator of its purely equivalential reduct. Moreover, an intrinsic characterization of the commutator in this setting is given.     

Algebraic semantics for the ‐fragment of and its properties

We study the variety of equivalential algebras with zero and its subquasivariety that gives the equivalent algebraic semantics for the ‐fragment of intuitionistic propositional logic. We prove that this fragment is hereditarily structurally complete. Moreover, we effectively construct the finitely generated free equivalential algebras with zero.     

A characterization of selfinjective algebras of strictly canonical type

We prove that the class of selfinjective algebras of strictly canonical type, investigated in Kwiecień and Skowroński (2009) [27], Kwiecień and Skowroński (2009) [28], coincides with the class of selfinjective algebras having triangular Galois coverings with infinite cyclic group and the Auslander–Reiten quiver with quasi-tubes maximally saturated by simple and projective modules, satisfying natural conditions.     

Two Tilts of Higher Spherical Algebras

We introduce and study two exotic families of finite-dimensional algebras over an algebraically closed field. We prove that every such an algebra is derived equivalent to a higher spherical algebra studied by Erdmann and Skowroński (Arch. Math. 114, 25–39, 2020), and hence that it is a tame symmetric periodic algebra of period 4. This together with the results of Erdmann and Skowroński (Algebr. Represent. Theor. 22, 387–406, 2019; Arch. Math. 114, 25–39, 2020) shows that every trivial extension algebra of a tubular algebra of type (2,2,2,2) admits a family of periodic symmetric higher deformations which are tame of non-polynomial growth and have the same Gabriel quiver, answering the question recently raised by Skowroński.

     

The Algebras of Semi-Invariants of Euclidean Quivers

We give a new short proof of Skowroński and Weyman's theorem about the structure of the algebras of semi-invariants of Euclidean quivers, in the case of quivers without oriented cycles and in characteristic zero. Our proof is based essentially on Derksen and Weyman's result about the generators of these algebras and properties of Schofield semi-invariants.     

The Derived Category of Surface Algebras: the Case of the Torus with One Boundary Component

In this paper we refine the main result of a previous paper of the author with Grimeland on derived invariants of surface algebras. We restrict to the case where the surface is a torus with one boundary component and give an easily computable derived invariant for such surface algebras. This result permits to give answers to open questions on gentle algebras: it provides examples of gentle algebras with the same AG-invariant (in the sense of Avella-Alaminos and Geiss) that are not derived equivalent and gives a partial positive answer to a conjecture due to Bobiński and Malicki on gentle 2-cycle algebras.     

COILS FOR VECTORSPACE CATEGORIES

Coils as components of Auslander–Reiten quivers of algebras and coil algebras are introduced by Assem and Skowroński. This concept is applied in the present paper to vectorspace categories. The four admissible operations on an Auslander–Reiten component of a vectorspace category, and the notions of v-coils and of vcoil vectorspace categories are introduced. A detailed study on the indecomposable objects of factorspace category of a vcoil vectorspace category is carried out.     

EQ-algebras

We introduce a new class of algebras called EQ-algebras. An EQ-algebra has three basic binary operations (meet, multiplication and a fuzzy equality) and a top element. These algebras are intended to become algebras of truth values for a higher-order fuzzy logic (a fuzzy type theory, FTT). The motivation stems from the fact that until now, the truth values in FTT were assumed to form either an IMTL-, BL-, or MV-algebra, all of them being special kinds of residuated lattices in which the basic operations are the monoidal operation (multiplication) and its residuum. The latter is a natural interpretation of implication in fuzzy logic; the equivalence is then interpreted by the biresiduum, a derived operation. The basic connective in FTT, however, is a fuzzy equality and, therefore, it is not natural to interpret it by a derived operation. This defect is expected to be removed by the class of EQ-algebras introduced and studied in this paper. From the algebraic point of view, the class of EQ-algebras generalizes, in a certain sense, the class of residuated lattices and so, they may become an interesting class of algebraic structures as such.     

A variety generated by a finite algebra with 2x 0 subvarieties

As was indicated to me by Prof. A. Wroński, the following problem was suggested by Prof. B. Jónsson: is every subvariety of the variety of a finite algebra generated by a finite algebra? In this paper we solve this problem in the negative by constructing a finite algebra that generates a variety having 2^x ₀ subvarieties.     

The Chern–Galois character

Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are finitely generated projective, and determine an explicit formula for the Chern character applied to the modules so obtained. To cite this article: T. Brzeziński, P.M. Hajac, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Hausdorff dimension of the limit sets of some planar geometric constructions

We determine the Hausdorff and box dimension of the limit sets for some class of planar non-Moran-like geometric constructions generalizing the Bedford-McMullen general Sierpiński carpets. The class includes affine constructions generated by an arbitrary partition of the unit square by a finite number of horizontal and vertical lines, as well as some non-affine examples, e.g. the flexed Sierpiński gasket.     

Jordan recoverability of some subcategories of modules over gentle algebras

Gentle algebras form a class of finite-dimensional algebras introduced by I. Assem and A. Skowroński in the 1980s. Modules over such an algebra can be described by string and band combinatorics in the associated gentle quiver from the work of M.C.R. Butler and C.M. Ringel. Any module can be naturally associated to a quiver representation. A nilpotent endomorphism of a quiver representation induces linear transformations over vector spaces at each vertex. Generically among all nilpotent endomorphisms, a well-defined Jordan form exists for these representations. We focus on subcategories additively generated by all the indecomposable representations of a gentle quiver, including a fixed vertex in their support. We show a characterization of the vertices such that the objects of this subcategory are determined up to isomorphism by their generic Jordan form.     

On two theorems of Sierpiński

A theorem of Sierpiński says that every infinite set Q of reals contains an infinite number of disjoint subsets whose outer Lebesgue measure is the same as that of Q. He also has a similar theorem involving Baire property. We give a general theorem of this type and its corollaries, strengthening classical results.     

On weakening the Deduction Theorem and strengthening Modus Ponens

This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen‐style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert‐style rule. As a result, a denumerable collection of new Gentzen systems and two new sentential logics have been isolated. These logics are weaker than the positive implicative logic. We have determined their algebraic models and the relationships between them, and have classified them according to several standard criteria of Abstract Algebraic Logic. One of the logics is protoalgebraic but neither equivalential nor weakly algebraizable, a rare situation where very few natural examples were hitherto known. In passing we have found new, alternative presentations of positive implicative logic, both in Hilbert style and in Gentzen style, and have characterized it in terms of the restricted Deduction Theorem: it is the weakest logic satisfying Modus Ponens and the Deduction Theorem restricted to at most 2 side formulas. The algebraic part of the work has lead to the class of quasi‐Hilbert algebras, a quasi‐variety of implicative algebras introduced by Pla and Verdú in 1980, which is larger than the variety of Hilbert algebras. Its algebraic properties reflect those of the corresponding logics and Gentzen systems. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On pseudo-equality algebras

Recently, a new algebraic structure called pseudo-equality algebra has been defined by Jenei and Kóródi as a generalization of the equality algebra previously introduced by Jenei. As a main result, it was proved that the pseudo-equality algebras are term equivalent with pseudo-BCK meet-semilattices. We found a gap in the proof of this result and we present a counterexample and a correct version of the theorem. The correct version of the corresponding result for equality algebras is also given.     

The algebraic structure of left semi-trusses

The distributive laws of ring theory are fundamental equalities in algebra. However, recently in the study of the Yang-Baxter equation, many algebraic structures with alternative “distributive” laws were defined. In an effort to study these “left distributive” laws and the interaction they entail on the algebraic structures, Brzeziński introduced skew left trusses and left semi-trusses. In particular the class of left semi-trusses is very wide, since it contains all rings, associative algebras and distributive lattices. In this paper, we investigate the subclass of left semi-trusses that behave like the algebraic structures that came up in the study of the Yang-Baxter equation. We study the interaction of the operations and what this interaction entails on their respective semigroups. In particular, we prove that in the finite case the additive structure is a completely regular semigroup. Secondly, we apply our results on a particular instance of a left semi-truss called an almost left semi-brace, introduced by Miccoli to study its algebraic structure. In particular, we show that one can associate a left semi-brace to any almost left semi-brace. Furthermore, we show that the set-theoretic solutions of the Yang-Baxter equation originating from almost left semi-braces arise from this correspondence.     

C*-algebras have a quantitative version of Pełczyński’s property (V)

A Banach space X has Pe?czyński’s property (V) if for every Banach space Y every unconditionally converging operator T: X → Y is weakly compact. H.Pfitzner proved that C*-algebras have Pe?czyński’s property (V). In the preprint (Kruli?ová, (2015)) the author explores possible quantifications of the property (V) and shows that C(K) spaces for a compact Hausdorff space K enjoy a quantitative version of the property (V). In this paper we generalize this result by quantifying Pfitzner’s theorem. Moreover, we prove that in dual Banach spaces a quantitative version of the property (V) implies a quantitative version of the Grothendieck property.     

Packing coloring of Sierpiński-type graphs

The packing chromatic number \(\chi _{\rho }(G)\) of a graph G is the smallest integer k such that the vertex set of G can be partitioned into sets \(V_i\), \(i\in \{1,\ldots ,k\}\), where each \(V_i\) is an i-packing. In this paper, we consider the packing chromatic number of several families of Sierpiński-type graphs. While it is known that this number is bounded from above by 8 in the family of Sierpiński graphs with base 3, we prove that it is unbounded in the families of Sierpiński graphs with bases greater than 3. On the other hand, we prove that the packing chromatic number in the family of Sierpiński triangle graphs \(ST^n_3\) is bounded from above by 31. Furthermore, we establish or provide bounds for the packing chromatic numbers of generalized Sierpiński graphs \(S^n_G\) with respect to all connected graphs G of order 4.