BR_0-Algebra and BCK-Algebra

Huai‐Ning Wu

2007-01-01

Abstract:In this paper we discuss the relation between the BR0-Algebra and the BCK-Algebra,and also the relation between the filter of the BR0-Algebra and the ideal of the BCK-Algebra.We can get a bounded BCK-Algebra from the BR0-Algebra,and also a BR0-Algebra from a bounded commutive BCK-Algebra.We prove MV-Algebra and bounded commutive BCK-Algebra are equivalent.

What problem does this paper attempt to address?

Hopf Algebra Approaches To Nonlinear Algebraic Equations

Dm Lu

DOI: https://doi.org/10.1081/AGB-120017761

2003-01-01

Communications in Algebra

Abstract:Let M be a k-vector space and R is an element of Hom(M-circle timesp, M-circle timesq), we present a general version of,the FRT-construction, we provide a method for examining whether an FRT-bialgebra A(R) has-a pre-braided structure and whether M can be regarded as an A(R)-dimodule. We show that the FRT-relation plays a fundamental role in determining the algebra structure on the FRT-bialgebra and the compatibility condition of relevant dimodule. As an example, we give a Hopf algebra approach for solving both homogeneous and non-homogeneous nonlinear (algebraic) equations.
NORMAL BCI/BCK-ALGEBRAS

Jie Meng,Shi-Ming Wei,Young Bae Jun

1994-01-01

Communications of the Korean Mathematical Society

Abstract:In 1966, Iseki [2] introduced the notion of BCI-algebras which is a generalization of BCK-algebras. Lei and Xi [3] discussed a new class of BCI-algebra, which is called a p-semisimple BCI-algebra. For p-semisimple BCI-algebras, a subalgebra is an ideal. But a subalgebra of an arbitrary BCI/BCK-algebra is not necessarily an ideal. In this note, a BCI/BCK-algebra that every subalgebra is an ideal is called a normal BCI/BCK-algebra, and we give characterizations of normal BCI/BCK-algebras. Moreover we give a positive answer to the problem which is posed in [4].(omitted)
Root Structure of a Special Generalized Kac-Moody Algebra

Xinfang Song,Xiaoxi Wang

2014-01-01

Abstract:The paper systematically discusses the root structure of a special generalized Kac-Moody algebra 2 EB which was extended from the finite Kac-Moody algebra 2 B . It’s extended one point from the finite Coxter diagram B2.At the beginning the paper define a special generalized generalized Cartan matrix (abbreviated as GGCM) and a special generalized Kac-Moody algebra(abbreviated as GK algebra). As a starting point for the special GK algebra it mainly obtain the special imaginary root system, the relationship between reflections determined by imaginary roots and the Weyl group for the special GMC algebra and the purely and the strictly imaginary roots.
Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra

C. Matthew Evans

2024-07-02

Abstract:Given a complete atomic Boolean algebra, we show there is a commutative BCK-algebra whose ideal lattice is that Boolean algebra. This result is shown to exist within a larger framework involving BCK-algebras of functions, whose ideals and prime ideals are analyzed by way of a specific Galois connection. As a corollary of the main theorem, we show that every discrete topological space is the prime spectrum of a cBCK-algebra.

Rings and Algebras
Fuzzifying BCK-Algebras

Guang-ji ZHANG,Cheng ZHANG,Kai-qi ZOU

DOI: https://doi.org/10.3969/j.issn.1001-7402.2001.02.006

2001-01-01

Abstract:In this paper, we define the concepts of fuzzifying subalgebras, fuzzifying ideals,and fuzzifying implicative ideals in BCK-algebras and discuss their properties and relations among them.
Multipolar Intuitionistic Fuzzy Set with Finite Degree and Its Application in BCK/BCI-Algebras

Kyung Tae Kang,Seok-Zun Song,Young Bae Jun

DOI: https://doi.org/10.3390/math8020177

IF: 2.4

2020-02-02

Mathematics

Abstract:When events occur in everyday life, it is sometimes advantageous to approach them in two directions to find a solution for them. As a mathematical tool to handle these things, we can consider the intuitionistic fuzzy set. However, when events are complex and the key to a solution cannot be easily found, we feel the need to approach them for hours and from various directions. As mathematicians, we wish we had the mathematical tools that apply to these processes. If these mathematical tools were developed, we would be able to apply them to algebra, topology, graph theory, etc., from a close point of view, and we would be able to apply these research results to decision-making and/or coding theory, etc., from a distant point of view. In light of this view, the purpose of this study is to introduce the notion of a multipolar intuitionistic fuzzy set with finite degree (briefly, k-polar intuitionistic fuzzy set), and to apply it to algebraic structure, in particular, a BCK/BCI-algebra. The notions of a k-polar intuitionistic fuzzy subalgebra and a (closed) k-polar intuitionistic fuzzy ideal in a BCK/BCI-algebra are introduced, and related properties are investigated. Relations between a k-polar intuitionistic fuzzy subalgebra and a k-polar intuitionistic fuzzy ideal are discussed. Characterizations of a k-polar intuitionistic fuzzy subalgebra/ideal are provided, and conditions for a k-polar intuitionistic fuzzy subalgebra to be a k-polar intuitionistic fuzzy ideal are provided. In a BCI-algebra, relations between a k-polar intuitionistic fuzzy ideal and a closed k-polar intuitionistic fuzzy ideal are discussed. A characterization of a closed k-polar intuitionistic fuzzy ideal is considered, and conditions for a k-polar intuitionistic fuzzy ideal to be closed are provided.

