A Criterion of Elementary Equivalence of Automorphism Groups of Unreduced Abelian p-Groups

We consider Abelian p-groups (p ≥ 3) A ₁ and A ₂ with nonzero divisible parts. In this paper, we prove that the automorphism groups AutA ₁ and AutA ₂ are elementarily equivalent if and only if the groups A ₁ and A ₂ are equivalent in second-order logic.     

具有交换幂零根基的完备李代数的自同构群

给出了复数域上具有交换幂零根基的完备李代数的自同构群．     

Root Sublattices and Torus-Restriction of Prehomogeneous Vector Spaces Associated with Dynkin Quivers

For a Dynkin quiver Γ with r vertices, a subset S of the vertices of Γ, and an r-tuple d = (d⁽¹⁾, d⁽²⁾,…, d^(r)) of positive integers, we define a “torus-restricted” representation (G_S, R _d (Γ)) in natural way. Here we put G_S = G₁ × G₂ × … ×G_r, where each G_i is either SL(d⁽ⁱ⁾) or GL(d⁽ⁱ⁾) according to S containing i or not. In this paper, for a prescribed torus-restriction S, we give a necessary and sufficient condition on d that R _d (Γ) has only finitely many G_S-orbits. This can be paraphrased as a condition whether or not d is contained in a certain lattice spanned by positive roots of Γ. We also discuss the prehomogeneity of (G_S, R _d (Γ)).     

Homology of Linear Groups with Coefficients in the Adjoint Action and K-Theory

The main purpose of this paper is to compute some homology groups of linear groups with coefficients in the adjoint action which have appeared in different works. Our method uses various weight decompositions in group homology, algebraic K–theory, and Hochschild homology. This paper originated in a question posed by Cathelineau which is related to Hilbert's third problem on the scissors congruence of polyhedra.     

Generic Groups,Collision Resistance,and ECDSA

Proved here is the sufficiency of certain conditions to ensure the Elliptic Curve Digital Signature Algorithm (ECDSA) existentially unforgeable by adaptive chosen-message attacks. The sufficient conditions include (i) a uniformity property and collision-resistance for the underlying hash function, (ii) pseudorandomness in the private key space for the ephemeral private key generator, (iii) generic treatment of the underlying group, and (iv) a further condition on how the ephemeral public keys are mapped into the private key space. For completeness, a brief survey of necessary security conditions is also given. Some of the necessary conditions are weaker than the corresponding sufficient conditions used in the security proofs here, but others are identical. Despite the similarity between DSA and ECDSA, the main result is not appropriate for DSA, because the fourth condition above seems to fail for DSA. (The corresponding necessary condition is plausible for DSA, but is not proved here nor is the security of DSA proved assuming this weaker condition.) Brickell et al. [Vol. 1751 of Lecture Notes in computer Science, pp. 276--292], Jakobsson et al. [Vol. 1976 of Lecture Notes in computer Science, pp. 73--89] and Pointcheval et al. [Vol. 13 of Journal of Cryptology, pp. 361--396] only consider signature schemes that include the ephemeral public key in the hash input, which ECDSA does not do, and moreover, assume a condition on the hash function stronger than the first condition above. This work seems to be the first advance in the provable security of ECDSA.AMS classification: 94A60Supported in part by a National Science and Engineering Research Council of Canada Industrial Research Fellowship.     

Simply Connected, Adjoint and Universal Groups of Lie Type

The special linear group is the simply connected group and theprojective linear group is the adjoint group of Lie type A_n.They are distinguished sections of the (reductive) general lineargroup which certainly is of this type as well (root system).We shall characterize the general linear group as the universalgroup of type A_n. Indeed we shall introduce corresponding algebraicgroups and finite groups for each Lie type (to indecomposableroot systems). Knowledge of the universal group implies knowledgeof the related simply connected and adjoint groups; in certainrespects the universal group even appears to be better behaved(automorphisms, Schur multiplier, character table).     

一个伴随等价定理的推广及其简证

记 Gr为任意图 G的 r个拷贝中的对应点 ( r个 )分别与星图 Sr+ 1 的 r个 1度点粘接后得到的图 ,又记 H r为该图 G的相应点与星图 Sr+ 1 的 r度点粘接后得到的图 .如果 G不含三角形 ,则图 ( r- 1) K1 ∪ Gr和图 ( r- 1) G∪ H r伴随等价 ,进而它们的补图色等价     

Mapping Class Groups of Hyperbolic Surfaces and Automorphism Groups of Graphs

Let M be a hyperbolic surface and (M) its extended mapping class group. We show that (M) is isomorphic to the automorphism group of the following graph G(M). The set of vertices of G(M) is the set S(M) of nonseparating simple closed geodesics of M. Two vertices u and v of S(M) are related by an edge if u and v intersect exactly once in M. The graph G(M) can be thought of as a combinatorial model for M.     

带有限性条件Abel群的自同态环和自同构群

给出了带极大或极小条件的Abel群A的自同构群以及自同态环的相伴Lie环是可解或幂零的充要条件.同时也给出了群A=Q_(π1)⊕Q_(π2)⊕…⊕Q_(πr)的自同构群是可解或幂零的充要条件,以及群A的自同态环的相伴Lie环是可解或幂零的充要条件.     

