A complex for right-angled Coxeter groups

We associate to each right-angled Coxeter group a 2-dimensional complex. Using this complex, we show that if the presentation graph of the group is planar, then the group has a subgroup of finite index which is a 3-manifold group (that is, the group is virtually a 3-manifold group). We also give an example of a right-angled Coxeter group which is not virtually a 3-manifold group.

     

Group signature schemes with forward secure properties

A group signature scheme allows a group member to sign messages anonymously on behalf of the group. However, in the case of a dispute, the identity of a signature can be revealed by a designated entity. We introduce a forward secure schemes into group signature schemes. When the group public key remains fixed, a group signing key evolves over time. Because the signing key of a group member is evolving at time, the possibility of the signing key being exposed is decreased. We propose a forward secure group signature scheme based on Ateniese and Camenisch et al.’s group signature scheme. The security is analyzed and the comparisons between our scheme with other group signature schemes are made.     

List signature schemes

A group signature scheme allows group members to issue signatures on behalf of the group, while hiding for each signature which group member actually issued it. Such scheme also involves a group manager, who is able to open any group signature by showing which group member issued it.We introduce the concept of list signatures as a variant of group signatures which sets a limit on the number of signatures each group member may issue. These limits must be enforced without having the group manager open signatures of honest group members—which excludes the trivial solution in which the group manager opens every signature to see whether some group members exceed their limits. Furthermore, we consider the problem of publicly identifying group members who exceed their limits, also without involving the group manager.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

群上同余

本引进了群上同余的概念，得到了群上的等价关系为群上同余的一个充分必要条件，并讨论了群上同余与群上正规子群之间的关系以及群上同余与群上同态之间的关系．     

The Lie Group Structure of the Butcher Group

The Butcher group is a powerful tool to analyse integration methods for ordinary differential equations, in particular Runge–Kutta methods. In the present paper, we complement the algebraic treatment of the Butcher group with a natural infinite-dimensional Lie group structure. This structure turns the Butcher group into a real analytic Baker–Campbell–Hausdorff Lie group modelled on a Fréchet space. In addition, the Butcher group is a regular Lie group in the sense of Milnor and contains the subgroup of symplectic tree maps as a closed Lie subgroup. Finally, we also compute the Lie algebra of the Butcher group and discuss its relation to the Lie algebra associated with the Butcher group by Connes and Kreimer.     

Two questions on semi-clean group rings

It was proved in [4] that every group ring of a torsion abelian group over a commutative local ring is a semi-clean ring. It was asked in [4] whether every group ring of a torsion abelian group over a commutative clean ring is a semi-clean ring and whether every group ring of a torsion abelian group over a commutative semi-clean ring is a semi-clean ring. In this paper, we give a positive answer to question 1 and a negative answer to question 2.     

The permutation class group of a finite group

Analogously to the projective class group, the permutation class group of a finite group π can be defined as the group of equivalence classes of direct summands of integral permutation modules modulo permutation modules. It is shown that this group behaves nicely with respect to localization and completion, which then is used to prove that contrary to the projective class group - it is not always a torsion group. More precisely, the rank of the permutation class of group is computed.     

Actions of the homeotopy group of an orientable 3-dimensional handlebody

The actions of the homeotopy group of an orientable 3-dimensional handlebody on the fundamental group and on the first homology group are completely determined. As an application generators are obtained for the kernel of the canonical epimorphism of the automorphism group of a free group of rankn onto the automorphism group of a free abelian group of rankn.     

Graded group schemes and graded group varieties

We define graded group schemes and graded group varieties and develop their theory. Graded group schemes are the graded analogue of a?ne group schemes and are in correspondence with graded Hopf algebras. Graded group varieties take the place of infinitesimal group schemes. We generalize the result that connected graded bialgebras are graded Hopf algebra to our setting and we describe the algebra structure of graded group varieties. We relate these new objects to the classical ones providing a new and broader framework for the study of graded Hopf algebras and a?ne group schemes.     

Hereditary crossed products

