Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Congruence subgroup

Publications associées (24)

Fixed Point Property For Universal Lattice On Schatten Classes

The special linear group G = SLn(Z[x(1), ... , x(k)]) (n at least 3 and k finite) is called the universal lattice. Let n be at least 4, and p be any real number in (1, infinity). The main result is the following: any finite index subgroup of G has the fixe ...

American Mathematical Society (AMS)2013

Irreducibility In Algebraic Groups And Regular Unipotent Elements

Donna Testerman

We study (connected) reductive subgroups G of a reductive algebraic group H, where G contains a regular unipotent element of H. The main result states that G cannot lie in a proper parabolic subgroup of H. This result is new even in the classical case H = ...

American Mathematical Society (AMS)2013

Endotrivial modules for p-solvable groups

Jacques Thévenaz

We determine the torsion subgroup of the group of endotrivial modules for a finite solvable group in characteristic p. We also prove that our result would hold for p-solvable groups, provided a conjecture can be proved about the case of p-nilpotent groups. ...

2011

Towards Complete Reasoning about Axiomatic Specifications

Viktor Kuncak, Swen Jacobs

To support verification of expressive properties of functional programs, we consider algebraic style specifications that may relate multiple user-defined functions, and compare multiple invocations of a function for different arguments. We present decision ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011