• Title/Summary/Keyword: computational algebra

Search Result 140, Processing Time 0.017 seconds

BIFUZZY IDEALS OF PSEUDO MV-ALGEBRAS

  • Cho Yong-Uk;Jun Young-Bae;Song Seok-Zun
    • Journal of applied mathematics & informatics
    • /
    • v.22 no.1_2
    • /
    • pp.475-489
    • /
    • 2006
  • After the introduction of fuzzy sets by Zadeh [8], there have been a number of generalizations of fundamental concept. The notion of intuitionistic fuzzy sets introduced by Atanassov is one among them. An intuitionistic fuzzy set is also called a bifuzzy set according to [5]. In this paper, we apply the concept of a bifuzzy set to (implicative) ideals in pseudo MV-algebras. The notion of a bifuzzy (implicative) ideal of a pseudo MV-algebra is introduced, and some related properties are investigated. Conditions for a bifuzzy set to be a bifuzzy ideal are given, and characterizations of a bifuzzy (implicative) ideal are provided. Using a family of ideals, bifuzzy ideals are established.

JORDAN DERIVATIONS ON NONCOMMUTATIVE BANACH ALGEBRAS

  • Park, Kyoo-Hong;Kim, Byung-Do;Byun, Sang-Hun
    • Journal of applied mathematics & informatics
    • /
    • v.7 no.3
    • /
    • pp.995-1004
    • /
    • 2000
  • In this paper we shall give a slight generalization of J. Vukman's Theorem. And show from the result that the image of a continuous linear Jordan derivation on a noncommutative Banach algebra A is contained in the radical under the condition [D(x),x]E(x) ${\in}$ rad(A) for all $x{\in}A$ . And we show some properties of the derivations on noncommutative Banach algebras.

ON FUZZY FANTASTIC FILTERS OF LATTICE IMPLICATION ALGEBRAS

  • Jun, Young-Bae;Song, Seok-Zun
    • Journal of applied mathematics & informatics
    • /
    • v.14 no.1_2
    • /
    • pp.137-155
    • /
    • 2004
  • Fuzzification of a fantastic filter in a lattice implication algebra is considered. Relations among a fuzzy filter, a fuzzy fantastic filter, and fuzzy positive implicative filter are stated. Conditions for a fuzzy filter to be a fuzzy fantastic filter are given. Using the notion of level set, a characterization of a fuzzy fantastic filter is considered. Extension property for fuzzy fantastic filters is established. The notion of normal/maximal fuzzy fantastic filters and complete fuzzy fantastic filters is introduced, and some related properties are investigated.

SOFT BCC-ALGEBRAS

  • Jun, Young-Bae;Lee, Kyoung-Ja;Ozturk, Mehmet Ali
    • Journal of applied mathematics & informatics
    • /
    • v.27 no.5_6
    • /
    • pp.1293-1305
    • /
    • 2009
  • Molodtsov [D. Molodtsov, Soft set theory First results, Comput. Math. Appl. 37 (1999) 19-31] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to the theory of BCC-algebras. The notion of (trivial, whole) soft BCC-algebras and soft BCC-subalgebras are introduced, and several examples are provided. Relations between a fuzzy subalgebra and a soft BCC-algebra are given, and the characterization of soft BCC-algebras is established.

  • PDF

METHODS FOR ITERATIVE DISENTANGLING IN FEYNMAN’S OPERATIONAL CALCULI : THE CASE OF TIME DEPENDENT NONCOMMUTING OPERATORS

  • Ahn, Byung-Moo
    • Journal of applied mathematics & informatics
    • /
    • v.28 no.3_4
    • /
    • pp.931-938
    • /
    • 2010
  • The disentangling map from the commutative algebra to the noncommutative algebra of operators is the essential operation of Feynman's operational calculus for noncommuting operators. Thus formulas which simplify this operation are meaningful to the subject. In a recent paper the procedure for "methods for iterative disentangling" has been established in the setting of Feynman's operational calculus for time independent operators $A_1$, $\cdots$, $A_n$ and associated probability measures${\mu}_1$, $\cdots$, ${\mu}_n$. The main purpose for this paper is to extend the procedure for methods for iterative disentangling to time dependent operators.

