Search

Nowadays, researchers are very interested in studying various Diophantine equations due to their importance in Cryptography, Chemistry, Knot Theory, Astronomy, Geometry, Trigonometry, Biology, Algebra, Electrical Engineering, Economics, and Astrology. The present paper is about the non-negative integer solution of the exponential Diophantine equation nx + 43y = z², where are non-negative integers, is a positive integer with nx + 43y = z², where n = 2 (mod 129) and n + 1 and is not a perfect square. The authors use the famous Catalan conjecture for this purpose. Results of the present paper indicate that 2, 3, 0, and 3 are the only required values of and respectively, that satisfy the exponential Diophantine equation, where are non-negative integers, is a positive integer with nx + 43y = z², where n = 2 (mod 129) and n + 1 and is not a perfect square. The present technique of this paper proposes a new approach to solving the Diophantine equations, which is the main scientific contribution of this study, and it is very beneficial, especially for researchers, scholars, academicians, and people interested in the same field. [ABSTRACT FROM AUTHOR]

In this paper, a novel quantization scheme for cooperative games is proposed. The circuit is inspired by the Eisert–Wilkens–Lewenstein protocol, which was modified to represent cooperation between players and extended to 3–qubit states. The framework of Clifford algebra is used to perform necessary computations. In particular, we use a direct analogy between Dirac formalism and Quantum Register Algebra (QRA) to represent circuits. This analogy enables us to perform automated proofs of the circuit equivalence in a simple fashion. The expected value of the Shapley value concerning quantum probabilities is employed to distribute players' payoffs after the measurement. We study how entanglement, representing the level of pre-agreement between players, affects the final utility distribution. The paper also demonstrates how the QRA and GAALOP software can automate all necessary calculations. [ABSTRACT FROM AUTHOR]

The question of when a vertex algebra is a quantization of the arc space of its associated scheme has recently received a lot of attention in both the mathematics and physics literature. This property was first studied by Tomoyuki Arakawa and Anne Moreau (see their paper in the references), and was given the name \lq\lq classical freeness" by Jethro van Ekeren and Reimundo Heluani [Comm. Math. Phys. 386 (2021), no. 1, pp. 495-550] in their work on chiral homology. Later, it was extended to vertex superalgebras by Hao Li [Eur. J. Math. 7 (2021), pp. 1689–1728]. In this note, we prove the classical freeness of the simple affine vertex superalgebra L_n(\mathfrak {o}\mathfrak {s}\mathfrak {p}_{m|2r}) for all positive integers m,n,r satisfying -\frac {m}{2} + r +n+1 > 0. In particular, it holds for the rational vertex superalgebras L_n(\mathfrak {o}\mathfrak {s}\mathfrak {p}_{1|2r}) for all positive integers r,n. [ABSTRACT FROM AUTHOR]

Let p \geq 7 be a prime number. Let S(3) denote the third Morava stabilizer algebra. In recent years, Kato-Shimomura and Gu-Wang-Wu found several families of nontrivial products in the stable homotopy ring of spheres \pi _* (S) using H^{*,*} (S(3)). In this paper, we determine all nontrivial products in \pi _* (S) of the Greek letter family elements \alpha _s, \beta _s, \gamma _s and Cohen's elements \zeta _n which are detectable by H^{*,*} (S(3)). In particular, we show \beta _1 \gamma _s \zeta _n \neq 0 \in \pi _*(S), if n \equiv 2 mod 3, s \not \equiv 0, \pm 1 mod p. [ABSTRACT FROM AUTHOR]

Let G be a classical group defined over a local field F of characteristic zero. For any irreducible admissible representation \pi of G(F), which is of Casselman-Wallach type if F is archimedean, we extend the study of spectral decomposition of local descents by Jiang and Zhang [Algebra Number Theory 12 (2018), 1489–1535] for special orthogonal groups over non-archimedean local fields to more general classical groups over any local field F. In particular, if \pi has a generic local L-parameter, we introduce the spectral first occurrence index {\mathfrak {f}}_{\mathfrak {s}}(\pi) and the arithmetic first occurrence index {\mathfrak {f}}_{{\mathfrak {a}}}(\pi) of \pi and prove in this paper that {\mathfrak {f}}_{\mathfrak {s}}(\pi)={\mathfrak {f}}_{{\mathfrak {a}}}(\pi). Based on the theory of consecutive descents of enhanced L-parameters developed by Jiang, Liu, and Zhang [Arithmetic wavefront sets and generic L-packets, arXiv:2207.04700], we are able to show in this paper that the first descent spectrum consists of all discrete series representations, which determines explicitly the branching decomposition problem by means of the relevant arithmetic data and extends the main result (Jiang and Zhang [Algebra Number Theory 12 (2018), 1489–1535], Theorem 1.7) to broader generality. [ABSTRACT FROM AUTHOR]

