• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.4
• /
• pp.395-404
• /
• 2020

Based on a sub-BCK-algebra K of a BCI-algebra X, the notions of fuzzy (K, ε)-subalgebras, fuzzy (K, ε)-ideals and fuzzy commutative (K, ε)-ideals are introduced, and their relations/properties are investigated. Conditions for a fuzzy subalgebra/ideal to be a fuzzy (K, ε)-subalgebra/ideal are provided.

• Communications of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.385-397
• /
• 2022

Let (M, [ , ]) be a finite dimensional Malcev algebra over an algebraically closed field 𝔽 of characteristic 0. We first prove that, (M, [ , ]) (with [M, M] ≠ 0) is simple if and only if ind(M) = 1 (i.e., M admits a unique (up to a scalar multiple) invariant scalar product). Further, we characterize the form of skew-symmetric biderivations on simple Malcev algebras. In particular, we prove that the simple seven dimensional non-Lie Malcev algebra has no nontrivial skew-symmetric biderivation.

• Korean Journal of Mathematics
• /
• v.30 no.3
• /
• pp.555-560
• /
• 2022

Suppose L/K be a finite abelian extension of number fields of odd degree and suppose an abelian variety A defined over L is a K-variety. If the endomorphism algebra of A/L is a field F, the followings are equivalent : (1) The enodomorphiam algebra of the restriction of scalars from L to K is simple. (2) There is no proper subfield of L containing L^G_F on which A has a K-variety descent.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.3
• /
• pp.747-762
• /
• 2023

ω-left-symmetric algebras contain left-symmetric algebras as a subclass and the commutator defines an ω-Lie algebra. In this paper, we classify ω-left-symmetric algebras in dimension 3 up to an isomorphism based on the classification of ω-Lie algebras and the technique of Lie algebras.

• Journal of the Chungcheong Mathematical Society
• /
• v.36 no.2
• /
• pp.77-86
• /
• 2023

The purpose of this paper is to show that a certain finite dimensional representation of the rational Cherednik algebra of type A has a basis consisting of simultaneous eigenvectors for the actions of a certain family of commuting elements, which are introduced in the author's previous paper. To this end, we introduce a combinatorial object, which is called a restricted arrangement of colored beads, and consider an action of the affine symmetric group on the set of the arrangements.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.1025-1034
• /
• 2023

Let U be the restricted quantized enveloping algebra Ũ_q(𝖘𝖑₂) over an algebraically closed field of characteristic zero, where q is a primitive 𝑙-th root of unity (with 𝑙 being odd and greater than 1). In this paper we show that any indecomposable submodule of U under the adjoint action is generated by finitely many special elements. Using this result we describe all ideals of U. Moreover, we classify annihilator ideals of simple modules of U by generators.

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

A hereditary $C^{*}$-subalgebra B of a $C^{*}$-algebra A is said to be full if B is not contained in any proper closed two-sided ideal in A, so each hereditary $C^{*}$-subalgebra of a simple $C^{*}$-algebra is always full. It is well known that every $C^{*}$-algebra is strong Morita equivalent to its full hereditary $C^{*}$-subalgebra, but the strong Morita equivalence of a $C^{*}$-algebra A and its hereditary $C^{*}$-subalgebra B does not imply the fullness of B, ingeneral. We present the following lemma for our computational convenience in the course of the proof of the main theorem. Note that $L_{B}$, $L_{B}$$^{*}$ and $L_{B}$ $L_{B}$$^{*}$ are all .alpha.-invariant whenever B is .alpha.-invariant under the action .alpha. of G.a. of G.a. of G.a. of G.f G.

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.601-631
• /
• 2010

In [6] and [7], we introduced graph von Neumann algebras which are the (groupoid) crossed product algebras of von Neumann algebras and graph groupoids via groupoid actions. We showed that such crossed product algebras have the graph-depending amalgamated reduced free probabilistic properties. In this paper, we will consider a scalar-valued $W^*$-probability on a given graph von Neumann algebra. We show that a diagonal graph $W^*$-probability space (as a scalar-valued $W^*$-probability space) and a graph W¤-probability space (as an amalgamated $W^*$-probability space) are compatible. By this compatibility, we can find the relation between amalgamated free distributions and scalar-valued free distributions on a graph von Neumann algebra. Under this compatibility, we observe the scalar-valued freeness on a graph von Neumann algebra.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.3
• /
• pp.965-983
• /
• 2014

Concurrent behaviors of multithreaded programs cannot be described effectively by automata-based models. Thus, concurrent program intrusion attempts cannot be detected. To address this problem, we proposed the process algebra-based detection model for multithreaded programs (PADMP). We generate process expressions by static binary code analysis. We then add concurrency operators to process expressions and propose a model construction algorithm based on process algebra. We also present a definition of process equivalence and behavior detection rules. Experiments demonstrate that the proposed method can accurately detect errors in multithreaded programs and has linear space-time complexity. The proposed method provides effective support for concurrent behavior modeling and detection.

• Honam Mathematical Journal
• /
• v.37 no.2
• /
• pp.207-219
• /
• 2015

As a generalization of BH-algebras, the notion of pseudo BH-algebra is introduced, and some of their properties are investigated. The notions of pseudo ideals, pseudo atoms, pseudo strong ideals, and pseudo homomorphisms in pseudo BH-algebras are introduced. Characterizations of their properties are provided. We show that every pseudo homomorphic image and preimage of a pseudo ideal is also a pseudo ideal. Any pseudo ideal of a pseudo BH-algebra can be decomposed into the union of some sets. The notion of pseudo complicated BH-algebra is introduced and some related properties are obtained.