Complete Algebra Research Articles

On the coherency of completed group algebras

We investigate coherency properties of certain completed integral group rings.

Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra

Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra

Attribute implications with unknown information based on weak Heyting algebras

Simplification logic, a logic for attribute implications, was originally defined for Boolean sets. It was extended to distributive fuzzy sets by using a complete dual Heyting algebra. In this paper, we weaken this restriction in the sense that we prove that it is possible to define a simplification logic on fuzzy sets in which the membership value structure is not necessarily distributive. For this purpose, we replace the structure of the complete dual Heyting algebra by the so-called weak complete dual Heyting algebra. We demonstrate the soundness and completeness of this simplification logic, and provide a characterisation of the operations defining weak complete dual Heyting algebras.

Boundary overlaps from Functional Separation of Variables

In this paper we show how the Functional Separation of Variables (FSoV) method can be applied to the problem of computing overlaps with integrable boundary states in integrable systems. We demonstrate our general method on the example of a particular boundary state, a singlet of the symmetry group, in an su3\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathfrak{su}(3) $$\\end{document} rational spin chain in an alternating fundamental-anti-fundamental representation. The FSoV formalism allows us to compute in determinant form not only the overlaps of the boundary state with the eigenstates of the transfer matrix, but in fact with any factorisable state. This includes off-shell Bethe states, whose overlaps with the boundary state have been out of reach with other methods. Furthermore, we also found determinant representations for insertions of so-called Principal Operators (forming a complete algebra of all observables) between the boundary and the factorisable state as well as certain types of multiple insertions of Principal Operators. Concise formulas for the matrix elements of the boundary state in the SoV basis and suN\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathfrak{su}(N) $$\\end{document} generalisations are presented. Finally, we managed to construct a complete basis of integrable boundary states by repeated action of conserved charges on the singlet state. As a result, we are also able to compute the overlaps of all of these states with integral of motion eigenstates.

Profiniteness, monadicity and universal models in modal logic

Taking inspiration from the monadicity of complete atomic Boolean algebras, we prove that profinite modal algebras are monadic over Set. While analyzing the monadic functor, we recover the universal model construction - a construction widely used in the modal logic literature for describing finitely generated free modal algebras and the essentially finite generated subframes of their canonical models.

On Inner Derivations of Leibniz Algebras

Leibniz algebras are generalizations of Lie algebras. Similar to Lie algebras, inner derivations play a crucial role in characterizing complete Leibniz algebras. In this work, we demonstrate that the algebra of inner derivations of a Leibniz algebra can be decomposed into the sum of the algebra of left multiplications and a certain ideal. Furthermore, we show that the quotient of the algebra of derivations of the Leibniz algebra by this ideal yields a complete Lie algebra. Our results independently establish that any derivation of a semisimple Leibniz algebra can be expressed as a combination of three derivations. Additionally, we compare the properties of the algebra of inner derivations of Leibniz algebras with the algebra of central derivations.

Generalized quasiorders and the Galois connection End\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\ extbf {End}}$$\\end{document}–gQuord\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varvec{{{\\,\ extrm{gQuord}\\,}}}$$\\end{document}

Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations) ϱ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varrho $$\\end{document} have the property that an n-ary operation f preserves ϱ,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varrho ,$$\\end{document} i.e., f is a polymorphism of ϱ,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varrho ,$$\\end{document} if and only if each translation (i.e., unary polynomial function obtained from f by substituting constants) preserves ϱ,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varrho ,$$\\end{document} i.e., it is an endomorphism of ϱ.\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\varrho .$$\\end{document} We introduce a wider class of relations—called generalized quasiorders—of arbitrary arities with the same property. With these generalized quasiorders we can characterize all algebras whose clone of term operations is determined by its translations by the above property, what generalizes affine complete algebras. The results are based on the characterization of so-called u-closed monoids (i.e., the unary parts of clones with the above property) as Galois closures of the Galois connection End\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\ extrm{End}}$$\\end{document}–gQuord,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${{\\,\ extrm{gQuord}\\,}},$$\\end{document} i.e., as endomorphism monoids of generalized quasiorders. The minimal u-closed monoids are described explicitly.

Derivations in disjointly complete commutative regular algebras

We show that any nonexpansive derivation on a subalgebra of a dis-jointly complete commutative regular algebra extends up to a derivation on . For an algebra of functions , continuous on a dense open subset of Stone compact X, we establish that the lack of nontrivial derivation is equivalent to σ-distributivity of the Boolean algebra of clopen subsets of X. The field is an arbitrary normed field of charachteristic zero containing a complete non-discrete subfield. Our work is motivated by two seemingly unrelated problems due to Ayupov [2] and Wickstead [32].

