また、主単数群U^は、以下の様に分解される.
U^