mathematics
Category of fuzzy hyper BCK-algebras

Joseph Dongho

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

2011-01-13

Abstract:In this paper we first define the category of fuzzy hyper BCK- algebras. After that we show that the category of hyper BCK-algebras has equalizers, coequalizers, products. It is a consequence that this category is complete and hence has pullbacks.

Category Theory
Some examples of BL-algebras using commutative rings

Cristina Flaut,Dana Piciu

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

2022-11-12

Abstract:The aim of this paper is to analize the structure of BL-algebras using commutative rings. From computational considerations, we are very interested in the finite case. We present new ways to generate finite BL-algebras using commutative rings and we give summarizing statistics. Furthermore, we investigated BL-rings, i.e., commutative rings whose the lattice of ideals can be equiped with a structure of BL-algebra. A new characterization for these rings and their connections to other classes of rings are established. Also, we give examples of finite BL-rings for which their lattice of ideals is not an MV-algebra and using these rings we construct BL-algebras with $2^{r}+1$ elements, $r\geq 2,$ and \ all BL-chains with $k$ elements, $k\geq 4.$

Rings and Algebras
Some properties of pseudo-BCK- and pseudo-BCI-algebras

Petr Emanovský,Jan Kühr

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

2018-08-31

Rings and Algebras

Abstract:Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with minimal zero, Rep. Math. Log. 34 (2000) 23-57], we show that pseudo-BCI-algebras are the residuation subreducts of semi-integral residuated po-monoids and characterize those pseudo-BCI-algebras which are direct products of pseudo-BCK-algebras and groups (regarded as pseudo-BCI-algebras). We also show that the quasivariety of pseudo-BCI-algebras is relatively congruence modular; in fact, we prove that this holds true for all relatively point regular quasivarieties which are relatively ideal determined, in the sense that the kernels of relative congruences can be described by means of ideal terms.
The Equivariant Brauer Group of a Cocommutative Hopf Algebra

J. Dello,Y. H. Zhang

DOI: https://doi.org/10.1080/00927872.2012.692417

2013-11-02

Communications in Algebra

Abstract:We investigate the Brauer group BRM(k, H) of a cocommutative Hopf algebra H (H can be nonfinitely generated). BRM(k, H) is the bigger Brauer group of H-module Taylor–Azumaya algebras (which do not necessarily contain a unit). An exact sequence is obtained. Furthermore, we prove the surjectivity of under certain circumstances. This generalizes Beattie's exact sequence to the “infinite” case.

mathematics
The sl_3 web algebra

marco mackaay,weiwei pan,d tubbenhauer

DOI: https://doi.org/10.1007/s00209-013-1262-6

2014-01-01

Mathematische Zeitschrift

Abstract:In this paper we use Kuperberg's -webs and Khovanov's -foams to define a new algebra , which we call the -web algebra. It is the analogue of Khovanov's arc algebra. We prove that is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of -skew Howe duality, which allows us to prove that is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group , to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that is a graded cellular algebra.
The Role Of B(X) And L(X) In The Ideal Theory Of Bci-Algebras

Jie Meng,Youngbae Jun,Eunhwan Roh

1997-01-01

Abstract:In this note, we introduce the notion of H-ideals in BCI-algebras, and establish some properties of H-ideals and p-ideals. We investigate the relation among p-ideals, strong ideals and H-ideals. Finally we discuss the family of maps derived by an H-ideal.
On the BCSS Proof of the Fundamental Theorem of Algebra

J. Maurice Rojas

2024-06-20

Abstract:Section 10.4 of the 1998 Springer-Verlag book {\em Complexity and Real Computation}, by Blum, Cucker, Shub, and Smale, contains a particularly elegant proof of the Fundamental Theorem of Algebra: The central idea of the proof naturally leads to a homotopy continuation algorithm for finding the roots of univariate polynomials, and extends naturally to a proof of Bézout's Theorem (on the number of roots of systems of $n$ equations in $n$ unknowns). We present a more detailed version of the BCSS Proof which is hopefully useful for students and researchers not familiar with algebraic geometry. So while there are no new results in this paper, the exposition is arguably more elementary. Any errors here are solely the responsibility of the current author.

Algebraic Geometry
On (*)-Ideals and Positive Implicative Ideals in Bci-Algebras

Hamza A. S. Abujabal,Jie Meng

DOI: https://doi.org/10.22199/s07160917.1999.0002.00007

1999-01-01

Proyecciones (Antofagasta)

