For faster navigation, this Iframe is preloading the Wikiwand page for 弗罗贝尼乌斯自同态.

弗罗贝尼乌斯自同态

数学中,特别交换代数理论中,弗罗贝尼乌斯自同态Frobenius endomorphism,简称弗罗贝尼乌斯)是特征素数p交换环中的一个特殊的自同态。这个自同态以德国数学家费迪南德·格奥尔格·弗罗贝尼乌斯命名。弗罗贝尼乌斯自同态将环中的每个元素射到它的p乘幂

在一般情况下,弗罗贝尼乌斯并不总是自同构

定义

[编辑]

R 是一个交换环,特征是素数p。定义环上的弗罗贝尼乌斯自同态F 为:

这是一个自同态,因为首先对于乘法,它必然服从

并且F(1) 也显然是1。然而同时,对于加法,也有:

这是因为,而其中除了 两项之外,其余的每一项都是p的倍数。事实上,其余的每一项都是,也就是 的形式,其中k 是一个介于1和p-1 之间的整数。这样,分母 无法被p 整除,而分子可以被p 整除。于是,整体来说是p倍数。因此,由于环的特征是p,这一项实际是0。从而:

综上,弗罗贝尼乌斯自同态是满足自同态的定义的。

一般来说,弗罗贝尼乌斯自同态F 不是自同构,也就是说它不是一个一一映射。举例来说,令K为域Fp(t),也就是在p有限域Fp 中加入一个新的超越元素t 扩展得到的扩域。显然,由于t 是超越元,它不可能在F集里面,否则t 就会是一个Fp-多项式,而不是超越元素。也就是说,F 不是自同构。

弗罗贝尼乌斯的不动点

[编辑]

R 为一个特征是p整环。这里弗罗贝尼乌斯F 的不动点是所有使得方程 xp = x 成立的元素,也就是多项式xp - x。根据费马小定理,这个多项式的全部根是0, 1, 2, ..., p - 1。因此,弗罗贝尼乌斯的不动点是R 中的素域

有限域的弗罗贝尼乌斯

[编辑]

Fq 为一个阶数等于q 的有限域,其中的q = pdp 是域的特征。弗罗贝尼乌斯将域中的 Fp 部分之中的元素映射到自身。可以证明,F 生成了域扩张伽罗瓦群

参考资料

[编辑]
  • Lawrence C. Washington. Elliptic Curves: Number Theory and Cryptography, Second Edition (Discrete Mathematics and Its Applications). Chapman and Hall/CRC. 2008. ISBN 978-1-420-07146-7. 

{{bottomLinkPreText}} {{bottomLinkText}}
弗罗贝尼乌斯自同态
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?