Determining cyclicity of finite modules

DOI10.1016/J.JSC.2015.06.002MaRDI QIDQ491255zbMATH OpenOpenAlexFDO

Authors H. W. jun. Lenstra, Alice Silverberg

Publication date 24 August 2015

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.00183

zbMATH Keywords

algebraic algorithmscyclic modulesfinite rings

Mathematics Subject Classification ID

Structure theory for finite fields and commutative rings (number-theoretic aspects) (11T30) Commutative Artinian rings and modules, finite-dimensional algebras (13E10) Commutative rings and modules of finite generation or presentation; number of generators (13E15)

Abstract: We present a deterministic polynomial-time algorithm that determines whether a finite module over a finite commutative ring is cyclic, and if it is, outputs a generator.

Review text

The paper presents a deterministic polynomial-time algorithm that determines whether a finite module \(M\) over a finite commutative ring \(R\) is cyclic, and if it is, outputs a generator, where the ring \(R\) is given as an abelian group by generators and relations, along with all the products of pairs of generators, the finite \(R\)-module \(M\) is given as an abelian group, and the module products in \(M\) are given for all generators of the abelian group \(R\) and all generators of the abelian group \(M\).

Recommendations

• On recognizing cyclic modules effectively
• Dynamics of linear systems over finite commutative rings
• The module isomorphism problem reconsidered.
• Testing isomorphism of modules.
• Basic algorithms for manipulation of modules over finite chain rings

Cites work

• scientific article; zbMATH DE number 5532102 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• Revisiting the Gentry-Szydlo Algorithm

Cited in

(4)

• Lattices with symmetry
• scientific article; zbMATH DE number 421637 (Why is no real title available?)
• On recognizing cyclic modules effectively
• Testing isomorphism of lattices over CM-orders

This page was built for publication: Determining cyclicity of finite modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q491255)