项链李代数的同构与同构群

研究了一些特殊箭图的同构,这些特殊箭图包括垂直叠加的箭图和水平叠加的箭图. 跟以前的研究方法相比, 文中的研究方法是不同的和新颖的, 即利用指标数组把复杂的李运算转换为多重指标集的运算.     

Automorphism Groups of Finite Abelian p-groups and Transvections

We define a particular type of automorphisms called transvections on a finite finite abelian p-group H_p. It is proved that the subgroup E of the automorphism group Aut(H_p) of H_p generated by those transvections is normal in it, and that Aut(H_p) can be written as the product of E and some abelian subgroup K. The center of Aut(H_p) is also determined.     

二秩无扭群的自同构群和只有两个自同构的二秩无扭群

本文利用Ｋｕｒǒｓ不变量理论和不定方程理论，讨论了二秩无扭群的自同构群，以及有零高元的二秩无扭群只有两个自同构的充要条件．     

The Automorphism Groups of Finite Type G-Structures on Orbifolds

The automorphism group of a G-structure of finite type and order k on a smooth n-dimensional orbifold is proved to be a Lie group of dimension n+dim(g+g ₁+...+g _k-1), where g _i is the ith prolongation of the Lie algebra g of a given group G. This generalizes the corresponding result by Ehresmann for finite type G-structures on manifolds. The presence of orbifold points is shown to sharply decrease the dimension of the automorphism group of proper orbifolds. Estimates are established for the dimension of the isometry group and the dimension of the group of conformal transformations of Riemannian orbifolds, depending on the types of orbifold points.     

The Jordan Property for Lie Groups and Automorphism Groups of Complex Spaces

We prove that the family of all connected n-dimensional real Lie groups is uniformly Jordan for every n. This implies that all algebraic (not necessarily affine) groups over fields of characteristic zero and some transformation groups of complex spaces and Riemannian manifolds are Jordan.     

CLT for Random Walks of Commuting Endomorphisms on Compact Abelian Groups

Let \(\mathcal S\) be an abelian group of automorphisms of a probability space \((X, {\mathcal A}, \mu )\) with a finite system of generators \((A_1, \ldots , A_d).\) Let \(A^{{\underline{\ell }}}\) denote \(A_1^{\ell _1} \ldots A_d^{\ell _d}\), for \({{\underline{\ell }}}= (\ell _1, \ldots , \ell _d).\) If \((Z_k)\) is a random walk on \({\mathbb {Z}}^d\), one can study the asymptotic distribution of the sums \(\sum _{k=0}^{n-1} \, f \circ A^{\,{Z_k(\omega )}}\) and \(\sum _{{\underline{\ell }}\in {\mathbb {Z}}^d} {\mathbb {P}}(Z_n= {\underline{\ell }}) \, A^{\underline{\ell }}f\), for a function f on X. In particular, given a random walk on commuting matrices in \(SL(\rho , {\mathbb {Z}})\) or in \({\mathcal M}^*(\rho , {\mathbb {Z}})\) acting on the torus \({\mathbb {T}}^\rho \), \(\rho \ge 1\), what is the asymptotic distribution of the associated ergodic sums along the random walk for a smooth function on \({\mathbb {T}}^\rho \) after normalization? In this paper, we prove a central limit theorem when X is a compact abelian connected group G endowed with its Haar measure (e.g., a torus or a connected extension of a torus), \(\mathcal S\) a totally ergodic d-dimensional group of commuting algebraic automorphisms of G and f a regular function on G. The proof is based on the cumulant method and on preliminary results on random walks.     

Bubble-sort图和Modified Bubble-sort图的自同构群

Bubble-Sort图和Modified Bubble-Sort图是两类特殊的Cayley图,由于其在网络构建中的应用而受到广泛关注.本文完全确定了这两类图的自同构群.     

Classifying Finite Simple Groups with Respect to the Number of Orbits Under the Action of the Automorphism Group

Abstract

Let ω(G) denote the number of orbits on the finite group G under the action of Aut(G). Using the classification of finite simple groups, we prove that for any positive integer n, there is only a finite number of (non-abelian) finite simple groups G satisfying ω(G) ≤ n. Then we classify all finite simple groups G such that ω(G) ≤ 17. The latter result was obtained by computational means, using the computer algebra system GAP.     

The Partial Ordering on the Automorphism Group of the Countable Generic Partial Order

The countable generic poset (P,?≤?) is the Fraïssé limit of the amalgamation class of finite partially ordered sets (see Glass et al., Math Z 214:55–66, 1993; Schmerl, Algebra Univers 9:317–321, 1979). It is homogeneous and \(\aleph_0\)-categorical with quantifier elimination. This paper concerns the structure (G,?°?,?≤?), where \((G,\circ)=\textrm{Aut}(P,\leq)\) and ≤ is the pointwise ordering on G. This is a natural structure to look at, because the ordering on G is ?-definable up to reversal in the language {?°?} (but this fact is not proved here). In this paper I show that (G,?≤?) is elementarily equivalent to (P,?≤?) itself. More generally, (G,?°?,?≤?) satisfies a weakening of the existential closure property for partially ordered groups. (Existential closure in groups has been studied for example in Higman and Scott.) This requires one to study the group G ^???, obtained by freely adjoining a finite set of generators to G.