# On some computational problems in finite abelian groups

@article{Buchmann1997OnSC, title={On some computational problems in finite abelian groups}, author={Johannes A. Buchmann and Michael John Jacobson and Edlyn Teske}, journal={Math. Comput.}, year={1997}, volume={66}, pages={1663-1687} }

We present new algorithms for computing orders of elements, discrete logarithms, and structures of finite abelian groups. We estimate the computational complexity and storage requirements, and we explicitly determine the O-constants and Ω-constants. We implemented the algorithms for class groups of imaginary quadratic orders and present a selection of our experimental results. Our algorithms are based on a modification of Shanks' baby-step giant-step strategy, and have the advantage that their…

## 55 Citations

A space efficient algorithm for group structure computation

- Computer Science, MathematicsMath. Comput.
- 1998

A new algorithm is presented for computing the structure of a finite abelian group, which has to store only a fixed, small number of group elements, independent of the group order, and it is proved that the expected run time is O(√n) and the O-constants are determined.

Structure computation and discrete logarithms in finite abelian p-groups

- Mathematics, Computer ScienceMath. Comput.
- 2011

A generic algorithm for computing discrete logarithms in a finite abelian p-group H is presented, improving the Pohlig—Hellman algorithm and its generalization to noncyclic groups by Teske and improving generic algorithms for extracting pth roots in G.

Succinct representation of finite abelian groups

- MathematicsISSAC '06
- 2006

This work shows how to represent the group in constant number of words and perform three fundamental group operations of equality testing, multiplication, and inversion in Constant number of word operations, provided the authors have the platform instruction to reverse the bits of a word.

Computing Discrete Logarithms in Quadratic Orders

- Computer Science, MathematicsJournal of Cryptology
- 2015

It is shown how the idea of generating relations with sieving can be applied to improve the performance of these algorithms for computing discrete logarithms in the class group of a quadratic order and for principality testing in a real quadratics order based on the work of Düllmann and Abel.

Numerical Results on Class Groups of Imaginary Quadratic Fields

- Computer Science, MathematicsANTS
- 2006

Using techniques described in [3], the class number and class group structure of all imaginary quadratic fields with discriminant Δ for 0 < |Δ| < 1011 is computed.

On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups

- Mathematics, Computer ScienceCASC
- 2005

Some algorithmic properties are obtained related with the computation of the elementary divisors and a set of canonical generators of a finite abelian group, this properties are based on Grobner…

Order computations in generic groups

- Mathematics, Computer Science
- 2007

It is proved that a generic algorithm can compute |α| for all α ∈ S ⊆ G in near linear time plus the cost of a single order computation with N = λ(S), and it is shown that in most cases the structure of an abelian group G can be determined using an additional O (Nδ/4 ) group operations, given an O ( Nδ ) bound on |G| = N.

The Pohlig-Hellman Method Generalized for Group Structure Computation

- MathematicsJ. Symb. Comput.
- 1999

We present a new algorithm that extends the techniques of the Pohlig?Hellman algorithm for discrete logarithm computation to the following situation: given a finite Abelian group and group elements h…

Quadratic class numbers and character sums

- MathematicsMath. Comput.
- 2006

An explicit version of Burgess' theorem valid for prime discriminants is given and, as an application, the class number of a 32-digit discriminant is computed.

Testing Group Commutativity in Constant Time

- Mathematics
- 2009

Lipton and Zalcstein presented a constant time algorithm for testing if a group is abelian in 12. However, the reference only contains a short abstract without proof. In this paper, we give a self…

## References

SHOWING 1-10 OF 31 REFERENCES

Algorithms for quadratic orders

- Computer Science, Mathematics
- 1994

Deterministic algorithms for solving algorithmic problems in quadratic orders, including computing fundamental unit and regulator, principal ideal testing, solving prime norm equations, and computing the structure of the class group are described.

A course in computational algebraic number theory

- Computer Science, MathematicsGraduate texts in mathematics
- 1993

The first seven chapters guide readers to the heart of current research in computational algebraic number theory, including recent algorithms for computing class groups and units, as well as elliptic curve computations, while the last three chapters survey factoring and primality testing methods.

LiDIA : a library for computational number theory

- Mathematics, Computer Science
- 1995

LiDIA is described, a new library for computational number theory that is developed independently of other computer algebra systems.

Residual hermite normal form computations

- MathematicsTOMS
- 1989

This paper extends the class of Hermite normal form solution procedures that use modulo determinant arithmetic to include any relatively prime factorization of the determinant value, and develops a new approach called integral congruence relations.

LiDIA—a library for computational number theory

- Computer ScienceSIGS
- 1997

This paper sketches the basic concepts and main features of the object-oriented C++ library LiDIA, and presents in more detail the classes for factoring polynomials over finite fields.

Heuristics on class groups of number elds, Number Theory, Lecture notes

- in Math.,
- 1983

Binary Quadratic Forms: Classical Theory and Modern Computations

- Mathematics
- 1989

1 Elementary Concepts.- 2 Reduction of Positive Definite Forms.- 3 Indefinite Forms.- 3.1 Reduction, Cycles.- 3.2 Automorphs, Pell's Equation.- 3.3 Continued Fractions and Indefinite Forms.- 4 The…

Algorithmen ff ur endliche abelsche Gruppen, Master's thesis, Universitt at des Saarlandes

- Algorithmen ff ur endliche abelsche Gruppen, Master's thesis, Universitt at des Saarlandes
- 1992