Search

In this paper, an analog of the conformable fractional derivative is defined in an arbitrary finite-dimensional commutative associative algebra. Functions taking values in the indicated algebras and having derivatives in the sense of a conformable fractional derivative are called φ-monogenic. A relation between the concepts of φ-monogenic and monogenic functions in such algebras has been established. Two new definitions have been proposed for the fractional derivative of the functions with values in finite-dimensional commutative associative algebras. [ABSTRACT FROM AUTHOR]

The words "Programming is the second literacy" were coined more than 40 years ago [13], but never came to life. The paper develops and details that old slogan by proposing that the mainstream mathematics education in schools should merge with education in computer science/programming. Of course, this means a deep structural reform of school mathematics education. We are not talking about adapting the 20th century mathematics to the 21st century—as it outlined in [10, 19], we mean the 21st century mathematics education for the 21st century mathematics. To the best of our knowledge, this paper is perhaps the first known attempt to start a proper feasibility study for this reform. The scope of the paper does not allow us to touch the delicate socio-political (and financial) sides of the reform, we are looking only at general curricular and didactic aspects and possible directions of the reform. In particular, we indicate approaches to development of a Domain Specifiic Language (DSL) as a basis for all programming aspects of a new course. [ABSTRACT FROM AUTHOR]

The purpose of this paper is to compare the notion of a Grzegorczyk point introduced in [19] (and thoroughly investigated in [3, 14, 16, 18]) to the standard notions of a filter in Boolean algebras and round filter in Boolean contact algebras. In particular, we compare Grzegorczyk points to filters and ultrafilters of atomic and atomless algebras. We also prove how a certain extra axiom influences topological spaces for Grzegorczyk contact algebras. Last but not least, we do not refrain from a philosophical interpretation of the results from the paper. [ABSTRACT FROM AUTHOR]

In this paper, we present an extended dissipaton equation of motion for studying the dynamics of electronic impurity systems. Compared with the original theoretical formalism, the quadratic couplings are introduced into the Hamiltonian accounting for the interaction between the impurity and its surrounding environment. By exploiting the quadratic fermionic dissipaton algebra, the proposed extended dissipaton equation of motion offers a powerful tool for studying the dynamical behaviors of electronic impurity systems, particularly in situations where nonequilibrium and strongly correlated effects play significant roles. Numerical demonstrations are carried out to investigate the temperature dependence of the Kondo resonance in the Kondo impurity model. [ABSTRACT FROM AUTHOR]

As is well-known, the subalgebras of any universal algebra form an algebraic closure system. Conversely, every algebraic closure system arises as the family of subalgebras of some universal algebra, but this algebra is far from uniquely determined. This paper investigates the realization of algebraic closure systems by algebras given either by a single operation or by operations of the lowest arity. In particular, it is shown that an algebraic closure system with arity n in which the empty set is closed and every finitely generated closed set is countable can be realized by a single (n + 1) -ary operation. The algebraic closure system of cosets on any group is realized by the single ternary Mal'cev term x y - 1 z . It is shown that the closure system of cosets on an Abelian group A can be realized by a single binary operation if and only if A has at most one element of order 2. Similar results are obtained for modules over an arbitrary ring. [ABSTRACT FROM AUTHOR]

In this paper, we introduce the concept and representations of modified λ-differential Hom-Lie algebras. We then develop the cohomology of modified λ-differential Hom-Lie algebras with coefficients in a suitable representation. As applications, abelian extensions and skeletal modified λ-differential Hom-Lie 2-algebras are characterized in terms of cohomology groups. [ABSTRACT FROM AUTHOR]

In this paper, we introduce the concept of a Quasi B-algebra, building upon the foundational work on Post algebras by G. Epstein and the investigation of semi B-algebras. We systematically explore the properties of Quasi B-algebras, establishing equivalent conditions for the transition from a semi B-algebra to a Quasi B-algebra. [ABSTRACT FROM AUTHOR]

