A faithful 2-dimensional TQFT

It has been shown in this paper that the commutative Frobenius algebra QZ5 ⊗ Z(Q3) provides a complete invariant for two-dimensional cobordisms, i.e., that the corresponding twodimensional quantum field theory is faithful. Zsigmondy's Theorem is essential to the proof of this result