Results 21 to 30 of about 55,120 (219)
Absolutely flat idempotents [PDF]
11 pages, Electronic Journal of Linear ...
Johnson, Charles R. +4 more
openaire +3 more sources
Lattice of Idempotent States on a Locally Compact Quantum Group [PDF]
We study lattice operations on the set of idempotent states on a locally compact quantum group corresponding to the operations of intersection of compact subgroups and forming the subgroup generated by two compact subgroups.
P. Kasprzak, P. Sołtan
semanticscholar +1 more source
Non-idempotent types for classical calculi in natural deduction style [PDF]
In the first part of this paper, we define two resource aware typing systems for the {\lambda}{\mu}-calculus based on non-idempotent intersection and union types.
D. Kesner, Pierre Vial
semanticscholar +1 more source
Decomposition of Singular Matrices into Idempotents [PDF]
In this paper we provide concrete constructions of idempotents to represent typical singular matrices over a given ring as a product of idempotents and apply these factorizations for proving our main results.
Alahmadi, Adel +2 more
core +4 more sources
The weakest nontrivial idempotent equations [PDF]
An equational condition is a set of equations in an algebraic language, and an algebraic structure satisfies such a condition if it possesses terms that meet the required equations. We find a single nontrivial equational condition which is implied by any
M. Olsák
semanticscholar +2 more sources
On Extendibility of Evolution Subalgebras Generated by Idempotents
In the present paper, we examined the extendibility of evolution subalgebras generated by idempotents of evolution algebras. The extendibility of the isomorphism of such subalgebras to the entire algebra was investigated.
Farrukh Mukhamedov, Izzat Qaralleh
doaj +1 more source
The notion of idempotent measure is a counterpart of that of probability measure in the idempotent mathematics. In this note, we consider a metric on the set of compact, idempotent measure spaces (mim-spaces) and prove that this space is separable and ...
Viktoriya Brydun +2 more
doaj +1 more source
Inhabitation for Non-idempotent Intersection Types [PDF]
The inhabitation problem for intersection types in the lambda-calculus is known to be undecidable. We study the problem in the case of non-idempotent intersection, considering several type assignment systems, which characterize the solvable or the ...
A. Bucciarelli, D. Kesner, S. D. Rocca
semanticscholar +1 more source
Product preservation and stable units for reflections into idempotent subvarieties [PDF]
We give a necessary and sufficient condition for the preservation of finite products by a reflection of a variety of universal algebras into an idempotent subvariety.
Isabel A. Xarez, Joao J. Xarez
doaj +1 more source
Threads without idempotents [PDF]
If a thread S has no idempotents and if S2 = S, then S is iseomorphic with the real interval (0, 1) under ordinary multiplication [2, Corollary 5.6]. Although the result is not nearly as pleasing as the special case just quoted, we shall give here a description of any thread without idempotents.
openaire +1 more source