This is a noticeably short biography and introductory paper on multiplier Hopf algebras. It delves into questions regarding the significance of this abstract construction and the motivation behind its creation. It also concerns quantum linear groups, especially the coordinate ring of Mq(n) and the observation that K [Mq(n)] is a quadratic algebra, and can be equipped with a multiplier Hopf ∗-algebra structure in the sense of quantum permutation groups developed byWang and an observation by Rollier–Vaes. In our next paper, we will propose the study of multiplier Hopf graph algebras. The current paper can be viewed as a precursor to this upcoming work, serving as a crucial intermediary bridging the gap between the abstract concept of multiplier Hopf algebras and the well-developed field of graph theory, thereby establishing connections between them! This survey review paper is dedicated to the 78th birthday anniversary of Professor Alfons Van Daele. [ABSTRACT FROM AUTHOR]

Copyright of Proceedings of the Estonian Academy of Sciences is the property of Teaduste Akadeemia Kirjastus and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Let R be a ring of dimension d ≥ 1 containing ℚ and A = R [ X , Y , Z , W ] (X Y − Z W) . This paper examines the question of efficient generation of ideals in A. [ABSTRACT FROM AUTHOR]

Let and ′ be two ∗-Jordan algebras with identities I and I ′ , respectively, and e a nontrivial ∗-idempotent in . In this paper, we study the characterization of multiplicative ∗-Jordan-type maps. In particular, we provide a characterization in the case of unital prime associative algebra endowed with an involution. [ABSTRACT FROM AUTHOR]

Let K be a field and S = K[x1,..., xn] a standard polynomial ring over K. In this paper, we give new combinatorial algorithms to compute the smallest t-spread lexicographic set and the smallest t-spread strongly stable set containing a given set of t-spread monomials of S. Some technical tools allowing to compute the cardinality of t-spread strongly stable sets avoiding their construction are also presented. Such functions are also implemented in a Macaulay2 package, TSpreadIdeals, to ease the computation of well-known results about algebraic invariants for t-spread ideals. [ABSTRACT FROM AUTHOR]

Let D be a strongly double triangle subspace lattice on a nonzero complex reflexive Banach space. In this paper, we characterize the linear maps δ, τ: AlgD → AlgD satisfying δ(A)B+ Aτ(B) = 0 for any A, B ∈ AlgD with AB = 0. This result can be used to characterize linear maps derivable (centralized) at zero point and local centralizers on AlgD, respectively. [ABSTRACT FROM AUTHOR]

This paper proposes a systematic method for the identification of the load circuit parameters (say the $\boldsymbol{R}$ , $\boldsymbol{L}$ , and $\boldsymbol{C}$ elements) based only on the information of the instantaneous voltage and current measured at the point of common coupling (pcc). Geometric Algebra (GA) and concepts of differential geometry are used to produce a rigorous mathematical framework. The identification is formulated as a multidimensional geometrical problem that is solved conveniently by means of GA. Once the passive elements of the load have been identified, the active and reactive powers can be computed from first electromagnetic principles (Maxwell Equations). The theory is general and is verified with linear and nonlinear circuits. The paper shows single-phase circuits but the theory can be extended to three-phase circuits. The method is easy to program and has shown to be very robust for all tested cases. Because of its generality, the method presented will find applications beyond electric circuits. [ABSTRACT FROM AUTHOR]

