A ring $R$ is called a right $\mathrm{PS}$-ring if its socle, $\mathrm{Soc}\left(R_R\right)$, is projective. Nicholson and Watters have shown that if $R$ is a right $\mathrm{PS}$-ring, then so are the polynomial ring $R\left[x\right]$ and power series ring $R\left[\right[x\left]\right]$. In this paper, it is proved that, under suitable conditions, if $R$ has a (flat) projective socle, then so does the skew inverse power series ring $R\left[[x^{-1};\alpha ,\delta ]\right]$ and the skew polynomial ring $R[x;\alpha ,\delta ]$, where $R$ is an associative ring equipped with an automorphism $\alpha$ and an $\alpha$-derivation $\delta$. Our results extend and unify many existing...

Let $K$ be a number field. It is well known that the set of recurrencesequences with entries in $K$ is closed under component-wise operations, and so it can be equipped with a ring structure. We try to understand the structure of this ring, in particular to understand which algebraic equations have a solution in the ring. For the case of cyclic equations a conjecture due to Pisot states the following: assume $\left\{a_n\right\}$ is a recurrence sequence and suppose that all the $a_n$ have a $d^{\mathrm{th}}$ root in the field...

Let R be a real closed field, and denote by ${}_{R,n}$ the ring of germs, at the origin of Rⁿ, of $C^{\infty }$ functions in a neighborhood of 0 ∈ Rⁿ. For each n ∈ ℕ, we construct a quasianalytic subring ${}_{R,n}{\subset }_{R,n}$ with some natural properties. We prove that, for each n ∈ ℕ, ${}_{R,n}$ is a noetherian ring and if R = ℝ (the field of real numbers), then ${}_{ℝ,n}=ₙ$, where ₙ is the ring of germs, at the origin of ℝⁿ, of real analytic functions. Finally, we prove the Real Nullstellensatz and solve Hilbert’s 17th Problem for the ring ${}_{R,n}$. ...

Let $f:A\to B$ and $g:A\to C$ be two ring homomorphisms and let $K$ and $K^{\text{'}}$ be two ideals of $B$ and $C$, respectively, such that $f^{-1}\left(K\right)=g^{-1}\left(K^{\text{'}}\right)$. We investigate unipotent, symmetric and reversible properties of the bi-amalgamation ring $A{\bowtie }^{f,g}(K,K^{\text{'}})$ of $A$ with $(B,C)$ along $(K,K^{\text{'}})$ with respect to $(f,g)$.

Let $G$ be a split semisimple linear algebraic group over a field and let $T$ be a split maximal torus of $G$. Let $𝗁$ be an oriented cohomology (algebraic cobordism, connective $K$-theory, Chow groups, Grothendieck’s $K_0$, etc.) with formal group law $F$. We construct a ring from $F$ and the characters of $T$, that we call a formal group ring, and we define a characteristic ring morphism $c$ from this formal group ring to $𝗁(G/B)$ where $G/B$ is the variety of Borel subgroups of $G$. Our main result says that when the...

Let $R$ be a commutative ring. The annihilator graph of $R$, denoted by $\mathrm{AG}\left(R\right)$, is the undirected graph with all nonzero zero-divisors of $R$ as vertex set, and two distinct vertices $x$ and $y$ are adjacent if and only if ${\mathrm{ann}}_R\left(xy\right)\ne {\mathrm{ann}}_R\left(x\right)\cup {\mathrm{ann}}_R\left(y\right)$, where for $z\in R$, ${\mathrm{ann}}_R\left(z\right)=\{r\in R:rz=0\}$. In this paper, we characterize all finite commutative rings $R$ with planar or outerplanar or ring-graph annihilator graphs. We characterize all finite commutative rings $R$ whose annihilator graphs have clique number $1$, $2$ or $3$. Also, we investigate some properties...

Let $R$ be a prime ring of characteristic different from 2, $Q_r$ its right Martindale quotient ring and $C$ its extended centroid. Suppose that $F$, $G$ are generalized skew derivations of $R$ with the same associated automorphism $\alpha$, and $p(x_1,...,x_n)$ is a non-central polynomial over $C$ such that $$\left[F\right(x),\alpha (y\left)\right]=G\left(\right[x,y\left]\right)$$ for all $x,y\in \{p(r_1,...,r_n):r_1,...,r_n\in R\}$. Then there exists $\lambda \in C$ such that $F\left(x\right)=G\left(x\right)=\lambda \alpha \left(x\right)$ for all $x\in R$.

We characterize clean elements of $ℛ\left(L\right)$ and show that $\alpha \in ℛ\left(L\right)$ is clean if and only if there exists a clopen sublocale $U$ in $L$ such that ${𝔠}_L\left(\mathrm{coz}(\alpha -\mathbf{1})\right)\subseteq U\subseteq {𝔬}_L\left(\mathrm{coz}\left(\alpha \right)\right)$. Also, we prove that $ℛ\left(L\right)$ is clean if and only if $ℛ\left(L\right)$ has a clean prime ideal. Then, according to the results about $ℛ\left(L\right),$ we immediately get results about ${𝒞}_c\left(L\right).$

