slamminsammya
Feb21-11, 09:52 PM
Given a formal group law F (over the p-adics integers, say) and an endomorphism (homomorphism) f of F such that f'(0) is not 0, it can be shown that the first coefficient of f which does not reduce to 0 mod p must be the p^n'th coefficient for some n. The height of the formal group homomorphism f is defined to be n.
My question is, how does one show that the first coefficient which is not 0 mod p is the p^n'th coefficient for some n?
My question is, how does one show that the first coefficient which is not 0 mod p is the p^n'th coefficient for some n?