Important connections in representation theory arise from resolving a finite-dimensional algebra by an endomorphism algebra of a generator-cogenerator with finite global dimension; for instance, Auslander's correspondence, classical Schur–Weyl duality and Soergel's Struktursatz. Here, the module category of the resolution and the module category of the algebra being resolved are linked via an exact functor known as the Schur functor. In this paper, we investigate how to measure the quality of the connection between module categories of (projective) Noetherian algebras, B, and module categories of endomorphism algebras of generator-relative cogenerators over B which are split quasi-hereditary Noetherian algebras. In particular, we are interested in finding, if it exists, the highest degree n so that the endomorphism algebra of a generator-cogenerator provides an n-faithful cover, in the sense of Rouquier, of B. The degree n is known as the Hemmer–Nakano dimension of the standard modules. We prove that, in general, the Hemmer–Nakano dimension of standard modules with respect to a Schur functor from a split highest weight category over a field to the module category of a finite-dimensional algebra B is bounded above by the number of non-isomorphic simple modules of B. We establish methods for reducing computations of Hemmer–Nakano dimensions in the integral setup to computations of Hemmer–Nakano dimensions over finite-dimensional algebras, and vice-versa. In addition, we extend the framework to study Hemmer–Nakano dimensions of arbitrary resolving subcategories. In this setup, we find that the relative dominant dimension over (projective) Noetherian algebras is an important tool in the computation of these degrees, extending the previous work of Fang and Koenig. In particular, this theory allows us to derive results for Schur algebras and the BGG category \mathcal {O} in the integral setup from the finite-dimensional case. More precisely, we use the relative dominant dimension of Schur algebras to completely determine the Hemmer–Nakano dimension of standard modules with respect to Schur functors between module categories of Schur algebras over regular Noetherian rings and module categories of group algebras of symmetric groups over regular Noetherian rings. We exhibit several structural properties of deformations of the blocks of the Bernstein-Gelfand-Gelfand category \mathcal {O} establishing an integral version of Soergel's Struktursatz. We show that deformations of the combinatorial Soergel's functor have better homological properties than the classical one. [ABSTRACT FROM AUTHOR]

In a recent paper, the author defined an operation of tensor product for a large class of 2-representations of U + , the positive half of the 2-category associated to sl 2. In this paper, we prove that the operation extends to give an operation of tensor product for 2-representations of the full 2-category U : when the inputs are 2-representations of the full U , the 2-product is also a 2-representation of the full U. As in the previous paper, the 2-product is given for a simple 2-representation L (1) and an abelian 2-representation V taken from the 2-category of algebras. This is the first construction of an operation of tensor product for higher representations of a full Lie algebra in the abelian setting. [ABSTRACT FROM AUTHOR]

In this paper, we make use of the simultaneous decomposition of eight quaternion matrices to study the solvability conditions and general solutions to a system of two-sided coupled Sylvester-type quaternion matrix equations A i X i C i + B i X i + 1 D i = Ω i , i = 1 , 2 , 3 , 4. We design an algorithm to compute the general solution to the system and give a numerical example. Additionally, we consider the application of the system in the encryption and decryption of color images. [ABSTRACT FROM AUTHOR]

Let A be a unital A-algebra containing a non-trivial projection. In this paper, we prove that if a map Ω: A → A such that Ω([K, F]A ⊙ D) = [Ω(K), F]A ⊙ D + [K, Ω(F)]A ⊙ D + [K, F]A ⊙ Ω(D), where [K, F]A = KF - FKA and K ⊙ F = KAF + FKA for all K, F, D ∈ A, then Ω is an additive A-derivation. Furthermore, we extend its results on factor von Neumann algebras, standard operator algebras and prime A-algebras. Additionally, we provide an example illustrating the existence of such maps. [ABSTRACT FROM AUTHOR]

This paper discusses the problem of marking constraints in a class of partially controllable timed Petri nets. Specifically, these are Timed Event Graphs (TEGs) which include disturbed input transitions and which are subject to token capacity constraints in some paths. Using the Min-Plus algebra formalism, formal approaches are proposed to design causal control laws to guarantee compliance with marking constraints in TEGs. Sufficient conditions are defined to show the existence and synthesis of these controllers. The developed methodologies are illustrated in a case study of a disassembly system with a limited stock of components. [ABSTRACT FROM AUTHOR]