Abstract:In the present paper, we given sorne equivalent conditions of (*)-ideals and positive implicative ideals in BCI-algebras and we clarify the relation of the two classes of ideals. Also, we obtain further properties of these ideals. Finally, we discuss a quotient algebra of a BCI-algebra by a closed (*)-ideal and a quotient algebra by positive implicative ideal.
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
An algebraic approach to BCJ numerators

Chih-Hao Fu,Yi-Jian Du,Bo Feng

DOI: https://doi.org/10.1007/jhep03(2013)050

IF: 6.379

2013-03-01

Journal of High Energy Physics

Abstract:One important discovery in recent years is that the total amplitude of gauge theory can be written as BCJ form where kinematic numerators satisfy Jacobi identity. Although the existence of such kinematic numerators is no doubt, the simple and explicit construction is still an important problem. As a small step, in this note we provide an algebraic approach to construct these kinematic numerators. Under our Feynman-diagram-like construction, the Jacobi identity is manifestly satisfied. The corresponding color ordered amplitudes satisfy off-shell KK-relation and off-shell BCJ relation similar to the color ordered scalar theory. Using our construction, the dual DDM form is also established.

physics, particles & fields
New generalizations of BCI, BCK and Hilbert algebras

Afrodita Iorgulescu

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

2013-12-15

Abstract:We introduce more generalizations of BCI, BCK and of Hilbert algebras, with proper examples, and show the hierarchies existing between all these algebras, old and new ones. Namely, we found thirty one new generalizations of BCI and BCK algebras and twenty generalizations of Hilbert algebras.

Logic
Tree and $1$-loop fundamental BCJ relations from soft theorems

Fang-Stars Wei,Kang Zhou

DOI: https://doi.org/10.1140/epjc/s10052-023-11698-2

2023-05-08

Abstract:We provide a new derivation of the fundamental BCJ relation among double color ordered tree amplitudes of bi-adjoint scalar theory, based on the leading soft theorem for external scalars. Then, we generalize the fundamental BCJ relation to $1$-loop Feynman integrands. We also use the fundamental BCJ relation to understand the Adler's zero for tree amplitudes of non-linear Sigma model and Born-Infeld theories.

High Energy Physics - Theory
Algebraic structures in set-theoretic Yang-Baxter & reflection equations

Anastasia Doikou

2024-01-02

Abstract:We present resent results regarding invertible, non-degenerate solutions of the set-theoretic Yang-Baxter and reflection equations. We recall the notion of braces and we present and prove various fundamental properties required for the solutions of the set theoretic Yang-Baxter equation. We then restrict our attention on involutive solutions and consider lambda parametric set-theoretic solutions of the Yang-Baxter equation and we extract the associated quantum algebra. We also discuss the notion of the Drinfeld twist for involutive solutions and their relation to the Yangian. We next focus on reflections and we derive the associated defining algebra relations for R-matrices being Baxterized solutions of the symmetric group. We show that there exists a ``reflection'' finite sub-algebra for some special choice of reflection maps.

Quantum Algebra,Mathematical Physics,Rings and Algebras
Rough and T-Rough Sets Arising from Intuitionistic Fuzzy Ideals in BCK-Algebras

Kholood M. Alsager,Sheza M. El-Deeb

DOI: https://doi.org/10.3390/math12182925

IF: 2.4

2024-09-21

Mathematics

Abstract:This paper presents the novel concept of rough intuitionistic fuzzy ideals within the realm of BCK-algebras and investigates their fundamental properties. Furthermore, we introduce a set-valued homomorphism over a BCK-algebra, laying the foundation for the establishment of T-rough intuitionistic fuzzy ideals. The characterization of these innovative ideals is accomplished by employing the (α,β)-cut of intuitionistic fuzzy sets in the context of BCK-algebras.

mathematics

BR_0-Algebra and BCK-Algebra

Hopf Algebra Approaches To Nonlinear Algebraic Equations

NORMAL BCI/BCK-ALGEBRAS

Root Structure of a Special Generalized Kac-Moody Algebra

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

Fuzzifying BCK-Algebras

Multipolar Intuitionistic Fuzzy Set with Finite Degree and Its Application in BCK/BCI-Algebras

Category of fuzzy hyper BCK-algebras

Some examples of BL-algebras using commutative rings

Some properties of pseudo-BCK- and pseudo-BCI-algebras

The Equivariant Brauer Group of a Cocommutative Hopf Algebra

The sl_3 web algebra

The Role Of B(X) And L(X) In The Ideal Theory Of Bci-Algebras

On the BCSS Proof of the Fundamental Theorem of Algebra

On (*)-Ideals and Positive Implicative Ideals in Bci-Algebras

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

An algebraic approach to BCJ numerators

New generalizations of BCI, BCK and Hilbert algebras

Tree and $1$-loop fundamental BCJ relations from soft theorems

Algebraic structures in set-theoretic Yang-Baxter & reflection equations

Rough and T-Rough Sets Arising from Intuitionistic Fuzzy Ideals in BCK-Algebras