On theta pairs for a maximal subgroup

For a maximal eubgroup M of a finite group G, a 8-pair is any pair of subgroups (C,D) of G such that (i) D?G, D≤C, (ii) - G, - M and (iii) C/D has no proper normal subgroup of G/D. A partial order may be defined on the family of 8-pairs. Let △(M) - {(C,D)|(C,D) is a maximal 8-pair and CM - G}. The purpose of this note is to prove: (1) A group G is solvable if and only if, for each maximal subgroup M of G, △(M) contains a 8-pair (C,D) such that C/D ie nilpctent. (2) If a group G is S₄-free, then G ia eupersolvable if and only if, for each maximal subgroup M of G, △(M) contains a 8-pair (C,D) auch that C/D is cyclic     

Vertex-distinguishing E-total Coloring of Complete Bipartite Graph K_(7,n) when 7≤n≤95

Let G be a simple graph. A total coloring f of G is called an E-total coloring if no two adjacent vertices of G receive the same color, and no edge of G receives the same color as one of its endpoints. For an E-total coloring f of a graph G and any vertex x of G, let C(x) denote the set of colors of vertex x and of the edges incident with x, we call C(x) the color set of x. If C(u)≠ C(v) for any two different vertices u and v of V(G), then we say that f is a vertex-distinguishing E-total coloring of G or a VDET coloring of G for short. The minimum number of colors required for a VDET coloring of G is denoted by χ_(vt)~e(G) and is called the VDET chromatic number of G. The VDET coloring of complete bipartite graph K_(7,n)(7 ≤ n ≤ 95) is discussed in this paper and the VDET chromatic number of K_(7,n)(7 ≤ n ≤ 95) has been obtained.     

Symmetrische Algebren mit injektivem Zentrum

The group ring of a finite group G over a field K is a symmetric algebra and hence an injective ring. If K is of characteristic zero, KG is semisimple. Thus the center of KG is injective. We proof in this paper: If K is of characteristic p>0, then the center of KG is injective, if and only if G is p-nilpotent and the p-Sylow-subgroups of G are abelian. We determine also the structure of these group rings. This will be done more generally for symmetric algebras which have an injective center and split over its Jacobson-radical.     

一类不能作为自同构群的奇阶群

本文考虑如下问题：怎样的有限群可以作为另一个有限群的全自同构群？我们首先证明，若有限群Ｋ有一个正规Ｓｙｌｏｗｐ－子群使得｜Ｋ：Ｚ（Ｋ）｜ｐ＝ｐ２，那么Ｋ有２阶自同构．利用这个结果，我们证明了，若奇阶群Ｇ具有阶Ｐｓｍ（１≤ｓ≤３），ｐ为｜Ｇ｜的最小素因子，ｐｍ，ｍ无立方因子，则Ｇ不可能作为全自同构群．     

Vertex-distinguishing IE-total Colorings of Complete Bipartite Graphs K8,n

Let G be a simple graph. An IE-total coloring f of G is a coloring of the vertices and edges of G so that no two adjacent vertices receive the same color. For each vertex x of G, let C(x) be the set of colors of vertex x and edges incident to x under f. For an IE-total coloring f of G using k colors, if C(u) 6= C(v) for any two different vertices u and v of G, then f is called a k-vertex-distinguishing IE-total-coloring of G or a k-VDIET coloring of G for short. The minimum number of colors required for a VDIET coloring of G is denoted by χievt(G) and is called vertex-distinguishing IE-total chromatic number or the VDIET chromatic number of G for short. The VDIET colorings of complete bipartite graphs K8,n are discussed in this paper. Particularly, the VDIET chromatic number of K8,n are obtained.     

Remarks on Vertex-Distinguishing IE-Total Coloring of Complete Bipartite Graphs K4,n and Kn,n

Let G be a simple graph.An IE-total coloring f of G refers to a coloring of the vertices and edges of G so that no two adjacent vertices receive the same color.Let C(u) be the set of colors of vertex u and edges incident to u under f.For an IE-total coloring f of G using k colors,if C(u)=C(v) for any two different vertices u and v of V(G),then f is called a k-vertex-distinguishing IE-total-coloring of G,or a k-VDIET coloring of G for short.The minimum number of colors required for a VDIET coloring of G is denoted by χ ie vt (G),and it is called the VDIET chromatic number of G.We will give VDIET chromatic numbers for complete bipartite graph K4,n (n≥4),K n,n (5≤ n ≤ 21) in this article.     

Tamely uniform orders

The following two results are proven.

(i) Let G be a finitely generated torsion-free linear group. If every torsion-free section of G is an R-group, then G is soluble of finite rank. Conversely, if G has finite rank, then it has a subgroup of finite index, in which every torsion-free section is an R-group.

Let G be a finitely generated torsion-free soluble group. If in every torsion-free section of G the normalizer of each isolated subgroup is isolated, then G has finite rank. Conversely, if G has finite rank, then it has a subgroup K of finite index such that in every torsion-free section of K the normalizer of each isolated subgroup is isolated.     

Lipschitz Stability of the Cauchy and Jensen Equations

Let G be an amenable metric semigroup with nonempty center, let E be a reflexive Banach space, and let ?: G → E be a given function. By C?: G × G → E we understand the Cauchy difference of the function /, i.e.: $$ {\cal C}f(x,y):=f(x+y)- f(x)- f(y)\ {\rm for}\ x,y\in G. $$ We prove that if the function C(f) is Lipschitz then there exists an additive function A: G → E such that f ? A is Lipschitz with the same constant. Analogous result for Jensen equation is also proved. As a corollary we obtain the stability of the Cauchy and Jensen equations in the Lipschitz norms.     

