FiniteCharacteristic

Next: pthPower Up: Basic Categories Previous: FiniteField Contents Index

FiniteCharacteristic

$\begin{usage} FiniteCharacteristic: Category \end{usage}$

$\begin{descr} FiniteCharacteristic~is the category of finite characteristic rings. \end{descr}$

Exports

Ring

pthPower: % $\to$ % Exponentiation to the characteristic

pthPower!: % $\to$ % In-place exponentiation to the characteristic

Subsections

pthPower

Manuel Bronstein 2000-12-13

`Ring`
`pthPower`:	% $\to$ %	Exponentiation to the characteristic
`pthPower!`:	% $\to$ %	In-place exponentiation to the characteristic