• Honam Mathematical Journal
• /
• v.44 no.2
• /
• pp.165-178
• /
• 2022

In this paper, Sheffer stroke BL-algebra and its properties are investigated. It is shown that a Cartesian product of two Sheffer stroke BL-algebras is a Sheffer stroke BL-algebra. After describing a filter of Sheffer stroke BL-algebra, a congruence relation on a Sheffer stroke BL-algebra is defined via its filter, and quotient of a Sheffer stroke BL-algebra is constructed via a congruence relation. Also, it is defined a homomorphism between Sheffer stroke BL-algebras and is presented its properties. Thus, it is stated that the class of Sheffer stroke BL-algebras forms a variety.

• Honam Mathematical Journal
• /
• v.44 no.1
• /
• pp.78-97
• /
• 2022

In this study, new properties of various filters on a Sheffer stroke BL-algebra are studied. Then some new results in filters of Sheffer stroke BL-algebras are given. Also, stabilizers of nonempty subsets of Sheffer stroke BL-algebras are defined and some properties are examined. Moreover, it is shown that the stabilizer of a filter with respect to a/n (ultra) filter of a Sheffer stroke BL-algebra is its (ultra) filter. It is proved that the stabilizer of the subset {0} of a Sheffer stroke BL-algebra is {1}. Finally, it is stated that the stabilizer St(P, Q) of P with respect to Q is an ultra filter of a Sheffer stroke BL-algebra when P is any filter and Q is an ultra filter of this algebra.

• Korean Journal of Mathematics
• /
• v.31 no.4
• /
• pp.445-463
• /
• 2023

The paper introduces the concept of direct product and discusses some basic facts about distant ideals. We also introduce the definition of directly indecomposable in an autometrized algebra. Furthermore, we present the concept of a subdirect product and simple autometrized algebra and its behavior. We also introduce the definition of subdirectly irreducible in an autometrized algebras. In particular, we prove that every subdirectly irreducible monoid autometrized algebra is directly indecomposable. Finally, we discuss different properties of chain autometrized algebras and introduce the representability in the autometrized algebra. We also prove that if a weak chain monoid normal autometrized l-algebra is nilradical, then it is representable.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.813-823
• /
• 2024

In this paper, we prove that every 2-local derivation on several classes of C^*-algebras, such as unital properly infinite, type I or residually finite-dimensional C^*-algebras, is a derivation. We show that the following statements are equivalent: (1) every 2-local derivation on a C^*-algebra is a derivation, (2) every 2-local derivation on a unital primitive antiliminal and no properly infinite C^*-algebra is a derivation. We also show that every 2-local derivation on a group C^*-algebra C^*(𝔽) or a unital simple infinite-dimensional quasidiagonal C^*-algebra, which is stable finite antiliminal C^*-algebra, is a derivation.

• Journal of the Chungcheong Mathematical Society
• /
• v.6 no.1
• /
• pp.65-69
• /
• 1993

In this paper, we show that the module derivation D is continuous on the Banach algebra and the Silov algebra, and also that the derivation restricted by separating space and the radical on the semi prime Banach algebra is continuous.

• East Asian mathematical journal
• /
• v.23 no.1
• /
• pp.75-82
• /
• 2007

In this paper we give a concrete computational method to characterize $S_3$-algebras.

• Honam Mathematical Journal
• /
• v.29 no.3
• /
• pp.465-474
• /
• 2007

We provided characterizations of complicated in a subtraction algebra, and we showed that the complicated subtraction algebra is a ring.

• Journal of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.657-673
• /
• 2009

The fixed point algebra $C^*(E)^{\gamma}$ of a gauge action $\gamma$ on a graph $C^*$-algebra $C^*(E)$ and its AF subalgebras $C^*(E)^{\gamma}_{\upsilon}$ associated to each vertex v do play an important role for the study of dynamical properties of $C^*(E)$. In this paper, we consider the stability of $C^*(E)^{\gamma}$ (an AF algebra is either stable or equipped with a (nonzero bounded) trace). It is known that $C^*(E)^{\gamma}$ is stably isomorphic to a graph $C^*$-algebra $C^*(E_{\mathbb{Z}}\;{\times}\;E)$ which we observe being stable. We first give an explicit isomorphism from $C^*(E)^{\gamma}$ to a full hereditary $C^*$-subalgebra of $C^*(E_{\mathbb{N}}\;{\times}\;E)({\subset}\;C^*(E_{\mathbb{Z}}\;{\times}\;E))$ and then show that $C^*(E_{\mathbb{N}}\;{\times}\;E)$ is stable whenever $C^*(E)^{\gamma}$ is so. Thus $C^*(E)^{\gamma}$ cannot be stable if $C^*(E_{\mathbb{N}}\;{\times}\;E)$ admits a trace. It is shown that this is the case if the vertex matrix of E has an eigenvector with an eigenvalue $\lambda$ > 1. The AF algebras $C^*(E)^{\gamma}_{\upsilon}$ are shown to be nonstable whenever E is irreducible. Several examples are discussed.

• School Mathematics
• /
• v.9 no.3
• /
• pp.409-426
• /
• 2007

The relevance of secondary school algebra focused on paper and pencil manipulation has been reconsidered along with the expansion of universal education and the development of ICT such as computer or calculators. This study was designed to investigate the issues and trends of the recent algebra so as to provide implementations for algebra curriculum in Korea. The focus of algebra education has being shifted from paper pencil manipulation to algebraic thinking. The early algebra or informal algebra is one of the important traits of revolution, and the role of ICT is integrated in newly developed curricula. In Korea, algebra education has been retaining the traditional line even though the national curriculum documents allows ICT for instruction. The reasons of these discrepancies were analyzed and the tasks for the new curriculum in accordance with the current trends were suggested in this paper.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.359-366
• /
• 1996

A linear map T from a Banach algebra A into a Banach algebra B is almost multiplicative if $\left\$\mid$ T(fg) - T(f)T(g) \right\$\mid$ \leq \in\left\$\mid$ f \right\$\mid$\left\$\mid$ g \right\$\mid$(f,g \in A)$ for some small positive $\in$. B.E.Johnson [4,5] studied whether this implies that T is near a multiplicative map in the norm of operators from A into B. K. Jarosz [2,3] raised the conjecture : If T is an almost multiplicative functional on uniform algebra A, there is a linear and multiplicative functional F on A such that $\left\$\mid$ T - F \right\$\mid$ \leq \in', where \in' \to 0$ as $\in \to 0$. B. E. Johnson [4] gave an example of non-uniform commutative Banach algebra which does not have the property described in the above conjecture. He proved also that C(K) algebras and the disc algebra A(D) have this property [5]. We extend this property to a derivation on a Banach algebra.