For the domain arising from the construction , we relate the star
class groups of to those of and . More precisely, let be an
integral domain, a nonzero maximal ideal of , a proper subring of
, the natural projection, and let .
For each star operation on , we define the star operation
on , i.e., the projection'' of $\ast$ under $\phi$, and the star operation ${(\ast)}_{_{T}}$ on $T$, i.e., the extension’’ of to . Then we
show that, under a mild hypothesis on the group of units of , if is a
star operation of finite type, $0\to \Cl^{\ast_{\phi}}(D) \to \Cl^\ast® \to
\Cl^{{(\ast)}{{T}}}(T)\to 0\ast =
t_{R} 0\to \Cl^{t_{D}}(D) {\to} \Cl^{t_{R}}®
{\to}\Cl^{(t_{R}){{T}}}(T) \to 0 {(t_{R}){{T}}}t_{T}\Cl^{(t_{R}){{T}}}(T)\Cl^{t_{T}}(T)$) is also investigated.

生成讲解博客的中文版本

生成AI智能校验的中文版本