• 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.

• The Pure and Applied Mathematics
• /
• v.16 no.1
• /
• pp.1-11
• /
• 2009

The notion of a BCK-algebra with supremum (briefly, sBCK-algebra) is introduced, and several examples are given. Related properties are investigated. We show that every sBCK-algebra with an additional condition has the condition (S). The notion of a dry ideal of an sBCK-algebra is introduced. Conditions for an sBCK-algerba to be an spBCK-algebra are provided. We show that every sBCK-algebra satisfying additional condition is a semi-Brouwerian algebra.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.123-131
• /
• 1995

The notion of our non-associative algebra is obtained from the Lotka-Volterra system of differential equation describing competitiion between animals or vegetals species and also in the kinetic theory of gasses. For the structure of an algebra, the existence of idempotents is of particular interest. But also from the biological aspect the existence of such elements is of interest because the equilibria of a population which can be described by an algebra correspond to idempotents of this algebra. Thus we present some properties of the general natures for a Lotka-Volterra algebra associated to a weight function and idempotents elements.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.241-246
• /
• 2007

For the evaluation algebra $F[e^{{\pm}x}]_M\;if\;M=\{{\partial}\}$, then $$Der_{non}(F[e^{{\pm}x}]_M)$$ of the evaluation algebra $(F[e^{{\pm}x}]_M)$ is found in the paper [15]. For $M=\{{\partial},\;{\partial}^2\}$, we find $Der_{non}(F[e^{{\pm}x}]_M))$ of the evaluation algebra $F[e^{{\pm}x}]_M$ in this paper. We show that there is a non-associative algebra which is the direct sum of derivation invariant subspaces.

• Journal of applied mathematics & informatics
• /
• v.40 no.5_6
• /
• pp.1105-1115
• /
• 2022

The main objective of this paper is to introduce the notion of AMR-algebra and its generalization, and to compare them with other algebras such as BCK, BCI, BCH, · · ·, etc. We show moreover that the K-part of AMR-algebra is an abelian group, and the weak AMR-algebra is also an abelian group and generalizes many known algebras like BCI, BCH, and G.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.2
• /
• pp.363-368
• /
• 2010

In this paper we construct a subalgebra $L_8$ of $M_8({\mathbb{R}})$ which is a generalization of the algebra of quaternions. Moreover we prove that the algebra $L_8$ is the real Clifford algebra $Cl_3$, and so $L_8$ is a matrix representation of Clifford algebra $Cl_3$.

• Communications of the Korean Mathematical Society
• /
• v.20 no.4
• /
• pp.649-655
• /
• 2005

The universal mapping property and the Gelfand- Kirillov dimension of a skew enveloping algebra are studied and it is proved that every Poisson enveloping algebra is a homomorphic image of a skew enveloping algebra.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.1
• /
• pp.177-184
• /
• 2010

Let G be an abelian group, $\alpha$ an antisymmetric bicharacter on G and g a (G, $\alpha$)-Lie algebra. Here we give a complete proof for that the associated graded algebra determined by a natural filtration in the universal enveloping algebra U(g) is a (G, $\alpha$)-Poisson Hopf algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.187-191
• /
• 1993

In this note we prove the following result: Let A be a complex Banach *-algebra with continuous involution and let B be an $A^{*}$-algebra./T(A) = B. Then T is continuous (Theorem 2). From above theorem some others results of special interest and some well-known results follow. (Corollaries 3,4,5,6 and 7). We close this note with some generalizations and some remarks (Theorems 8.9.10 and question). Throughout this note we consider only complex algebras. Let A and B be complex algebras. A linear mapping T from A into B is called jordan homomorphism if T( $x^{1}$) = (Tx)$^{2}$ for all x in A. A linear mapping T : A .rarw. B is called spectrally-contractive mapping if .rho.(Tx).leq..rho.(x) for all x in A, where .rho.(x) denotes spectral radius of element x. Any homomorphism algebra is a spectrally-contractive mapping. If A and B are *-algebras, then a homomorphism T : A.rarw.B is called *-homomorphism if (Th)$^{*}$=Th for all self-adjoint element h in A. Recall that a Banach *-algebras is a complex Banach algebra with an involution *. An $A^{*}$-algebra A is a Banach *-algebra having anauxiliary norm vertical bar . vertical bar which satisfies $B^{*}$-condition vertical bar $x^{*}$x vertical bar = vertical bar x vertical ba $r^{2}$(x in A). A Banach *-algebra whose norm is an algebra $B^{*}$-norm is called $B^{*}$-algebra. The *-semi-simple Banach *-algebras and the semi-simple hermitian Banach *-algebras are $A^{*}$-algebras. Also, $A^{*}$-algebras include $B^{*}$-algebras ( $C^{*}$-algebras). Recall that a semi-prime algebra is an algebra without nilpotents two-sided ideals non-zero. The class of semi-prime algebras includes the class of semi-prime algebras and the class of prime algebras. For all concepts and basic facts about Banach algebras we refer to [2] and [8].].er to [2] and [8].].

• Kyungpook Mathematical Journal
• /
• v.48 no.4
• /
• pp.529-543
• /
• 2008

It is shown that every almost linear mapping h : $A{\rightarrow}B$ of a unital PoissonC*-algebra A to a unital Poisson C*-algebra B is a Poisson C*-algebra homomorph when $h(2^nuy)\;=\;h(2^nu)h(y)$ or $h(3^nuy)\;=\;h(3^nu)h(y)$ for all $y\;\in\;A$, all unitary elements $u\;\in\;A$ and n = 0, 1, 2,$\codts$, and that every almost linear almost multiplicative mapping h : $A{\rightarrow}B$ is a Poisson C*-algebra homomorphism when h(2x) = 2h(x) or h(3x) = 3h(x for all $x\;\in\;A$. Here the numbers 2, 3 depend on the functional equations given in the almost linear mappings or in the almost linear almost multiplicative mappings. We prove the Cauchy-Rassias stability of Poisson C*-algebra homomorphisms in unital Poisson C*-algebras, and of homomorphisms in Poisson Banach modules over a unital Poisson C*-algebra.