• Journal of the Chungcheong Mathematical Society
• /
• v.27 no.2
• /
• pp.297-307
• /
• 2014

The present paper gives the notion of a derivation on a CI-algebra X and investigates related properties. We define a set $Fix_d(X)$ by $Fix_d(X)=\{x{\in}X{\mid}d(x)=x\}$, where d is a derivation on a CI-algebra X. We show that $Fix_d(X)$ is a subalgebra of X. Also, we prove some one-to-one and onto derivation theorems. Moreover, we study a regular derivation on a CI-algebra and an isotone derivation on a transitive CI-algebra.

• Korean Journal of Mathematics
• /
• v.27 no.4
• /
• pp.1077-1108
• /
• 2019

The notions of intuitionistic fuzzy UP-subalgebras and intuitionistic fuzzy UP-ideals of UP-algebras were introduced by Kesorn et al. [13]. In this paper, we introduce the notions of intuitionistic fuzzy near UP-filters, intuitionistic fuzzy UP-filters, and intuitionistic fuzzy strong UP-ideals of UP-algebras, prove their generalizations, and investigate their basic properties. Furthermore, we discuss the relations between intuitionistic fuzzy near UP-filters (resp., intuitionistic fuzzy UP-filters, intuitionistic fuzzy strong UP-ideals) and their upper t-(strong) level subsets and lower t-(strong) level subsets in UP-algebras.

• Journal of applied mathematics & informatics
• /
• v.10 no.1_2
• /
• pp.51-62
• /
• 2002

The present paper gives a new construction of a quotient BCI(BCK)-algebra X/${\mu}$ by a fuzzy ideal ${\mu}$ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if ${\mu}$ is a fuzzy ideal (closed fuzzy ideal) of X, then X/${\mu}$ is a commutative (resp. positive implicative, implicative) BCK(BCI)-algebra if and only if It is a fuzzy commutative (resp. positive implicative, implicative) ideal of X Moreover we prove that a fuzzy ideal of a BCI-algebra is closed if and only if it is a fuzzy subalgebra of X We show that if the period of every element in a BCI-algebra X is finite, then any fuzzy ideal of X is closed. Especiatly, in a well (resp. finite, associative, quasi-associative, simple) BCI-algebra, any fuzzy ideal must be closed.

• Communications of the Korean Mathematical Society
• /
• v.18 no.3
• /
• pp.439-447
• /
• 2003

Let (equation omitted) be a symmetrizable Kac-Moody algebra with the indecomposable generalized Cartan matrix A and W be its Weyl group. Let $\theta$ be the highest root of the corresponding finite dimensional simple Lie algebra ${\gg}$ of g. For the type ${A_N}^{(r)}$, we give an element $\omega_{o}\;\in\;W$ such that ${{\omega}_o}^{-1}({\{\Delta\Delta}_{+}})\;=\;{\{\Delta\Delta}_{-}}$. And then we prove that the degree of nilpotency of the subalgebra (equation omitted) is greater than or equal to $ht{\theta}+1$.

• Kyungpook Mathematical Journal
• /
• v.48 no.3
• /
• pp.487-493
• /
• 2008

A. Di Nola & S.Sessa [8] showed that two compact spaces X and Y are homeomorphic iff the MV -algebras C(X, I) and C(Y, I) of continuous functions defined on X and Y respectively are isomorphic. And they proved that A is a semisimple MV -algebra iff A is a subalgebra of C(X) for some compact Hausdorff space X. In this paper, firstly by use of functorial argument, we show these characterization theorems. Furthermore we obtain some other functorial results between topological spaces and MV -algebras. Secondly as a classical problem, we find a necessary and sufficient condition on a given residuated l-monoid that it is segmenently embedded into an l-group with order unit.

• Korean Journal of Mathematics
• /
• v.8 no.2
• /
• pp.155-162
• /
• 2000

For a sequence $\{{\eta}_m\}_m$ of unit vectors in $\mathbb{C}^n$, we consider the associated linear functional ${\omega}$ on the Cuntz algebra $\mathcal{O}_n$. We show that the restriction ${\omega}{\mid}_{UHF_n}$ is the product pure state of a subalgebra $UHF_n$ of $\mathcal{O}_n$ such that ${\omega}{\mid}_{UHF_n}={\otimes}{\omega}_m$ with ${\omega}_m({\cdot})$ < ${\cdot}{\eta}_m,{\eta}_m$ >. We study product pure states of UHF and obtain a concrete description of them in terms of unit vectors. We also study states of $UHF_n$ which is the restriction of the linear functionals on $O_n$ associated to a fixed unit vector in $\mathbb{C}^n$.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.205-209
• /
• 1997

Hong et al. [2] and Jun et al. [4] introduced the notion of k-nil radical in a BCI-algebra, and investigated its some properties. In this paper, we discuss the further properties on the k-nil radical. Let A be a subset of a BCI-algebra X. We show that the k-nil radical of A is the union of branches. We prove that if A is an ideal then the k-nil radical [A;k] is a p-ideal of X, and that if A is a subalgebra, then the k-nil radical [A;k] is a closed p-ideal, and hence a strong ideal of X.

• Journal of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.659-667
• /
• 1994

Let $H$ be a separable, infinite dimensional, complex Hilbert space and let $L(H)$ be the algebra of all bounded linear operators on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $I_H$ and is closed in the ultraweak operator topology on $L(H)$. Note that the ultraweak operator topology coincides with the weak topology on $L(H) (cf. [6]). Several functional analysists have studied the problem of solving systems of simultaneous equations in the predual of a dual algebra (cf. [3]). This theory is applied to the study of invariant subspaces and dilation theory, which are deeply related to the classes $A_{m,n}$ (that will be defined below) (cf. [3]). An abstract geometric criterion for dual algebras with property $(A_{\aleph_0}, {\aleph_0})$ was first given in [1].

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.863-884
• /
• 2014

In this paper, we introduce a coupled $\mathcal{N}$-structure which is the generalization of $\mathcal{N}$-structure. Using this coupled $\mathcal{N}$-structure, we have applied in a subtraction algebra and have introduced the notion of a coupled $\mathcal{N}$-subalgebra, a coupled $\mathcal{N}$-ideal. Also the characterization of coupled $\mathcal{N}$-ideal is presented.

• Honam Mathematical Journal
• /
• v.29 no.2
• /
• pp.213-222
• /
• 2007

A Weyl type algebra is defined in the paper (see [2],[4], [6], [7]). A Weyl type non-associative algebra $\bar{WN_{m,n,s}}$ and its restricted subalgebra $\bar{WN_{m,n,s_r}}$ are defined in the papers (see [1], [14], [16]). Several authors find all the derivations of an associative (Lie or non-associative) algebra (see [3], [1], [5], [7], [10], [16]). We find Der($\bar_{WN_{0,0,1_n}}$) of the algebra $\bar_{WN_{0,0,1_n}}$ and show that the algebras $\bar_{WN_{0,0,1_n}}$ and $\bar_{WN_{0,0,s_1}}$ are not isomorphic in this work. We show that the associator of $\bar_{WN_{0,0,1_n}}$ is zero.