Representation by Residuate Lattices of Non-commutative BR_0-algebra

Huai‐Ning Wu

2011-01-01

Abstract:In this paper,the two types of residuate lattices NRL and CNRL are introduced,and non-commutative BR0-algebra is represented by NRL and CNRL.So that non-conmmtative logical algebra NBR0 has residuate lattice structure.Furthermore representation theorem of NBR0 algebra has been proved.

What problem does this paper attempt to address?

REPRESENTATION AND DERIVED REPRESENTATION RINGS OF NAKAYAMA TRUNCATED ALGEBRAS AND A VIEWPOINT UNDER MONOIDAL CATEGORIES

Min Huang,Fang Li,Yichao Yang

DOI: https://doi.org/10.4310/ajm.2018.v22.n1.a2

2018-01-01

Asian Journal of Mathematics

Abstract:The main aim of this study is to characterize representation rings and derived representation rings of a class of finite dimensional Hopf algebras constructed from the Nakayama truncated algebras KZ(n)/J(d) with certain constraints. For the representation ring r(K Z(n)/J(d)), we completely determine its generators and the relations of generators via the method of the Pascal triangle. For the derived representation ring dr(K Z(n) / J(2))( i.e., d = 2), we determine its generators and give the relations of generators. For these two aspects, the polynomial characterizations of the representation ring and the derived representation rings are both given. Representation rings are well-known as Green rings from module categories over Hopf algebras. We have studied Green rings in the context of monoidal categories such that representations of Hopf algebras can be investigated through Green rings of various levels from module categories to derived categories from a unified viewpoint. Firstly, as analogues of representation rings of Hopf algebras, we set up so-called Green rings of monoidal categories, and then we list some such categories including module, complex, homotopy, derived and (derived) shift, categories, and the relationship among their corresponding Green rings.
Nuclei and Conuclei on Residuated Lattices

Sheng-Wei Han,Bin Zhao

DOI: https://doi.org/10.1016/j.fss.2010.12.008

IF: 4.462

2010-01-01

Fuzzy Sets and Systems

Abstract:In this paper, we investigate some properties of nuclei and conuclei on residuated lattices and their concrete structures. By means of nuclei and conuclei we give the respective characterizations for a residuated lattice reducing to a generalized MV-algebra and a generalized BL-algebra. Based on studying regular commutative bounded integral residuated lattices, we introduce the concept of a pseudo-dual quantale and investigate some properties of it, and prove that the set of fuzzy sets of a nonempty set equipped with multiplication and negation operations is a commutative Girard quantale. Finally, we discuss the relationship between quantic nuclei and quantic conuclei on a pseudo-dual quantale, and show that the quantic nuclei and the ideal conuclei on a pseudo-Girard quantale are in one-to-one correspondence.
Representations of Frobenius-type Triangular Matrix Algebras

Fang Li,Chang Ye

DOI: https://doi.org/10.1007/s10114-016-6029-7

2016-01-01

Acta Mathematica Sinica English Series

Abstract:The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give an analog of APR-tilting module for this class of algebras. The major conclusions contains the known results as special cases, e.g. that for path algebras over an algebraically closed field and for path algebras with relations from symmetrizable cartan matrices. Meanwhile, it means the corresponding results for some other important classes of algebras, that is, the path algebras of quivers over Frobenius algebras and the generalized path algebras endowed by Frobenius algebras at vertices.
Commutative rings behind divisible residuated lattices

Cristina Flaut,Dana Piciu

2024-11-06

Abstract:Divisible residuated lattices are algebraic structures corresponding to a more comprehensive logic than Hajek's basic logic with an important significance in the study of fuzzy logic. The purpose of this paper is to investigate commutative rings whose the lattice of ideals can be equipped with a structure of divisible residuated lattice. We show that these rings are multiplication rings. A characterization, more examples and their connections to other classes of rings are established. Furthermore, we analyze the structure of divisible residuated lattices using finite commutative rings. From computational considerations, we present an explicit construction of isomorphism classes of divisible residuated lattices (that are not BL-algebras) of small size n $(2 \le n \le 6)$ and we give summarizing statistics.

Rings and Algebras
BC_N-graded Lie Algebras Arising from Fermionic Representations

Hongjia Chen,Yun Gao

DOI: https://doi.org/10.1016/j.jalgebra.2006.07.021

IF: 0.908

2006-01-01

Journal of Algebra

Abstract:We use fermionic representations to obtain a class of BC$_{{}_{\text N}}$-graded Lie algebras coordinatized by quantum tori with nontrivial central extensions.
R 0 -Algebras and Weak Dually Residuated Lattice Ordered Semigroups