The goal of the present paper is to provide a cohomology theory and crossed modules of modified Rota–Baxter pre-Lie algebras. We introduce the notion of a modified Rota–Baxter pre-Lie algebra and its bimodule. We define a cohomology of modified Rota–Baxter pre-Lie algebras with coefficients in a suitable bimodule. Furthermore, we study the infinitesimal deformations and abelian extensions of modified Rota–Baxter pre-Lie algebras and relate them with the second cohomology groups. Finally, we investigate skeletal and strict modified Rota–Baxter pre-Lie 2-algebras. We show that skeletal modified Rota–Baxter pre-Lie 2-algebras can be classified into the third cohomology group, and strict modified Rota–Baxter pre-Lie 2-algebras are equivalent to the crossed modules of modified Rota–Baxter pre-Lie algebras. [ABSTRACT FROM AUTHOR]

Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and to utilize the representation theory of the symmetric group. But this technique is unavailable in characteristic p > 0. An alternative method, which succeeds, is the process of "hiking" a polynomial, in which one specializes its indeterminates in several stages, to obtain a polynomial in which Capelli polynomial is embedded, in order to get control on its evaluations. This method was utilized on homogeneous polynomials in the proof of Specht's conjecture for affine algebras over fields of positive characteristic. In this paper, we develop hiking further to nonhomogeneous polynomials, to apply to the "representability question." Kemer proved in 1988 that every affine relatively free PI algebra over an infinite field, is representable. In 2010, the first author of this paper proved more generally that every affine relatively free PI algebra over any commutative Noetherian unital ring is representable [A. Belov, Local finite basis property and local representability of varieties of associative rings, Izv. Russian Acad. Sci. (1) (2010) 3–134. English Translation Izv. Math. 74(1) (2010) 1–126]. We present a different, complete, proof, based on hiking nonhomogeneous polynomials, over finite fields. We then obtain the full result over a Noetherian commutative ring, using Noetherian induction on T-ideals. The bulk of the proof is for the case of a base field of positive characteristic. Here, whereas the usage of hiking is more direct than in proving Specht's conjecture, one must consider nonhomogeneous polynomials when the base ring is finite, which entails certain difficulties to be overcome. In Appendix A, we show how hiking can be adapted to prove the involutory versions, as well as various graded and nonassociative theorems. [ABSTRACT FROM AUTHOR]

Let k be a field, let n ≥ 2 be a nonsquarefree integer not divisible by the characteristic of k. Assume that all roots of unity of degree n are contained in k. In the first part of the paper we consider pairs of symbol algebras over k with common slots D 1 ≃ (e , x) n ≃ (r , u) n , D 2 ≃ (e , y) n ≃ (r , v) n , exp D 1 = exp D 2 = n , and show that in general (e , x , y) n ≠ (r , u , v) n. As a consequence we prove that in general it is impossible to connect the pair { (e , x) n ; (e , y) n } and the pair { (r , u) n ; (r , v) n } by a chain of pairs of symbol algebras with a common slot and isomorphic to (D 1 ; D 2) in such a way that any two neighboring pairs in the chain are obtained from one another by a "natural" transformation. In the second part of the paper we prove that in contrast to the case n = 2 for any n divisible by 4 there exist symbol algebras D 1 , D 2 with deg ⁡ D 1 = deg ⁡ D 2 = n and exp D 1 = exp D 2 = n without common slot such that i D 1 + j D 2 is a symbol algebra of degree n for any i , j ∈ Z. [ABSTRACT FROM AUTHOR]

Quantum groups occupy a significant position in both mathematics and physics, contributing to progress in these fields. It is interesting to obtain new quantum groups by the quantization of Lie bialgebras. In this paper, the quantization of the rank two Heisenberg–Virasoro algebra by Drinfel'd twists is presented, Lie bialgebra structures of which have been investigated by the authors recently. [ABSTRACT FROM AUTHOR]