Equivariant monoids are very important objects in many branches of mathematics: they combine the notion of multiplication and the concept of a group action. In this paper we will construct categories which encode the structure borne by monoids with a group action by combining the theory of product and permutation categories (PROPs) and product and braid categories (PROBs) with the theory of crossed simplicial groups. PROPs and PROBs are categories used to encode structures borne by objects in symmetric and braided monoidal categories respectively, whilst crossed simplicial groups are categories which encode a unital, associative multiplication and a compatible group action. We will produce PROPs and PROBs whose categories of algebras are equivalent to the categories of monoids, comonoids and bimonoids with group action using extensions of the symmetric and braid crossed simplicial groups. We will extend this theory to balanced braided monoidal categories using the ribbon braid crossed simplicial group. Finally, we will use the hyperoctahedral crossed simplicial group to encode the structure of an involutive monoid with a compatible group action. [ABSTRACT FROM AUTHOR]

In this paper, we will introduce and study the homological dimensions defined in the context of commutative rings with prime nilradical. So all rings considered in this paper are commutative with identity and with prime nilradical. We will introduce a new class of modules which are called ϕ -u-projective which generalizes the projectivity in the classical case and which is different from those introduced by the authors of [Y. Pu, M. Wang and W. Zhao, On nonnil-commutative diagrams and nonnil-projective modules, Commun. Algebra, doi:10.1080/00927872.2021.2021223; W. Zhao, On ϕ -exact sequence and ϕ -projective module, J. Korean Math. 58(6) (2021) 1513–1528]. Using the notion of ϕ -flatness introduced and studied by the authors of [G. H. Tang, F. G. Wang and W. Zhao, On ϕ -Von Neumann regular rings, J. Korean Math. Soc. 50(1) (2013) 219–229] and the nonnil-injectivity studied by the authors of [W. Qi and X. L. Zhang, Some Remarks on ϕ -Dedekind rings and ϕ -Prüfer rings, preprint (2022), arXiv:2103.08278v2 [math.AC]; X. Y. Yang, Generalized Noetherian Property of Rings and Modules (Northwest Normal University Library, Lanzhou, 2006); X. L. Zhang, Strongly ϕ -flat modules, strongly nonnil-injective modules and their homological dimensions, preprint (2022), https://arxiv.org/abs/2211.14681; X. L. Zhang and W. Zhao, On Nonnil-injective modules, J. Sichuan Normal Univ. 42(6) (2009) 808–815; W. Zhao, Homological theory over NP-rings and its applications (Sichuan Normal University, Chengdu, 2013)], we will introduce the ϕ -injective dimension, ϕ -projective dimension and ϕ -flat dimension for modules, and also the ϕ -(weak) global dimension of rings. Then, using these dimensions, we characterize several ϕ -rings (ϕ -Prüfer, ϕ -chained, ϕ -von Neumann, etc). Finally, we study the ϕ -(weak) global dimension of the trivial ring extensions defined by some conditions. [ABSTRACT FROM AUTHOR]

In this paper, we describe the so-called homogeneous involution on finite-dimensional graded-division algebra over an algebraically closed field. We also compute their graded polynomial identities with involution. As pointed out by Fonseca and Mello, a homogeneous involution naturally appears when dealing with graded polynomial identities and a compatible involution. [ABSTRACT FROM AUTHOR]

This paper generalizes the notion of monadic residuated lattices to that of pseudo monadic residuated lattices. As monadic residuated lattices serve as algebraic models of modal logic S5(FLew), we propose pseudo monadic residuated lattices as algebraic models of modal system KD45(FLew). The main contributions of this paper are as follows: 1) we discuss the relationship between pseudo monadic residuated lattices and other pseudo monadic algebraic structures, showing that it is a natural generalization of pseudo monadic BLalgebras, Bi-modal Gödel algebras and pseudo monadic algebras; 2) We provide a comprehensive characterization of pseudo monadic residuated lattices by considering them as pairs of residuated lattices (L,B), where B represents a special case of a relatively complete subalgebra of L known as c-relatively complete. Furthermore, we establish a necessary and sufficient condition for a subalgebra to be c-relatively complete. [ABSTRACT FROM AUTHOR]