Nonarchimedean bivariant $K$-theory

We introduce bivariant K -theory for nonarchimedean bornological algebras over a complete discrete valuation ring V . This is the universal target for dagger homotopy invariant, matrically stable, and excisive functors, similar to bivariant K -theory for locally convex topological \mathbb{C} -algebras and algebraic bivariant K -theory. As in the archimedean case, we use the universal property to construct a bivariant Chern character into analytic and periodic cyclic homology. When the first variable is the ground algebra V , we get a version of Weibel’s homotopy algebraic K -theory, which we call stabilised overconvergent analytic K -theory . The resulting analytic K -theory satisfies dagger homotopy invariance, stability by completed matrix algebras, and excision.

The N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathcal{N} $$\\end{document} = 2, 4 supersymmetric linear W∞[λ] algebras for generic λ parameter

The four different kinds of currents are given by the multiple (β, γ) and (b, c) ghost systems with a multiple product of derivatives. We determine their complete algebra where the structure constants depend on the deformation parameter λ appearing in the conformal weights of above fields nontrivially and depend on the generic spins h1 and h2 appearing on the left hand sides in the (anti)commutators. By taking the linear combinations of these currents, the N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathcal{N} $$\\end{document} = 4 supersymmetric linear W∞[λ] algebra (and its N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathcal{N} $$\\end{document} = 4 superspace description) for generic λ is obtained explicitly. Moreover, we determine the N\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\mathcal{N} $$\\end{document} = 2 supersymmetric linear W∞[λ] algebra for arbitrary λ. As a by product, the λ deformed bosonic W1+∞[λ] × W1+∞λ+12\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ \\left[\\lambda +\\frac{1}{2}\\right] $$\\end{document} subalgebra (a generalization of Pope, Romans and Shen’s work in 1990) is obtained. The first factor is realized by (b, c) fermionic fields while the second factor is realized by (β, γ) bosonic fields. The degrees of the polynomials in λ for the structure constants are given by (h1 + h2 – 2). Each w1+∞ algebra from the celestial holography is reproduced by taking the vanishing limit of other deformation prameter q at λ = 0 with the contractions of the currents.

On derivations of Leibniz algebras

<p>Leibniz algebras are non-antisymmetric generalizations of Lie algebras. In this paper, we investigate the properties of complete Leibniz algebras under certain conditions on their extensions. Additionally, we explore the properties of derivations and direct sums of Leibniz algebras, proving several results analogous to those in Lie algebras.</p>

Матрична алгебра В як евклідовий простір

Representation of information by means of hypercomplex numerical systems is used in various problems of science and technology: in classical mechanics, solid body mechanics, electrodynamics, radio electronics, computer animation, and others [1]. Often a hypercomplex system (that is, a system whose elements are considered to be hypercomplex numbers) is understood as any finite-dimensional algebra over a field. An important place among such algebraic structures is occupied by matrix algebras. The impossibility of constructing algebras with division does not at all mean the impossibility of constructing algebras without division, but their properties are close to the first ones (use of defined division). Since each algebra of finite rank can be monomorphically immersed in some complete matrix algebra, this caused, so to speak, an inverse approach to the construction of new algebras. A certain subalgebra stands out from a complete matrix algebra, which is a matrix representation of an algebra of finite rank. It is the implementation of such an approach that makes it possible to endow elements of algebra of finite rank with matrix characteristics, in particular, a canonical representation of algebra elements is constructed through the spectral representation of a matrix, and the algebra itself is endowed with a topological structure through one of the matrix norms. At the same time, an additional condition is often imposed, that it be an algebra over the field of real or complex numbers. The article constructs a real algebra of finite rank, the elements of which are matrices of the second order with the same sum of rows and columns. We endowed it with a norm and a scalar product, demonstrating that it is a Euclidean space. This algebra is a matrix representation of the algebra of hypercomplex numbers, which we called binary in our research [4].

The hierarchical relations among mathematical competencies: From fundamental numeracy to complex mathematical skills.

