Related papers: Proper Multi-Type Display Calculi for Rough Algebr…
This paper is the first part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$. In a general setting, we improve the precision of an algorithm from Takahashi…
Methods of solving big Boolean equations can be broadly classified as algebraic, tabular, numerical and map methods. The most prominent among these classes are the algebraic and map methods. This paper surveys and compares these two types…
We study equations over boolean algebras with distinguished elements. We prove the criteria, when a boolean algebra is equationally Noetherian, weakly equationally Noetherian, $\mathbf{q}_\omega$-compact or $\mathbf{u}_\omega$-compact. Also…
We consider Hilbert algebras with a supplementary Fr\'echet topology and get various extensions of the algebraic structure by using duality techniques. In particular we obtain optimal multiplier-type involutive algebras, which in…
Primarily this paper presents an expository report on alternatives to the traditional methods of classifying representations of finite dimensional algebras. Some new results illustrating such alternatives for algebras with only finitely…
We build a differential calculus for subalgebras of the Moyal algebra on R^4 starting from a redundant differential calculus on the Moyal algebra, which is suitable for reduction. In some cases we find a frame of 1-forms which allows to…
A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…
We propose to use orthologic as the basis for designing type systems supporting intersection, union, and negation types in the presence of subtyping assumptions. We show how to extend orthologic to support monotonic and antimonotonic…
This paper surveys the representation theory of rational Cherednik algebras. We also discuss the representations of the spherical subalgebras. We describe in particular the results on category O. For type A, we explain relations with the…
We use evaluation representations to give a complete classification of the finite-dimensional simple modules of twisted current algebras. This generalizes and unifies recent work on multiloop algebras, current algebras, equivariant map…
In this paper, for given an algebraic theory $T$ whose category $C$ of models is semi-abelian, we consider the topological models of $T$ called topological $T$-algebras and obtain some results related to the fundamental groups of…
In this paper, we present a general method for constructing finite-dimensional quasi-Hopf algebras from finite abelian groups and braided vector spaces of Cartan type. The study of such quasi-Hopf algebras leads to the classification of…
The idea in the title is to blow up a finite structure, replacing each 'colour or atom' by infinitely many, using blurs to represent the resulting term algebra, but the blurs are not enough to blur the structure of the finite structure in…
All quasi-affine connected Generalized Dynkin Diagram with rank $= 5$ are found. All quasi-affine Nichols (Lie braided) algebras with rank $ 5$ are also found.
The absolute Galois group Gal$(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be presented as a highly computable object, under the notion of type-2 Turing computation. We formalize such a presentation…
For $l,n \in \mathbb{N}$ we define tonal partition algebra $P^l_n$ over $\mathbb{Z}[\delta]$. We construct modules $\{ \Delta_{\underline{\mu}} \}_{\underline{\mu}}$ for $P^l_n$ over $\mathbb{Z}[\delta]$, and hence over any integral domain…
This paper analyzes three forms of representation of Boolean functions, such as Classical, Algebraic and Reed-Muller. The concept of intersection and subsets of representation forms have been introduced, moreover suitable criteria for…
We study locally conformally balanced metrics on almost abelian Lie algebras, namely solvable Lie algebras admitting an abelian ideal of codimension one, providing characterizations in every dimension. Moreover, we classify six-dimensional…
We aim to completely formalize the rough topological analysis of integrable Hamiltonian systems admitting analytical solutions such that the initial phase variables along with the time derivatives of the auxiliary variables are expressed as…
There are 6 types of 2-dimensional representations in general. For any groups and any monoids, we can construct the moduli of 2-dimensional representations for each type: the moduli of absolutely irreducible representations, representations…