ProjectSophus / explore-abstract-ts

Exploration of the Abstract Theory of Tannakian Symbols
0 stars 0 forks source link

Inverses #37

Open torstein-vik opened 5 years ago

torstein-vik commented 5 years ago

Let X be a zeta type and define T_X on TS(C) by T_X(Y) = X * Y

T_X is invertible iff all point counts are non-zero! Then there must be a Y such that T_X(Y) = {1}/Ø. Y is given by inverting each point count! When is Y a symbol?