关于余挠三元组的余星子范畴和余倾斜子范畴

设$\mathcal{A}$ 是一个Abel范畴,且 $(\mathcal{X}, \mathcal{Z},\mathcal{Y})$ 是一个完全遗传余挠三元组.介绍 $\mathcal{A}$ 的 $n$-$\mathcal{Y}$-余倾斜子范畴的定义,并给出 $n$-$\mathcal{Y}$-余倾斜子范畴的一个刻画,类似于 $n$-余倾斜模的 Bazzoni 刻画.作为应用,证明了在一个几乎 Gorenstein 环 $R$ 上, 如果 $\mathcal{GP}$ 是 $n$-$\mathcal{GI}$-余倾斜的, 那么 $R$ 是一个 $n$-Gorenstein 环, 其中 $\mathcal{GP}$ 表示 Gorenstein 投射 $R$-模组成的子范畴且 $\mathcal{GI}$ 表示 Gorenstein 内射 $R$-模组成的子范畴. 进而, 研究 任意环$R$上的$n$-余星子范畴, 以及关于余挠三元组 $(\mathcal{P}, R$-Mod, $\mathcal{I})$ 的 $n$-$\mathcal{I}$-子范畴与 $n$-余星子范畴之间的关系, 其中 $\mathcal{P}$ 表示投射左 $R$-模组成的子范畴且 $\mathcal{I}$ 表示内射左 $R$-模组成的子范畴.     

非广义$\mathcal {H}$-张量的判定准则[英文]

给出判定非广义$\mathcal {H}$-张量的充要条件, 从理论上彻底解决了不可约非广义$\mathcal {H}$-张量的判定问题, 并给出判定不可约非广义$\mathcal {H}$-张量的具体算法. 最后, 利用数值算例表明了结果的有效性.     

基于完备BR0-代数的全蕴涵三I算法

研究了基础$BR_0$-代数的性质和基于完备基础$BR_0$-代数的全蕴涵三I算法,对一般蕴涵算子给出了三I算法解存在的一个充分条件,并将结果应用于$R_0$-单位区间$\overline{W}$,不但极大的简化了$R_0$-单位区间$\overline{W}$的$R_0$-型$\alpha$-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了$R_0$-型三I算法是与$B{\cal L}^*$系统相匹配的模糊推理方法.     

强W-Gorenstein 复形

对自正交模类$\mathcal{W}$,引入了强$\mathcal{W}$-Gorenstein复形的概念.给出了强$\mathcal{W}$-Gorenstein复形的刻画,并将其应用到强Gorenstein内射复形.     

因子von Neumann代数上完全保持 Jordan1-$*$-零积的映射

令$H$和$K$是无限维复Hilbert空间, $\mathcal{A},\mathcal{B}$分别是$H$和$K$上的因子von Neumann代数.结果表明每一个从$\mathcal{A}$到$\mathcal{B}$完全保Jordan1-$*$-零积的满射都是线性$*$-同构或者共轭线性$*$-同构的非零常数倍.     

$\mathbb{Z}^{k}$-作用一维子系统的Lipschitz跟踪性

本文主要研究了$\mathbb{Z}^{k}$-作用一维子系统的跟踪性质. 文中运用两种等价的方式引入了$\mathbb{Z}^{k}$-作用一维子系统的伪轨以及跟踪性的概念. 对于一个闭黎曼流形上的光滑$\mathbb{Z}^{k}$-作用$T$, 我们通过诱导的非自治动力系统提出了Anosov方向的概念. 借助Bowen几何的方法, 我们证明了$T$沿着任意Anosov方向具有Lipschitz跟踪性.     

关于$\mathcal{F}$-S-可补子群