Liu Lianzhen,Li Kaitai

DOI: https://doi.org/10.1007/s10587-006-0021-9

2006-01-01

Czechoslovak Mathematical Journal

Abstract:We introduce the notion of weak dually residuated lattice ordered semi-groups (WDRL-semigroups) and investigate the relation between R 0 -algebras and WDRL-semigroups. We prove that the category of R 0 -algebras is equivalent to the category of some bounded WDRL-semigroups. Moreover, the connection between WDRL-semigroups and DRL-semigroups is studied.
Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

Wei Liu,Jian Weng,Bingsheng Zhang,Kai He,Junjie Huang

DOI: https://doi.org/10.1016/j.ins.2022.09.026

IF: 8.1

2022-01-01

Information Sciences

Abstract:Non-interactive zero-knowledge (NIZK) proof systems are very useful for statement verification without interaction in cryptography; they entail just one message, called the proof, that convinces the verifier of the truth of the statement without leaking any extra information. Many NIZK proof systems are related to quadratic residuosity languages and follow three main steps. First, the prover and the verifier sample a common reference string (CRS) in some particular form. Second, the prover proves that n is a Blum integer (BL , n = p 1 t 1 · p 2 t 2, where p 1 and p 2 are different primes both congruent to 3 modulo 4, and t 1 and t 2 are odd). Third, various statements (e.g., NQR n , OR n , AND n , T ( k , t ), and 3 SAT) can be proven by the prover based on the properties of BL . In this study, we improve the NIZK proof system for n ∈ BL based on the special distribution of the square roots modulo n and embed this proof in the third step. Moreover, we show that the CRS can be sampled more efficiently using the improved process.
Representations of braid group and Birman-Wenzl algebra

youquan li,luyu wang,jun zhang

DOI: https://doi.org/10.1016/0375-9601(92)90004-6

IF: 2.707

1992-01-01

Physics Letters A

Abstract:The necessary and sufficient condition for a braid group representation with a cubic reduction relation to give rise to a representation of the Birman-Wenzl algebra is given. For the case with an arbitrary order reduction relation, a wider sufficient condition is proposed.
A Representation Theorem of Set Algebras

Haimiao Chen,Junde Wu,Zhihao Ma

DOI: https://doi.org/10.1007/s10582-006-0011-z

2005-01-01

Abstract:In this paper we present a representation theorem in set algebras. As an application we describe the structure of σ-algebra of sets generated by an algebra of sets.
Left-right noncommutative Poisson algebras

José Casas,Tamar Datuashvili,Manuel Ladra

DOI: https://doi.org/10.2478/s11533-013-0321-x

2014-01-01

Open Mathematics

Abstract:Abstract The notions of left-right noncommutative Poisson algebra (NPlr-algebra) and left-right algebra with bracket AWBlr are introduced. These algebras are special cases of NLP-algebras and algebras with bracket AWB, respectively, studied earlier. An NPlr-algebra is a noncommutative analogue of the classical Poisson algebra. Properties of these new algebras are studied. In the categories AWBlr and NPlr-algebras the notions of actions, representations, centers, actors and crossed modules are described as special cases of the corresponding wellknown notions in categories of groups with operations. The cohomologies of NPlr-algebras and AWBlr (resp. of NPr-algebras and AWBr) are defined and the relations between them and the Hochschild, Quillen and Leibniz cohomologies are detected. The cases P is a free AWBr, the Hochschild or/and Leibniz cohomological dimension of P is ≤ n are considered separately, exhibiting interesting possibilities of representations of the new cohomologies by the well-known ones and relations between the corresponding cohomological dimensions.

mathematics
On Non-commutative Residuated Lattices with Internal States

Bin Zhao,Pengfei He

DOI: https://doi.org/10.1109/tfuzz.2017.2723351

IF: 12.253

2018-01-01

IEEE Transactions on Fuzzy Systems

