• Title/Summary/Keyword: Hilbert basis theorem

Search Result 6, Processing Time 0.018 seconds

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

  • Lim, Jung Wook;Oh, Dong Yeol
    • Korean Journal of Mathematics
    • /
    • v.21 no.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
    • /
    • v.38 no.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
    • Journal of the Korean Mathematical Society
    • /
    • v.52 no.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
    • Bulletin of the Korean Mathematical Society
    • /
    • v.57 no.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
    • Communications of the Korean Mathematical Society
    • /
    • v.35 no.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
    • Journal of the Korean Mathematical Society
    • /
    • v.46 no.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}$.