The separating space of a derivation onA is a separating ideal [2, Chapter 5]; it also satisfies the same property for the left products. The following assertions are of the most famous conjectures about derivations on Banach algebras: (C1) every derivation on a Banach algebra has a nilpotent separating ideal; (C2) every derivation on a semiprime Banach algebra is continuous; (C3) every derivat...

Locally extended affine Lie algebras were introduced by Morita and Yoshii in [J. Algebra 301(1) (2006), 59-81] as a natural generalization of extended affine Lie algebras. After that, various generalizations of these Lie algebras have been investigated by others. It is known that a locally extended affine Lie algebra can be recovered from its centerless core, i.e., the ideal generated by weight...

The concept of an MV-algebra was introduced by Chang [4] as an algebraic basis for many-valued logic. It turned out that MV-algebras are a subclass of a more general class of effect algebras [7, 6]. Namely, MV-algebras are in one-to-one correspondence with lattice ordered effect algebras satisfying the Riesz decomposition property [2], the latter are called MV-effect algebras. In the study of c...

For the generality of fuzzy ideals in TM-algebra, a cubic ideal this algebra has been studied, such as and T-ideals. Some properties these are investigated. Also, we show that T-ideal is ideal, but converse not generally valid. In addition, sub-algebra defined, new relations between level subset discussed. After that, T-ideals under homomorphism image (pre-image) Finally, Cartesian product TM-a...

Amalgamated graph transformation allows to define schemes of rules coinciding in common core activities and differing over additional parallel independent activities. Consequently, a rule scheme is specified by a kernel rule and a set of extending multi-rules forming an interaction scheme. Amalgamated transformations have been increasingly used in various modeling contexts. Critical Pair Analys...

Let k be a field of characteristic 0. Given a polynomial mapping f = (f1, . . . , fp) from kn to kp, the local Bernstein–Sato ideal of f at a point a ∈ kn is defined as an ideal of the ring of polynomials in s = (s1, . . . , sp). We propose an algorithm for computing local Bernstein–Sato ideals by combining Gröbner bases in rings of differential operators with primary decomposition in a polynom...

The notions of an ideal and a fuzzy ideal in BN-algebras are introduced. The properties and characterizations of them are investigated. The concepts of normal ideals and normal congruences of a BN-algebra are also studied, the properties of them are displayed, and a one-to-one correspondence between them is presented. Conditions for a fuzzy set to be a fuzzy ideal are given. The relationships b...

In this paper, for any non-empty subset C of a pseudo BCI-algebra X, the concept of p-closure of C, denoted by C(pc), is introduced and some related properties are investigated. Applying this concept, a characterization of the minimal elements of X is given. It is proved that C(pc) is the least closed pseudo BCI-ideal of X containing C and K(X) for any ideal C of X...

In this paper, basic concepts of soft set theory was mentioned. Then, bipolar Lie algebra and ideal were defined with the help sets. Some algebraic properties new investigated. The relationship between two structures analyzed. Also, it proved that level cuts a subalgebras by definitions. After then, image preimage algebra/ideal to be algebra/ideal.

The non-commutative analytic Toeplitz algebra is the wot–closed algebra generated by the left regular representation of the free semigroup on n generators. We obtain a distance formula to an arbitrary wotclosed right ideal and thereby show that the quotient is completely isometrically isomorphic to the compression of the algebra to the orthogonal complement of the range of the ideal. This is us...