• 제목/요약/키워드: Hilbert basis theorem

검색결과 6건 처리시간 0.019초

A SIMPLE PROOF OF HILBERT BASIS THEOREM FOR *ω-NOETHERIAN DOMAINS

  • Lim, Jung Wook;Oh, Dong Yeol
    • Korean Journal of Mathematics
    • /
    • 제21권2호
    • /
    • pp.197-201
    • /
    • 2013
  • Let D be an integral domain with quotient field K, * a star-operation on D, $GV^*(D)$ the set of nonzero finitely generated ideals J of D such that $J_*=D$, and $*_{\omega}$ a star-operation on D defined by $I_{*_{\omega}}=\{x{\in}K{\mid}Jx{\subseteq}I\;for\;some\;J{\in}GV^*(D)\}$ for all nonzero fractional ideals I of D. In this article, we give a simple proof of Hilbert basis theorem for $*_{\omega}$-Noetherian domains.

HILBERT BASIS THEOREM FOR RINGS WITH ∗-NOETHERIAN SPECTRUM

  • PARK, MIN JI;LIM, JUNG WOOK
    • Journal of applied mathematics & informatics
    • /
    • 제38권3_4호
    • /
    • pp.271-276
    • /
    • 2020
  • Let R be a commutative ring with identity, R[X] the polynomial ring over R, ∗ a radical operation on R and ⋆ a radical operation of finite character on R[X]. In this paper, we give Hilbert basis theorem for rings with ∗-Noetherian spectrum. More precisely, we show that if (IR[X]) = (IR[X]) and (IR[X]) ∩ R = I for all ideals I of R, then R has ∗-Noetherian spectrum if and only if R[X] has ⋆-Noetherian spectrum. This is a generalization of a well-known fact that R has Noetherian spectrum if and only if R[X] has Noetherian spectrum.

THE RIESZ DECOMPOSITION THEOREM FOR SKEW SYMMETRIC OPERATORS

  • Zhu, Sen;Zhao, Jiayin
    • 대한수학회지
    • /
    • 제52권2호
    • /
    • pp.403-416
    • /
    • 2015
  • An operator T on a complex Hilbert space $\mathcal{H}$ is called skew symmetric if T can be represented as a skew symmetric matrix relative to some orthonormal basis for $\mathcal{H}$. In this note, we explore the structure of skew symmetric operators with disconnected spectra. Using the classical Riesz decomposition theorem, we give a decomposition of certain skew symmetric operators with disconnected spectra. Several corollaries and illustrating examples are provided.

ON INTEGRAL DOMAINS IN WHICH EVERY ASCENDING CHAIN ON PRINCIPAL IDEALS IS S-STATIONARY

  • Hamed, Ahmed;Kim, Hwankoo
    • 대한수학회보
    • /
    • 제57권5호
    • /
    • pp.1215-1229
    • /
    • 2020
  • Let D be an integral domain and S a multiplicative subset of D. An ascending chain (Ik)k∈ℕ of ideals of D is said to be S-stationary if there exist a positive integer n and an s ∈ S such that for each k ≥ n, sIk ⊆ In. As a generalization of domains satisfying ACCP (resp., ACC on ∗-ideals) we define D to satisfy S-ACCP (resp., S-ACC on ∗-ideals) if every ascending chain of principal ideals (resp., ∗-ideals) of D is S-stationary. One of main results of this paper is the Hilbert basis theorem for an integral domain satisfying S-ACCP. Also we investigate the class of such domains D and we generalize some known related results in the literature. Finally some illustrative examples regarding the introduced concepts are given.

AN ARTINIAN RING HAVING THE STRONG LEFSCHETZ PROPERTY AND REPRESENTATION THEORY

  • Shin, Yong-Su
    • 대한수학회논문집
    • /
    • 제35권2호
    • /
    • pp.401-415
    • /
    • 2020
  • It is well-known that if char𝕜 = 0, then an Artinian monomial complete intersection quotient 𝕜[x1, …, xn]/(x1a1, …, xnan) has the strong Lefschetz property in the narrow sense, and it is decomposed by the direct sum of irreducible 𝖘𝖑2-modules. For an Artinian ring A = 𝕜[x1, x2, x3]/(x16, x26, x36), by the Schur-Weyl duality theorem, there exist 56 trivial representations, 70 standard representations, and 20 sign representations inside A. In this paper we find an explicit basis for A, which is compatible with the S3-module structure.

CERTAIN CUBIC POLYNOMIALS OVER FINITE FIELDS

  • Kim, Hyung-Don;Kim, Jae-Moon;Yie, Ik-kwon
    • 대한수학회지
    • /
    • 제46권1호
    • /
    • pp.1-12
    • /
    • 2009
  • Motivated by XTR cryptosystem which is based on an irreducible polynomial $x^3-cx^2+c^px-1$ over $F_{p^2}$, we study polynomials of the form $F(c,x)=x^3-cx^2+c^qx-1$ over $F_{p^2}$ with $q=p^m$. In this paper, we establish a one to one correspondence between the set of such polynomials and a certain set of cubic polynomials over $F_q$. Our approach is rather theoretical and provides an efficient method to generate irreducible polynomials over $F_{p^2}$.