... [@a-', [Ba-', u]]]] = ace, [[e, Oa-'1, [8a-', u]] + [Ba-I, [e, [8a-l, u]]]] = [e, -[ e a-', u C] a-'1 - {u, a-', e} C] a-'1 = [e, -{ e, a-', ... a-', u} a-' + u C] {a-', e, a-l) - (ua-') C] a-'1 = 2a-'(a-'u) - = P(a-')u . Similarly, for v E V,, one has 80av = - [e, [@a-', ... (1969), 11 4-1 33. [MI Martinet, J., Character theory and Artin L-functions, Algebraic Number fields, Proc. Durham Symposium ed.: A. Frohlich, A.P. London 1977. [Ml] - , Hs, Algebraic Number...