• Journal of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.183-193
• /
• 1995

Let N be a $II_1$ factor and G be a finite group acting outerly on N. Then the crossed product algebra $M = N \rtimes G$ is also a $II_1$ factor and $N' \cap M = CI$, i.e. N is irreducible in M. Moreover, N is regular in M, in other words, M is generated by the normalizer $N_M (N)$.

• Journal of applied mathematics & informatics
• /
• v.12 no.1_2
• /
• pp.359-365
• /
• 2003

Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. In this article, we investigate invertible interpolation problems in CSL-Algebra AlgL : Let L be a commutative subspace lattice on a Hilbert space H and x and y be vectors in H. When does there exist an invertible operator A in AlgL suth that An = ㅛ?

• Honam Mathematical Journal
• /
• v.29 no.3
• /
• pp.445-453
• /
• 2007

The notion of strong deductive system of a BL-algebra is introduced, and a characterization of a strong deductive system is given. A relation between a strong deductive system and a deductive system is given. It will be seen that every strong deductive system can be expressed as the union of special sets.

• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.2
• /
• pp.213-226
• /
• 2017

The concept of fuzzy transitive filters is introduced in BE-algebras. Some sufficient conditions are established for every fuzzy filter of a BE-algebra to become a fuzzy transitive filter. Some properties of fuzzy transitive filters are studied with respect to fuzzy relations and cartesian products.

• The Mathematical Education
• /
• v.44 no.3 s.110
• /
• pp.337-360
• /
• 2005

In this paper we develop textbook 'Modem Algebra' for training mathematics teacher of secondary schools. In order to understand mathematics teacher's viewpoint about desirable textbook 'Modem Algebra' we created a Questionnaire related with curriculum and textbook for training mathematics teacher of secondary schools. We analyze the result of the questionnaire along with recent studies on teacher education and come up with basic principles of developing textbook 'Modern Algebra'. The first version of 'Modern Algebra for Mathematics Teachers' that we have developed based on our study can be found in website 'www.teacheredu.co.kr'.

• Journal of the Korean School Mathematics Society
• /
• v.13 no.1
• /
• pp.89-104
• /
• 2010

In a rapidly changing and increasingly technological society. the use of technology should not be disregarded in issues of learning algebra. The use of technology in learning algebra raises many learning and pedagogical issues. In this article, previous research on the use of technology in learning algebra is synthesized on the basis of the four issues: conceptual understanding, skills, instrumental genesis, and transparency. Finally, suggestions for future research into technological pedagogical content knowledge (TPCK) are made.

• Journal for History of Mathematics
• /
• v.23 no.2
• /
• pp.89-99
• /
• 2010

Today linear algebra is one of compulsory courses for university mathematics by virtue of its theoretical fundamentals and fruitful applications. Vector theory and matrix theory constitute of main topics in linear algebra. In the present paper we consider the question which of the two topics is prior in teaching of linear algebra. We suggest that vector theory should be prior to matrix theory contrary to the historical order of them.

• Korean Journal of Mathematics
• /
• v.30 no.3
• /
• pp.443-458
• /
• 2022

In this paper, we apply the concept of intuitionistic Q-fuzzy set to PMS-algebras. We study the concept of intuitionistic Q-fuzzy PMS-ideals of PMS-algebras and investigate some related properties of intuitionistic Q-fuzzy PMS-ideals of PMS-algebras. We provide the relationship between an intuitionistic Q-fuzzy PMS-subalgebra and an intuitionistic Q-fuzzy PMS-ideal of a PMS-algebra. We establish a condition for an intuitionistic Q-fuzzy set in a PMS-algebra to be an intuitionistic Q-fuzzy PMS-ideal of a PMS-algebra. Characterizations of intuitionistic Q-fuzzy PMS-ideals of PMS-algebras in terms of their level sets are given.

• 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.36 no.1
• /
• pp.29-32
• /
• 2014

Given operators X and Y acting on a separable Hilbert space $\mathcal{H}$, an interpolating operator is a bounded operator A such that AX = Y. In this article, we investigate self-adjoint interpolation problems for operators in a tridiagonal algebra : Let $\mathcal{L}$ be a subspace lattice acting on a separable complex Hilbert space $\mathcal{H}$ and let X = ($x_{ij}$) and Y = ($y_{ij}$) be operators acting on $\mathcal{H}$. Then the following are equivalent: (1) There exists a self-adjoint operator A = ($a_{ij}$) in $Alg{\mathcal{L}}$ such that AX = Y. (2) There is a bounded real sequence {${\alpha}_n$} such that $y_{ij}={\alpha}_ix_{ij}$ for $i,j{\in}\mathbb{N}$.