正多边形对称群的子群

利用Lagrange定理和正多边形对称群的性质,首先对正多边形对称群的子群的性质进行了研究,其次讨论了正多边形对称群的子群的结构,由此完全确定了正多边形对称群的子群,最后应用所得结论求出了正六边形对称群的所有子群.     

群与图的对称性

首先对平面图形的对称进行分析和利用其对称群进行量化,进而将此推广到考察一般图的广义"对称性"与图自同构群的关系,最后刻画了无平方因子阶局部本原弧传递图的自同构群结构.     

ON NONLINEAR DIFFERENTIAL GALOIS THEORY

This Is an accom ofa work In course ofprogress．The aim Is the following:     

Free and non-free subgroups of the fundamental group of the Hawaiian Earrings

The space which is composed by embedding countably many circles in such a way into the plane that their radii are given by a null-sequence and that they all have a common tangent point is called “The Hawaiian Earrings”. The fundamental group of this space is known to be a subgroup of the inverse limit of the finitely generated free groups, and it is known to be not free. Within the recent move of trying to get hands on the algebraic invariants of non-tame (e.g. non-triangulable) spaces this space usually serves as the simplest example in this context. This paper contributes to understanding this group and corresponding phenomena by pointing out that several subgroups that are constructed according to similar schemes partially turn out to be free and not to be free. Amongst them is a countable non-free subgroup, and an uncountable free subgroup that is not contained in two other free subgroups that have recently been found. This group, although free, contains infinitely huge “virtual powers”, i.e. elements of the fundamental group of that kind that are usually used in proofs that this fundamental group is not free, and, although this group contains all homotopy classes of paths that are associated with a single loop of the Hawaiian Earrings, this system of ‘natural generators’ can be proven to be not contained in any free basis of this free group.     

基于李群方法的贝塞尔函数数学实现

基于李群的表示理论,首先讨论了欧拉群的表示及其性质;然后,从该群的表示理论出发,分别导出了第一类贝塞尔函数的积分形式和幂级数形式.该研究表明了群方法可以求解对称边界问题的解析波函数,并为用群方法求解电磁场问题创造了条件.     

Generalized group actions in a global setting

We study generalized group actions on differentiable manifolds in the Colombeau framework, extending previous work on flows of generalized vector fields and symmetry group analysis of generalized solutions. As an application, we analyze group invariant generalized functions in this setting.     

Universal Models For Real Submanifolds

In previous papers by the present author, a machinery for calculating automorphisms, constructing invariants, and classifying real submanifolds of a complex manifold was developed. The main step in this machinery is the construction of a “nice” model surface. The nice model surface can be treated as an analog of the osculating paraboloid in classical differential geometry. Model surfaces suggested earlier possess a complete list of the desired properties only if some upper estimate for the codimension of the submanifold is satisfied. If this estimate fails, then the surfaces lose the universality property (that is, the ability to touch any germ in an appropriate way), which restricts their applicability. In the present paper, we get rid of this restriction: for an arbitrary type (n,K) (where n is the dimension of the complex tangent plane, and K is the real codimension), we construct a nice model surface. In particular, we solve the problem of constructing a nondegenerate germ of a real analytic submanifold of a complex manifold of arbitrary given type (n,K) with the richest possible group of holomorphic automorphisms in the given class.     

Mapping class group of a plane curve germ

We prove that every topological conjugacy between two germs of singular holomorphic curves in the complex plane is homotopic to another conjugacy which extends homeomorphically to the exceptional divisors of their minimal desingularisations. As an application we give an explicit presentation of a finite index subgroup of the mapping class group of the germ of such a singularity.     

Bordism invariants of the mapping class group

We define new bordism and spin bordism invariants of certain subgroups of the mapping class group of a surface. In particular, they are invariants of the Johnson filtration of the mapping class group. The second and third terms of this filtration are the well-known Torelli group and Johnson subgroup, respectively. We introduce a new representation in terms of spin bordism, and we prove that this single representation contains all of the information given by the Johnson homomorphism, the Birman-Craggs homomorphism, and the Morita homomorphism.     

A Cubic Model of a Real Variety

In the paper a cubic model is constructed for a germ of a real subvariety in a complex space. It is shown that in its range of codimensions this model possesses the full spectrum of properties similar to well-known properties of tangent quadrics.     

On the picard group and the brauer group of a real algebraic surface

The map of the Brauer group of a real algebraic surface to the invariant part of the Brauer group of its complexification is studied. In this study, the real cycle map of the Picard group is used. Translated fromMatematicheskie Zametki, Vol. 67, No. 2, pp. 211–220, February, 2000.     

The index of symmetry of compact naturally reductive spaces

