Searcharxiv⌕ Search

arXiv subjects

F. J. Lobillo

Publications and source records attributed to F. J. Lobillo.

25 records · Page 2Linked to original sources

Factoring Ore polynomials over $\mathbb{F}_q(t)$ is difficult

We show that the effective factorization of Ore polynomials over $\mathbb{F}_q(t)$ is still an open problem. This is so because the known algorithm in [1] presents two gaps, and therefore it does not cover all the examples. We amend one of the gaps, and we discuss what kind of partial factorizations can be then computed by using [1].

math.RA↗

Ideal codes over separable ring extensions

This paper investigates the application of the theoretical algebraic notion of a separable ring extension, in the realm of cyclic convolutional codes or, more generally, ideal codes. We work under very mild conditions, that cover all previously known as well as new non trivial examples. It is proved that ideal codes are direct summands as left ideals of the underlying non-commutative algebra, in analogy with cyclic block codes. This implies, in particular, that they are generated by an idempotent element. Hence, by using a suitable separability element, we design an efficient algorithm for computing one of such idempotents.

cs.IT↗

Information-bit error rate and false positives in an MDS code

In this paper, a refinement of the weight distribution in an MDS code is computed. Concretely, the number of codewords with a fixed amount of nonzero bits in both information and redundancy parts is obtained. This refinement improves the theoretical approximation of the information-bit and -symbol error rate, in terms of the channel bit-error rate, in a block transmission through a discrete memoryless channel. Since a bounded distance reproducing encoder is assumed, the computation of the here-called false positive (a decoding failure with no information-symbol error) is provided. As a consequence, a new performance analysis of an MDS code is proposed.

cs.IT↗

Prime fuzzy ideals over noncommutative rings

In this paper we introduce prime fuzzy ideals over a noncommutative ring. This notion of primeness is equivalent to level cuts being crisp prime ideals. It also generalizes the one provided by Kumbhojkar and Bapat in [Not-so-fuzzy fuzzy ideals, Fuzzy Sets and Systems 37 (1990), 237--243], which lacks this equivalence in a noncommutative setting. Semiprime fuzzy ideals over a noncommutative ring are also defined and characterized as intersection of primes. This allows us to introduce the fuzzy prime radical and contribute to establish the basis of a Fuzzy Noncommutative Ring Theory.

math.RA↗

Semisimple corings

While semisimple artinian rings and semisimple coalgebras over a field can be described in terms of matrices (either matrix ring over division rings or comatrix coalgebras over the ground field), semisimple corings seem to have a more intrincated structure in general. It turns out that some well-known properties of semisimple rings or coalgebras, which are immediately deduced from the aforementioned structure, are not evident over a (left) semi-simple coring. For instance, it is not evident that the notion of semi-simple coring is left-right symmetric. To be precise, if every left comodule decomposes a a direct sum of simple comodules, do the right comodules have such a decomposition? In other words, is every left semi-simple coring a right semi-simple coring? We develope the basic essentials for a theory of semi-simple corings, giving a positive answer for the last question, as well as some information about the structure of semi-simple corings.

math.RA↗

Auslander-regular and Cohen-Macaulay Quantum Groups

In this paper we use refiltering methods to prove that certain types of multi-filtered algebras are Auslander-regular and Cohen-Macaulay. This is applied to obtain that the quantized enveloping algebra associated to a Cartan matrix is Auslander-regular and Cohen-Macaulay.

math.RA↗

Duality and Rational Modules in Hopf Algebras over Commutative Rings

Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also strengthen the Blattner-Montgomery duality theorem. Finally, we give sufficient conditions to get the purity of $A^\circ$ in $R^A$.

math.RA↗