• Journal of applied mathematics & informatics
• /
• v.36 no.3_4
• /
• pp.237-244
• /
• 2018

Let ${\mathcal{H}}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let L be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in ${\mathcal{L}}$. Let p and q be natural numbers (p < q). Let ${\mathcal{A}}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $T_{(p,q)}=0$ for all T in ${\mathcal{A}}$. If ${\mathcal{A}}$ is a Lie ideal, then $T_{(p,p)}=T_{(p+1,p+1)}={\cdots}=T_{(q,q)}$ and $T_{(i,j)}=0$, $p{\eqslantless}i{\eqslantless}q$ and i < $j{\eqslantless}q$ for all T in ${\mathcal{A}}$.

• Honam Mathematical Journal
• /
• v.39 no.1
• /
• pp.93-100
• /
• 2017

Let $\mathcal{H}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let $\mathcal{L}$ be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in $\mathcal{L}$. Let p and q be natural numbers($p{\leqslant}q$). Let $\mathcal{B}_{p,q}=\{T{\in}Alg\mathcal{L}{\mid}T_{(p,q)}=0\}$. Let $\mathcal{A}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $\{0\}{\varsubsetneq}{\mathcal{A}}{\subset}{\mathcal{B}}_{p,q}$. If $\mathcal{A}$ is an ideal in $Alg{\mathcal{L}}$, then $T_{(i,j)}=0$, $p{\leqslant}i{\leqslant}q$ and $i{\leqslant}j{\leqslant}q$ for all T in $\mathcal{A}$.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.683-687
• /
• 1998

Suppose X is a subspace of $(\sum_{n=1} ^{\infty} X_n)_{c_0}$, dim $X_n<{\infty}$, which has the metric compact approximation property. It is proved that if Y is a Banach space of cotype q for some $2{\leq}1<{\infty}$ then K(X,Y) is an M-ideal in L(X,Y).

• Kyungpook Mathematical Journal
• /
• v.18 no.1
• /
• pp.105-107
• /
• 1978

Considering the prime z-filters on a topological space X through the structures of the ring C(X) of continuous functions. a prime z-filter is uniquely determined by a primary z-ideal in the ring C(X), i. e., they have a one-to-one correspondence. Any primary ideal is contained in a unique maximal ideal in C(X). Denoting $\mathfrak{F}(X)$, $\mathfrak{Q}(X)$, 𝔐(X) the prime, primary-z, maximal spectra, respectively, $\mathfrak{Q}(X)$ is neither an open nor a closed subspace of $\mathfrak{F}(X)$.

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

Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and v be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple v-ideals $m=P_0\;{\supset}\;P_1\;{\supset}\;{\cdotS}\;{\supset}\;P_t=P$ and all the other v-ideals are uniquely factored into a product of those simple ones. It then was also shown by Lipman that the predecessor of the smallest simple v-ideal P is either simple (P is free) or the product of two simple v-ideals (P is satellite), that the sequence of v-ideals between the maximal ideal and the smallest simple v-ideal P is saturated, and that the v-value of the maximal ideal is the m-adic order of P. Let m = (x, y) and denote the v-value difference |v(x) - v(y)| by $n_v$. In this paper, if the m-adic order of P is 2, we show that $O(P_i)\;=\;1\;for\;1\;{\leq}\;i\; {\leq}\;{\lceil}\;{\frac{b+1}{2}}{\rceil}\;and\;O(P_i)\;=2\;for\;{\lceil}\;\frac{b+3}{2}\rceil\;{\leq}\;i\;\leq\;t,\;where\;b=n_v$. We also show that $n_w\;=\;n_v$ when w is the prime divisor associated to a simple v-ideal $Q\;{\supset}\;P$ of order 2 and that w(R) = v(R) as well.

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.247-256
• /
• 2004

Buchmann and Williams[1] proposed a key exchange system making use of the properties of the maximal order of an imaginary quadratic field. $H{\ddot{u}}hnlein$ et al. [6,7] also introduced a cryptosystem with trapdoor decryption in the class group of the non-maximal imaginary quadratic order with prime conductor q. Their common techniques are based on the properties of the invertible ideals of the maximal or non-maximal orders respectively. Kim and Moon [8], however, proposed a key-exchange system and a public-key encryption scheme, based on the class semigroups of imaginary quadratic non-maximal orders. In Kim and Moon[8]'s cryptosystem, a non-invertible ideal is chosen as a generator of key-exchange ststem and their secret key is some characteristic value of the ideal on the basis of Zanardo et al.[9]'s quantity for ideal equivalence. In this paper we propose the methods for finding the non-invertible ideals corresponding to non-primitive quadratic forms and clarify the structure of the class semigroup of non-maximal order as finitely disjoint union of groups with some quantities correctly. And then we correct the misconceptions of Zanardo et al.[9] and analyze Kim and Moon[8]'s cryptosystem.