设$\mathcal{F}$是一个群类. 群$G$的子群$H$称为在$G$中$\mathcal{F}$-S-可补的，如果存在$G$的一个子群$K$,使得$G=HK$且$K/K\cap{H_G}\in\mathcal{F}$, 其中$H_G=\bigcap_{g\in G}H^g$是包含在$H$中的$G$的最大正规子群．本文利用子群的$\mathcal{F}$-S-可补性, 给出了有限群的可解性, 超可解性和幂零性的一些新的刻画. 应用这些结果, 我们可以得到一系列推论, 其中包括有关已知的著名结果.     

三角Banach代数的Lie弱顺从性

设$\mathcal {A,\ B}$ 是含单位元的Banach代数, $\mathcal M$ 是一个Banach $\mathcal {A,\ B}$-双模. $\mathcal {T}=\left ( \begin{array}{cc} \mathcal {A} & \mathcal M \\ & \mathcal {B} \\ \end{array} \right )$按照通常矩阵加法和乘法,范数定义为$\|\left( \begin{array}{cc} a & m \\ & b\\ \end{array} \right)\|=\|a\|_{\mathcal A}+\|m\|_{\mathcal M}+\|b\|_{\mathcal B}$,构成三角Banach 代数.如果从$\mathcal T$到其$n$次对偶空间$\mathcal T^{n}$上的Lie导子都是标准的,则称$\mathcal T$是Lie $n$弱顺从的.本文研究了三角Banach代数$\mathcal T$上的Lie $n$弱顺从性,证明了有限维套代数是Lie $n$弱顺从的.     

划分围长至少为6 的平面图为有界大小的分支

图$G$的$(\mathcal{O}_{k_1}, \mathcal{O}_{k_2})$-划分是将$V(G)$划分成两个非空子集$V_{1}$和$V_{2}$, 使得$G[V_{1}]$和$G[V_{2}]$分别是分支的阶数至多$k_1$和$k_2$的图.在本文中,我们考虑了有围长限制的平面图的点集划分问题,使得每个部分导出一个具有有界大小分支的图.我们证明了每一个围长至少为6并且$i$-圈不与$j$-圈相交的平面图允许$(\mathcal{O}_{2}$, $\mathcal{O}_{3})$-划分,其中$i\in\{6,7,8\}$和$j\in\{6,7,8,9\}$.     

Heisenberg群上与Schr\"odinger算子相关的Poisson半群的分数阶导数估计

令$\mathcal{L}=-{\Delta}_{\mathbb{H}^{n}}+V$为Heisenberg群$\mathbb{H}^{n}$上的Schr\"odinger算子, 其中${\Delta}_{\mathbb{H}^{n}}$为次Laplace算子, 非负位势$V$属于逆H\"{o}lder类. 本文中, 利用从属性公式, 我们给出与$\mathcal{L}$相关的Poisson半群的分数阶导数的正则性估计, 作为应用, 我们得到了与$\mathcal{L}$相关的Campanato型空间的一个刻画.     

$\mathcal{F}$-Perfect Rings and Modules

Let $R$ be a ring, and let $(\mathcal{F}, C)$ be a cotorsion theory. In this article, the notion of $\mathcal{F}$-perfect rings is introduced as a nontrial generalization of perfect rings and A-perfect rings. A ring $R$ is said to be right $\mathcal{F}$-perfect if $F$ is projective relative to $R$ for any $F ∈ \mathcal{F}$. We give some characterizations of $\mathcal{F}$-perfect rings. For example, we show that a ring $R$ is right $\mathcal{F}$-perfect if and only if $\mathcal{F}$-covers of finitely generated modules are projective. Moreover, we define $\mathcal{F}$-perfect modules and investigate some properties of them.     

Non-Negative Integer Matrix Representations of a $\mathbb{Z}_{+}$-Ring

