Вектора Витта и японский коцикл

Вектора Витта $W(A)$ коммутативного кольца $A$ можно определять так, как это делал сам Витт, а можно в одну строчку — $W(A)$ есть подгруппа $1 + tA[[t]] \subset A[[t]]^*$ в группе формальных рядов от одной переменной с операцией умножения. Проблема в том, что умножение на $W(A)$ в такой интерпретации не очевидно. Я расскажу о том, как его инвариантно построить. Удивительным образом, конструкция использует вычет Тэйта, также известный как «японский коцикл».