In this paper, we have generalized the numerous conversion steps into one equation to find the exponents of each prime factor in the prime factorization of Πk=mn k!, where m,n are any positive integers and mk=mn k!, using series notation with the generalized equation to demonstrate possible applications of the equation. [ABSTRACT FROM AUTHOR]

Denote by C ℓ - the 3-uniform hypergraph obtained by removing one hyperedge from the tight cycle on ℓ vertices. It is conjectured that the Turán density of C 5 - is 1/4. In this paper, we make progress toward this conjecture by proving that the Turán density of C ℓ - is 1/4, for every sufficiently large ℓ not divisible by 3. One of the main ingredients of our proof is a forbidden-subhypergraph characterization of the hypergraphs, for which there exists a tournament on the same vertex set such that every hyperedge is a cyclic triangle in this tournament. A byproduct of our method is a human-checkable proof for the upper bound on the maximum number of almost similar triangles in a planar point set, which was recently proved using the method of flag algebras by Balogh, Clemen, and Lidický. [ABSTRACT FROM AUTHOR]

This paper aims to define the concepts of Semi-group and Pentapartitioned Neutrosophic Subtraction Algebra. We also examine a few of their fundamental characteristics. Additionally, we provide a few appropriate instances on Pentapartitioned Neutrosophic Subtraction Algebra. [ABSTRACT FROM AUTHOR]

In this paper, we prove a non-commutative version of the Weyl-von Neumann theorem for representations of unital, separable AH algebras into countably decomposable, semifinite, properly infinite, von Neumann factors, where an AH algebra means an approximately homogeneous C*-algebra. We also prove a result for approximate summands of representations of unital, separable AH algebras into finite von Neumann factors. [ABSTRACT FROM AUTHOR]

This paper uses noncommutative resolutions of non-Gorenstein singularities to construct classical deformation spaces by recovering the Artin component of the deformation space of a cyclic surface singularity using only the quiver of the corresponding reconstruction algebra. The relations of the reconstruction algebra are then deformed, and the deformed relations together with variation of the GIT quotient achieve the simultaneous resolution. This extends the work of Brieskorn, Kronheimer, Grothendieck, Cassens-Slodowy, and Crawley-Boevey-Holland into the setting of singularities C²/H with H ≤ GL(2, C) and furthermore gives a prediction for what is true more generally. [ABSTRACT FROM AUTHOR]

In this paper we propose a reinterpretation of the Mansouri–Nozari signature-change approach to the early Universe, in which the metric signature only occurs for t < 0 within the Euclidean regime, posing a challenge in providing coherent physical interpretations in advance. We ensure that the sign change occurs for t > 0 in the Euclidean regime. Our findings show that the energy-momentum tensor does not vanish on the signature-changing surface, even when we adopt conditions commonly used in the literature. Furthermore, we formulate a modified cosmology within the framework of signature-changing and discuss the modifications that our approach introduces to the cosmological equations. We establish a constraint relating the equation of state parameter and its singular part and we determine an effective equation of state as function of the redshift. Finally, we show that the law of conservation of matter in the modified ΛCDM model remains valid. [ABSTRACT FROM AUTHOR]

