The computational complexity of module socles

This paper studies the computational complexity of socles of modules from the viewpoint of computability theory. The socle Soc(M) of a module M over a commutative ring R is the sum of all simple submodules of M. Soc(M) plays a vital role in module theory and it is known as the largest semisimple sub...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Annals of pure and applied logic Ročník 173; číslo 5; s. 103089
Hlavný autor: Wu, Huishan
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 01.05.2022
Predmet:
Computability theory
Simple module
Socles of modules
68Q15
Computability theory
03D80
68Q17
Socles of modules
Simple module
03D15
ISSN:0168-0072
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:This paper studies the computational complexity of socles of modules from the viewpoint of computability theory. The socle Soc(M) of a module M over a commutative ring R is the sum of all simple submodules of M. Soc(M) plays a vital role in module theory and it is known as the largest semisimple submodule of M. Socles of Z-modules (i.e., abelian groups) are Σ10 and there is a computable abelian group G such that Soc(G) is Σ10-complete. Socles of R-modules are Σ30. We show that there is a computable module M over a computable commutative ring R such that Soc(M) is Σ30-complete.
ISSN:0168-0072
DOI:10.1016/j.apal.2022.103089