Abstract:In this paper, we enlarge the language of noncommutative residuated lattices to provide a unified algebraic foundation for probabilities of fuzzy events in substructural logics, by adding an internal state that describes algebraic properties of states. The resulting class of algebras will be called noncommutative residuated lattices with internal states (or state residuated lattices for short). First, we prove that any perfect residuated lattice admits a nontrivial internal state and discuss some algebraic properties of internal states. Also, we give characterizations of divisible residuated lattices and idempotent residuated lattices, and obtain relationships between internal states and states on residuated lattices. Moreover, using some kinds of state filters, we present some characterizations of local state residuated lattices and their subclasses. Furthermore, we obtain that each local state commutative residuated lattice is either perfect or locally finite or peculiar. Finally, we prove that the class SF[L] of all state filters in state residuated lattices is a complete Heyting algebra. In particular, by studying the state co-annihilator of a nonempty set with respect to a state filter, we prove that 1) the class S-X SF[L] of all stable state filters relative a nonempty set X in state residuated lattices is also a complete Heyting algebra, but it is not a subalgebra of the Heyting algebra SF[L]; 2) the class I-F SF[L] of all involutory state filters relative a state filter F in state residuated lattices is a complete Boolean algebra.
Finite Dimensional Representations of the BC-graded Lie Algebra 𝔤_2n + 1(ℂ_q)

Hongjia Chen,Qi Chen

DOI: https://doi.org/10.1007/s11464-022-0174-3

2024-01-01

Frontiers of Mathematics

Abstract:In this paper, we study the finite-dimensional irreducible representations of the BC-graded Lie algebra 𝔤_2n + 1(ℂ_q) by investigating the structure of the BC-graded Lie algebra 𝔤_2n + 1(R) , where R is a unital involutory associative algebra over a field 𝔽 of characteristic zero.
Subresiduated Nelson Algebras

Noemí Lubomirsky,Paula Menchón,Hernán San Martín

2024-06-21

Abstract:In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main tool for its study is the construction provided by Vakarelov. Using it, we characterize the lattice of congruences of a subresiduated Nelson algebra through some of its implicative filters. We use this characterization to describe simple and subdirectly irreducible algebras, as well as principal congruences. Moreover, we prove that the variety of subresiduated Nelson algebras has equationally definable principal congruences and also the congruence extension property. Additionally, we present an equational base for the variety generated by the totally ordered subresiduated Nelson algebras. Finally, we show that there exists an equivalence between the algebraic category of subresiduated lattices and the algebraic category of centedred subresiduated Nelson algebras.

Logic
Representation theorems for Q -algebras

Shengwei Han,Bin Zhao

DOI: https://doi.org/10.1007/s00233-019-10000-9

2019-01-01

Semigroup Forum

Abstract:Q-algebras generalize quantales and Q-modules, and play an important role in the study of lattice-valued quantales, lattice-valued frames and stratified lattice-valued topological spaces. Motivated by representation theorems of quantales, we provide three new representation theorems of Q-algebras.
Finite Dimensional Representations of the BC-graded Lie Algebra G2n+1(cq)

Hongjia Chen,Qi Chen

DOI: https://doi.org/10.1007/s11464-022-0174-3

2024-01-01

Frontiers of Mathematics

Abstract:In this paper, we study the finite-dimensional irreducible representations of the BC-graded Lie algebra g(2n+1)(C-q) by investigating the structure of the BC-graded Lie algebra g(2n+1)(R), where R is a unital involutory associative algebra over a field F of characteristic zero.
Quotient Triangulated Categories Arising in Representations of Algebras

Xiao‐Wu Chen,Pu Zhang

2006-01-01

Abstract:Several kinds of quotient triangulated categories arising naturally in representations of algebras are studied; their relations with the stable categories of Frobenius exact categories are investigated; the derived categories of Gorenstein algebras are explicitly computed inside the stable categories of the graded module categories of the corresponding trivial extension algebras; new descriptions of the singularity categories of Gorenstein algebras are obtained.
The Representations of the Brauer-Chen Algebra

Ilias Andreou

2024-04-25

Abstract:In this paper, we determine the structure and representation theory of the Brauer algebra associated to a complex reflection group (here called the Brauer-Chen algebra), defined by Chen in 2011. We prove that it is semisimple and provide a construction for its simple modules for generic values of the parameters, in a uniform way for all complex reflection groups. We then apply these results to the cases of all irreducible complex reflection groups: for the groups in the infinite series, we obtain a numerical formula for the dimension of the corresponding Brauer algebra, and for all exceptional complex reflection groups, we compute the dimension of the corresponding Brauer algebra explicitly, using computational methods. We also obtain a uniformly defined basis for the Brauer algebra of any complex reflection group, defined over a field. Finally, we determine for which complex reflection groups the corresponding Brauer algebra is a free module over its ring of definition.

Representation Theory
BGG Resolutions, Koszulity, and Stratifications, Part I: the nilBrauer Algebra

Fan Zhou

2024-02-10

