diff --git a/src/sage/rings/function_field/drinfeld_modules/finite_drinfeld_module.py b/src/sage/rings/function_field/drinfeld_modules/finite_drinfeld_module.py index dca578e2296..1369d1a213b 100644 --- a/src/sage/rings/function_field/drinfeld_modules/finite_drinfeld_module.py +++ b/src/sage/rings/function_field/drinfeld_modules/finite_drinfeld_module.py @@ -230,12 +230,12 @@ def companion(order): def frobenius_endomorphism(self): r""" - Return the Frobenius endomorphism of the Drinfeld module as a - morphism object. + Return the Frobenius endomorphism of the Drinfeld module. + + The *Frobenius endomorphism* is defined by the Ore polynomial + `tau^n`, where `n` is the degree of the base field `K` over + `\mathbb F_q`. - Let `q` be the order of the base field of the function ring. The - *Frobenius endomorphism* is defined as the endomorphism whose - defining Ore polynomial is `t^q`. EXAMPLES::