[en] Linear codes over rings have gained much attention over the last 30 years following some results that connected linear codes over Z4, also called quaternary codes, with some important families of nonlinear binary codes. The main concepts describing quaternary codes can be generalized to linear codes over Zps. A linear code over Zps of length n is a subgroup of Zps^n, and is also called a Zps-additive code. A Zps-linear code is a code over Zp, not necessarily linear, which is the generalized Gray map image of a Zps-additive code. The study of Zps-linear codes and Zps-additive codes constitutes the central topic of this PhD thesis. In particular, we explore the permutation decoding method for Zps-linear codes, along with some necessary properties such that it becomes feasible and efficient. That is, we prove the existence of a systematic encoding and give a construction of suitable PD-sets. Obtaining good PD-sets requires a good understanding of the permutation automorphism group of a code, which is generally a difficult task. However, certain families of Zps-linear codes offer a more manageable representation of this group. We have been able to describe the permutation automorphism group of Zps-linear generalized Hadamard codes, allowing us to find r-PD-sets for these codes. At the same time, a Magma package has been developed, providing new functionality for Zps-linear and Zps-additive codes. The results obtained in this thesis are also implemented as functions in this package, namely: systematic encoding and permutation decoding for any Zps-linear code, a more efficient computation of a parity-check matrix for any Zps-additive code, and constructions of r-PD-sets for any Zps-linear generalized Hadamard code. Moreover, special attention is given to the computation of the minimum homogeneous distance for Z2Z4-additive codes, which are codes with some coordinates over Z2 and others over Z4.

[es] Los códigos lineales sobre anillos han recibido mucha atención en los últimos 30 años, después de la publicación de unos resultados que relacionaban los códigos lineales sobre Z4, también llamados códigos cuaternarios, con algunas familias importantes de códigos binarios no lineales. Los conceptos principales que describen a los códigos cuaternarios se pueden generalizar a los códigos lineales sobre el anillo Zps. Un código lineal sobre Zps de longitud n es un subgrupo de Zps^n, y también se le puede llamar código Zps-aditivo. Por otra parte, un código Zps-lineal es un código sobre Zp, no necesariamente lineal, que es a su vez la imagen de un código Zps-aditivo a través de una generalización del Gray map. El estudio de los códigos Zps-lineales y Zps-aditivos constituye el tema central de esta tesis doctoral. En particular, exploramos el método de decodificación por permutaciones aplicado a los códigos Zps-lineales, junto a algunas propiedades necesarias para conseguir que el método sea factible y eficiente. Por ejemplo, demostramos la existencia de una codificación sistemática y mostramos cómo se pueden construir unos PD-sets adecuados. Para obtener buenos PD-sets se necesita conocer la estructura del grupo de automorfismos por permutación de un código, lo que suele ser difícil en general. Sin embargo, ciertas familias de códigos Zps-lineales ofrecen una representación más manejable de este grupo. Hemos sido capaces de describir el grupo de automorfismos por permutación de los códigos Zps-lineales pertenecientes a la familia de Hadamard generalizados, lo que nos ha permitido encontrar r-PD-sets para estos códigos. Al mismo tiempo, hemos estado desarrollando un paquete de Magma, proporcionando nuevas funcionalidades para códigos Zps-lineales y Zps-aditivos. Los resultados obtenidos en esta tesis también han sido implementados como funciones en este paquete, es decir: codificación sistemática y decodificación por permutaciones para cualquier código Zps-lineal, una computación más eficiente de la matriz de control para cualquier código Zps-aditivo, y varias construcciones de r-PD-sets para cualquier código Zps-lineal perteneciente a la familia de Hadamard generalizados. También se ha prestado especial atención al cálculo de la distancia mínima homogénea de los códigos Z2Z4-aditivos, que son códigos con algunas coordenadas sobre Z2 y otras sobre Z4.