Let $ n \geq ~2 $ n ≥ 2 be a natural number, and denote by $ \mathcal {M}_{n} $ M n the algebra of all $ n \times n $ n × n matrices over an algebraically closed field $ \mathbb {F} $ F of zero characteristic. Let also $ K_{1} $ K 1 and $ K_{2} $ K 2 be two non-empty proper subsets of $ \mathbb {F} $ F . In this paper, we characterize linear maps φ on $ \mathcal {M}_{n} $ M n having the property that, for every $ T \in \mathcal {M}_{n} $ T ∈ M n , the spectrum of T is a subset of $ K_1 $ K 1 if and only if the spectrum of $ \varphi (T) $ φ (T) is a subset of $ K_2 $ K 2 . We obtain a similar caracterization for the case when $ K_{1} $ K 1 and $ K_{2} $ K 2 have both at most n elements, working with the equality of the spectrum to the fixed subsets instead of the inclusion. [ABSTRACT FROM AUTHOR]

In 2022, Bantaojai et al. [3] introduced an algebra structure called Bd-algebras. In this paper, we define a new notion called fuzzy Bd-ideals of Bd-algebras and study some of its basic properties. Moreover, we characterize fuzzy Bd-ideals by the different types of their level subsets in Bd-algebras. [ABSTRACT FROM AUTHOR]

In this paper, we focus on terms with fixed variables count, terms under which the total numbers of occurrences of variables in each position are equal. Moreover, we determine conditions for which the set of terms with fixed variables count is closed under the generalized superposition. Furthermore, we form the partial algebras of such terms satisfying certain axioms as weak identities. [ABSTRACT FROM AUTHOR]

In this paper, we establish a new eight-dimensional algebra callked KAH-Octo. Moreover, we study subalgebras aand give some properties of the algebra such as division, isomorphism, simple, semi-simple, Jordan, Malcev, among others. Furthermore, we give some applications to some interesting areas of mathematics such as cryptography. [ABSTRACT FROM AUTHOR]

In this paper, we give another definition of Ruston elements and almost Ruston elements, which is equivalent to the definitions given by Mouton and Raubenheimer in the case that the homomorphism has a closed range and Riesz property. For two homomorphisms, we consider the preserver problems of Fredholm theory and Fredholm spectrum theory. In addition, we study the spectral mapping theorems of Fredholm (Weyl, Browder, Ruston, and almost Ruston) elements relative to a homomorphism. Last but not least, the dependence of Fredholm theory on three homomorphisms is considered, and meanwhile, the transitivity of Fredholm theory relative to three homomorphisms is illustrated. Furthermore, we consider the Fredholm theory relative to more homomorphisms. [ABSTRACT FROM AUTHOR]

Let X be a finite connected poset, K a field of characteristic zero and I (X , K) the incidence algebra of X over K seen as a Lie algebra under the commutator product. In the first part of the paper we show that any 1 2 -derivation of I (X , K) decomposes into the sum of a central-valued 1 2 -derivation, an inner 1 2 -derivation and a 1 2 -derivation associated with a map σ : X < 2 → K that is constant on chains and cycles in X. In the second part of the paper we use this result to prove that any transposed Poisson structure on I (X , K) is the sum of a structure of Poisson type, a mutational structure and a structure determined by λ : X e 2 → K , where X e 2 is the set of (x , y) ∈ X 2 such that x < y is a maximal chain not contained in a cycle. [ABSTRACT FROM AUTHOR]

Let k be an algebraically closed field of characteristic 0. We study some cohomological properties of Lie subalgebras of the Witt algebra W = Der (k [ t , t − 1 ]) and the one-sided Witt algebra W ≥ − 1 = Der (k [ t ]). In the first part of the paper, we consider finite codimension subalgebras of W ≥ − 1. We compute derivations and one-dimensional extensions of such subalgebras. These correspond to Ext U (L) 1 (M , L) , where L is a subalgebra of W ≥ − 1 and M is a one-dimensional representation of L. We find that these subalgebras exhibit a kind of rigidity: their derivations and extensions are controlled by the full one-sided Witt algebra. As an application of these computations, we prove that any isomorphism between finite codimension subalgebras of W ≥ − 1 extends to an automorphism of W ≥ − 1. The second part of the paper is devoted to explaining the observed rigidity. We define a notion of "completely non-split extension" and prove that W ≥ − 1 is the universal completely non-split extension of any of its subalgebras of finite codimension. In some sense, this means that even when studying subalgebras of W ≥ − 1 as abstract Lie algebras, they remember that they are contained in W ≥ − 1. We also consider subalgebras of infinite codimension, explaining the similarities and differences between the finite and infinite codimension situations. Almost all of the results above are also true for subalgebras of the Witt algebra. We summarise results for W at the end of the paper. [ABSTRACT FROM AUTHOR]

