Irreducible skew polynomials over domains

Let S be a domain and R = S[t; σ, δ] a skew polynomial ring, where σ is an injective endomorphism of S and δ a left σ -derivation. We give criteria for skew polynomials f ∈ R of degree less or equal to four to be irreducible. We apply them to low degree polynomials in quantized Weyl algebras and the quantum planes. We also consider f(t) = tm − a ∈ R.

A remark on skew factorization and new 𝔽4-linear codes

Nine new [Formula: see text] linear codes with lengths [Formula: see text] and [Formula: see text] that improve previously best known parameters are constructed. By modifying these codes, another 17 new codes are obtained. It is conjectured that the complete set of factors of [Formula: see text] can be derived from the factors of [Formula: see text] for even values of [Formula: see text] in the skew polynomial ring [Formula: see text]. It is further shown that the [Formula: see text] code obtained is linearly complementary dual.

The Norm of a Skew Polynomial

Let D be a finite-dimensional division algebra over its center and R = D[t;σ,δ] a skew polynomial ring. Under certain assumptions on δ and σ, the ring of central quotients D(t;σ,δ) = {f/g|f ∈ D[t;σ,δ],g ∈ C(D[t;σ,δ])} of D[t;σ,δ] is a central simple algebra with reduced norm N. We calculate the norm N(f) for some skew polynomials f ∈ R and investigate when and how the reducibility of N(f) reflects the reducibility of f.

COMPLETELY PRIME ONE-SIDED IDEALS IN SKEW POLYNOMIAL RINGS

Let R = K[x, σ] be the skew polynomial ring over a field K, where σ is an automorphism of K of finite order. We show that prime elements in R correspond to completely prime one-sided ideals – a notion introduced by Reyes in 2010. This extends the natural correspondence between prime elements and prime ideals in commutative polynomial rings.

Integer-valued skew polynomials

For a commutative integral domain [Formula: see text] with field of fractions [Formula: see text], the ring of integer-valued polynomials on [Formula: see text] is [Formula: see text]. In this paper, we extend this construction to skew polynomial rings. Given an automorphism [Formula: see text] of [Formula: see text], the skew polynomial ring [Formula: see text] consists of polynomials with coefficients from [Formula: see text], and with multiplication given by [Formula: see text] for all [Formula: see text]. We define [Formula: see text], which is the set of integer-valued skew polynomials on [Formula: see text]. When [Formula: see text] is not the identity, [Formula: see text] is noncommutative and evaluation behaves differently than it does for ordinary polynomials. Nevertheless, we are able to prove that [Formula: see text] has a ring structure in many cases. We show how to produce elements of [Formula: see text] and investigate its properties regarding localization and Noetherian conditions. Particular attention is paid to the case where [Formula: see text] is a discrete valuation ring with finite residue field.

HOW A NONASSOCIATIVE ALGEBRA REFLECTS THE PROPERTIES OF A SKEW POLYNOMIAL

Let D be a unital associative division ring and D[t, σ, δ] be a skew polynomial ring, where σ is an endomorphism of D and δ a left σ-derivation. For each f ϵ D[t, σ, δ] of degree m > 1 with a unit as leading coefficient, there exists a unital nonassociative algebra whose behaviour reflects the properties of f. These algebras yield canonical examples of right division algebras when f is irreducible. The structure of their right nucleus depends on the choice of f. In the classical literature, this nucleus appears as the eigenspace of f and is used to investigate the irreducible factors of f. We give necessary and sufficient criteria for skew polynomials of low degree to be irreducible. These yield examples of new division algebras Sf.

Free subgroups in k(x 1,... ,x n )(X;σ) and k(x,y)(k;σ)

Let k be a field, let {\mathfrak{A}_{1}} be the k-algebra {k[x_{1}^{\pm 1},\dots,x_{s}^{\pm 1}]} of Laurent polynomials in {x_{1},\dots,x_{s}} , and let {\mathfrak{A}_{2}} be the k-algebra {k[x,y]} of polynomials in the commutative indeterminates x and y. Let {\sigma_{1}} be the monomial k-automorphism of {\mathfrak{A}_{1}} given by {A=(a_{i,j})\in GL_{s}(\mathbb{Z})} and {\sigma_{1}(x_{i})=\prod_{j=1}^{s}x_{j}^{a_{i,j}}} , {1\leq i\leq s} , and let {\sigma_{2}\in{\mathrm{Aut}}_{k}(k[x,y])} . Let {D_{i}} , {1\leq i\leq 2} , be the ring of fractions of the skew polynomial ring {\mathfrak{A}_{i}[X;\sigma_{i}]} , and let {D_{i}^{\bullet}} be its multiplicative group. Under a mild restriction for {D_{1}} , and in general for {D_{2}} , we show that {D_{i}^{\bullet}} , {1\leq i\leq 2} , contains a free subgroup. If {i=1} and {s=2} , we show that a noncentral normal subgroup N of {D_{1}^{\bullet}} contains a free subgroup.