• The Pure and Applied Mathematics
• /
• v.30 no.3
• /
• pp.237-248
• /
• 2023

The aim of this paper is to study the concept of s-topological d-algebras which is a d-algebra supplied with a certain type of topology that makes the binary operation defined on it d-topologically continuous. This concept is a generalization of the concept of topological d-algebra. We obtain several properties of s-topological d-algebras.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.5
• /
• pp.521-528
• /
• 1999

The nth-order, scalar, linear time-varying (LTV) systems can be dealt with operators on a differential ring. Using this differential algebraic structure and a classical result on differential operator factorizaitons developed by Floquet, a novel eigenstructure(eigenvalues, eigenvectors) concepts for linear time0varying systems are proposed. In this paper, Necessary and sufficient conditions for the existence of well-defined(free of finite-time singularities) SD- and PD- spectra for SPDOs with complex- and real-valued coefficients are also presented. Three numerical examples are presented to illustrate the proposed concepts.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.2
• /
• pp.27-38
• /
• 2002

A new self-consistent mathematical model for semiconductor quantum well device was developed. The model was based on the direct solution of the Boltzmann transport equation, coupled to the Schrodinger and Poisson equations. The solution yielded the distribution function for a two-dimensional electron gas(2DEG) in quantum well devices. To solve the Boltzmann equation, it was transformed into a tractable form using a Legendre polynomial expansion. The Legendre expansion facilitated analytical evaluation of the collision integral, and allowed for a reduction of the dimensionality of the problem. The transformed Boltzmann equation was then discretized and solved using sparce matrix algebra. The overall system was solved by iteration between Poisson, Schrodinger and Boltzmann equations until convergence was attained.