• 대한수학회지
• /
• 제59권3호
• /
• pp.571-594
• /
• 2022

Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).

• 대한수학회지
• /
• 제46권6호
• /
• pp.1165-1178
• /
• 2009

In this paper we classify finite groups whose nonnormal subgroups are of order p or pq, where p, q are primes. As a by-product, we also classify the finite groups in which all nonnormal subgroups are cyclic.

• 대한수학회보
• /
• 제55권6호
• /
• pp.1835-1843
• /
• 2018

In this paper, finite p-groups G satisfying $N_G(H){\leq}H^G$ for every non-normal subgroup H of G are completely classified. This solves a problem proposed by Y. Berkovich.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제4권1호
• /
• pp.93-96
• /
• 1997

An atomic integral domain R is a half-factorial domain (HFD) if whenever $\chi_1$… $\chi_{m}=y_1$…$y_n$ with each $\chi_{i},y_j \in R$ irreducible, then m = n. In this paper, we show that if R[X] is an HFD, then $Cl_{t}(R)$ $\cong$ $Cl_{t}$(R[X]), and if $G_1$ and $G_2$ are torsion abelian groups, then there exists a Dedekind HFD R such that Cl(R) = $G_1\bigoplus\; G_2$.