We introduce a geometric invariant that we call the index of symmetry, which measures how far is a Riemannian manifold from being a symmetric space. We compute, in a geometric way, the index of symmetry of compact naturally reductive spaces. In this case, the so-called leaf of symmetry turns out to be of the group type. We also study several examples where the leaf of symmetry is not of the group type. Interesting examples arise from the unit tangent bundle of the sphere of curvature 2, and two metrics in an Aloff-Wallach 7-manifold and the Wallach 24-manifold.     

Lie group analysis and propagation of weak discontinuity in one-dimensional ideal isentropic magnetogasdynamics

The aim of this paper is to carry out symmetry group analysis to obtain important classes of exact solutions from the given system of nonlinear partial differential equations (PDEs). Lie group analysis is employed to derive some exact solutions of one dimensional unsteady flow of an ideal isentropic, inviscid and perfectly conducting compressible fluid, subject to a transverse magnetic field for the magnetogasdynamics system. By using Lie group theory, the full one-parameter infinitesimal transformations group leaving the equations of motion invariant is derived. The symmetry generators are used for constructing similarity variables which leads the system of PDEs to a reduced system of ordinary differential equations; in some cases, it is possible to solve these equations exactly. Further, using the exact solution, we discuss the evolutionary behavior of weak discontinuity.     

Lie group classification of the generalized Lane–Emden equation

We carry out the Lie group classification of the generalized Lane–Emden equation xu^″+nu^′+xH(u)=0, which has many applications in mathematical physics and astrophysics. We show that the equation admits a three-dimensional equivalence Lie algebra. It is also shown that the principal Lie algebra, which in this case is trivial, has seven possible extensions. Three new cases arise for which the Lie point symmetry algebra is non-trivial. Comparison is then made of these cases with the Noether symmetry cases as well as the partial Noether operators.     

On the group of polynomial functions in a group

Let G be a group and let n be a positive integer. A polynomial function in G is a function from G ⁿ to G of the form , where f(x ₁, . . . , x _n ) is an element of the free product of G and the free group of rank n freely generated by x ₁, . . . , x _n . There is a natural definition for the product of two polynomial functions; equipped with this operation, the set of polynomial functions is a group. We prove that this group is polycyclic if and only if G is finitely generated, soluble, and nilpotent-by-finite. In particular, if the group of polynomial functions is polycyclic, then necessarily it is nilpotent-by-finite. Furthermore, we prove that G itself is polycyclic if and only if the subgroup of polynomial functions which send (1, . . . , 1) to 1 is finitely generated and soluble.      

Complete symmetry group and nonlocal symmetries for some two-dimensional evolution equations

The complete symmetry group of an 1+1 evolution equation of maximal symmetry has been demonstrated to be represented by the six-dimensional Lie algebra of point symmetries sl(2,R)s_⊕W, where W is the three-dimensional Heisenberg-Weyl algebra. We construct a complete symmetry group of a 1+2 evolution equation ut=(Fy(u)ux) for some functions F using the point symmetries admitted by the equation. The 1+2 equation is not completely specifiable by point symmetries alone for some specific functions F. We make use of Ansätze already reported by Myeni and Leach [S.M. Myeni, P.G.L. Leach, Nonlocal symmetries and complete symmetry groups of evolution equations, J. Nonlinear Math. Phys. 13 (2006) 377-392] which provide a route to the determination of the required generic nonlocal symmetries necessary to supplement the point symmetries for the complete specification of these 1+2 evolution equations. Further we find that taking some suitable linear combination of Lie point symmetries helps to optimise the procedure of specifying the equation. A general result concerning the number of symmetries required to form a complete symmetry group of evolution is presented in the Conclusion.     

The automorphism group of Payne derived generalized quadrangles

We solve a long-standing open problem by proving that the automorphism group of any thick Payne derived generalized quadrangle with ambient quadrangle S a thick generalized quadrangle of order s, s?5 and odd, with a center of symmetry, is induced by the automorphism group of S.     

On the group of conjugating automorphisms of a free group

The group of conjugating automorphisms of a free group and certain subgroups of this group, namely, the group of McCool basis-conjugating automorphisms and the Artin braid group are considered. The Birman theorem on the representation of a braid group by matrices is sharpened. Translated fromMatematicheskie Zametki, Vol. 60, No. 1, pp. 92–108, July, 1996.     

关于“级别婚”的数学分析

介绍了19世纪存在于澳大利亚土著中的一种婚姻形式—级别婚,从群论的角度说明级别婚的三种主要形式都对应于一个对称群,从而可以用几何方法形象的表示这种婚姻形式;进而,从对称的观点说明婚姻形式从简单到复杂的演化过程,代数上对应于对称群阶数的增加,几何上则对应于对称性的加强.     

On the orthogonal basis of the symmetry classes of tensors associated with the dicyclic group

A necessary and sufficient condition for the existence of orthogonal basis of decomposable symmetrized tensors for the symmetry classes of tensors associated with the dicyclic group is given. In particular we apply these conditions to the generalized quaternion group, for which the dimensions of the symmetry classes of tensors are computed.