Abstract:In this paper we homologically construct a (functorial) BGG resolution of the finite-dimensional simple module of the nilBrauer algebra by using infinity-categorical methods following the reconstruction-from-stratification philosophy, e.g. appearing in Ayala-Mazel-Gee-Rozenblyum. To do so, we prove a fact of independent interest, that half of the nilBrauer algebra is Koszul. This BGG resolution categorifies a character formula of Brundan-Wang-Webster. More generally, we have a (functorial) ``BGG spectral sequence'' which converges to any desired module; this spectral sequence is secretly a resolution when the desired module is finite-dimensional. This spectral sequence also categorifies the character formulae of Brundan-Wang-Webster for any (possibly infinite-dimensional) simple module. We expect the methods used here for producing BGG resolutions to be applicable to other (graded) triangular-based algebras also, especially diagrammatic ones.

Representation Theory,Quantum Algebra
Partial Residuated Implications Derived from Partial Triangular Norms and Partial Residuated Lattices

Xiaohong Zhang,Nan Sheng,Rajab Ali Borzooei

DOI: https://doi.org/10.48550/arXiv.2207.02601

2022-07-06

Abstract:In this paper, we reveal some relations between fuzzy logic and quantum logic, and mainly study the partial residuated implications (PRIs) derived from partial triangular norms (partial t-norms) and partial residuated lattices (PRLs), and expand some results in the article "material implication in lattice effect algebra". Firstly, according to the concept of partial triangular norms given by Borzooei, we introduce the connection between lattice effect algebra and partial t-norms, and prove that partial operations in any commutative quasiresiduated lattice are partial t-norms. Secondly, we give the general form of partial residuated implications and the concept of partial fuzzy implications (PFIs), and the condition that partial residuated implication is a fuzzy implication is given. We also prove that each partial residuated implication is a partial fuzzy implication. Thirdly, we propose the partial residuated lattice and study their basic properties, to discuss the corresponding relationship between PRLs and lattice effect algebras (LEAs), to further reveal the relationship between LEAs and residuated partial algebras. In addition, like the definition of partial t-norms, we also propose the concepts of partial triangular conorms (partial t-conorms) and corresponding partial co-residuated lattices (PcRLs). Finally, based on partial residuated lattices, we give the definition of well partial residuated lattices (wPRLs), study the filter of well partial residuated lattices, and then construct quotient structure of partial residuated lattices.

Logic in Computer Science
Almost minimal varieties of commutative residuated lattices

Paolo Aglianò,Nikolaos Galatos,Miguel Andrés Marcos

DOI: https://doi.org/10.1142/s0218196724500309

2024-07-20

International Journal of Algebra and Computation

Abstract:International Journal of Algebra and Computation, Ahead of Print. We study minimal and almost minimal varieties of commutative integral residuated lattices. In particular, we prove that the variety [math] of generalized Boolean algebras and the variety [math] generated by the negative integers are the only two semilinear atoms. Furthermore, we give a characterization of all the finitely generated covers of [math], showing that there are infinitely many, we axiomatize the unique common cover of [math] and [math], and we construct continuum-many semilinear covers of [math] and infinitely many non-semilinear ones.

mathematics

Representation by Residuate Lattices of Non-commutative BR_0-algebra

REPRESENTATION AND DERIVED REPRESENTATION RINGS OF NAKAYAMA TRUNCATED ALGEBRAS AND A VIEWPOINT UNDER MONOIDAL CATEGORIES

Nuclei and Conuclei on Residuated Lattices

Representations of Frobenius-type Triangular Matrix Algebras

Commutative rings behind divisible residuated lattices

BC_N-graded Lie Algebras Arising from Fermionic Representations

R 0 -Algebras and Weak Dually Residuated Lattice Ordered Semigroups

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

Representations of braid group and Birman-Wenzl algebra

A Representation Theorem of Set Algebras

Left-right noncommutative Poisson algebras

On Non-commutative Residuated Lattices with Internal States

Finite Dimensional Representations of the BC-graded Lie Algebra 𝔤_2n + 1(ℂ_q)

Subresiduated Nelson Algebras

Representation theorems for Q -algebras

Finite Dimensional Representations of the BC-graded Lie Algebra G2n+1(cq)

Quotient Triangulated Categories Arising in Representations of Algebras

The Representations of the Brauer-Chen Algebra

BGG Resolutions, Koszulity, and Stratifications, Part I: the nilBrauer Algebra

Partial Residuated Implications Derived from Partial Triangular Norms and Partial Residuated Lattices

Almost minimal varieties of commutative residuated lattices