Primitive elements of a completed rational Iwasawa algebra

ID: primitive-elements-of-a-completed-rational-iwasawa-algebra

If is an ordered basis of a finite-rank p-saturated group, then
where a primitive element satisfies for the completed Hopf algebra coproduct.

New to topics? Read the docs here!