Attached prime ideals over skew Ore polynomials

Sebastián Higuera,Armando Reyes

2024-06-28

Abstract:In this paper, we investigate the attached prime ideals of inverse polynomial modules over skew Ore polynomials.

Rings and Algebras,Quantum Algebra

What problem does this paper attempt to address?

Attached prime ideals over skew Ore polynomials

Sebastián Higuera,Armando Reyes

DOI: https://doi.org/10.1080/00927872.2024.2400578

2024-09-19

Communications in Algebra

Abstract:In this paper, we investigate the attached prime ideals of inverse polynomial modules over skew Ore polynomials.

mathematics
On the schematicness of some Ore polynomials of higher order generated by homogenous quadratic relations

Andres Chacon,Armando Reyes,Andrés Chacón

DOI: https://doi.org/10.1142/s021949882550207x

2024-02-29

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. In this paper, we investigate the property of schematicness introduced by Van Oystaeyen and Willaert [F. Van Oystaeyen and L. Willaert, Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras, J. Pure Appl. Algebra 104(1–3) (1995) 109–122] in the setting of skew Ore polynomials of higher order generated by homogenous quadratic relations defined by Golovashkin and Maksimov [A. V. Golovashkin and V. M. Maksimov, Skew Ore polynomials of higher orders generated by homogeneous quadratic relations, Russian Math. Surveys 53(2) (1998) 384–386]. We establish sufficient conditions to guarantee whether some of these algebras are schematic or not.

mathematics, applied
On the Uniform Dimension and the Associated Primes of Skew PBW Extensions

Sebastián Higuera,María Camila Ramírez,Armando Reyes

DOI: https://doi.org/10.1007/s00574-024-00419-2

2024-10-22

Bulletin of the Brazilian Mathematical Society New Series

Abstract:In this paper, we study the uniform dimension and the associated prime ideals of induced modules over skew PBW extensions.

mathematics
Strongly primeness of skew Hurwitz polynomial rings

Ali Shahidikia

2023-08-13

Abstract:For a ring R and an endomorphism {\alpha} of R, we characterize the left and right strongly primeness of skew Hurwitz polynomial ring (hR, {\alpha}).

Commutative Algebra,Rings and Algebras
The Eliahou-Kervaire resolution over a skew polynomial ring

Luigi Ferraro,Alexis Hardesty

2024-02-09

Abstract:In a 1987 paper, Eliahou and Kervaire constructed a minimal resolution of a class of monomial ideals in a polynomial ring, called stable ideals. As a consequence of their construction they deduced several homological properties of stable ideals. Furthermore they showed that this resolution admits an associative, graded commutative product that satisfies the Leibniz rule. In this paper we show that their construction can be extended to stable ideals in skew polynomial rings. As a consequence we show that the homological properties of stable ideals proved by Eliahou and Kervaire hold also for stable ideals in skew polynomial rings. Finally we show that the resolution we construct admits a product generalizing the one given by Eliahou and Kervaire in the commutative case.

Rings and Algebras,Commutative Algebra,Quantum Algebra
Property $(\diamond)$ for Ore extensions of small Krull dimension

Ken Brown,Paula A.A.B. Carvalho,Jerzy Matczuk

2024-03-14

Abstract:This paper is a continuation of a project to determine which skew polynomial algebras $S = R[\theta; \alpha]$ satisfy property $(\diamond)$, namely that the injective hull of every simple $S$-module is locally artinian, where $k$ is a field, $R$ is a commutative noetherian $k$-algebra, and $\alpha$ is a $k$-algebra automorphism of $R$. Earlier work (which we review) and further analysis done here leads us to focus on the case where $S$ is a primitive domain and $R$ has Krull dimension 1 and contains an uncountable field. Then we show first that if $|\mathrm{Spec}(R)|$ is infinite then $S$ does not satisfy $(\diamond)$. Secondly we show that when $R = k[X]_{<X>}$ and $\alpha (X) = qX$ where $q \in k \setminus \{0\}$ is not a root of unity then $S$ does not satisfy $(\diamond)$. This is in complete contrast to our earlier result that, when $R = k[[X]]$ and $\alpha$ is an arbitrary $k$-algebra automorphism of infinite order, $S$ satisfies $(\diamond)$. A number of open questions are stated.

Rings and Algebras
Inverse polynomials of numerical semigroup rings

Kazufumi Eto,Kei-ichi Watanabe

