Results 51 to 60 of about 3,653,792 (195)
Discrete Mathematics, 2000 An algebra \(L=(L;\vee, \wedge,\phantom{}^*, 0,1)\) of type \((2,2,1,0,0)\) is called a Stone algebra, if \((L;\vee, \wedge,0,1)\) is a bounded distributive lattice, \(\phantom{}^*\) is a pseudocomplementation, i.e. \(a\wedge x=0\) if and only if \(x\leq a^*\), and \(L\) satisfies the identity \(x^*\vee x^{**}=1\).
Roberto Cignoli, Antoni Torrens
openaire +3 more sources
Pseudo-free families of computational universal algebras
Journal of Mathematical Cryptology, 2020 Let Ω be a finite set of finitary operation symbols. We initiate the study of (weakly) pseudo-free families of computational Ω-algebras in arbitrary varieties of Ω-algebras.
Anokhin Mikhail
doaj +1 more source
On dynamical systems induced by p-adic number fields [PDF]
Opuscula Mathematica, 2015 In this paper, we construct dynamical systems induced by \(p\)-adic number fields \(\mathbb{Q}_{p}\). We study the corresponding crossed product operator algebras induced by such dynamical systems.
Ilwoo Cho
doaj +1 more source
On the Category of EQ-algebras
Bulletin of the Section of Logic, 2021 In this paper, we studied the category of EQ-algebras and showed that it is complete, but it is not cocomplete, in general. We proved that multiplicatively relative EQ-algebras have coequlizers and we calculated coproduct and pushout in a special case ...
Narges Akhlaghinia +3 more
doaj +1 more source
K4-free graphs as a free algebra
, 2017 Graphs of treewidth at most two are the ones excluding the clique with four vertices (K4) as a minor, or equivalently, the graphs whose biconnected components are series-parallel. We turn those graphs into a finitely presented free algebra,answering positively a question by Courcelle and Engelfriet, in the case of treewidth two.
Cosme-Llópez, Enric, Pous, Damien
openaire +6 more sources
On the nilpotent Leibniz–Poisson algebras
Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2012 In this article Leibniz and Leibniz–Poisson algebras in terms of correctness of different identities are investigated. We also examine varieties of these algebras. Let K be a base field of characteristics zero.
S. M. Ratseev, O. I. Cherevatenko
doaj +3 more sources
Further results on elementary Lie algebras and Lie A-algebras. [PDF]
, 2013 A finite-dimensional Lie algebra L over a field F of characteristic zero is called elementary if each of its subalgebras has trivial Frattini ideal; it is an A-algebra if every nilpotent subalgebra is abelian. This paper is a continuation of the study of
Varea, Vicente R., Towers, David A.
core +3 more sources
Free Spectra of Equivalential Algebras with Conjunction on Dense Elements
Bulletin of the Section of LogicWe construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety.
Sławomir Przybyło +1 more
doaj +1 more source
Free algebras in varieties [PDF]
, 2010 summary:We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to one of equational classes defined by equation arrows.
Pavlík, Jan
core +1 more source
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces [PDF]
Logical Methods in Computer ScienceWe present a generalisation of the theory of quantitative algebras of Mardare, Panangaden and Plotkin where (i) the carriers of quantitative algebras are not restricted to be metric spaces and can be arbitrary fuzzy relations or generalised metric spaces,
Matteo Mio +2 more
doaj +1 more source