Let $a$ and $b\in \mathbb{N}$. Denote by $R_{a,b}$ the set of all integers $n>1$ whose canonical prime representation $n=p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\cdots p_r^{{\alpha }_r}$ has all exponents ${\alpha }_i$ $(1\le i\le r)$ being a multiple of $a$ or belonging to the arithmetic progression $at+b$, $t\in {\mathbb{N}}_0:=\mathbb{N}\cup \left\{0\right\}$. All integers in $R_{a,b}$ are called generalized square-full integers. Using the exponent pair method, an upper bound for character sums over generalized square-full integers is derived. An application on the distribution of generalized square-full integers in an arithmetic progression is given. ...

In this paper, we are concerned with G-rings. We generalize the Kaplansky’s theorem to rings with zero-divisors. Also, we assert that if $R\subseteq T$ is a ring extension such that $mT\subseteq R$ for some regular element $m$ of $T$, then $T$ is a G-ring if and only if so is $R$. Also, we examine the transfer of the G-ring property to trivial ring extensions. Finally, we conclude the paper with illustrative examples discussing the utility and limits of our results.

Let $H$ be a finite abelian group of odd order, $𝒟$ be its generalized dihedral group, i.e., the semidirect product of $C_2$ acting on $H$ by inverting elements, where $C_2$ is the cyclic group of order two. Let $\Omega \left(𝒟\right)$ be the Burnside ring of $𝒟$, $\Delta \left(𝒟\right)$ be the augmentation ideal of $\Omega \left(𝒟\right)$. Denote by ${\Delta }^n\left(𝒟\right)$ and $Q_n\left(𝒟\right)$ the $n$th power of $\Delta \left(𝒟\right)$ and the $n$th consecutive quotient group ${\Delta }^n\left(𝒟\right)/{\Delta }^{n+1}\left(𝒟\right)$, respectively. This paper provides an explicit $\mathbb{Z}$-basis for ${\Delta }^n\left(𝒟\right)$ and determines the isomorphism class of $Q_n\left(𝒟\right)$ for each positive integer $n$.

Let $\mathbb{Z}{̂}_p$ be the ring of p-adic integers, $U\left(\mathbb{Z}{̂}_p\right)$ the unit group of $\mathbb{Z}{̂}_p$ and $G=G_p\times B$ a finite group, where $G_p$ is a p-group and B is a p’-group. Denote by $\mathbb{Z}{̂}_p^{\lambda }G$ the twisted group algebra of G over $\mathbb{Z}{̂}_p$ with a 2-cocycle $\lambda \in Z²(G,U\left(\mathbb{Z}{̂}_p\right))$. We give necessary and sufficient conditions for $\mathbb{Z}{̂}_p^{\lambda }G$ to be of OTP representation type, in the sense that every indecomposable $\mathbb{Z}{̂}_p^{\lambda }G$-module is isomorphic to the outer tensor product V W of an indecomposable $\mathbb{Z}{̂}_p^{\lambda }{G}_p$-module V and an irreducible $\mathbb{Z}{̂}_p^{\lambda }B$-module W.

Let be a proper ideal of a commutative Noetherian ring R of prime characteristic p and let Q() be the smallest positive integer m such that ${{(}^F)}^{\left[p^m\right]}{=}^{\left[p^m\right]}$, where ${}^F$ is the Frobenius closure of . This paper is concerned with the question whether the set $Q{(}^{\left[p^m\right]}):m\in \mathbb{N}₀$ is bounded. We give an affirmative answer in the case that the ideal is generated by an u.s.d-sequence c₁,..., cₙ for R such that (i) the map $R/{\sum }_{j=1}^{n}R{c}_j\to R/{\sum }_{j=1}^{n}Rc{²}_j$ induced by multiplication by c₁...cₙ is an R-monomorphism; (ii) for all $\in ass(c{₁}^j,...,c{ₙ}^j)$, c₁/1,..., cₙ/1 is a $R_{}$-filter...

In this paper, we introduce a new kind of rings that behave like semicommutative rings, but satisfy yet more known results. This kind of rings is called $P$-semicommutative. We prove that a ring $R$ is $P$-semicommutative if and only if $R\left[x\right]$ is $P$-semicommutative if and only if $R[x,x^{-1}]$ is $P$-semicommutative. Also, if $R\left[\right[x\left]\right]$ is $P$-semicommutative, then $R$ is $P$-semicommutative. The converse holds provided that $P\left(R\right)$ is nilpotent and $R$ is power serieswise Armendariz. For each positive integer $n$, $R$ is $P$-semicommutative...