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… 

Tables from this paper

A space efficient algorithm for group structure computation
  • Edlyn Teske
  • Computer Science, Mathematics
    Math. Comput.
  • 1998
TLDR
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
TLDR
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
TLDR
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
  • M. Jacobson
  • Computer Science, Mathematics
    Journal of Cryptology
  • 2015
TLDR
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
TLDR
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
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
TLDR
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
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
TLDR
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
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
TLDR
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
  • H. Cohen
  • Computer Science, Mathematics
    Graduate texts in mathematics
  • 1993
TLDR
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
TLDR
LiDIA is described, a new library for computational number theory that is developed independently of other computer algebra systems.
Residual hermite normal form computations
TLDR
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
TLDR
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
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
Class number, a theory of factorization, and genera
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
...
...