Macaulay2 » Documentation
Packages » WittVectors :: WittRingMap
next | previous | forward | backward | up | index | toc

WittRingMap -- The class of maps between Witt rings.

Description

In our implementation, a map of WittRings is always induced by a map between the underlying rings. WittRingMaps can operate on WittRingElements.

i1 : R = (ZZ/5)[x,y];
 
i2 : S = (ZZ/5)[a,b,c,d];
 
i3 : f = map(S, R, {a*b, c*d});

o3 : RingMap S <-- R
 
i4 : Wf = witt(2, f);

Functions and methods returning an object of class WittRingMap:

  • witt(ZZ,RingMap) -- see witt -- The map induced on Witt rings by a RingMap.
  • witt(ZZ,ZZ,RingMap) -- The map induced on Witt rings by a RingMap.
  • wittFrobenius(WittPolynomialRing) -- see wittFrobenius -- The (Witt) Frobenius map of a Witt ring
  • wittFrobenius(WittQuotientRing) -- see wittFrobenius -- The (Witt) Frobenius map of a Witt ring
  • wittFrobenius(ZZ,Ring) -- The (Witt) Frobenius map on the Witt vectors of a ring
  • WittRingMap * WittRingMap (missing documentation)

Methods that use an object of class WittRingMap:

  • baseMap(WittRingMap) -- see baseMap -- Returns the underlying RingMap of a WittRingMap
  • explicit(WittRingMap) (missing documentation)
  • net(WittRingMap) (missing documentation)
  • source(WittRingMap) (missing documentation)
  • target(WittRingMap) (missing documentation)
  • WittRingMap ^ ZZ (missing documentation)
  • WittRingMap WittRingElement (missing documentation)

For the programmer

The object WittRingMap is a type, with ancestor classes MutableHashTable < HashTable < Thing.

The source of this document is in WittVectors/Documentation.m2:143:0.