TU-Berlin | → | Inst. f. Mathematik | → | Algebra und Zahlentheorie | → | KASH | → | Documentation | → | Reference Manual

| KASH3 Reference Manual

Introduction | Reference Manual | Index

search

### Keyword

Unit Groups

### Description

<shortdoc> KASH3 provides several functions dealing with the units of an order. In order to compute a system of fundamental units the 'UnitGroup' function should be used. It returns the unit group as a finitely generated abelian group and a map from this abelian group to the order.The function 'TorsionUnitGroup' returns the torsion subgroup of the unit group </shortdoc>

### Examples

f := X^5 + 4*X^4 - 56*X^2 -16*X + 192;o := EquationOrder(f); O := MaximalOrder(o); U := UnitGroup(O); Apply(x->U.ext1(x),List(Generators(U)));

| Built: Mon Nov 14 21:12:39 UTC 2005 on mack