Let H be a real or complex Hilbert space and $ {\mathcal B}(H) $ B (H) the algebra of all bounded linear operators on H. Recall that a map $ \delta :{\mathcal B}(H)\to {\mathcal B}(H) $ δ : B (H) → B (H) is called an inner Jordan $ * $ ∗ -derivation if there exists some $ T\in \mathcal B(H) $ T ∈ B (H) such that $ \delta (A)=AT-TA^* $ δ (A) = AT − T A ∗ for all $ A\in {\mathcal B}(H) $ A ∈ B (H). In this paper, it is proved that inner Jordan $ * $ ∗ -derivations are the only additive maps δ of $ {\mathcal B}(H) $ B (H) with the property that $ \delta (P)=\delta (P)P^*+P\delta (P) $ δ (P) = δ (P) P ∗ + Pδ (P) for all idempotent operators $ P\in {\mathcal B}(H) $ P ∈ B (H) if $ \dim H=\infty $ dim ⁡ H = ∞ , which is satisfied by additive local Jordan $ * $ ∗ -derivations. For the finite dimensional case, additional conditions are required for δ to be an inner Jordan $ * $ ∗ -derivation. As applications, it is shown that, for any given $ C,D\in {\mathcal B}(H) $ C , D ∈ B (H) , δ satisfies $ \delta (A)B^*+B\delta (A)+\delta (B)A^*+A\delta (B)=D $ δ (A) B ∗ + Bδ (A) + δ (B) A ∗ + Aδ (B) = D for all $ A,B\in {\mathcal B}(H) $ A , B ∈ B (H) with AB + BA = C if and only if δ is an inner Jordan $ * $ ∗ -derivation and $ D=\delta (C) $ D = δ (C). Also, several known results are generalized. [ABSTRACT FROM AUTHOR]

Taking into account the most recent improvements in graph theory and algebra, we can associate graphs of some mathematical structures with certifiable, widely known applications. This paper seeks to explore the connections established through edge labeling among Latin squares derived from Moufang quasigroups, which are constructed using additive abelian and multiplicative groups, along with their substructures and complete bipartite graphs. The algebraic characteristics of quasigroups exhibiting the antiautomorphic inverse property have been extensively examined in this study. These characteristics encompass identities associated with fixed element maps. To analyze the behavior of these groups under holomorphism, we utilize similar conditions. [ABSTRACT FROM AUTHOR]

The primary motivation for this work is to develop the concept of Marshall's quotient applicable to non-commutative multi-rings endowed with involution, expanding upon the main ideas of the classical case—commutative and without involution—presented in Marshall's seminal paper. We define two multiplicative properties to address the involutive case and characterize their Marshall quotient. Moreover, this article presents various cases demonstrating that the "multi" version of rings with involution offers many examples, applications, and relatives in (multi)algebraic structures. Therefore, we established the first steps toward the development of an expansion of real algebra and real algebraic geometry to a non-commutative and involutive setting. [ABSTRACT FROM AUTHOR]

Co-Gorenstein algebras were introduced by Beligiannis in [A. Beligiannis, The homological theory of contravariantly finite subcategories: Auslander–Buchweitz contexts, Gorenstein categories and co-stabilization, Comm. Algebra28(10) (2000) 4547–4596]. In [S. Kvamme and R. Marczinzik, Co-Gorenstein algebras, Appl. Categorical Struct.27(3) (2019) 277–287], the authors propose the following conjecture (co-GC): if Ω n (m o d A) is extension closed for all n ≤ 1 , then A is right co-Gorenstein, and they prove that the generalized Nakayama conjecture implies the co-GC, also that the co-GC implies the Nakayama conjecture. In this paper, we characterize the subcategory Ω ∞ (m o d A) for algebras of Ω n -finite representation type. As a consequence, we characterize when a truncated path algebra is a co-Gorenstein algebra in terms of its associated quiver. We also study the behavior of Artin algebras of Ω ∞ -infinite representation type. Finally, an example of a non-Gorenstein algebra of Ω ∞ -infinite representation type and an example of a finite dimensional algebra with infinite ϕ -dimension are presented. [ABSTRACT FROM AUTHOR]

In this paper, we introduce multi-layer quivers and show how to construct an (n + 1) -slice algebra of infinite type from an n -slice algebra of infinite type using the bound quivers. This leads to constructing (n + 1) -slice algebras of infinite type as matrix algebra and as tensor algebra of an n -slice algebra and equivalences of their module categories as the module categories of diagram of some quiver of type A ̃ n + 1 . [ABSTRACT FROM AUTHOR]