This study presents the problem of spreading non fatal disease in a population by using the Morgan-Voyce collocation method. The main aim of this paper is to find the exact solutions of the SIR model with vaccination. The problem may be modelled mathematically with a nonlinear system of ordinary differential equations. The presented method reduces the problem into a nonlinear algebraic system of equations by using unknown coefficient Morgan-Voyce polynomials and expanding approximate solutions. Morgan-Voyce polynomials are used. These unknown coefficients are calculated via the collocation method and matrix operation derivations. Two examples are given to show the feasibility of the method. To calculate the solutions, MATLAB R2021a is used. Additionally, comparing our method to the Homotopy perturbation method (HPM) and the Laplace Adomian decomposition method (LADM) proves the accuracy of the solution. The method studied can be seen as effective from these comparisons. So, it is essential to find solutions for the governing model. The study will contribute to literature since we also discuss the vaccination situation. The results of this study are valuable for controlling an epidemic. [ABSTRACT FROM AUTHOR]

In this paper, we discuss the Lie algebra bundles defined by Jordan algebra bundles of finite type over an arbitrary topological space and observe that such Lie algebra bundles are also of finite type. Also, we examine some ideal bundles of Lie algebra bundles defined by semisimple Jordan algebra bundles of finite type. [ABSTRACT FROM AUTHOR]

In this paper, we introduce and study the concept of hyper-instability as a strong version of multiplicative instability. This concept provides a powerful tool to study the multiplicative instability of Banach algebras. It replaces the condition of the iterated limits in the definition of multiplicative instability with conditions that are easier to examine. In particular, special conditions are suggested for Banach algebras that admit bounded approximate identities. Moreover, these conditions are preserved under isomorphisms. This enlarges the class of studied Banach algebras. We prove that many interesting Banach algebras are hyper-unstable, such as C-algebras, Fourier algebras, and the algebra of compact operators on Banach spaces, each under certain conditions. [ABSTRACT FROM AUTHOR]

The main purpose of this paper is to investigate the type of monadic bounded L-algebras as L-algebras equipped with two monadic operators, named universal quantifier "∀" and existential quantifier "∃", respectively. First, we investigate the properties of pre-ideals on L-algebras and the pre-ideal generated by a nonempty subset of an L-algebra is defined. Second, we investigate monadic bounded L-algebras and monadic pre-ideals in monadic bounded L-algebras. Moreover, the relation between monadic bounded L-algebras and monadic quantum B-algebras is discussed. Finally, the relations among monadic self-similar L-algebras and other monadic structures are discussed, such as monadic (left) hoops, monadic Wajsberg hoops and monadic MV-algebras. Moreover, we obtain a characterization of monadic bounded L-algebras and monadic bounded self-similar L-algebras by relatively complete subalgebras and m-relatively complete subalgebras, respectively. These results are important to the further study of logical system with monadic operators. [ABSTRACT FROM AUTHOR]

In this paper, we introduce the notion of similarity monadic MTL-algebras and study some of their related basic algebraic properties. Then we introduce and investigate similarity monadic filters of similarity monadic MTL-algebras. In particular, by means of similarity monadic filters, we give some characterizations of representable similarity monadic MTL-algebras. Finally, we introduce the logic of similarity monadic MTL-algebras and prove the completeness of them. [ABSTRACT FROM AUTHOR]

