• Journal of the Korean Data and Information Science Society
• /
• v.18 no.3
• /
• pp.827-832
• /
• 2007

Several partial orders on integral partitions have been studied with many applications such as majorizations, capacities of quantum memory and embeddabilities of matrix algebras. In particular, the embeddability, stable embeddability and strong-stable embeddability problems arise for finite dimensional irreducible modules over a complex simple Lie algebra L. We find a sufficient condition for an L-module strong-stably embeds into another L-module using formal character theory.

• The Pure and Applied Mathematics
• /
• v.17 no.1
• /
• pp.107-113
• /
• 2010

In this paper, we study the root system of rank 2 symmetric hyperbolic Kac-Moody algebras. We give the sufficient conditions for existence of imaginary roots of square length -2k ($k\;{\in}\;\mathbb{Z}$>0). We also give several relations between the roots on g(A).

• Journal for History of Mathematics
• /
• v.31 no.1
• /
• pp.1-17
• /
• 2018

In this expository paper, we present an abridged report on the max-plus eigenspaces of max-plus matrices with its brief history. At the end of our work, a number of examples are presented with maple codes, and then we make a claim from the observation of these examples, which is on the euclidean dimension of the max-plus eigenspaces of strongly definite matrices.

• Proceedings of the KSR Conference
• /
• 1998.11a
• /
• pp.137-143
• /
• 1998

Numerical simulation is conducted to clarify the heat transfer and fluid flow characteristics of traction motor for electric car SIMPLE algorithm based on finite volume method is used to make linear algebra equation. The governing equations are solved by TDMA(TriDiagonal Matrix Algorithm) with line-by-line method and block correction. From the results of simulation, the characteristics of cooling pattern is strongly affected by the size of hole in stator core. In the case of high rotational speed of rotor, temperature difference along the axial direction is more decreased than that of low rotational speed.

• Korean Journal of Mathematics
• /
• v.29 no.4
• /
• pp.741-747
• /
• 2021

The Cayley-Bacharach theorem says that every cubic curve on an algebraically closed field that passes through a given 8 points must contain a fixed ninth point, counting multiplicities. Ren et al. introduced a concrete formula for the ninth point in terms of the 8 points [4]. We would like to consider a different approach to find the ninth point via the theory of truncated moment problems. Various connections between algebraic geometry and truncated moment problems have been discussed recently; thus, the main result of this note aims to observe an interplay between linear algebra, operator theory, and real algebraic geometry.

• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.443-456
• /
• 2005

Let G be a Lie group, let L(G) be its Lie algebra, and let exp : $L(G){\rightarrow}G$ denote the exponential mapping. For $S{\subseteq}G$, we define the tangent set of S by $L(S)\;=\;\{X\;{\in}\;L(G)\;:\;exp(tX)\;\in\;S\;for\;all\;t\;{\geq}\;0\}$. We say that a semigroup S is strictly infinitesimally generated if S is the same as the semigroup generated by exp(L(S)). We find a tangent set of the semigroup of all non-singular totally positive matrices and show that the semigroup is strictly infinitesimally generated by the tangent set of the semigroup. This generalizes the familiar relationships between connected Lie subgroups of G and their Lie algebras

• Korean Journal of Mathematics
• /
• v.27 no.2
• /
• pp.375-415
• /
• 2019

We study spaces of continuous-function-valued functions that have the property that composition with evaluation functionals induce $weak^*$ to norm continuous maps to ${\ell}^p$ space ($p{\in}(1,\;{\infty})$). Versions of $H{\ddot{o}}lder^{\prime}s$ inequality and Riesz representation theorem are proved to hold on these spaces. We prove a version of Dixmier's theorem for spaces of function-valued matrix operators on these spaces, and an analogue of the trace formula for operators on Hilbert spaces. When the function space is taken to be the complex field, the spaces are just the ${\ell}^p$ spaces and the well-known classical theorems follow from our results.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.973-981
• /
• 2021

Let R be a commutative ring with identity 1, n ≥ 3, and let 𝒯_n(R) be the linear Lie algebra of all upper triangular n × n matrices over R. A linear map 𝜑 on 𝒯_n(R) is called to be strong commutativity preserving if [𝜑(x), 𝜑(y)] = [x, y] for any x, y ∈ 𝒯_n(R). We show that an invertible linear map 𝜑 preserves strong commutativity on 𝒯_n(R) if and only if it is a composition of an idempotent scalar multiplication, an extremal inner automorphism and a linear map induced by a linear function on 𝒯_n(R).

• Journal of the Korean Mathematical Society
• /
• v.59 no.4
• /
• pp.789-804
• /
• 2022

Striking result of Vybíral [51] says that Schur product of positive matrices is bounded below by the size of the matrix and the row sums of Schur product. Vybíral used this result to prove the Novak's conjecture. In this paper, we define Schur product of matrices over arbitrary C^*-algebras and derive the results of Schur and Vybíral. As an application, we state C^*-algebraic version of Novak's conjecture and solve it for commutative unital C^*-algebras. We formulate Pólya-Szegő-Rudin question for the C^*-algebraic Schur product of positive matrices.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.83-91
• /
• 2023

A ring R is called a UN ring if every non unit of it can be written as product of a unit and a nilpotent element. We obtain results about lifting of conjugate idempotents and unit regular elements modulo an ideal I of a UN ring R. Matrix rings over UN rings are discussed and it is obtained that for a commutative ring R, a matrix ring M_n(R) is UN if and only if R is UN. Lastly, UN group rings are investigated and we obtain the conditions on a group G and a field K for the group algebra KG to be UN. Then we extend the results obtained for KG to the group ring RG over a ring R (which may not necessarily be a field).