In this paper, we prove that an affine cellular algebra A is semisimple if and only if the scheme associated to A is reduced and 0-dimensional, and the bilinear forms with respect to all layers of A are invertible. Moreover, if the ground ring is a perfect field, then A is semisimple if and only if it is separable. We also give a sufficient condition for an affine cellular algebra being Jacobson semisimple. [ABSTRACT FROM AUTHOR]

In the present paper, every evolution algebra is endowed with Banach algebra norm. This together with the description of derivations and automorphisms of nilpotent evolution algebras of maximal nilindex, allows the set $ \exp (\mathop {{\rm Der}}(\mathbf{E})) $ exp ⁡ (Der ⁡ (E)) to be investigated. Moreover $ \exp (\mathop {{\rm Der}}({\mathbf{E}})) $ exp ⁡ (Der ⁡ (E)) is shown to be a normal subgroup of $ \mbox {Aut}(\mathbf{E}) $ Aut (E) , and its corresponding index is calculated. [ABSTRACT FROM AUTHOR]

In this paper, we obtained the global existence and large time behavior of the solution for bipolar Navier-Stokes-Poisson equations under the partially smallness assumption of the initial data. Due to the complexity of bipolar Navier-Stokes-Poisson equations, we chose Green's function method instead of the classical energy method and thus discussed the regularity criterion under decaying structures in time instead of only integrability of time variable. It made the whole proof more simple and clear, meanwhile, resulted in the large time decaying estimates of the solution. It also showed the advantage of Green's function method in the study of global existence in the large perturbation framework. [ABSTRACT FROM AUTHOR]

This paper deals with the initial boundary value problem for a class of n -dimensional higher-order nonlinear evolution equations that come from the viscoelastic mechanics and have no positive definite energy. Through the analysis of functionals containing higher-order energy of motion, a modified potential well with positive depth is constructed. Then, using the potential well method, and Galerkin method, it has been shown that when the initial data starts from the stable set, there exists a global weak solution to such an evolution problem. [ABSTRACT FROM AUTHOR]

In fault detection, feedback control, and other fields, real-time differential estimation of a given signal in a complex noise environment is an important but challenging task. In this paper, a discrete-time fast nonlinear tracking differentiator (FNTD) based on hyperbolic tangent functions was proposed. To start, the differential signal acquisition problem was equated to the time-optimal control (TOC) law for constructing a double-integral system using a state feedback approach. Next, the FNTD algorithm based on the hyperbolic tangent function was presented by utilizing the isochronic region (IR) method in the discrete time domain. Then, the frequency-domain characteristics of the FNTD were analyzed and the rule for tuning the parameters was provided by the frequency scan test method. Finally, the simulation results demonstrated that the proposed FNTD had fast and accurate tracking performance, as well as excellent filtering and differential extraction capability compared with other differentiators. [ABSTRACT FROM AUTHOR]

Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued logics. One may find in distinct authors many novel interpretations of many-valued systems. They are produced through a type of procedure which consists in altering the semantic structure of Tarskian many-valued logics in order to output a non-Tarskian interpretation of these logics. Through this type of transformation the paper explores a uniform way of transforming finitely many-valued Tarskian logics into their non-Tarskian interpretation. Some general properties of carrying out this type of procedure are studied, namely the dualities between these logics and the conditions under which negation-explosive and negation-complete Tarskian logics become non-explosive. [ABSTRACT FROM AUTHOR]

In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been inspired by Henkin's Positive Implicative Logic. Their properties and characterizations are investigated. Some important results and examples are given. Moreover, positive implicative pre-Hilbert algebras are introduced and studied, their connections with some algebras of logic are presented. The hierarchies existing between the classes of algebras considered here are shown. [ABSTRACT FROM AUTHOR]

In this paper, we present two different ways for computing the Kauffman bracket skein module of S 1 × S 2 , KBSM S 1 × S 2 , via braids. We first extend the universal Kauffman bracket type invariant V for knots and links in the Solid Torus ST, which is obtained via a unique Markov trace constructed on the generalized Temperley–Lieb algebra of type B, to an invariant for knots and links in S 1 × S 2 . We do that by imposing on V relations coming from the braid band moves. These moves reflect isotopy in S 1 × S 2 and they are similar to the second Kirby move. We obtain an infinite system of equations, a solution of which is equivalent to computing KBSM S 1 × S 2 . We show that KBSM S 1 × S 2 is not torsion free and that its free part is generated by the unknot (or the empty knot). We then present a diagrammatic method for computing KBSM S 1 × S 2 via braids. Using this diagrammatic method, we also obtain a closed formula for the torsion part of KBSM S 1 × S 2 . [ABSTRACT FROM AUTHOR]

