Related papers: Biseparable extensions are not necessarily Frobeni…

In this paper we study codes where the alphabet is a finite Frobenius bimodule over a finite ring. We discuss the extension property for various weight functions. Employing an entirely character-theoretic approach and a duality theory for…

We present a unified apoach to the study of separable and Frobenius algebras. The crucial observation is thsat both cases are related to the nonlinear equation $R^{12}R^{23}=R^{23}R^{13}=R^{13}R^{12}$, called the FS-equation. Given a…

Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…

Let $F(x,y)$ be a polynomial over the rationals. We show that if $F$ is not an expander (over the rationals) then it has a special multiplicative or additive form. For example if $F$ is a homogeneous non-expander polynomial then…

Necessary and sufficient conditions for an Ore extension $S=R[x;\si,\de]$ to be a {\rm PI} ring are given in the case $\si$ is an injective endomorphism of a semiprime ring $R$ satisfying the {\rm ACC} on annihilators. Also, for an…

Let $A\subseteq B$ be a commutative ring extension. Let $\mathcal I(A, B)$ be the multiplicative group of invertible $A$-submodules of $B$. In this article, we extend a result of Sadhu and Singh by finding a necessary and sufficient…

The problem of extending derivations of a field $F$ to an $F-$algebra $B$ is widely studied in commutative algebra and non-commutative ring theory. For example, every derivation of $F$ extends to $B$ if $B$ is a separable algebraic…

We prove that if $B\subseteq A$ is an extension of finite dimensional algebras such that the projective dimension of $A/B$ as a $B$-bimodule is finite, if $A$ has finite finitistic dimension, then so does $B$. We exhibit examples…

A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples…

Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The…

Let $R$ be a ring, $\sigma:R\to R$ a ring endomorphism, and $\delta:R\to R$ a $\sigma$-derivation. We establish that the Ore extension $R[x;\sigma,\delta]$ satisfies the rank condition if and only if $R$ does. In addition, we prove…

Necessary and sufficient conditions on $A,B\in \mathbb{F}_{q^3}^*$ for $f(X)=X^{q^2-q+1}+AX^{q^2}+BX$ being a permutation polynomial of $\mathbb{F}_{q^3}$ are investigated via a connection with algebraic varieties over finite fields.

We prove that for a Frobenius extension, a module over the extension ring is Gorenstein projective if and only if its underlying module over the base ring is Gorenstein projective. For a separable Frobenius extension between Artin algebras,…

Let $R$ be a ring and $S=R[x;\sigma,\delta]$ its Ore extension. We prove under some conditions that $R$ is a quasi-Baer ring if and only if the Ore extension $R[x;\sigma,\delta]$ is a quasi-Baer ring. Examples are provided to illustrate and…

With a small suitable modification, dropping the projectivity condition, we extend the notion of a Frobenius algebra to grant that a Frobenius algebra over a Frobenius commutative ring is itself a Frobenius ring. The modification introduced…

An Ore extension over a polynomial algebra F[x] is either a quantum plane, a quantum Weyl algebra, or an infinite-dimensional unital associative algebra A_h generated by elements x,y, which satisfy yx-xy = h, where h is in F[x]. When h is…

Let $F$ be a finite set of monomials of the same degree $d\geq 2$ in a polynomial ring $R=k[x_1,...,x_n]$ over an arbitrary field $k$. We give some necessary and/or sufficient conditions for the birationality of the ring extension…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…

Motivated by the construction of new examples of Artin-Schelter regular algebras of global dimension four, J.J. Zhang and J. Zhang (2008) introduced an algebra extension $A_P[y_1,y_2;\sigma,\delta,\tau]$ of $A$, which they called a double…

Let $R$ be a ring and $(\sigma,\delta)$ a quasi-derivation of $R$. In this paper, we show that if $R$ is an $(\sigma,\delta)$-skew Armendariz ring and satisfies the condition $(\mathcal{C_{\sigma}})$, then $R$ is right p.q.-Baer if and only…