的非零元所成的群,U,是kJ的全体单位所成的群(如果,是无限的,取认二心).心关于认的限制直积是k的伊代尔群(gro叩ofi成l留),作为集合,伊代尔群I*是A‘的可逆元的集合.但是I*上的拓扑比由A*诱导的拓扑强. I*模掉主伊代尔构成的对角子群k’={(。),。,}所得的商群称为伊代尔类群(id亡le chSS group...