Macaulay2 » Documentation
Packages » DirectSummands » Example: summands of the Frobenius pushforward » frobeniusRing

next | previous | forward | backward | up | index | toc

frobeniusRing -- construct the source ring for an iterated Frobenius map

Usage:

frobeniusRing(e, R)
Inputs:
- e, an integer,
- R, a ring,
Outputs:
- a ring, with the grading scaled by $p^e$

Description

This function returns the ring that serves as the source of the $e$-th Frobenius map on $R$.

See also

frobeniusMap -- the iterated Frobenius map of a ring in positive characteristic
frobeniusTwist -- apply the Frobenius twist to rings, modules, and matrices

Ways to use frobeniusRing:

frobeniusRing(ZZ,Ring)

For the programmer

The object frobeniusRing is a method function.

The source of this document is in DirectSummands/docs.m2:680:0.