• Journal of the Korean Mathematical Society
• /
• v.40 no.2
• /
• pp.273-286
• /
• 2003

Let $F^{\alpha}$G be a twisted group algebra. A subalgebra of $F^{\alpha}$G generated by all class sums of partition P of G is called a projective class algebra in $F^{alpha}$G associated with partition P. In this paper we study various partitions of G determined by actions of certain operator groups on G and construct projective class algebras depending on the actions. With regard to projective class algebras, we investigate structures of associated skew group algebras and fixed group algebras.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.5
• /
• pp.1193-1208
• /
• 2021

Let 𝓐 be a von Neumann algebra with no central summands of type I₁. In this article, we study Lie n-derivation on von Neumann algebra and prove that every additive Lie n-derivation on a von Neumann algebra has standard form at zero product as well as at projection product.

• Communications of the Korean Mathematical Society
• /
• v.29 no.3
• /
• pp.463-478
• /
• 2014

We find criteria for symmetrized monomials to be non-hit in the $\mathcal{A}_2$-algebra of symmetric polynomials in three variables, where $\mathcal{A}_2$ is the mod 2 Steenrod algebra.

• School Mathematics
• /
• v.5 no.3
• /
• pp.343-360
• /
• 2003

In this paper, we deal with the teaching of algebra based on patterns and generalization. The past algebra curriculum starts with letters(variables), algebraic expressions, and equations, but these formal approaching method has many difficulties in the school algebra. Therefore we insist the new algebraic approaches should be needed. In order to develop these instructions, we firstly investigate the relationship of patterns and algebra, the relationship of generalization and algebra, the steps of generalization from patterns and levels of difficulties. Next we look into the algebra instructions based arithmetic patterns, visual patterns and functional situations. We expect that these approaches help students learn algebra when they begin school algebra.

• Journal of applied mathematics & informatics
• /
• v.38 no.1_2
• /
• pp.65-77
• /
• 2020

In this paper, for any non-empty subsets A, I of a pseudo BCI-algebra X, we introduce the concept of pseudo p-closure of A with respect to I, denoted by A^pc_I, and investigate some related properties. Applying this concept, we state a necessary and sufficient condition for a pseudo BCI-algebra 1) to be a p-semisimple pseudo BCI-algebra; 2) to be a pseudo BCK-algebra. Moreover, we show that A^pc_{0} is the least positive pseudo ideal of X containing A, and characterize it by the union of some branches. We also show that the set of all pseudo ideals of X which A^pc_I = A, is a complete lattice. Finally, we prove that this notion can be used to define a closure operation.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.447-452
• /
• 2005

Given operators X and Y on a Hilbert space H, an interpolating operator is a bounded operator A such that AX = Y. In this article, we investigate compact interpolation problems for vectors in a tridiagonal algebra. Let L be a subspace lattice acting on a separable complex Hilbert space H and Alg L be a tridiagonal algebra. Let X = $(x_{ij})\;and\;Y\;=\;(y_{ij})$ be operators acting on H. Then the following are equivalent: (1) There exists a compact operator A = $(x_{ij})$ in AlgL such that AX = Y. (2) There is a sequence {$\alpha_n$} in $\mathbb{C}$ such that {$\alpha_n$} converges to zero and $$y_1\;_j=\alpha_1x_1\;_j+\alpha_2x_2\;_j\;y_{2k}\;_j=\alpha_{4k-1}x_{2k\;j}\;y_{2k+1\;j}=\alpha_{4k}x_{2k\;j}+\alpha_{4k+1}x_{2k+1\;j}+\alpha_{4k+2}x_{2k+2\;j\;for\;all\;k\;\epsilon\;\mathbb{N}$$.

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

The purpose of this research is to find an extension of the renowned Chernoff theorem on standard operator algebra. Infact, we prove the following result: Let H be a real (or complex) Banach space and 𝓛(H) be the algebra of bounded linear operators on H. Let 𝓐(H) ⊂ 𝓛(H) be a standard operator algebra. Suppose that D : 𝓐(H) → 𝓛(H) is a linear mapping satisfying the relation D(AⁿBⁿ) = D(Aⁿ)Bⁿ + AⁿD(Bⁿ) for all A, B ∈ 𝓐(H). Then D is a linear derivation on 𝓐(H). In particular, D is continuous. We also present the limitations on such identity by an example.

• Korean Journal of Mathematics
• /
• v.22 no.1
• /
• pp.91-121
• /
• 2014

Let X and Y be vector spaces. It is shown that a mapping $f:X{\rightarrow}Y$ satisfies the functional equation ${\ddag}$ $$2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^jx_j}{2d})-2df(\frac{x_1+{\sum}_{j=2}^{2d}(-1)^{j+1}x_j}{2d})=2\sum_{j=2}^{2d}(-1)^jf(x_j)$$ if and only if the mapping $f:X{\rightarrow}Y$ is additive, and prove the Cauchy-Rassias stability of the functional equation (${\ddag}$) in Banach modules over a unital $C^*$-algebra, and in Poisson Banach modules over a unital Poisson $C^*$-algebra. Let $\mathcal{A}$ and $\mathcal{B}$ be unital $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras. As an application, we show that every almost homomorphism $h:\mathcal{A}{\rightarrow}\mathcal{B}$ of $\mathcal{A}$ into $\mathcal{B}$ is a homomorphism when $h(d^nuy)=h(d^nu)h(y)$ or $h(d^nu{\circ}y)=h(d^nu){\circ}h(y)$ for all unitaries $u{\in}\mathcal{A}$, all $y{\in}\mathcal{A}$, and n = 0, 1, 2, ${\cdots}$. Moreover, we prove the Cauchy-Rassias stability of homomorphisms in $C^*$-algebras, Poisson $C^*$-algebras, Poisson $JC^*$-algebras or Lie $JC^*$-algebras, and of Lie $JC^*$-algebra derivations in Lie $JC^*$-algebras.

• Journal of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.859-869
• /
• 1997

It is shown that for $A_{k, m}$ a k-homogeneous $C^*$-algebra over $S^{2n - 1} \times S^1$ such that no non-trivial matrix algebra can be factored out of $A_{k, m}$ and $A_{k, m} \otimes M_l(C)$ has a non-trivial bundle structure for any positive integer l, we construct an $A_{k, m^-} C(S^{2n - 1} \times S^1) \otimes M_k(C)$-equivalence bimodule to show that every k-homogeneous $C^*$-algebra over $S^{2n - 1} \times S^1)$. Moreover, we prove that the tensor product of the k-homogeneous $C^*$-algebra $A_{k, m}$ with a UHF-algebra of type $p^\infty$ has the tribial bundle structure if and only if the set of prime factors of k is a subset of the set of prime factors of pp.

• Honam Mathematical Journal
• /
• v.37 no.2
• /
• pp.221-233
• /
• 2015

The notion of a mighty (vague) filter in a BE-algebra is introduced, and the relation between a (vague) filter and a mighty (vague) filter are given. We investigate an equivalent condition for a (vague) filter to be mighty, and state an extension property for mighty filter. Also we define the notion of an n-fold mighty filter which is an extended notion of a mighty filter in a BE-algebra. Characterizations of an n-fold mighty filter are given. Extension property for an n-fold mighty filter are provided.