Mathematical competencies can be conceptualized as layers of knowledge, with numeracy skills as the foundational core and more complex mathematical skills as the additional layers over the core. In this study, we tested an expanded hierarchical symbol integration (HSI) model by examining the hierarchical relations among mathematical skills. Undergraduate students (N = 236) completed order judgement, simple arithmetic, fraction arithmetic, algebra, and verbal working memory tasks. In a series of hierarchical multiple regressions, we found support for the hierarchical model: Additive skills (i.e., addition and subtraction) predicted unique variance in multiplicative skills (i.e., multiplication and division); multiplicative skills predicted unique variance in fraction arithmetic; and fraction skills predicted unique variance in algebra. These results support the framework of the HSI model in which mathematical competencies are related hierarchically, capturing the increasing complexity of symbolic mathematical skills. (PsycInfo Database Record (c) 2023 APA, all rights reserved).

Lie triple derivations of dihedron algebra

Let K be a 2-torsion free unital ring and D(K) be dihedron algebra over K. In the present article, we prove that every Lie triple derivation of D(K) can be written as the sum of the Lie triple derivation of K, Jordan triple derivation of K, and some inner derivation of D. We also prove that a generalized Lie triple derivation ϱ:D(K)→D(K) associated with the Lie triple derivation h:D(K)→D(K) exists if ϱ can be represented in the form ϱ(τ) = h(τ) + λτ, where λ lies in the center of D(K). We finally conclude that to obtain the complete algebra of the Lie triple derivation and generalized Lie triple of D(K), we first need to find the Lie triple derivation and Jordan triple derivation of K.

Categorical extension of dualities: From Stone to de Vries and beyond, II

Under a general categorical procedure for the extension of dual equivalences as presented in this paper's predecessor, a new algebraically defined category is established that is dually equivalent to the category LKHaus of locally compact Hausdorff spaces and continuous maps, with the dual equivalence extending a Stone-type duality for the category of extremally disconnected locally compact Hausdorff spaces and continuous maps. The new category is then shown to be isomorphic to the category CLCA of complete local contact algebras and suitable morphisms. Thereby, a new proof is presented for the equivalence LKHaus≃CLCAop that was obtained by the first author more than a decade ago. Unlike the morphisms of CLCA, the morphisms of the new category and their composition law are very natural and easy to handle.

McKinsey-Tarski algebras: An alternative pointfree approach to topology

McKinsey and Tarski initiated the study of interior algebras. We propose complete interior algebras as an alternative pointfree approach to topology. We term these algebras McKinsey-Tarski algebras or simply MT-algebras. Associating with each MT-algebra the lattice of its open elements defines a functor from the category of MT-algebras to the category of frames, which we study in depth. We also study the dual adjunction between the categories of MT-algebras and topological spaces, and show that MT-algebras provide a faithful generalization of topological spaces. Our main emphasis is on developing a unified approach to separation axioms in the language of MT-algebras, which generalizes separation axioms for both topological spaces and frames.

Biderivations of complete Lie algebras

The authors of this article intend to present some results obtained in the study of biderivations of complete Lie algebras. Firstly they present a matricial approach to do this, which was a useful and explanatory tool not only in the study of biderivations but also in the synthesis of these results. Then they study all biderivations of a Lie algebra [Formula: see text] with [Formula: see text] and [Formula: see text], called complete. Moreover, as an application of the previous result, they describe all biderivations of a semisimple Lie algebra (that are complete), extending a result obtained by Tang in [X. Tang, Biderivations of finite-dimensional complex simple Lie algebras, Linear Multilinear Algebra 66(2) (2018) 250–259] that describes all biderivations of a complex simple Lie algebra. And thirdly, results on symmetric and skew-symmetric biderivations are also presented.

Leibniz algebras whose solvable ideal is the maximal extension of the nilradical

The paper is devoted to the so-called complete Leibniz algebras. It is known that a Lie algebra with a complete ideal is split. We will prove that this result is valid for Leibniz algebras whose complete ideal is a solvable algebra such that the codimension of nilradical is equal to the number of generators of the nilradical.

Algebraic valuation ring extensions as limits of complete intersection algebras

We show that an algebraic immediate valuation ring extension of characteristic $$p>0$$ is a filtered union of complete intersection algebras of finite type.

From Contact Relations to Modal Operators, and Back

One of the standard axioms for Boolean contact algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. Our intention is to examine a stronger version of this axiom according to which if x is in contact with the supremum of some family S of regions, then there is a y in S that is in contact with x. We study a modal possibility operator which is definable in complete algebras in the presence of the aforementioned axiom, and we prove that the class of complete algebras satisfying the axiom is closely related to the class of modal KTB-algebras. We also demonstrate that in the class of complete extensional contact algebras the axiom is equivalent to the statement: every region is isolated. Finally, we present an interpretation of the modal operator in the class of the so-called resolution contact algebras.