As a quantum affinization, the quantum toroidal algebra U q , q ¯ (gl ¨ n) is defined in terms of its "left" and "right" halves, which both admit shuffle algebra presentations (Enriquez in Transform Groups 5(2):111–120, 2000; Feigin and Odesskii in Am Math Soc Transl Ser 2:185, 1998). In the present paper, we take an orthogonal viewpoint, and give shuffle algebra presentations for the "top" and "bottom" halves instead, starting from the evaluation representation U q (gl ˙ n) ↷ C n (z) and its usual R-matrix R (z) ∈ End (C n ⊗ C n) (z) (see Faddeev et al. in Leningrad Math J 1:193–226, 1990). An upshot of this construction is a new topological coproduct on U q , q ¯ (gl ¨ n) which extends the Drinfeld–Jimbo coproduct on the horizontal subalgebra U q (gl ˙ n) ⊂ U q , q ¯ (gl ¨ n) . [ABSTRACT FROM AUTHOR]

Let \Gamma \subseteq \mathbb {N} be a numerical semigroup. In this paper, we prove an upper bound for the Betti numbers of the semigroup ring of \Gamma which depends only on the width of \Gamma, that is, the difference between the largest and the smallest generator of \Gamma. In this way, we make progress towards a conjecture of Herzog and Stamate [J. Algebra 418 (2014), pp. 8–28]. Moreover, for 4-generated numerical semigroups, the first significant open case, we prove the Herzog-Stamate bound for all but finitely many values of the width. [ABSTRACT FROM AUTHOR]

In the present paper corrected versions of the statements in the paper "Description of finite-dimensional inner Rickart and Baer Jordan algebras" by F.N. Arzikulov and U.I. Khakimov are given. In particular, it is shown that for any Jordan algebra J with an idempotent p and an associative degenerate radical D such that J = F p + ̇ D , J is an inner RJ-algebra if and only if, for any nonzero a ∈ D , a 2 = 0 and p(pa) = pa. Also, other equivalent conditions when a Jordan algebra J is an inner RJ-algebra are given. As for finite-dimensional nilpotent Jordan algebras, there is not a nilpotent inner RJ-algebra (and hence inner BJ-algebra) except the finite-dimensional Jordan algebra the square of each element of which is zero. [ABSTRACT FROM AUTHOR]

In a previous paper we have compared the Hochschild cohomology groups of finite dimensional monomial algebras under gluing two idempotents. In the present paper, we compare the Hochschild cohomology groups of finite dimensional monomial algebras under gluing two arrows. [ABSTRACT FROM AUTHOR]