The $\mathbb{Z}_{+}$-ring is an important invariant in the theory of tensor category. In this paper, by using matrix method, we describe all irreducible $\mathbb{Z}_{+}$-modules over a $\mathbb{Z}_{+}$-ring $\mathcal{A}$, where $\mathcal{A}$ is a commutative ring with a $\mathbb{Z}_{+}$-basis{$1$, $x$, $y$, $xy$} and relations: $$ x^{2}=1,\;\;\;\;\; y^{2}=1+x+xy.$$We prove that when the rank of $\mathbb{Z}_{+}$-module $n\geq5$, there does not exist irreducible $\mathbb{Z}_{+}$-modules and when the rank $n\leq4$, there exists finite inequivalent irreducible $\mathbb{Z}_{+}$-modules, the number of which is respectively 1, 3, 3, 2 when the rank runs from 1 to 4.     

Data-sparse approximation to the operator-valued functions of elliptic operator

In previous papers the arithmetic of hierarchical matrices has been described, which allows us to compute the inverse, for instance, of finite element stiffness matrices discretising an elliptic operator The required computing time is up to logarithmic factors linear in the dimension of the matrix. In particular, this technique can be used for the computation of the discrete analogue of a resolvent

In the present paper, we consider various operator functions, the operator exponential negative fractional powers , the cosine operator function and, finally, the solution operator of the Lyapunov equation. Using the Dunford-Cauchy representation, we get integrals which can be discretised by a quadrature formula which involves the resolvents mentioned above. We give error estimates which are partly exponentially, partly polynomially decreasing.

     

$p$-子群具有$p$-超可解正规化子的有限群

在已有研究中,对于$p$-子群的正规化子而言,它的$p$-幂零性质对有限$p$-幂零群的结构具有重要的影响. 本文中, 设$P$是群$G$的西罗$p$-子群, $1\leq p^d<|P|$, 对于$P$的每个阶为$p^d$的正规子群$H$H,将$N_G(H)$的$p$-幂零性质减弱为$p$-超可解性质,结合$H$的弱$M$-可补充性质,探究$p$-超可解群的结构.同时,在$N_G(P)$是$p$-幂零的条件下,利用子群$K$的弱$M$-可补充条件研究群的$p$-幂零性质,其中$K_p\leq K$且$P''\leq K_p\leq \Phi(P)$. $K_p$是$K$的西罗$p$-子群.在一定程度上,主要结果推广了Frobenius定理.     

On Nonnegative Solution of Multi-Linear System with Strong $\mathcal{M}_z$-Tensors

A class of structured multi-linear system defined by strong $\mathcal{M}_z$-tensors is considered. We prove that the multi-linear system with strong $\mathcal{M}_z$-tensors always has a nonnegative solution under certain condition by the fixed point theory. We also prove that the zero solution is the only solution of the homogeneous multi-linear system for some structured tensors, such as strong $\mathcal{M}$-tensors, $\mathcal{H}^+$-tensors, strictly diagonally dominant tensors with positive diagonal elements. Numerical examples are presented to illustrate our theoretical results.     

$C^*$-代数上可加Jordan左$*$-导子的刻画

设$\delta$是一个$*$-代数$\mathcal A$到其左$\mathcal A$-模$\mathcal M$的可加映射, 如果对任意$A\in\mathcal A$, 有$\delta(A^2)=A\delta(A)+A^*\delta(A)$, 则称$\delta$~是一个可加Jordan左$*$-导子. 在本文中, 我们证明了复的单位$C^*$- 代数到其Banach左模的每个可加Jordan左$*$-导子都恒等于零. 设$G\in\mathcal A$, 如果对任意$A,B\in \mathcal A$, 当$AB=G$时, 有$\delta(AB)=A\delta(B)+B^*\delta(A)$, 则称$\delta$在$G$处左$*$-可导. 我们证明了复的单位$C^*$-代数到其Banach左模的在单位点处左$*$-可导的连续可加映射恒等于零.     

$*$-双单型$A \omega^2$-半群的同构定理

在本文中,我们研究了满足条件$D^*=D(~)$的*-双单型$A\omega^2$-半群的同构,给出了它们之间的同构定理.