Let $R$ and $S$ be commutative rings with identity, $J$ be an ideal of $S$, $f:R\to S$ be a ring homomorphism, $M$ be an $R$-module, $N$ be an $S$-module, and let $\varphi :M\to N$ be an $R$-homomorphism. The amalgamation of $R$ with $S$ along $J$ with respect to $f$ denoted by $R{\bowtie }^{f}J$ was introduced by M. D’Anna et al. (2010). Recently, R. El Khalfaoui et al. (2021) introduced a special kind of $\left(R{\bowtie }^{f}J\right)$-module called the amalgamation of $M$ and $N$ along $J$ with respect to $\varphi$, and denoted by $M{\bowtie }^{\varphi }JN$. We study some homological properties of the $\left(R{\bowtie }^{f}J\right)$-module $M{\bowtie }^{\varphi }JN$. Among...

Let $X\subset {\mathbb{P}}^n$ be an integral and non-degenerate $m$-dimensional variety defined over $ℝ$. For any $P\in {\mathbb{P}}^n\left(ℝ\right)$ the real $X$-rank $r_{X,ℝ}\left(P\right)$ is the minimal cardinality of $S\subset X\left(ℝ\right)$ such that $P\in \langle S\rangle$. Here we extend to the real case an upper bound for the $X$-rank due to Landsberg and Teitler.

Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. A left $R$-module $M$ is called $(𝒯,n)$-injective if ${\mathrm{Ext}}_R^n(C,M)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a right $R$-module $M$ is called $(𝒯,n)$-flat if ${\mathrm{Tor}}_n^R(M,C)=0$ for each $(𝒯,n+1)$-presented left $R$-module $C$; a left $R$-module $M$ is called $(𝒯,n)$-projective if ${\mathrm{Ext}}_R^n(M,N)=0$ for each $(𝒯,n)$-injective left $R$-module $N$; the ring $R$ is called strongly $(𝒯,n)$-coherent if whenever $0\to K\to P\to C\to 0$ is exact, where $C$ is $(𝒯,n+1)$-presented and $P$ is finitely generated projective, then $K$ is $(𝒯,n)$-projective; the ring $R$ is called...

Let $(R,𝔪)$ be a commutative Noetherian local ring, $𝔞$ be an ideal of $R$ and $M$ a finitely generated $R$-module such that $𝔞M\ne M$ and $\mathrm{cd}(𝔞,M)-\mathrm{grade}(𝔞,M)\le 1$, where $\mathrm{cd}(𝔞,M)$ is the cohomological dimension of $M$ with respect to $𝔞$ and $\mathrm{grade}(𝔞,M)$ is the $M$-grade of $𝔞$. Let $D(-):={\mathrm{Hom}}_R(-,E)$ be the Matlis dual functor, where $E:=E(R/𝔪)$ is the injective hull of the residue field $R/𝔪$. We show that there exists the following long exact sequence $$\begin{array}{cc}\hfill 0⟶& H_{𝔞}^{n-2}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)⟶D\left(M\right)\\ \hfill ⟶& H_{𝔞}^{n-1}\left(D\left(H_{𝔞}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^{n+1}\left(D\left(H_{𝔞}^n\left(M\right)\right)\right)\\ \hfill ⟶& H_{𝔞}^n\left(D\left(H_{(x_1,...,x_{n-1})}^{n-1}\left(M\right)\right)\right)⟶H_{𝔞}^n\left(D\left(H_{(}^{n-1}M\right)\right))⟶...,\end{array}$$ where $n:=\mathrm{cd}(𝔞,M)$ is a non-negative integer, $x_1,...,x_{n-1}$ is a regular sequence in $𝔞$ on $M$ and, for an $R$-module $L$, $H_{𝔞}^i\left(L\right)$ is the $i$th local cohomology module...

A metacyclic group $H$ can be presented as $\langle \alpha ,\beta :{\alpha }^n=1$, ${\beta }^m={\alpha }^t$, $\beta \alpha {\beta }^{-1}={\alpha }^r\rangle$ for some $n$, $m$, $t$, $r$. Each endomorphism $\sigma$ of $H$ is determined by $\sigma \left(\alpha \right)={\alpha }^{x_1}{\beta }^{y_1}$, $\sigma \left(\beta \right)={\alpha }^{x_2}{\beta }^{y_2}$ for some integers $x_1$, $x_2$, $y_1$, $y_2$. We give sufficient and necessary conditions on $x_1$, $x_2$, $y_1$, $y_2$ for $\sigma$ to be an automorphism.

Let $R$ be a ring. A subclass $𝒯$ of left $R$-modules is called a weak torsion class if it is closed under homomorphic images and extensions. Let $𝒯$ be a weak torsion class of left $R$-modules and $n$ a positive integer. Then a left $R$-module $M$ is called $𝒯$-finitely generated if there exists a finitely generated submodule $N$ such that $M/N\in 𝒯$; a left $R$-module $A$ is called $(𝒯,n)$-presented if there exists an exact sequence of left $R$-modules $$0⟶K_{n-1}⟶F_{n-1}⟶\cdots ⟶F_1⟶F_0⟶M⟶0$$ such that $F_0,\cdots ,F_{n-1}$ are finitely generated free and $K_{n-1}$ is $𝒯$-finitely generated;...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

The profinite topology on any abstract group $G$, is one such that the fundamental system of neighborhoods of the identity is given by all its subgroups of finite index. We say that a group $G$ has the Ribes-Zalesskii property of rank $k$, or is RZ${}_k$ with $k$ a natural number, if any product $H_1{H}_2\cdots H_k$ of finitely generated subgroups $H_1,H_2,\cdots ,H_k$ is closed in the profinite topology on $G$. And a group is said to have the Ribes-Zalesskii property or is RZ if it is RZ${}_k$ for any natural number $k$. In this paper we characterize...

Let ${\Phi }_1,...,{\Phi }_{k+1}$ (with $k\ge 1$) be vector fields of class $C^k$ in an open set $U{\subset }^{N+m}$, let $𝕄$ be a $N$-dimensional $C^k$ submanifold of $U$ and define $$𝕋:=\{z\in 𝕄:{\Phi }_1\left(z\right),...,{\Phi }_{k+1}\left(z\right)\in T_z𝕄\}$$ where $T_z𝕄$ is the tangent space to $𝕄$ at $z$. Then we expect the following property, which is obvious in the special case when $z_0$ is an interior point (relative to $𝕄$) of $𝕋$: If $z_0\in 𝕄$ is a $(N+k)$-density point (relative to $𝕄$) of $𝕋$ then all the iterated Lie brackets of order less or equal to $k$ $${\Phi }_{i_1}\left(z_0\right),[{\Phi }_{i_1},{\Phi }_{i_2}]\left(z_0\right),[[{\Phi }_{i_1},{\Phi }_{i_2}],{\Phi }_{i_3}]\left(z_0\right),...(h,i_h\le k+1)$$ belong to $T_{z_0}𝕄$. Such a property has been proved in [9] for $k=1$ and its proof in the...