β(H)上Jordan同构的一个代数不变量:幂等元的集合

令β(H)表示无限维复Hilbert空间H上的所有有界线性算子组成的代数,I(H)是β(H)中所有幂等元的集合.设Φ:β(H)→β(H)是满射.证明了对任意的λ∈{-1,1,2,3,1/2,1/3}及A,B∈β(H),映射Φ满足条件A-λB∈I(H)(=)Φ(A)-λΦ(B)∈I(H)当且仅当Φ是β(H)的Jordan环自同构,即存在H上的连续可逆线性或共轭线性算子T,使得Φ(A)=TAT-1对所有的A∈β(H)成立,或Φ(A)=TA*T-1对所有的A∈β(H)成立.令i表示虚数单位,进而如果Φ也满足条件A-iB∈I(H)(=)Φ(A)-iΦ(B)∈I(H),则Φ是自同构,或是反自同构.     

$k$-广义拟树的第一个leap Zagreb 指标

图$G$的第一个leap Zagreb指标定义如下: $LM_1(G)=\sum_(v\in v(G)}d_2(v/G)^2$, 其中$d_2(v/G)$是离点$v$的距离为2的顶点. 令$\mathcal{QT}^{(k)}(n)$是有$n$个顶点的$k$-广义拟树的集合.若$G\in \mathcal{QT}^{(k)}(n)$, 本文给出了图$G$的第一个leap Zagreb指标的范围.     

ON(a,b)-CONSECUTIVE PETERSEN GRAPHS