For a germ of a variety V,0⊂CN,0$\mathcal {V}, 0 \subset \mathbb {C}^N, 0$, a singularity V0$\mathcal {V}_0$ of "type V$\mathcal {V}$" is given by a germ f0:Cn,0→CN,0$f_0: \mathbb {C}^n, 0 \rightarrow \mathbb {C}^N, 0$, which is transverse to V∖{0}$\mathcal {V}\setminus \lbrace 0\rbrace$ in an appropriate sense, such that V0=f0−1(V)$\mathcal {V}_0 = f_0^{-1}(\mathcal {V})$. In part I of this paper, we introduced for such singularities the Characteristic Cohomology for the Milnor fiber (for V$\mathcal {V}$ a hypersurface), and complement and link (for the general case). It captures the cohomology of V0$\mathcal {V}_0$ inherited from V$\mathcal {V}$ and is given by subalgebras of the cohomology for V0$\mathcal {V}_0$ for the Milnor fiber and complements, and is a subgroup for the cohomology of the link. We showed these cohomologies are functorial and invariant under diffeomorphism groups of equivalences KH$\mathcal {K}_{H}$ for Milnor fibers and KV$\mathcal {K}_{\mathcal {V}}$ for complements and links. We also gave geometric criteria for detecting the nonvanishing of the characteristic cohomology. In this paper, we apply these methods in the case V$\mathcal {V}$ denotes any of the varieties of singular m×m$m \times m$ complex matrices, which may be either general, symmetric, or skew‐symmetric (with m$m$ even). For these varieties, we have shown in another paper that their Milnor fibers and complements have compact "model submanifolds" for their homotopy types, which are classical symmetric spaces in the sense of Cartan. As a result, we first give the structure of the characteristic cohomology subalgebras for the Milnor fibers and complements as images of exterior algebras (or in one case a module on two generators over an exterior algebra). For links, the characteristic cohomology group is the image of a shifted upper truncated exterior algebra. In addition, we extend these results for the complement and link to the case of general m×p$m \times p$ complex matrices. Second, we then apply the geometric detection methods introduced in Part I to detect when specific characteristic cohomology classes for the Milnor fiber or complement are nonzero. We identify an exterior subalgebra on a specific set of generators and for the link that it contains an appropriate shifted upper truncated exterior subalgebra. The detection criterion involves a special type of "kite map germ of size ℓ$\ell$" based on a given flag of subspaces. The general criterion that detects such nonvanishing characteristic cohomology is then given in terms of the defining germ f0$f_0$ containing such a kite map germ of size ℓ$\ell$. Furthermore, we use a restricted form of kite spaces to give a cohomological relation between the cohomology of local links and the global link for the varieties of singular matrices. [ABSTRACT FROM AUTHOR]

Invertible members of some of the most famous multiplicative quasilinear spaces are exactly equal to invertible elements of the linear subspace of such spaces. But with the old definition of invertible elements, we do not get anything extra. So, in the present paper, we develop the introductory algebra and introduce an extended model of invertible elements. This new concept plays a fundamental role in the definition of the generalized spectrum model. These new objects are constructed in such a way that can provide acceptable results. For example, we will be able to generalize the well-known theorem “Spectral mapping property for polynomials” with these new notions. [ABSTRACT FROM AUTHOR]

In this paper, the author gives a complete set of simple Yetter–Drinfeld modules over the Suzuki algebra A N 2 n + 1 μ λ and investigates the Nichols algebras over those irreducible Yetter–Drinfeld modules. The finite-dimensional Nichols algebras of diagonal type are of Cartan type A 1 , A 1 × A 1 , A 2 , Super type A 2 (q ; 2) and the Nichols algebra (8). And the involved finite-dimensional Nichols algebras of non-diagonal type are 1 2 , 4 m and m 2 -dimensional. The left three unsolved cases are set as open problems. In particular, all finite-dimensional Nichols algebras are given for simple Yetter–Dinfeld modules over  A 1 3 + λ . [ABSTRACT FROM AUTHOR]

For a rooted cluster algebra (Q) over a valued quiver Q , a symmetric cluster variable is any cluster variable belonging to a cluster associated with a quiver σ (Q) , for some permutation σ. The subalgebra of (Q) generated by all symmetric cluster variables, is called the symmetric mutation subalgebra and is denoted by ℬ (Q). In this paper, we identify the class of cluster algebras that satisfy ℬ (Q) = (Q) , which contains almost every quiver of finite mutation type. In the process of proving the main result, we provide a classification of quivers mutations classes that relates their maximum weights to the shapes of the initial quivers. Furthermore, some properties of symmetric mutation subalgebras are given. [ABSTRACT FROM AUTHOR]

This paper is devoted to the descriptions of automorphisms and local automorphisms on complex solvable Lie algebras of maximal rank. First, it is established that any automorphism on a solvable Lie algebra of maximal rank can be represented as a product (composition) of inner, diagonal and graph automorphisms. We apply the description of automorphism to the specification of automorphisms on solvable Lie algebras of maximal rank with abelian nilradical, and to the description of automorphisms of standard Borel subalgebras of complex simple Lie algebras. Based on the representation of an automorphism, it is proved that all local automorphisms on a solvable Lie algebra of maximal rank are global automorphisms. We also present two examples of solvable Lie algebras which are not of maximal rank and have different behaviours of local automorphisms. Namely, the first algebra does not admit pure local automorphisms, while the second algebra admits a local automorphism which is not an automorphism. [ABSTRACT FROM AUTHOR]

