Related papers: Matrix Expression of Finite Boolean-type Algebras
In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite…
Given an algebra $A$ and an $A-A$-bimodule $U$ with co-algebra structure, a bocs, the algebras of endomorphisms of $A$ as left or right module of the bocs are known as Burt-Butler algebras (up to an appropriate opposite). Here we give a…
For deuteron photo- and electrodisintegration the selection of complete sets of polarization observables is discussed in detail by applying a recently developed new criterion for the check of completeness of a chosen set of observables. The…
A study of assisted problem solving formalized via decompositions of deterministic finite automata is initiated. The landscape of new types of decompositions of finite automata this study uncovered is presented. Languages with various…
We investigate subshifts with a general algebraic structure and cellular automata on them, with an emphasis on (order-theoretic) lattices. Our main results concern the characterization of Boolean algebraic subshifts, conditions for…
We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the…
We consider ideals and Boolean combinations of ideals. For the regular languages within these classes we give expressively complete automaton models. In addition, we consider general properties of regular ideals and their Boolean…
A closure endomorphism of a Hilbert algebra A is a mapping that is simultaneously an endomorphism of and a closure operator on A. It is known that the set CE of all closure endomorphisms of A is a distributive lattice where the meet of two…
Let $ \mathbb{A}$ be a cellular algebra over a field $\mathbb{F}$ with a decomposition of the identity $ 1_{\mathbb{A}} $ into orthogonal idempotents $ e_i$, $i \in I$ (for some finite set $I$) satisfying some properties. We describe the…
We show that bounded type implies finite type for a constructible subcategory of the module category of a finitely generated algebra over a field, which is a variant of the first Brauer-Thrall conjecture. A full subcategory is constructible…
In this paper we study the subcategory of finite-length objects of the category of positive level integrable representations of a toroidal Lie algebra. The main goal is to characterize the blocks of the category. In the cases when the…
Enveloping $C^*$-algebras for some finitely generated $*$-algebras are considered. It is shown that all of the considered algebras are identically defined by their dual spaces. The description in terms of matrix-functions is given. Keywords…
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…
Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model…
We present an overview of characteristic identities for Lie algebras and superalgebras. We outline methods that employ these characteristic identities to deduce matrix elements of finite dimensional representations. To demonstrate the…
We show that a gentle algebra over a field is $\tau$-tilting finite if and only if it is representation-finite. The proof relies on the "brick-$\tau$-tilting correspondence" of Demonet-Iyama-Jasso and on a combinatorial analysis.
By using a coherent state quantization of paragrassmann variables, operators are constructed in finite Hilbert spaces. We thus obtain in a straightforward way a matrix representation of the paragrassmann algebra. This algebra of finite…
The factorizable vectors of a complete Boolean algebra of type I factors, acting on a separable Hilbert space, are shown to be total, resolving a conjecture of Araki and Woods. En route, the spectral theory of noise-type Boolean algebras of…
We consider $m$-cluster tilted algebras arising from quivers of Euclidean type and we give necessary and sufficient conditions for those algebras to be representation finite. For the case $\widetilde{A}$, using the geometric realization, we…
For finite semidistributive lattices the map $\kappa$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements. Here we study the $\kappa$-map in the context of torsion classes. It…