1.IntroductionInthispaperallgraphsarefinite,simpleandundirected.LetGbesuchagraphwithvertexsetV(G)andedgesetE(G),wherepandqarethenumbersofvenicesandedgesofG.In1985,Lo[1]introducedtheconceptofedge-gracefulgraphs.A(p,q)-graphG~(V,E)issaidtobeedge-gracefulifthereexistsabijectionj:E(G)-{1,2,''Iq}suchthattheinducedmappingf :V(G)-- {0,l,'',p--1},definedbyj (x)=Z{i(xy):xoEE(G)}(modp),isalsoabijection.Edge-gracefullabelingsforcertainfamiliesofgraphshavebeeninvestigatedbyvariousresearchers(see…     

有限群的中心化子指数

假定有限群A互索地作用在G上,设H≤G且x=ηG,其中x∈Irr(G),η∈Irr(H)都是A-不变的,设fA(G)=|G:CG(A)|.I.M.Isaacs和G.Navarro曾猜想fA(G)≤fA(H)s,其中s是某一常数.本文证明了:若G是奇阶的且可诱导的,那么存在一个标准三元组(G,R,A)满足fA(G)≤fA(R)β, 其中3.24<β<3.25.若(G,H,A)是一个标准三元组,且不等式fA(G)≤fA(H)β对任意索阶群A 都成立,其中β是一个常数,那么这一不等式对所有可解群A都成立.     

有限群的中心化子指数

假定有限群A互索地作用在G上,设日≤G且x=ηG,其中x∈Irr(G),η∈Irr(H)都是A-不变的,设fA(G)=|GCG(A)|.I.M.Isaacs和G.Navarro曾猜想fA(G)≤fA(H)s,其中s是某一常数.本文证明了若G是奇阶的且可诱导的,那么存在一个标准三元组(G,R,A)满足fA(G)≤fA(R)β,其中3.24＜β＜3.25.若(G,H,A)是一个标准三元组,且不等式fA(G)≤fA(H)β对任意素阶群A都成立,其中β是一个常数,那么这一不等式对所有可解群A都成立.     

在对称群中一类正则图所确定的极大子群

对称群的极大子群之确定,在多值逻辑理论和有限自动机理论中都有着重要而广泛的应用,同时也是置换群理论中的一个基本问题.本文提出了 k 次对称群中一类新的极大子群,k=h~m,m≥3,h≥7.设Γ=(Ω,E)是一个无向正则图,其中顶点集Ω={(α_1,…,α_m)|β_i∈Ω_h={10,1,…,h-1},i=1,…,m},边集 E={α,β〉|α=(α_1,…,α_m),β=(β_1,…,β_m)∈Ω,α_i≠β_i,i=1,….m}:G 是Γ的所自同构作成之群.于是,(1)G 是本原群,且G={g|g(x)=g(x_1,…,x_m)=(g_1(x_σ(1)),…,g_m(x_σ(m))),σ∈S_m(集合{1,…,m}上的对称群),g,∈S_h(Ω_h 上的对称群),i=1,…,m};(2)若 h 为奇数 h=2_n+1且 n 为偶数或 h-1>m,则 G 是 k 次对称群 S_k 中的极大子群;(3)若 k 为偶数且2(k-1)>m,则 G 是 k 次交代群 A_k 中的极大子群.     

3,4跳图的平面性

For a graph G of size ε≥1 and its edge-induced subgraphs H1 and H2 of size r(1≤r≤ε), H1 is said to be obtained from H2 by an edge jump if there exist four distinct vertices u,v,w and x in G such that (u,v)∈E(H2), (w,x)∈ E(G)-E(H2) and H1=H2-(u,v)+(w,x). In this article, the r-jump graphs (r≥3) are discussed. A graph H is said to be an r-jump graph of G if its vertices correspond to the edge induced graph of size r in G and two vertices are adjacent if and only if one of the two corresponding subgraphs can be obtained from the other by an edge jump. For k≥2, the k-th iterated r-jump graph Jrk(G) is defined as Jr(Jrk-1(G)), where Jr1(G)=Jr(G).An infinite sequence{Gi} of graphs is planar if every graph Gi is planar. It is shown that there does not exist a graph G for which the sequence {J3k(G)} is planar, where k is any positive integer. Meanwhile,lim gen(J3k(G))=∞,where gen(G) denotes the genus of a graph G, if the sequencek→∞J3k(G) is defined for every positive integer k. As for the 4-jump gra     

辫子T-范畴的构造

本文首先引入了一类新的范畴_AYD_G^H, 这个范畴是一簇范畴{_AYD^H(α,β)}_(α,β)∈G的非交并, 获得了范畴{_AYD^H(α,β)}_(α,β)∈G是一个辫子T-范畴当且仅当(A,H,Q)是一个G-偶结构, 推广了2005年Panaite和Staic的主要结论. 最后, 当H是有限维时, 构造了一个拟三角T-余代数{A#H^*(α,β)}_(α,β)∈G, 它的表示范畴与{_AYD^H(α,β)}_(α,β)∈G是同构的.     

C*-代数交叉积上的渐近同态(英文)

林华新和松井宏树提出了可分C~*-代数上的渐近同态的概念,以及Cantor极小系统上弱逼近共轭的概念.设A为Ko群有限生成的AF代数,α,β为A上的具有Rokhlin性质的*-自同构.则α和β弱逼近共轭的充要条件是,存在两列渐近同态{φ_n}:A_α→A_β和{ψ_n}:A_β→A_α,以及两列*-自同构{Φ_n},{Ψ_n}:A→A,满足对任意的a∈A,均有lim_(n→∞)‖φ_noj_α(a)-jβoΦ_n(a)‖=0和lim_(n→∞)‖ψ_nojβ(a)-jα·Ψ_n(a)‖=0.     

冯·诺依曼代数交叉积的一点注记

设α是可数离散群G和H的半直积G■_σH在冯·诺依曼代数M上的作用,则β_h=α_((e,h))AdU_h定义了群H在冯·诺依曼代数交叉积M■_αG上的作用β.本文证明了交叉积冯·诺依曼代数M■_α(G■_σH)与(M■_αG)■_βH是*-同构的,因此在一定条件下,冯·诺依曼代数的交叉积满足结合律.