DOI: https://doi.org/10.1016/j.jalgebra.2024.01.006

IF: 0.908

2024-04-01

Journal of Algebra

Abstract:We study the defining ideal of a numerical semigroup ring k [ H ] using the inverse polynomial attached to the Artinian ring k [ H ] / ( t h ) . We give a criterion for H to be symmetric or almost symmetric using the annihilator of the inverse system. Also we give characterizations of symmetric numerical semigroups with small multiplicity and give a new proof of Bresinsky's Theorem for symmetric semigroups generated by 4 elements.

mathematics
A note on the Jacobson radical of Ore extensions

Kamal Paykan,Mohammad Habibi,Ali Parsian

DOI: https://doi.org/10.1080/00927872.2024.2356249

2024-05-31

Communications in Algebra

Abstract:Let R be a ring with a monomorphism α and an α -derivation δ . In this article, we give a simple and different proof about the semiprimitivity of Ore extensions which states that the skew polynomial ring R[x;α,δ] is semiprimitive reduced if and only if R is α -rigid. This unifies and extends a number of known results on the Jacobson radical in the special cases. Also, as an application of our results, by imposing constraints on α and δ , we completely identify the Jacobson radical of rings whose the set of all nilpotent elements has special conditions. Important examples are provided to illustrate the applications of the results.

mathematics
Resolutions for truncated Ore extensions

Dustin McPhate

DOI: https://doi.org/10.1142/S0219498824500208

2022-11-13

Journal of Algebra and Its Applications

Abstract:We extend recent results in order to construct projective resolutions for modules over twisted tensor products of truncated polynomial rings. We begin by taking note of the conditions necessary to think of these algebras as a type of Ore extension. We then use this parallel with Ore extensions to develop a method for constructing projective resolutions. Finally, we use the new construction to compute a resolution for a family of examples.

mathematics, applied
Products and powers of principal symmetric ideals

Eric Dannetun,Riccardo Formenti,Bo Y. Gao,Juliann Geraci,Ross Kogel,Yuelin Li,Shreya Mandal,Vinuge Rupasinghe,Alexandra Seceleanu,Duc Van Khank Tran,Noah Walker

2024-06-17

Abstract:Principal symmetric ideals were recently introduced by Harada, Seceleanu, and Sega, with a focus on their homological properties. They are ideals generated by the orbit of a single polynomial under permutations of variables in a polynomial ring. In this paper we seek to determine when a product of two principal symmetric ideals is principal symmetric and when all the powers of a principal symmetric ideal are again principal symmetric ideals. We characterize the ideals that have the latter property as being generated by polynomials invariant up to a scalar multiple under permutation of variables. Recognizing principal symmetric ideals is an open question for the purpose of which we produce certain obstructions. We also demonstrate that the Hilbert functions of symmetric monomial ideals are not all given by symmetric monomial ideals, in contrast to the non-symmetric case.

Commutative Algebra
Theory and applications of linearized multivariate skew polynomials

Umberto Martínez-Peñas

DOI: https://doi.org/10.1016/j.laa.2021.12.002

IF: 1.307

2022-03-01

Linear Algebra and its Applications

Abstract:In this work, linearized multivariate skew polynomials over division rings are introduced. Such polynomials are right linear over the corresponding centralizer and generalize linearized polynomial rings over finite fields, group rings or differential polynomial rings. Their natural evaluation is connected to the remainder-based evaluation of free multivariate skew polynomials. It is shown that P-independent sets are those given by right linearly independent sets when partitioned into conjugacy classes. Hence finitely generated P-closed sets correspond to lists of finite-dimensional right vector spaces, extending Lam and Leroy's results on univariate skew polynomials. It is also shown that products of free multivariate skew polynomials translate into coordinate-wise compositions of linearized multivariate skew polynomials, which in turn translate into matrix products over the corresponding centralizers. Later, linearized multivariate Vandermonde matrices are introduced, which generalize multivariate Vandermonde, Moore and Wronskian matrices. The previous results explicitly give their ranks in general. P-Galois extensions of division rings are then introduced, which generalize classical (finite) Galois extensions. Three Galois-theoretic results are generalized to such extensions: Artin's theorem on extension degrees, the Galois correspondence and Hilbert's Theorem 90.

mathematics, applied
The Herzog-Takayama resolution over a skew polynomial ring

Luigi Ferraro,Linoy Utkina

