• 대한수학회지
• /
• 제56권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.

• 대한수학회논문집
• /
• 제34권1호
• /
• pp.279-286
• /
• 2019

Complex Grassmann manifolds $G_{n,k}$ are a generalization of complex projective spaces and have many important features some of which are captured by the $Pl{\ddot{u}}cker$ embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$ where $N=\(^n_k\)$. The problem of existence of cross sections of fibrations can be studied using the Gottlieb group. In a more generalized context one can use the relative evaluation subgroup of a map to describe the cohomology of smooth fiber bundles with fiber the (complex) Grassmann manifold $G_{n,k}$. Our interest lies in making use of techniques of rational homotopy theory to address problems and questions involving applications of Gottlieb groups in general. In this paper, we construct the Sullivan minimal model of the (complex) Grassmann manifold $G_{n,k}$ for $2{\leq}k<n$, and we compute the rational evaluation subgroup of the embedding $f:G_{n,k}{\rightarrow}{\mathbb{C}}P^{N-1}$. We show that, for the Sullivan model ${\phi}:A{\rightarrow}B$, where A and B are the Sullivan minimal models of ${\mathbb{C}}P^{N-1}$ and $G_{n,k}$ respectively, the evaluation subgroup $G_n(A,B;{\phi})$ of ${\phi}$ is generated by a single element and the relative evaluation subgroup $G^{rel}_n(A,B;{\phi})$ is zero. The triviality of the relative evaluation subgroup has its application in studying fibrations with fibre the (complex) Grassmann manifold.

• 대한수학회지
• /
• 제33권3호
• /
• pp.669-677
• /
• 1996

Let $M_n$ be the $C^*$-algebra of all $n \times n$ matrices over the complex field, and $P[M_m, M_n]$ the convex cone of all positive linear maps from $M_m$ into $M_n$ that is, the maps which send the set of positive semidefinite matrices in $M_m$ into the set of positive semi-definite matrices in $M_n$. The convex structures of $P[M_m, M_n]$ are highly complicated even in low dimensions, and several authors [CL, KK, LW, O, R, S, W]have considered the possibility of decomposition of $P[M_m, M_n] into subcones.

• 대한수학회보
• /
• 제26권2호
• /
• pp.119-126
• /
• 1989

Throughout this paper, X will always denote a Banach space over the complex numbers C, and L(X) will denote the Banach algebra of all continuous linear operators on X. Operator will always mean continuous linear operator. An n-tuple of operators T$_{1}$,..,T$_{n}$ on X will be denoted by over ^ T=(T$_{1}$,..,T$_{n}$ ). Let L$^{n}$ (X) be the set of all n-tuples of operators on X. X' will denote the dual space of X, S(X) its unit sphere and .PI.(X) the subset of X*X' defined by .PI.(X)={(x,f).mem.X*X': ∥x∥=∥f∥=f(x)=1}.

• 호남수학학술지
• /
• 제32권2호
• /
• pp.217-226
• /
• 2010

Using the Bu$\c{s}$neag's model ([1, 2, 3]), the notion of pseudo-valuations (valuations) on a ${\mathbf{BCK/BCI}}$-algebra is introduced, and a pseudo-metric is induced by a pseudo-valuation on ${\mathbf{BCK/BCI}}$-algebras. Based on the notion of (pseudo) valuation, we show that the binary operation in ${\mathbf{BCK/BCI}}$-algebras is uniformly continuous.

• 대한수학회지
• /
• 제38권1호
• /
• pp.125-134
• /
• 2001

Independent $\sigma$-algebras Α and Β on X, L$^2$(X, Α V Β), L$^2$(X x X, Α x Β), and the Hilbert space tensor product L$^2$(X,Α), (※Equations, See Full-text) L$^2$(X,Β), are isomorphic. In this note, we show that various Hilbert C(sup)*-algebra tensor products provide the analogous roles when independence is weakened to conditional independence.

• 대한수학회논문집
• /
• 제31권3호
• /
• pp.451-460
• /
• 2016

The notion of a rough fuzzy filter in a BE-algebra is introduced and some properties of such a filter are investigated. The relations between the upper (lower) rough filters and the upper (lower) approximations of their homomorphism images are discussed.

• 대한수학회보
• /
• 제47권5호
• /
• pp.933-950
• /
• 2010

We study a relationship between sets of uniqueness, weakly sufficient sets and sampling sets in the space $A^{-{\infty}}(\mathbb{B})$ of holomorphic functions with polynomial growth on the unit ball of $\mathbb{C}^n$ ($n\;{\geq}\;1$).

• 대한수학회지
• /
• 제45권2호
• /
• pp.313-329
• /
• 2008

In this paper, we study duality in the absolute Schur algebras that were first introduced in [1] and extended in [5]. This is done in a way analogous to the classical Schatten's Theorem on the Banach space $B(l_2)$ of bounded linear operators on $l_2$ involving the duality relation among the class of compact operators K, the trace class $C_1$ and $B(l_2)$. We also study the reflexivity in such the algebras.

• 대한수학회논문집
• /
• 제28권3호
• /
• pp.501-509
• /
• 2013

In this paper we give a definition of the Hodge type Laplacian ${\Delta}$ on a non-commutative manifold which is the smooth dense subalgebra of a $C^*$-algebra. We prove that the Laplacian on a quantum Heisenberg manifold is an elliptic operator in the sense that $({\Delta}+1)^{-1}$ is compact.