单位群

✍ dations ◷ 2025-09-08 05:15:46 #数论,代数数论

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

整数环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次域单位的判别式、类数、因子分解等各种情况。


相关

  • 火上锅火上锅(法语:Pot-au-feu)是法国饮食文化中一种具有代表性的菜式,受不同阶层人民欢迎。大体上以一盘牛肉倒入用蔬菜及香草调味过的清汤,用微火长时间慢炖即可。该道菜有很多不同
  • 一般线性模式一般线性模型(general linear model, multivariate regression model)是一个统计学上常见的线性模型(英语:Linear model)。这个模型在计量经济学的应用中十分重要。不要与多元线
  • 桥头事件桥头事件,为发生于民国68(1979)年1月22日于台湾省高雄县桥头乡(现在的高雄市桥头区)的示威游行活动,为国民政府在台湾实施戒严三十年以来第一次的政治示威活动。民国67年(1978年)8月
  • 部是政府机构的一种,在现代通常是指政府中第一级的行政部门,如教育部、财政部等,其中文用法来自于中国古代“三省六部”制度中的“六部”。在汉字文化圈的国家或语言中,多数将此
  • CV-67 约翰·F·肯尼迪号肯尼迪号航空母舰(USS John F. Kennedy, CV-67)是美国海军小鹰级航空母舰的第4号舰,也是美国最后一艘常规动力航空母舰,也是第一艘用美国总统名字命名的航空母舰,该舰的舰名取自
  • 约翰·克里斯蒂安·法布里丘斯约翰·克里斯蒂安·法布里丘斯(丹麦语:Johann Christian Fabricius,1745年1月7日-1808年3月3日)是一位丹麦昆虫学家,因通过昆虫的口器进行昆虫分类的研究而知名。出生于丹麦南部城
  • 查尔斯·罗伯特·马图林查尔斯·罗伯特·马图林(Charles Maturin)(1782年9月25日-1824年10月30日),是爱尔兰新教牧师、哥特式戏剧和小说作家。他最著名的作品是《Melmoth the Wanderer》。
  • 保田圭保田圭(1980年12月6日-),千叶县出身,隶属于艺能事务所Up-Front Agency,为女子偶像组合早安少女组的第2期成员。
  • 包儒略包儒略(法语:Jules Bruguière, C.M.,1851年8月12日-1906年10月19日),法国遣使会士,天主教直隶西南宗座代牧区宗座代牧。1851年8月12日,包儒略出生于法国南特 。1890年6月6日,前任直
  • 方履中方履中(1864年-1932年),字玉山,一字聘商,安徽安庆南乡(今义津镇)人。少时读书勤奋,清光绪二十九年中进士,选庶吉士,未散馆,同年闰五月,改翰林院庶吉士。历任两淮盐运使、四川提学使、安徽