Algorithms for finite rings

Iuliana Ciocanea Teodorescu 1, 2
2 LFANT - Lithe and fast algorithmic number theory
IMB - Institut de Mathématiques de Bordeaux, Inria Bordeaux - Sud-Ouest
Abstract : In this thesis we are interested in describing algorithms that answer questions arising in ring and module theory. Our focus is on deterministic polynomial-time algorithms and rings and modules that are finite. The first main result of this thesis concerns the module isomorphism problem: we describe two distinct algorithms that, given a finite ring R and two finite R-modules M and N, determine whether M and N are isomorphic. If they are, the algorithms exhibit such a isomorphism. In addition, we show how to compute a set of generators of minimal cardinality for a given module, and how to construct projective covers and injective hulls. We also describe tests for module simplicity, projectivity, and injectivity, and constructive tests for existence of surjective module homomorphisms between two finite modules, one of which is projective. As a negative result, we show that the problem of testing for existence of injective module homomorphisms between two finite modules, one of which is projective, is NP-complete. The last part of the thesis is concerned with finding a good working approximation of the Jacobson radical of a finite ring, that is, a two-sided nilpotent ideal such that the corresponding quotient ring is \almost" semisimple. The notion we use to approximate semisimplicity is that of separability.
Document type :
Liste complète des métadonnées

Cited literature [89 references]  Display  Hide  Download
Contributor : Abes Star <>
Submitted on : Friday, October 14, 2016 - 11:19:08 AM
Last modification on : Tuesday, December 11, 2018 - 10:32:07 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01378003, version 2



Iuliana Ciocanea Teodorescu. Algorithms for finite rings. General Mathematics [math.GM]. Université de Bordeaux, 2016. English. ⟨NNT : 2016BORD0121⟩. ⟨tel-01378003v2⟩



Record views


Files downloads