We characterize when a crossed product order over a maximal order in a central simple algebra by a finite group is hereditary. We need only concentrate on the cases when the group acts as inner automorphisms and when the group acts as outer automorphisms. When the group acts as inner automorphisms, the classical group algebra result holds for crossed products as well; that is, the crossed product is hereditary if and only if the order of the group is a unit in the ring. When the group is acting as outer automorphisms, every crossed product order is hereditary, regardless of whether the order of the group is a unit in the ring.

     

Structure Theorems for Group Ring Codes with an Application to Self-Dual Codes

Using ideas from the cohomology of finite groups, an isomorphism is established between a group ring and the direct sum of twisted group rings. This gives a decomposition of a group ring code into twisted group ring codes. In the abelian case the twisted group ring codes are (multi-dimensional) constacyclic codes. We use the decomposition to prove that, with respect to the Euclidean inner product, there are no self-dual group ring codes when the group is the direct product of a 2-group and a group of odd order, and the ring is a field of odd characteristic or a certain modular ring. In particular, there are no self-dual abelian codes over the rings indicated. Extensions of these results to non-Euclidean inner products are briefly discussed.     

Coorbits of Quantum Homogeneous Spaces

The notion of coorbits for spaces with quantum group actions is introduced. A space with a quantum group action is given by a pair of algebras: an associative algebra which is the analog of a classical topological space, and a Hopf algebra which is the analog of a classical topological group. The Hopf algebra acts on the associative algebra via a comodule structure mapping which is also an algebra homomorphism. For a space with a quantum group action, a coorbit is a pair of spaces given by the image and the kernel of an algebra homomorphism from the associative algebra to the Hopf algebra. The coorbits of several types of quantum homogeneous spaces are discussed. In the case when the associative algebra is the group algebra of a group and the Hopf algebra is a quotient of the group algebra, the connection between the set of coorbits and the character group is established.     

Coleman自同构群的投射极限

在这篇注记中,利用群的投射极限性质给出了有限可解群的Coleman自同构群的一个具体构造.作为应用,证明了二面体群的Coleman外自同构群或者是1或者是一个初等阿贝尔2-群.     

Affine Module Groups and Their Automorphisms

An affine module group is a semidirect extension of an additive module group by its automorphism group. Maximal Abelian normal subgroups of an affine group are described. It is proved that operator isomorphisms of affine groups are induced by module automorphisms. Automorphisms of an affine group which do not leave a module fixed are treated. And conditions are specified for a module to be non-characteristic in its affine group.     

Coleman自同构群的投射极限

在这篇注记中，利用群的投射极限性质给出了有限可解群的Coleman自同构群的一个具体构造.作为应用，证明了二面体群的Coleman外自同构群或者是1或者是一个初等阿贝尔2-群.     

Coxeter groups are virtually special

In this paper we prove that every finitely generated Coxeter group has a finite index subgroup that is the fundamental group of a special cube complex. Some consequences include: Every f.g. Coxeter group is virtually a subgroup of a right-angled Coxeter group. Every word-hyperbolic Coxeter group has separable quasiconvex subgroups.     

Determining whether a finite group of outer automorphisms of a free group is geometric

In this article we give necessary and sufficient conditions for a given finite group of outer automorphisms to be induced by the action of a group of orientation-preserving homeomorphisms on the fundamental group of a punctured surface. When the group is abelian, necessary and sufficient conditions can also be given in the absence of orientability assumptions. These properties are formulated in terms of the finite automorphism groups which project into the given outer automorphism group: each non-trivial automorphism in any such group can fix at most a cyclic subgroup of the fundamental group.     

An algorithmic construction of group automorphisms and the quantum Yang-Baxter equation

The structure group G of a non-degenerate symmetric set (X,S) is a Bieberbach and a Garside group. We describe a combinatorial method to compute explicitly a group of automorphisms of G and show this group admits a subgroup that preserves the Garside structure. In some special cases, we could also prove the group of automorphisms found is an outer automorphism group.