Skip to Main content Skip to Navigation
Theses

Algorithms for finite rings

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 :
Theses
Complete list of metadata

Cited literature [89 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01378003
Contributor : Abes Star :  Contact
Submitted on : Friday, October 14, 2016 - 11:19:08 AM
Last modification on : Saturday, December 4, 2021 - 3:43:17 AM

File

IOCANEA-TEODORESCU_LULIANA_201...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01378003, version 2

Collections

Citation

Iuliana Ciocanea Teodorescu. Algorithms for finite rings. General Mathematics [math.GM]. Université de Bordeaux; Universiteit Leiden (Leyde, Pays-Bas), 2016. English. ⟨NNT : 2016BORD0121⟩. ⟨tel-01378003v2⟩

Share

Metrics

Les métriques sont temporairement indisponibles