Results 11 to 20 of about 122,674 (274)
Group Structures and Derivations on PMS-algebras [version 1; peer review: 2 approved] [PDF]
F1000ResearchBackground PMS-algebras are a specific algebraic structure that generalizes a propositional algebra called BCK-algebra. This paper delves into the intricate group structure of these algebras and the concept of derivations within this framework.
Zelalem Teshome Wale +3 more
doaj +2 more sources
Free Brace Algebras are Free Pre-Lie Algebras [PDF]
Communications in Algebra, 2010 Comment: 10 pages. Final version, to be published in "Communications in Algebra"
openaire +5 more sources
A Note on 3×3-valued Łukasiewicz Algebras with Negation
Bulletin of the Section of Logic, 2021 In 2004, C. Sanza, with the purpose of legitimizing the study of n × m-valued Łukasiewicz algebras with negation (or NSn×m-algebras) introduced 3 × 3-valued Łukasiewicz algebras with negation.
Carlos Gallardo, Alicia Ziliani
doaj +1 more source
The least dimonoid congruences on relatively free trioids
Математичні Студії, 2022 When Loday and Ronco studied ternary planar trees, they introduced types of algebras, called trioids and trialgebras. A trioid is a nonempty set equipped with three binary associative operations satisfying additional eight axioms relating these ...
A. V. Zhuchok
doaj +1 more source
Corecursive Algebras, Corecursive Monads and Bloom Monads [PDF]
Logical Methods in Computer Science, 2014 An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras.
Jiří Adámek +2 more
doaj +1 more source
Pseudo-free families and cryptographic primitives
Journal of Mathematical Cryptology, 2022 In this article, we study the connections between pseudo-free families of computational Ω\Omega -algebras (in appropriate varieties of Ω\Omega -algebras for suitable finite sets Ω\Omega of finitary operation symbols) and certain standard cryptographic ...
Anokhin Mikhail
doaj +1 more source
Free complete Wasserstein algebras [PDF]
Logical Methods in Computer Science, 2018 We present an algebraic account of the Wasserstein distances $W_p$ on complete metric spaces, for $p \geq 1$. This is part of a program of a quantitative algebraic theory of effects in programming languages.
Radu Mardare +2 more
doaj +1 more source
Acyclic Complexes and Graded Algebras
Mathematics, 2023 We already know that the noncommutative N-graded Noetherian algebras resemble commutative local Noetherian rings in many respects. We also know that commutative rings have the important property that every minimal acyclic complex of finitely generated ...
Chaoyuan Zhou
doaj +1 more source
On Free $\omega$-Continuous and Regular Ordered Algebras [PDF]
Logical Methods in Computer Science, 2019 We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms.
Zoltan Esik, Dexter Kozen
doaj +1 more source
Free bounded archimedean $$\ell $$-algebras [PDF]
Applied Categorical Structures, 2021 We show that free objects on sets do not exist in the category $bal$ of bounded archimedean $\ell$-algebras. On the other hand, we introduce the category of weighted sets and prove that free objects on weighted sets do exist in $bal$. We conclude by discussing several consequences of this result.
Bezhanishvili G. +2 more
openaire +4 more sources