A High Quality Mesh Generation for a Surface defined by Linear tie Algebra

  • Sano, Hiroyasu;Makino, Mitsunori
    • Proceedings of the IEEK Conference
    • /
    • 2000.07b
    • /
    • pp.1103-1106
    • /
    • 2000
  • Recently, the research on computer graphics (CG) has been actively studied and developed. Namely, many surface/solid models have been proposed in the field of computer aided geometric design as well as the one of CG. Since it is difficult to visualize the complex shape exactly, an approximation by generating a set of meshes is usually used. Therefore it is important to guarantee the quality of the approximation in consideration of the computational cost. In this paper, a mesh generation algorithm will be proposed for a surface defined by linear tie algebra The proposed algorithm which considers the quality in the meaning of validation of invariants obtained by the mesh.

  • PDF

CO-FUZZY ANNIHILATOR FILTERS IN DISTRIBUTIVE LATTICES

  • NORAHUN, WONDWOSEN ZEMENE;ZELEKE, YOHANNES NIGATIE
    • Journal of applied mathematics & informatics
    • /
    • v.39 no.3_4
    • /
    • pp.569-585
    • /
    • 2021
  • In this paper, we introduce the concept of relative co-fuzzy annihilator filters in distributive lattices. We give a set of equivalent conditions for a co-fuzzy annihilator to be a fuzzy filter and we characterize distributive lattices with the help of co-fuzzy annihilator filters. Furthermore, using the concept of relative co-fuzzy annihilators, we prove that the class of fuzzy filters of distributive lattices forms a Heyting algebra. We also study co-fuzzy annihilator filters. It is proved that the set of all co-fuzzy annihilator filters forms a complete Boolean algebra.

INVERSE SYSTEM AND ARTINIAN O-SEQUENCES OF CODIMENSION 4

  • Shin, Dong-Soo
    • Journal of applied mathematics & informatics
    • /
    • v.25 no.1_2
    • /
    • pp.513-518
    • /
    • 2007
  • There is a one to one correspondence between Artinian algebras $k[x_1,...,x_n]/Ann(M)$ and finitely generated $k[x_1,...,x_n]-submodules$ M of $k[y_1,...,y_n]$ by Inverse System. In particular, any Artinian level algebra $k[x_1,...,x_n]/Ann(M)$ can be obtained when M is finitely generated by only maximal degree generators. We prove that H = (1, 4, 8, 13,..., 27, 8, 2) is not a level Artinian O-sequence using this inverse system.

ON GENERALIZED (α, β)-DERIVATIONS IN BCI-ALGEBRAS

  • Al-Roqi, Abdullah M.
    • Journal of applied mathematics & informatics
    • /
    • v.32 no.1_2
    • /
    • pp.27-38
    • /
    • 2014
  • The notion of generalized (regular) (${\alpha},\;{\beta}$)-derivations of a BCI-algebra is introduced, some useful examples are discussed, and related properties are investigated. The condition for a generalized (${\alpha},\;{\beta}$)-derivation to be regular is provided. The concepts of a generalized F-invariant (${\alpha},\;{\beta}$)-derivation and ${\alpha}$-ideal are introduced, and their relations are discussed. Moreover, some results on regular generalized (${\alpha},\;{\beta}$)-derivations are proved.

A NOTE OF LEFT DERIVATIONS ON BANACH ALGEBRAS

  • Jung, Yong-Soo
    • Journal of applied mathematics & informatics
    • /
    • v.4 no.2
    • /
    • pp.555-561
    • /
    • 1997
  • In this paper we show that if A is a Banach algebra with radical R and D is a left derivation on A then $D(A){\subset}R$ if and only if $Q_RD^n$ is continuous for all $n{\geq}1$, where $Q_R$ is the canonical quotient map from A onto A/R.