相关论文: An introduction to arithmetic groups

This is a preliminary version of the first chapter of a book project on the character theory of finite groups of Lie type. It provides the foundations from the general theory of reductive algebraic groups over a finite field.

The development of the notion of group contraction first introduced by E. In{\"o}n{\"u} and E.P. Wigner in 1953 is briefly reviewed. The fundamental role of the idea of degenerate transformations is stressed. The significance of…

Many statistical models are algebraic in that they are defined in terms of polynomial constraints, or in terms of polynomial or rational parametrizations. The parameter spaces of such models are typically semi-algebraic subsets of the…

Classes of algebraic structures that are defined by equational laws are called varieties or equational classes. A variety is finitely generated if it is defined by the laws that hold in some fixed finite algebra. We show that every…

Let G be a Lie group, $g = Lie(G)$ - its Lie algebra, $g*$ - the dual vector space and $\widehat G$ - the set of equivalence classes of unitary irreducible representations of $G$. The orbit method [1] establishes a correspondence between…

"Clarithmetic" is a generic name for formal number theories similar to Peano arithmetic, but based on computability logic (see http://www.cis.upenn.edu/~giorgi/cl.html) instead of the more traditional classical or intuitionistic logics.…

We present a new proof of a theorem of Schur's determining the least common multiple of the orders of all finite groups of complex $n \times n$-matrices whose elements have traces in the field of rational numbers. The basic method of proof…

We obtain a new classification of the finite metacyclic group in terms of group invariants. We present an algorithm to compute these invariants, and hence to decide if two given finite metacyclic groups are isomorphic, and another algorithm…

Arithmetic Kleinian groups are arithmetic lattices in PSL_2(C). We present an algorithm which, given such a group Gamma, returns a fundamental domain and a finite presentation for Gamma with a computable isomorphism.

The computation of the fundamental group of the complement of an algebraic plane curve has been theoretically solved since Zariski-van Kampen, but actual computations are usually cumbersome. In this work, we describe the notion of Wirtinger…

We introduce the notion of commuting probability, $p(G)$, for an algebraic group $G$. This notion is inspired by the corresponding notions in finite groups and compact groups. The computation of $p(G)$ for reductive groups is readily done…

The group algebra of the permutation group is spanned by a set of elements called projectors. The coordinates of permutations expanded in projectors are matrix elements of irreducible representations. The projectors of the permutation group…

We survey recent work ranging around the question in how far a group, or a property of a group, is determined by the set of finite quotient groups. Our focus lies on $S$-arithmetic groups, branch groups, and their relatives.

The cohomology ring of a finite group, with coefficients in a finite field, can be computed by a machine, as Carlson has showed. Here "compute" means to find a presentation in terms of generators and relations, and involves only the…

In this paper, we summarize the work on the characterization of finite simple groups and the study on finite groups with the set of element orders and two orders (the order of group and the set of element orders). Some related topics, and…

We introduce the notion of a telescope of groups. Very roughly a telescope is a directed system of groups that contains various commuting images of some fixed group $B$. Telescopes are inspired from the theory of groups acting on rooted…

We classify all finite groups $G$ which possesses an element $x\in G$ such that every irreducible character of $G$ takes a root of unity value at $x$.

For the coordinate algebras of connected affine algebraic groups, we explore the problem of finding a presentation by generators and relations canonically determined by the group structure.

In this work, we present algebraic results concerning the combined matrices $\mathcal{C}(A)$, where the entries of $A$ belong to a number field $K$ and $A$ is a non-singular matrix. In other words, $A$ is a $n\times n$ matrix belonging to…

Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…