• Honam Mathematical Journal
• /
• v.34 no.2
• /
• pp.279-287
• /
• 2012

Let $k$ be a field containing the field $\mathbb{Q}$ of rational numbers and let $R=k[x_{ij}{\mid}1{\leq}i{\leq}m,\;1{\leq}j{\leq}n]$ be the polynomial ring over a field $k$ with indeterminates $x_{ij}$. Let $I_t(X)$ be the determinantal ideal generated by the $t$-minors of an $m{\times}n$ matrix $X=(x_{ij})$. Eagon and Hochster proved that $I_t(X)$ is a perfect ideal of grade $(m-t+1)(n-t+1)$. We give a structure theorem for a class of determinantal ideals of grade 3. This gives us a characterization that $I_t(X)$ has grade 3 if and only if $n=m+2$ and $I_t(X)$ has the minimal free resolution $\mathbb{F}$ such that the second dierential map of $\mathbb{F}$ is a matrix defined by complete matrices of grade $n+2$.

• Korean Journal of Mathematics
• /
• v.6 no.2
• /
• pp.221-229
• /
• 1998

Let $k$ be a real abelian field and $k_{\infty}$ be its $\mathbb{Z}_p$-extension for an odd prime $p$. Let $A_n$ be the Sylow $p$-subgroup of the ideal class group of $k_n$, the $nth$ layer of the $\mathbb{Z}_p$-extension. By using the main conjecture of Iwasawa theory, we have the following: If $p$ does not divide $\prod_{{{\chi}{\in}\hat{\Delta}_k},{\chi}{\neq}1}B_{1,{\chi}{\omega}^{-1}$, then $A_n$ = {0} for all $n{\geq}0$, where ${\Delta}_k=Gal(k/\mathbb{Q})$ and ${\omega}$ is the Teichm$\ddot{u}$ller character for $p$. The converse of this statement does not hold in general. However, we have the following when $k$ is of prime conductor $q$: Let $q$ be an odd prime different from $p$. and let $k$ be a real subfield of $\mathbb{Q}({\zeta}_q)$. If $p{\mid}{\prod}_{{\chi}{\in}\hat{\Delta}_{k,p},{\chi}{\neq}1}B_{1,{\chi}{\omega}}-1$, then $A_n{\neq}\{0\}$ for all $n{\geq}1$, where ${\Delta}_{k,p}$ is the $Gal(k_{(p)}/\mathbb{Q})$ and $k_{(p)}$ is the decomposition field of $k$ for $p$.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.311-317
• /
• 2018

Let (R, m) be a commutative Noetherian local ring and I be an ideal of R. In this paper it is shown that if cd(I, R) = t > 0 and the R-module $Hom_R(R/I,H^t_I(R))$ is finitely generated, then $$t={\sup}\{{\dim}{\widehat{\hat{R}_p}}/Q:p{\in}V(I{\hat{R}}),\;Q{\in}mAss{_{\widehat{\hat{R}_p}}}{\widehat{\hat{R}_p}}\;and\;p{\widehat{\hat{R}_p}}=Rad(I{\wideha{\hat{R}_p}}=Q)\}$$. Moreover, some other results concerning the cohomological dimension of ideals with respect to the rings extension $R{\subset}R[X]$ will be included.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1733-1757
• /
• 2017

Let $R={\oplus}_{{\alpha}{\in}{\Gamma}}R_{\alpha}$ be an integral domain graded by an arbitrary torsionless grading monoid ${\Gamma}$, ${\bar{R}}$ be the integral closure of R, H be the set of nonzero homogeneous elements of R, C(f) be the fractional ideal of R generated by the homogeneous components of $f{\in}R_H$, and $N(H)=\{f{\in}R{\mid}C(f)_v=R\}$. Let $R_H$ be a UFD. We say that a nonzero prime ideal Q of R is an upper to zero in R if $Q=fR_H{\cap}R$ for some $f{\in}R$ and that R is a graded UMT-domain if each upper to zero in R is a maximal t-ideal. In this paper, we study several ring-theoretic properties of graded UMT-domains. Among other things, we prove that if R has a unit of nonzero degree, then R is a graded UMT-domain if and only if every prime ideal of $R_{N(H)}$ is extended from a homogeneous ideal of R, if and only if ${\bar{R}}_{H{\backslash}Q}$ is a graded-$Pr{\ddot{u}}fer$ domain for all homogeneous maximal t-ideals Q of R, if and only if ${\bar{R}}_{N(H)}$ is a $Pr{\ddot{u}}fer$ domain, if and only if R is a UMT-domain.