In Fialowski's classification for algebras of maximal class, there are three Lie algebras of maximal class with one-dimensional homogeneous components: $ \mathfrak {m}_0 $ m 0 , $ L_1 $ L 1 and $ \mathfrak {m}_2 $ m 2 . In this paper, we study their biderivations by considering the embedded mapping to derivation algebras. Then we determine commuting mappings on these algebras as an application of biderivations. Finally, local and 2-local derivations for these three algebras are characterized as the given gradings. [ABSTRACT FROM AUTHOR]

Dual algebra plays an important role in kinematic synthesis and dynamic analysis, but there are still few studies on dual quaternion matrix theory. This paper provides an efficient method for solving the QLY least squares problem of the dual quaternion matrix equation A X B + C Y D ≈ E , where X, Y are unknown dual quaternion matrices with special structures. First, we define a semi-tensor product of dual quaternion matrices and study its properties, which can be used to achieve the equivalent form of the dual quaternion matrix equation. Then, by using the dual representation of dual quaternion and the GH -representation of special dual quaternion matrices, we study the expression of QLY least squares Hermitian solution of the dual quaternion matrix equation A X B + C Y D ≈ E . The algorithm is given and the numerical examples are provided to illustrate the efficiency of the method. [ABSTRACT FROM AUTHOR]

To facilitate the parallel development of the structures and properties of two-parameter quantum groups with those of one-parameter quantum groups, this paper primarily elucidates the interrelations and distinctions between the derivation algebras of these two types of quantum groups. Additionally, we also proposed a method for deriving the derivation algebra of one-parameter quantum groups from known two-parameter quantum group derivations, and vice versa. [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]

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]

In this paper, we apply the criterion of Mikhalev and Umirbaev for the invertibility of an endomorphism of a finitely generated free Leibniz algebra via its Jacobian matrix to determine whether a given endomorphism is an automorphism. Moreover, it is shown that the invertibility of the determinant of the Jacobian matrix of an automorphism implies its wildness. [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]

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]

In this paper, we prove the existence of small and big Ramsey degrees of classes of finite unary algebras in an arbitrary (not necessarily finite) algebraic language Ω. Our results generalize some Ramsey-type results of M. Sokić concerning finite unary algebras over finite languages. To do so, we develop a completely new strategy that relies on the fact that right adjoints preserve the Ramsey property. We then treat unary algebras as Eilenberg-Moore coalgebras for a functor with comultiplication, and using pre-adjunctions transport the Ramsey properties, we are interested in from the category of finite or countably infinite chains of order type ω. Moreover, we show that finite objects have finite big Ramsey degrees in the corresponding cofree structures over countably many generators. [ABSTRACT FROM AUTHOR]

In this paper, some properties of vertex algebras acted by a Hopf algebra will be given. We prove that V # H is an -local vertex algebra, where V is an H -module vertex algebra. In addition, we extend the -locality to the quantum vertex algebras. [ABSTRACT FROM AUTHOR]

This paper considers theoretical foundations and mathematical methods of data analysis under the conditions of the Rice statistical distribution. The problem involves joint estimation of the signal and noise parameters. It is shown that this estimation requires the solution of a complex system of essentially nonlinear equations with two unknown variables, which implies significant computational costs. This study is aimed at mathematical optimization of computer algebra methods for numerical solution of the problem of Rician data analysis. As a result of the optimization, the solution of the system of two nonlinear equations is reduced to the solution of one equation with one unknown variable, which significantly simplifies algorithms for the numerical solution of the problem, reduces the amount of necessary computational resources, and enables the use of advanced methods for parameter estimation in information systems with priority of real-time operation. Results of numerical experiments carried out using Wolfram Mathematica confirm the effectiveness of the developed methods for two-parameter analysis of Rician data. The data analysis methods considered in this paper are useful for solving many scientific and applied problems that involve analysis of data described by the Rice statistical model. [ABSTRACT FROM AUTHOR]

The modified RSA provides high efficiency against attacks and, as a result, it is considered the ideal choice for many applications. In this paper, we introduce an alternative to the modified RSA key encryption system called TPRSA, based on Tri-Cartesian algebra and polynomials, by modifying the mathematical structure of text encryption and decryption keys to obtain a high level of security. [ABSTRACT FROM AUTHOR]