单位群

✍ dations ◷ 2025-07-07 07:11:08 #数论,代数数论

在环中,所有可逆元素叫环的单位,所有单位对乘法可构成一个乘法群,叫环的单位群。对环(域)来说,单位群所有元素,和环(域)的所有元素有多少相同,有多少不同,可由环的素理想,分式理想,理想类群来度量。

整数环Z的单位只有1,-1,单位群同构于循环群C2。模n 的剩余类环Z单位群记为U(Zn)。仅有U(Z3),U(Z4),U(Z6),U(Z8),U(Z12),U(Z24)非单位元的阶均为2;非单位元的阶均为其他素数p(p > 2)的单位群不存在。

算术基本定理说明Z环的乘法结构为:每一个非零整数可以表为唯一的若干素数次幂和±1乘。这对OK的理想的唯一分解对一部分理想正确,不能全正确是因为±1,因为整数1和-1是Z环的可逆元素(即单位,两者组成一个乘法群叫单位群,记为Z×,是个2阶循环群)。更普遍的是,在OK的形式下全部素元乘法可逆组成一个乘法群,记为O×,群素元称为OK的单位,这个群比2阶循环群Z×阶大。由狄利克雷单位定理可得:单位群是交换群。更确切的有伽罗瓦模形式:

有限循环群即为K的单位群O×。OK单元群的阶大小,OK的格结构,类数公式可以求出。

由在线GNU项目sagemath.org可容易看出2次域单位的判别式、类数、因子分解等各种情况。


相关

  • 乔治·斯托克斯乔治·加布里埃尔·斯托克斯爵士,第一代从男爵,FRS(英语:Sir George Gabriel Stokes, 1st Baronet,1819年8月13日-1903年2月1日),爱尔兰数学家和物理学家,就读和任教于剑桥大学,主要贡
  • 明矾明矾(英语:Potassium alum,化学式:KAl(SO4)2·12H2O),又称钾铝矾、铝明矾、钾矾、白矾、生矾、羽涅或云母矾,可以用作净化水质、鞣制皮革、当作发粉或者代替硫酸铝作凡拉明蓝防染剂
  • 美国地理学家协会美国地理学家协会(英文:American Association of Geographers)是一个非营利的科学教育学会,成立于1904年,致力于提高对地理学及相关领域的理解、研究和重要性。其总部位于美国华
  • 自然常数物理常数,或称物理定数、物理常量或自然常数,指的是物理学中数值固定不变的物理量。它与数学常数不同,数学常数指的是一个在数值上固定不变的值,但是这个值不一定与物理测量有关
  • 佩吉·阿什克罗福特伊迪丝·玛格丽特·艾蜜莉·“佩吉”·阿什克罗福特女爵士,DBE(英语:Dame Edith Margaret Emily Ashcroft,DBE,1907年12月22日-1991年6月14日)英国演员。
  • 萨拉斯皮尔斯萨拉斯皮尔斯自治市(拉脱维亚语:Salaspils Novads),是拉脱维亚的一个自治市,设立于2004年,位于该国中部。人口22810人,面积126.9平方公里,人口密度约180人/km2。
  • M25狙击手武器系统XM25/M25是1980年代后期美国陆军特种部队—第10特种小队(10th Special Forces Group)与海军海豹部队以M14自动步枪为基础改进研制的。目前只有美国陆军特种部队—第10特种小队
  • 睢阳区睢阳区是中华人民共和国河南省商丘市的一个市辖区。面积913平方公里,2002年人口72万。国家历史文化名城商丘市的主体位于该区。约公元前11世纪,周成王三年,周公平定武庚叛乱后,
  • 长城鸟属长城鸟属(属名:)是一种生存于下白垩纪的鸟类。它的化石于中国的炒米店子组发现,介乎于巴列姆阶与阿普第阶的边界,年代约1亿2500万年前。长城鸟除了模式标本(编号 GMV-2129,一副稍为
  • 硝酸镁硝酸镁是镁元素的硝酸盐,具有吸湿性,在潮湿的空气中能快速与水反应形成六水合硝酸镁。硝酸镁易溶于水或乙醇。水溶液呈中性。硝酸镁的主要用途是浓缩硝酸,并常被用于印刷业及化