ag-gipp/GoUldI

 K^M_*(k) := T^*(k^\times)/(a\otimes (1-a))