2024-12-05

Abstract:Let $\Bbbk$ be a field, and let $I$ be a monomial ideal in the polynomial ring $R=\Bbbk[x_1,\ldots,x_n]$. In her thesis, Taylor introduced a complex that provides a finite free resolution of $R/I$ as an $R$-module. Building on this, Ferraro, Martin and Moore extended this construction to monomial ideals in skew polynomial rings. Since the Taylor resolution is generally not minimal, significant effort has been devoted to identifying classes of ideals with minimal free resolutions that are relatively straightforward to construct. In a 1987 paper, Eliahou and Kervaire developed a minimal free resolution for a class of monomial ideals in $R$ known as stable ideals. This result was later generalized to stable ideals in skew polynomial rings by Ferraro and Hardesty. In a 2002 paper, Herzog and Takayama constructed a minimal free resolution for monomial ideals with linear quotients, a broader class of ideals containing stable ideals. Their resolution reduces to the Eliahou-Kervaire resolution in the stable case. In this paper, we generalize the Herzog-Takayama resolution to skew polynomial rings.

Rings and Algebras,Commutative Algebra
On skew braces and their ideals (with an Appendix by Agata Smoktunowicz)

A. Konovalov,A. Smoktunowicz,L. Vendramin

DOI: https://doi.org/10.48550/arXiv.1804.04106

2018-04-11

Rings and Algebras

Abstract:We define combinatorial representations of finite skew braces and use this idea to produce a database of skew braces of small size. This database is then used to explore different concepts of the theory of skew braces such as ideals, series of ideals, prime and semiprime ideals, Baer and Wedderburn radicals and solvability. The paper contains several questions.
Ozone groups and centers of skew polynomial rings

Kenneth Chan,Jason Gaddis,Robert Won,James J. Zhang

DOI: https://doi.org/10.48550/arXiv.2302.11471

2023-09-22

Abstract:We introduce the ozone group of a noncommutative algebra $A$, defined as the group of automorphisms of $A$ which fix every element of its center. In order to initiate the study of ozone groups, we study PI skew polynomial rings, which have long proved to be a fertile testing ground in noncommutative algebra. Using the ozone group and other invariants defined herein, we give explicit conditions for the center of a PI skew polynomial to be Gorenstein (resp. regular) in low dimension.

Rings and Algebras
Elimination Algorithms for Skew Polynomials with Applications

Raqeeb Rasheed,Ali Safaa Sadiq,Omprakash Kaiwartya

DOI: https://doi.org/10.3390/math12203258

IF: 2.4

2024-10-18

Mathematics

