• 제목/요약/키워드: *-invertible ideal

검색결과 25건 처리시간 0.023초

ON THE STRUCTURES OF CLASS SEMIGROUPS OF QUADRATIC NON-MAXIMAL ORDERS

  • KIM, YONG TAE
    • 호남수학학술지
    • /
    • 제26권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.

  • PDF

INTEGRAL DOMAINS WITH A FREE SEMIGROUP OF *-INVERTIBLE INTEGRAL *-IDEALS

  • Chang, Gyu-Whan;Kim, Hwan-Koo
    • 대한수학회보
    • /
    • 제48권6호
    • /
    • pp.1207-1218
    • /
    • 2011
  • Let * be a star-operation on an integral domain R, and let $\mathfrak{I}_*^+(R)$ be the semigroup of *-invertible integral *-ideals of R. In this article, we introduce the concept of a *-coatom, and we then characterize when $\mathfrak{I}_*^+(R)$ is a free semigroup with a set of free generators consisting of *-coatoms. In particular, we show that $\mathfrak{I}_*^+(R)$ is a free semigroup if and only if R is a Krull domain and each ${\upsilon}$-invertible ${\upsilon}$-ideal is *-invertible. As a corollary, we obtain some characterizations of *-Dedekind domains.

GRADED INTEGRAL DOMAINS IN WHICH EACH NONZERO HOMOGENEOUS IDEAL IS DIVISORIAL

  • Chang, Gyu Whan;Hamdi, Haleh;Sahandi, Parviz
    • 대한수학회보
    • /
    • 제56권4호
    • /
    • pp.1041-1057
    • /
    • 2019
  • Let ${\Gamma}$ be a nonzero commutative cancellative monoid (written additively), $R={\bigoplus}_{{\alpha}{\in}{\Gamma}}$ $R_{\alpha}$ be a ${\Gamma}$-graded integral domain with $R_{\alpha}{\neq}\{0\}$ for all ${\alpha}{\in}{\Gamma}$, and $S(H)=\{f{\in}R{\mid}C(f)=R\}$. In this paper, we study homogeneously divisorial domains which are graded integral domains whose nonzero homogeneous ideals are divisorial. Among other things, we show that if R is integrally closed, then R is a homogeneously divisorial domain if and only if $R_{S(H)}$ is an h-local $Pr{\ddot{u}}fer$ domain whose maximal ideals are invertible, if and only if R satisfies the following four conditions: (i) R is a graded-$Pr{\ddot{u}}fer$ domain, (ii) every homogeneous maximal ideal of R is invertible, (iii) each nonzero homogeneous prime ideal of R is contained in a unique homogeneous maximal ideal, and (iv) each homogeneous ideal of R has only finitely many minimal prime ideals. We also show that if R is a graded-Noetherian domain, then R is a homogeneously divisorial domain if and only if $R_{S(H)}$ is a divisorial domain of (Krull) dimension one.

Kaplansky-type Theorems, II

  • Chang, Gyu-Whan;Kim, Hwan-Koo
    • Kyungpook Mathematical Journal
    • /
    • 제51권3호
    • /
    • pp.339-344
    • /
    • 2011
  • Let D be an integral domain with quotient field K, X be an indeterminate over D, and D[X] be the polynomial ring over D. A prime ideal Q of D[X] is called an upper to zero in D[X] if Q = fK[X] ${\cap}$ D[X] for some f ${\in}$ D[X]. In this paper, we study integral domains D such that every upper to zero in D[X] contains a prime element (resp., a primary element, a t-invertible primary ideal, an invertible primary ideal).

ON QUASI-STABLE EXCHANGE IDEALS

  • Chen, Huanyin
    • 대한수학회지
    • /
    • 제47권1호
    • /
    • pp.1-15
    • /
    • 2010
  • We introduce, in this article, the quasi-stable exchange ideal for associative rings. If I is a quasi-stable exchange ideal of a ring R, then so is $M_n$(I) as an ideal of $M_n$(R). As an application, we prove that every square regular matrix over quasi-stable exchange ideal admits a diagonal reduction by quasi invertible matrices. Examples of such ideals are given as well.

FREDHOLM ALTERNATIVES FOR AF ALGEBRAS

  • Cho, Sung-Je
    • 대한수학회논문집
    • /
    • 제10권2호
    • /
    • pp.331-335
    • /
    • 1995
  • We prover Fredholm alternatives for AF algebras: If an element have the finite null projection and the confinite range projection then its image in the relative Calkin algebra is invertible.

  • PDF

m-CANONICAL IDEALS IN SEMIGROUPS

  • Kwak, Dong-Je;Kim, Myeong-Og;Park, Young-Soo
    • 대한수학회보
    • /
    • 제37권3호
    • /
    • pp.577-586
    • /
    • 2000
  • For a grading monoid S, we prove that (1) if (S, M) is a valuation semigroup, then M is an m-canonical ideal, that is, an ideal M such that M : (M:J)=J for every ideal J of S. (2) if S is an integrally closed semigroup and S has a principal m-canonical ideal, then S is a valuation semigroup, and (3) if S is a completely integrally closed and S has an m-canonical ideal I, then every ideal of S is I-invertible, that is, J+(I+J)=I for every ideal J of S.

  • PDF