• Kyungpook Mathematical Journal
• /
• v.60 no.1
• /
• pp.53-69
• /
• 2020

Let (A, M) ⊂ (B, N) be commutative quasi-local rings. We consider the property that there exists a ring D such that A ⊆ D ⊂ B and the extension D ⊂ B is inert. Examples show that the number of such D may be any non-negative integer or infinite. The existence of such D does not imply M ⊆ N. Suppose henceforth that M ⊆ N. If the field extension A/M ⊆ B/N is algebraic, the existence of such D does not imply that B is integral over A (except when B has Krull dimension 0). If A/M ⊆ B/N is a minimal field extension, there exists a unique such D, necessarily given by D = A + N (but it need not be the case that N = MB). The converse fails, even if M = N and B/M is a finite field.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1957-1972
• /
• 2013

The reflexive property for ideals was introduced by Mason and has important roles in noncommutative ring theory. In this note we study the structure of idempotents satisfying the reflexive property and introduce reflexive-idempotents-property (simply, RIP) as a generalization. It is proved that the RIP can go up to polynomial rings, power series rings, and Dorroh extensions. The structure of non-Abelian RIP rings of minimal order (with or without identity) is completely investigated.

• Journal of the Korean Mathematical Society
• /
• v.9 no.1
• /
• pp.27-29
• /
• 1972

• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.203-222
• /
• 2005

Thompson series is a Hauptmodul for a genus zero group which lies between $\Gamma$o(N) and its normalizer in PSL2(R) ([1]). We construct explicit ring class fields over an imaginary quadratic field K from the Thompson series $T_g$($\alpha$) (Theorem 4), which would be an extension of [3], Theorem 3.7.5 (2) by using the Shimura theory and the standard results of complex multiplication. Also we construct various class fields over K, over a CM-field K (${\zeta}N + {\zeta}_N^{-1}$), and over a field K (${\zeta}N$). Furthermore, we find an explicit formula for the conjugates of Tg ($\alpha$) to calculate its minimal polynomial where $\alpha$ (${\in}{\eta}$) is the quotient of a basis of an integral ideal in K.