关于子群的两种广义正规性的注记

群 G 的一个子群 H 称为在 G 中具有半覆盖远离性,如果存在 G 的一个主群列1=G_0＜ G_1＜…＜G_1=G,使得对每一 i=1,…,l 或者 H 覆盖 G_j/G_(j-1)或者 H 远离 G_j/G_(j-1)．本文证明了予群的半覆盖远离性是子群 C-正规性和子群的覆盖远离性之推广．进一步应用极大子群和 Sylow 子群给出了有限群为可解群的一些特征．     

子群的半覆盖—避开性与有限群的结构

设G是有限群,H为G的子群.如果存在一个主群列1=G_0(?)G_1(?)…(?) G_(n-1)(?)G_n=G,使得对每个i=1,2,…,n,或者H覆盖G_i/G_(i-1),或者H避开G_i/G_(i-1),则称H为G的半覆盖—避开子群.利用G的Sylow子群的极大子群,Sylow子群的2-极大子群的半覆盖—避开性得到了群的可解性,p-幂零性的判别,同时得到了群系的一些结论.     

∑＊-嵌入子群对有限群的可解性的影响

设H是有限群G的子群, K/L是G的任一非Frattini主因子.如果对每一满足L≤A＜B≤K且A是B的极大子群的子群对（A,B）,都有HA=HB或者H∩A=H∩B,则称H是G的∑＊-嵌入子群.通过有限群G的某些子群的∑＊-嵌入性,给出了一些有限群G的正规子群为可解群的一些判别条件,推广了已有的一些结论.     

半次覆盖远离子群和有限群的可解性

本文定义了有限群的半次覆盖远离子群概念,研究了半次覆盖远离子群和有限群的可解性问题.利用某些半次覆盖远离子群刻划了有限群的可解性,得到了若所有的sylow子群(或极大子群)半次覆盖远离则群可解,推广了文献[6]中的结果.     

关于CAP-子群的一点注记（英文）

对于有限群G的每一主因子H/K来说,若G的子群L满足LH=LK或者L∩H=L∩K,则称L是G的CAP-子群.本文通过假设G的每个非循环Sylow子群P有一个子群D使得1〈｜D｜〈｜P｜,且P的所有阶为｜D｜和2｜D｜（若P是非交换2-群且｜P∶D｜〉2）的子群H是G的CAP-子群,得到G为p-幂零群的一个结果.     

素数幂阶子群的s-半置换性对有限群结构的影响

设G为有限群,G的一个子群H称为半置换的,若对任意的K≤G,只要(|K|,|H|)=1,就有KH=HK;H称为s-半置换的,若对任意的p||C|,只要(p,|H|)=1,就有PH=HP,其中P∈Sylp(G).本文考察了素数幂阶子群的s-半置换性对有限群的超可解性的影响.     

关于F-S-可补子群

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

s-半置换子群对有限群的p-超可解性的影响

群G的子群H称为半置换的,若对任意的K≤G,只要（｜H｜,｜K｜）=1,就有HK=KH．H称为s-半置换的,若对任意的p｜｜G｜,只要（p,｜H｜）=1,就有PH=HP,其中P∈Sylp（G）．本文研究Sylow子群的极大子群及极小子群的s-半置换性对有限群的p-超可解性的影响．     

有限群的最大子群的性质对群结构的影响（英文）

有限群G的一个子群称为在G中是π-拟正规的若它与G的每一个Sylow-子群是交换的.G的一个子群H称为在G中是c-可补的若存在G的子群N使得G=HN且H∩N≤H_G=Core_G(H).本文证明了:设F是一个包含超可解群系U的饱和群系,G有一个正规子群H使得G/H∈F.则G∈F若下列之一成立:(1)H的每个Sylow子群的所有极大子群在G中或者是π-拟正规的或者是c-可补的;(2)F~*(H)的每个SyloW子群的所有极大子群在G中或者是π-拟正规的或者是c-可补的,其中F~*(H)是H的广义Fitting子群.此结论统一了一些最近的结果.     

子群的θ-偶和群的结构

研究极大子群和2-极大子群的θ-偶对群结构的影响.设G是有限群,本文得到了:如果G的每一个极大子群M都有极大θ-偶(C,D),使MC=G且C/D是2-闭的,那么G可解;如果G的每一个2-极大子群H都有θ-偶(C,D),使C/D幂零且G=HC,那么G是幂零.     

Distribution of types of symmetry of tensors of high degree

The asymptotic distribution of tensors of degree N in symmetry types is studied in this paper.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 155, pp. 181–186, 1986.     

Estimates of stability of characterization of additive types of distributions

An estimate of stability of characterization of distribution types is obtained for the case of additive types. Under some conditions, the estimate has the order ε^1/3L(ε), where L(ε) is a slowly varying function. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, Russia, 1996, Part I.     

一类完全正则半群簇子簇格的性质

本文研究了完全正则半群簇的子簇格［Ｖ＋∩ＰＶ，Ｖ＋∩ＰＶ］的某些格运算性质，我们证明了簇Ｖ＋∩ＰＶ可分解为Ｖ与Ｖ＋∩ＰＶ的并；对任意完全正则半群簇Ｗ，有Ｗ∩（Ｖ∨Ｖ＋∩ＰＶ）＝（Ｗ∩Ｖ）∨（Ｗ∩Ｖ＋∩ＰＶ）．特别地，我们得到了等式Ｖ＋∩ＰＶ＝Ｖ成立的若干条件．     

Study of the blow-up of solutions of systems of equations of hydrodynamic type

Mathematical Notes - We study the initial boundary-value problem for three-dimensional systems of equations of pseudoparabolic type. The system is similar to the Oskolkov system, but differs from...     

Characterization of types of asymptotic discernibility of families of hypotheses

We give a characterization of the types of asymptotic discernibility of families of hypotheses in the case of hypothetical measures that are not, in general, mutually absolutely continuous. The case when the logarithm of the likelihood ratio admits an asymptotic expansion of the type of an expansion with local asymptotic normality is examined in detail. Examples are studied.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 64–71, 1987.     

Bases of the identities of products of certain varieties of groups

The following theorem is proved: The product of any variety of two-step solvable groups and a variety having a finite basis of identity relations has a finite basis of identity relations.Translated from Matematicheskie Zametki, Vol. 5, No. 1, pp. 137–144, January, 1969.     

Preservation of equivalence of derivations under reduction of depth of formulas

In this paper we consider derivations in the (&, )-fragment of the intuitionistic propositional calculus. As is known, replacement of any occurrence of a formula [F] in a sequent S by an occurrence of the formula [p], where p is a new propositional variable, with the simultaneous addition to the antecedent of the formula F p or p F depending on the sign of the occurrence of F in S, leaves the derivability unchanged. We give a proof of the fact that the natural extension of this transformation to derivations preserves the relation of equivalence of derivations, i.e., transformed derivations are equivalent if and only if the originals are equivalent. (Derivations are considered equivalent if certain of their normal forms coincide, or, what is the same, if their deductive terms coincide.) It is proved that by the iteration of this transformation, each derivation of an arbitrary sequent S can be transformed into a derivation of a sequent S, depending only on S, whose succedent is a variable, and in the antecedent there occur only formulas of the form a,a & b, a b,,(a b) c, a & b c, a (b & c), wherea, b, c are variables. Here if S is balanced, then S is also balanced. (A sequent is called balanced if each variable occurs in it no more than twice.) The familiar correspondence between certain concepts of the theory of categories and concepts of the theory of proofs allows one to assert that there has been constructed a univalent functor, mapping a free Cartesian closed category into itself.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 197–207, 1979.