Let 퓟n := H*((ℝP∞)n) ≅ ℤ2[x1, x2, ..., xn] be the graded polynomial algebra over ℤ2, where ℤ2 denotes the prime field of two elements. We investigate the Peterson hit problem for the polynomial algebra 퓟n, viewed as a graded left module over the mod-2 Steenrod algebra, 퓐. For n > 4, this problem is still unsolved, even in the case of n = 5 with the help of computers. In this article, we study the hit problem for the case n = 6 in the generic degree dr = 6(2r − 1) + 4.2r with r an arbitrary non-negative integer. By considering ℤ2 as a trivial 퓐-module, then the hit problem is equivalent to the problem of finding a basis of ℤ2-vector space ℤ2 ⊗퓐퓟n. The main goal of the current article is to explicitly determine an admissible monomial basis of the ℤ2 vector space ℤ2 ⊗퓐퓟6 in some degrees. As an application, the behavior of the sixth Singer algebraic transfer in the degree 6(2r − 1) + 4.2r is also discussed at the end of this paper. [ABSTRACT FROM AUTHOR]

In this paper, we define and study the variety of tense modal pseudocomplemented De Morgan algebras. This variety is a proper subvariety of the variety of tense tetravalent modal algebras. A tense modal pseudocomplemented De Morgan algebra is a modal pseudocomplemented De Morgan algebra endowed with two tense operators G and H satisfying additional conditions. Also, the variety of tense modal pseudocomplemented De Morgan algebras is intimately connected with some well-known varieties of De Morgan algebras with tense operators. [ABSTRACT FROM AUTHOR]

In this paper, we present a modality-free pre-rough algebra. Łukasiewicz Moisil algebra and Wajsberg algebra are equivalent under a transformation. A similar type of equivalence exists in our proposed definition and standard definition of pre-rough algebra. We obtain a few modality-free algebras weaker than pre-rough algebra. Furthermore, it is also established that modality-free versions for other analogous structures weaker than pre-rough algebra do not exist. Both Hilbert-type axiomatization and sequent calculi for all proposed algebras are presented. [ABSTRACT FROM AUTHOR]

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. [ABSTRACT FROM AUTHOR]

Convolution plays a pivotal role in the domains of signal processing and optics. This paper primarily focuses on studying the weighted convolution for quaternion linear canonical cosine transform (QLCcT) and its application in multiplicative filter analysis. Firstly, we propose QLCcT by combining quaternion algebra with linear canonical cosine transform (LCcT), which extends LCcT to Hamiltonian quaternion algebra. Secondly, we introduce weighted convolution and correlation operations for QLCcT, accompanied by their corresponding theorems. We also explore the properties of QLCcT. Thirdly, we utilize these proposed convolution structures to analyze multiplicative filter models that offer lower computational complexity compared to existing methods based on quaternion linear canonical transform (QLCT). Additionally, we discuss the rationale behind studying such transforms using quaternion functions as an illustrative example. [ABSTRACT FROM AUTHOR]

One of the most relevant topics in web theory is linearization. A particular class of linearizable webs is the Grassmannizable web. Akivis gave a characterization of such a web, showing that Grassmannizable webs are equivalent to isoclinic and transversally geodesic webs. The obstructions given by Akivis that characterize isoclinic and transversally geodesic webs are computed locally, and it is difficult to give them an interpretation in relation to torsion or curvature of the unique Chern connection associated with a web. In this paper, using Nagy's web formalism, Frölisher—Nejenhuis theory for derivation associated with vector differential forms, and Grifone's connection theory for tensorial algebra on the tangent bundle, we find invariants associated with almost-Grassmann structures expressed in terms of torsion, curvature, and Nagy's tensors, and we provide an interpretation in terms of these invariants for the isoclinic, transversally geodesic, Grassmannizable, and parallelizable webs. [ABSTRACT FROM AUTHOR]