Abstract:It is evident that skew polynomials offer promising directions for developing cryptographic schemes. This paper focuses on exploring skew polynomials and studying their properties with the aim of exploring their potential applications in fields such as cryptography and combinatorics. We begin by deriving the concept of resultants for bivariate skew polynomials. Then, we employ the derived resultant to incrementally eliminate indeterminates in skew polynomial systems, utilising both direct and modular approaches. Finally, we discuss some applications of the derived resultant, including cryptographic schemes (such as Diffie–Hellman) and combinatorial identities (such as Pascal's identity). We start by considering a bivariate skew polynomial system with two indeterminates; our intention is to isolate and eliminate one of the indeterminates to reduce the system to a simpler form (that is, relying only on one indeterminate in this case). The methodology is composed of two main techniques; in the first technique, we apply our definition of a (bivariate) resultant via a Sylvester-style matrix directly from the polynomials' coefficients, while the second is based on modular methods where we compute the resultant by using evaluation and interpolation approaches. The idea of this second technique is that instead of computing the resultant directly from the coefficients, we propose to evaluate the polynomials at a set of valid points to compute its corresponding set of partial resultants first; then, we can deduce the original resultant by combining all these partial resultants using an interpolation technique by utilising a theorem we have established.

mathematics
Quasi-Duo Skew Polynomial Rings

Andre Leroy,Jerzy Matczuk,Edmund R. Puczylowski

DOI: https://doi.org/10.1016/j.jpaa.2008.01.002

2009-10-28

Abstract:A characterization of right (left) quasi-duo skew polynomial rings of endomorphism type and skew Laurent polynomial rings are given. In particular, it is shown that (1) the polynomial ring R[x] is right quasi-duo iff R[x] is commutative modulo its Jacobson radical iff R[x] is left quasi-duo, (2) the skew Laurent polynomial ring is right quasi-duo iff it is left quasi-duo. These extend some known results concerning a description of quasi-duo polynomial rings and give a partial answer to the question posed by Lam and Dugas whether right quasi-duo rings are left quasi-duo.

Rings and Algebras
Prime and maximal ideals in Hurwitz polynomial rings

Ali Shahidikia

2024-07-22

Abstract:In this paper we study prime and maximal ideals in a Hurwitz polynomial ring hR. It is well-known that to study many questions we may assume R is prime and consider just R-disjoint ideals. We give a characterization for an R-disjoint ideal to be prime. We study conditions under which there exists an R-disjoint ideal which is a maximal ideal and when this is the case how to determine all such maximal ideals. maximal ideal to be generated by polynomials of minimal degree.

Commutative Algebra,Rings and Algebras
Zeros with multiplicity, Hasse derivatives and linear factors of general skew polynomials

Umberto Martínez-Peñas

DOI: https://doi.org/10.48550/arXiv.2103.07239

2022-05-18

Abstract:In this work, multiplicities of zeros of skew polynomials are studied. Two distinct definitions are considered: First, $ a $ is said to be a zero of $ F $ of multiplicity $ r $ if $ (x-a)^r $ divides $ F $ on the right; second, $ a $ is said to be a zero of $ F $ of multiplicity $ r $ if some skew polynomial $ P = (x-a_r) \cdots (x-a_2) (x-a_1) $, having $ a_1 = a $ as its only right zero, divides $ F $ on the right. Neither of these two notions implies the other for general skew polynomials. We show that, in the first case, Lam and Leroy's concept of P-independence does not behave naturally, whereas a union theorem still holds. In contrast, we show that P-independence behaves naturally for the second notion of multiplicities. As a consequence, we provide extensions of classical commutative results to general skew polynomials. These include: (1) The upper bound on the number of (P-independent) zeros (counting multiplicities) of a skew polynomial by its degree, and (2) The equivalence of P-independence, Hermite interpolation and the invertibility of confluent Vandermonde matrices (for which we introduce skew polynomial Hasse derivatives).

Rings and Algebras
Higher reciprocity law and An analogue of the Grunwald--Wang theorem for the ring of polynomials over an ultra-finite field

Dong Quan Ngoc Nguyen

2023-10-02

Abstract:In this paper, we establish an explicit higher reciprocity law for the polynomial ring over a nonprincipal ultraproduct of finite fields. Such an ultraproduct can be taken over the same finite field, which allows to recover the classical higher reciprocity law for the polynomial ring $\mathbb{F}_q[t]$ over a finite field $\mathbb{F}_q$ that is due to Dedekind, Kühne, Artin, and Schmidt. On the other hand, when the ultraproduct is taken over finite fields of unbounded cardinalities, we obtain an explicit higher reciprocity law for the polynomial ring over an infinite field in both characteristics $0$ and $p >0$ for some prime $p$. We then use the higher reciprocity law to prove an analogue of the Grunwald--Wang theorem for such a polynomial ring in both characteristics $0$ and $p > 0$ for some prime $p$.

Number Theory,Logic

Attached prime ideals over skew Ore polynomials

Attached prime ideals over skew Ore polynomials

On the schematicness of some Ore polynomials of higher order generated by homogenous quadratic relations

On the Uniform Dimension and the Associated Primes of Skew PBW Extensions

Strongly primeness of skew Hurwitz polynomial rings

The Eliahou-Kervaire resolution over a skew polynomial ring

Property $(\diamond)$ for Ore extensions of small Krull dimension

Inverse polynomials of numerical semigroup rings

A note on the Jacobson radical of Ore extensions

Resolutions for truncated Ore extensions

Products and powers of principal symmetric ideals

Theory and applications of linearized multivariate skew polynomials

The Herzog-Takayama resolution over a skew polynomial ring

On skew braces and their ideals (with an Appendix by Agata Smoktunowicz)

Ozone groups and centers of skew polynomial rings

Elimination Algorithms for Skew Polynomials with Applications

Quasi-Duo Skew Polynomial Rings

Prime and maximal ideals in Hurwitz polynomial rings

Zeros with multiplicity, Hasse derivatives and linear factors of general skew polynomials

Higher reciprocity law and An analogue of the Grunwald--Wang theorem for the ring of polynomials over an ultra-finite field