Results 1 to 10 of about 458,528 (181)
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
An Algebraic Characterization of Prefix-Strict Languages
Mathematics, 2022 Let Σ+ be the set of all finite words over a finite alphabet Σ. A word u is called a strict prefix of a word v, if u is a prefix of v and there is no other way to show that u is a subword of v.
Jing Tian, Yizhi Chen, Hui Xu
doaj +1 more source
Infinite symmetric products of rational algebras and spaces
Comptes Rendus. Mathématique, 2022 We show that the infinite symmetric product of a connected graded-commutative algebra over $\mathbb{Q}$ is naturally isomorphic to the free graded-commutative algebra on the positive degree subspace of the original algebra.
Hu, Jiahao, Milivojević, Aleksandar
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
On Free Completely Iterative Algebras [PDF]
, 2020 For every finitary set functor F we demonstrate that free algebras carry a canonical partial order. In case F is bicontinuous, we prove that the cpo obtained as the conservative completion of the free algebra is the free completely iterative algebra ...
core +1 more source
A Class of Nonlinear Nonglobal Semi-Jordan Triple Derivable Mappings on Triangular Algebras
Journal of Mathematics, 2021 In this paper, we proved that each nonlinear nonglobal semi-Jordan triple derivable mapping on a 2-torsion free triangular algebra is an additive derivation.
Xiuhai Fei, Haifang Zhang
doaj +1 more source
Free field realization of the BMS Ising model
Journal of High Energy Physics, 2023 In this work, we study the inhomogeneous BMS free fermion theory, and show that it gives a free field realization of the BMS Ising model. We find that besides the BMS symmetry there exists an anisotropic scaling symmetry in BMS free fermion theory.
Zhe-fei Yu, Bin Chen
doaj +1 more source
A Hopf algebra of subword complexes (Extended abstract) [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 We introduce a Hopf algebra structure of subword complexes, including both finite and infinite types. We present an explicit cancellation free formula for the antipode using acyclic orientations of certain graphs, and show that this Hopf algebra induces ...
Nantel Bergeron, Cesar Ceballos
doaj +1 more source
Logical Methods in Computer Science, 2021 We present a construction of W-types in the setoid model of extensional Martin-L\"of type theory using dependent W-types in the underlying intensional theory.
Jacopo Emmenegger
doaj +1 more source
Adelic analysis and functional analysis on the finite Adele ring [PDF]
Opuscula Mathematica, 2018 In this paper, we study operator theory on the \(*\)-algebra \(\mathcal{M}_{\mathcal{P}}\), consisting of all measurable functions on the finite Adele ring \(A_{\mathbb{Q}}\), in extended free-probabilistic sense. Even though our \(*\)-algebra \(\mathcal{
Ilwoo Cho
doaj +1 more source