In this paper, we define a cohomology theory of a modified λ -differential left-symmetric algebra. Moreover, we introduce the notion of modified λ -differential left-symmetric 2-algebras, which is the categorization of a modified λ -differential left-symmetric algebra. As applications of cohomology, we classify linear deformations and abelian extensions of modified λ -differential left-symmetric algebras using the second cohomology group and classify skeletal modified λ -differential left-symmetric 2-algebra using the third cohomology group. Finally, we show that strict modified λ -differential left-symmetric 2-algebras are equivalent to crossed modules of modified λ -differential left-symmetric algebras. [ABSTRACT FROM AUTHOR]

In this paper, we provide some properties of k-potent elements in algebras obtained by the Cayley–Dickson process over Z p . Moreover, we find a structure of nonunitary ring over Fibonacci quaternions over Z 3 and we present a method to encrypt plain texts, by using invertible elements in some of these algebras. [ABSTRACT FROM AUTHOR]

In this paper we investigate left ideals as codes in twisted skew group rings. The considered rings, which are in most cases algebras over a finite field, allow us to retrieve many of the well-known codes. The presentation, given here, unifies the concept of group codes, twisted group codes and skew group codes. [ABSTRACT FROM AUTHOR]

In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were provided by using such concepts. We defined the concepts of (∈, ∈) and (∈, ∈ ∨ q)-fuzzy ideals of equality algebras, discussed some properties, and found some equivalent definitions of them. In addition, we investigated the relation between different kinds of (α, β)-fuzzy subalgebras and (α, β)-fuzzy ideals on equality algebras. Also, by using the notion of (∈, ∈)-fuzzy ideal, we defined two equivalence relations on equality algebras and we introduced an order on classes of X, and we proved that the set of all classes of X by these order is a poset. [ABSTRACT FROM AUTHOR]

In this paper, we construct a symbol calculus yielding short exact sequences for the dual Toeplitz algebra generated by all bounded dual Toeplitz operators on the Hardy space associated with the polydisk D n in the unitary space C n , that have been introduced and well studied in our earlier paper (Benaissa and Guediri in Taiwan J Math 19: 31–49, 2015), as well as for the C*-subalgebra generated by dual Toeplitz operators with symbols continuous on the associated hypertorus T n . [ABSTRACT FROM AUTHOR]

Let p 1 , p 2 , ... , p r , q be distinct primes, q odd. Let m = ∏ i = 1 r p i , where r ≥ 2 be an integer. In this paper, it is observed that the explicit expressions of primitive idempotents from R p i are sufficient to compute the explicit expressions of primitive idempotent in semisimple ring R m = F q [ x ] / (x m − 1). It is also shown that the results obtained in [A. Sahni and P. T. Sehgal, Minimal cyclic codes of length p n q , Finite Fields Appl. 18(5) (2012) 1017–1036; P. Kumar and S. K. Arora, λ -mapping and primitive idempotents in semisimple ring ℜ m , Comm. Algebra 41(10) (2013) 3679–3694] are simple corollaries to the results obtained in the paper. [ABSTRACT FROM AUTHOR]

This study discusses the use of quaternions and dual quaternions in the description of artificial fish kinematics. The investigation offered here illustrates quaternion and dual quaternion algebra, as well as its implementation in the software chosen. When it comes to numerical stability, quaternions are better than matrices because a normalised quaternion always shows the correct rotation, while a matrix more easily loses its orthogonality due to rounding errors and oversizing. Although quaternions are more compact than rotation matrices, using quaternions does not always provide less numerical computation and the amount of memory needed. In this paper, an algebraic form of quaternion representation is provided which is less memory-demanding than the matrix representation. All the functions that were used to prepare this work are presented, and they can be employed to conduct more research on how well quaternions work in a specific assignment. [ABSTRACT FROM AUTHOR]

In this paper, we study variation-inequality initial-boundary value problems with fouth order p(x)-Kirchhoff operators. First, an operator is constructed based on the Leray Schauder principle, and the existence of solutions is obtained. Secondly, the stability and uniqueness of the solution are analyzed after the conditions are appropriately relaxed on the Kirchhoff operators. [ABSTRACT FROM AUTHOR]