关于图是(r,n)-临界图的一个邻域条件

设n，m和r是满足r≥2，n≥0，m≥3的整数，且当r是奇数时，假设r≥m-1．称一个图为K1,m-free，如果它不包含以Kt,m为导出的子图．称一个图G为一个（r,n）-临界图，如果在删去G的任意n个点后，剩下G的子图都有一个r-因子,设G是一个Kl,m-free的（n＋1）-连通图，且阶为｜G｜以及r（｜G｜≥n）是偶数,证明了：如果G的最小度至少是r＋n＋m-1，阶｜G｜≥8r5＋n，并且对V（G）的任意独立点集{x1，x2}都有｜NG（x1）∪NG（x2）｜≥（｜G｜＋n）／2，那么G是一个（r,n）-临界图．关于G的最小度和｜NG（x1）∪NG（X2）｜的下界是紧的。     

Divisible groups that are brauer groups ∗

Throughour this paper G denotes an abelian divisible torsion group. It is not unreasonable to conjecture that such a G must occur as the Brauer group B(K) of some field K. Some evidence to support this conjecture is provided in [3]; it is proved there that if G is countable then G ? B(K) for some K algebraic over the rational field Q [3, Theorem 2]. In this note we provide still more evidence in support of htis conjecture.     

Agreeable domains

An integral domain D with quotient field K is defined to be agreeable if for each fractional ideal F of D[X] with F C K[X] there exists 0 = s ε D with sF C D[X]. D is agreeable ? D satisfies property (*) (for 0 ^ f(X) G K[X], there exists 0 = s ε D so that f(X)g(X) ε D[X] for g(X) ε K[X] implies that sg(X) ε D[X]) &; D[X] is an almost principal domain, i.e., for each nonzero ideal I of D[X] with IK[X] = K[X], there exists f(X) ε I and 0 = s ε D with sI C (f(X)). If D is Noetherian or integrally closed, then D is agreeable. A number of other characterizations of agreeable domains are given as are a number of stability properties. For example, if D is agreeable, so is ?^αD_{P α} and for a pair of domains D?D′ with a [DD:′]≠0, D is agreeable?D′ is agreeable. Results on agreeable domains are used to give an alternative treatment of Querre's characterization of divisorial ideals in integrally closed polynomial rings. Finally, the various characterizations of D being agreeable are considered for polynomial rings in several variables.     

2-连通无爪图的连通因子

若图G不含有同构于K1,3的导出子图,则称G为一个无爪图.令a和b是两个整数满足2≤a≤b.本文证明了若G是一个含有[a,b]因子的2连通无爪图,则G有一个连通的[a,b 1]因子.     

有限值l-群与特殊值l-群等价的一个充要条件

G是l-群，本文主要证明：G是有限值的当且仅当G是特殊值的且C（G）＝K（G），作为应用，我们证明了G是有基的l-群，则两者之间是等价的。     

Two applications of maschke's theorem

Let R ? G denote a crossed product of the finite group G over the ring R and let V be an R ? G-module. Maschke's theorem states that if 1/∣G∣ ε R and if V is completely reducible as an R-module, then V is also completely reducible as an R ? G -module. In this paper, we obtain two applications of this theorem, both under the assumption that R is semiprime with no ∣G∣ -torsion. The first concerns group actions and here we show that if G acts on R and if I is an essential right ideal of the fixed ring R^G , then IR is essential in Rs. This result, in turn, simplifies a number of proofs already in the literature. The second application here is a short proof of a theorem of Fisher and Montgomery which asserts that the crossed product R ? G is semiprime.     

图有[a,b]因子的邻域条件

不含有图K1，R的图称为K1,r-free图，设G是一个具有顶点集V（G）的图，设n(≥3),a和b是整数，使得b≥a≥1，若b是奇数，设b≥n-1。我们证明了每个连通的K1,r-free图G在b|V(G)|为偶数，它的最小度至少是a n-1,|V(G）≥ （2(a b)-1)(a b-1)/b，以及|NG(x）∪NG（y)|≥a|V(G)|a b对V的任意两个不邻接的点x和y都成立时，G有一个[a,b]因子。     

由一哈密尔顿矩阵或反哈密尔顿矩阵所定义的矩阵李环

<正> §1.导言设K为体,即乘法不一定交换的域.设K之特征数≠2.再设a→ā是及的一个对合性反自同构,即a→ā是将K映到K之上的一個——映射而适合以下条件:     

差异张量平行和半平行的仿射超曲面

本文用活动标架法证明了：若 Ｍｎ（ｎ≥２）是 ｎ＋１维仿射空间 Ａｎ＋１中非退化的仿射超曲面,（１）若■Ｋ＝０（即差异张量平行）,则Ｍ是仿射球,且Ｊ＝０和Ｇ是一个Ｅｉｎｓｔｅｉｎ度量,这里Ｊ是Ｍ的 Ｐｉｃｋ不变量,Ｇ是Ｂｌａｓｃｈｋｅ度量;（２）Ｒ·Ｋ＝０（即差异张量半平行）当且仅当Ｓ＝０（Ｍ为虚仿射球）,或者Ｋ＝０（Ｍ为非退化的二次超曲面）,这里 Ｒ为诱导仿射联络 ■的黎曼曲率算子．     

Harmonic two-forms on manifolds with non-negative isotropic curvature

We prove that L ² harmonic two-forms are parallel if a complete manifold (M, g) has the non-negative isotropic curvature. Furthermore, if (M, g) has positive isotropic curvature at some point, then there is no non-trivial L ² harmonic two-form. We obtain that an almost K?hler manifold of non-negative isotropic curvature is K?hler and a symplectic manifold can not admit any almost K?hler structure of positive isotropic curvature.