|
可換環論や体論では、フロベニウス自己準同型 (Frobenius endomorphism) (フェルディナント・ゲオルク・フロベニウス (Ferdinand Georg Frobenius) の名前にちなむ)は、有限体を含む重要なクラスである素数の標数 をもつ可換環の特別な自己準同型のことを言う。この自己準同型写像は、全ての元を -乗冪へ写像する。ある脈絡では、自己同型として正しいこともあるが、一般には正しくはない。 ==定義== を標数が素数 の可換環(例えば、正標数の整域は必ず素数標数である)とする。フロベニウス自己準同型写像 ''F'' は、''R'' の任意の元 ''r'' に対し、 : により定義される。明らかに、''R'' の乗法と整合的であり、つまり : が成り立ち、 は明らかに再度 1 となる。しかしながら、一方で、 の加法性についても、興味深いことが言える。表現 は二項定理を使い表すことができる。 は素数であるので、 を割ることができるが、 に対しいかなる も割ることはできない。従って、 であれば、pは次の二項係数の式により、、 : の分子を割ることはできるが、分母を割ることはできない。 従って、 と を除く全ての項の係数は、標数である で割り切れ、それらはなくなる。〔このことは(Freshman's dream)として知られている。〕 このように、 : となる。このことは、F が環準同型であることを示している。
|