Covering groupIn mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map p : G → H is a continuous group homomorphism. The map p is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which H has index 2 in G; examples include the spin groups, pin groups, and metaplectic groups.
Private information retrievalIn cryptography, a private information retrieval (PIR) protocol is a protocol that allows a user to retrieve an item from a server in possession of a database without revealing which item is retrieved. PIR is a weaker version of 1-out-of-n oblivious transfer, where it is also required that the user should not get information about other database items. One trivial, but very inefficient way to achieve PIR is for the server to send an entire copy of the database to the user.
Système de preuve interactivevignette|504x504px|Un système de preuve interactive est composé de deux machines abstraites : un prouveur et un vérificateur qui s'échangent des messages. En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Cela permet de définir des classes de complexité intéressantes, notamment la classe IP qui est le modèle utilisé dans le théorème PCP qui caractérise la classe NP.
WebAuthnWebAuthn (Web Authentication) est un standard du World Wide Web Consortium (W3C) avec la contribution de la FIDO Alliance qui propose une interface d'authentification des utilisateurs aux applications Web à l'aide de clés asymétriques. Cette interface est une extension de l'API plus générale « Credential Management » qui définit comment les navigateurs Web ou autres agents utilisateur doivent interagir avec un gestionnaire de mots de passe.
Caractère d'un groupe finiEn mathématiques, un caractère d'un groupe fini est une notion associée à la théorie des groupes. Un caractère d'un groupe fini G est un morphisme de groupes de G dans le groupe multiplicatif C* des nombres complexes non nuls. Ce concept permet de définir le groupe dual de G, composé de l'ensemble des caractères de G. Il est à la base de l'analyse harmonique sur les groupes abéliens finis. Cette notion correspond à un cas particulier de caractère d'une représentation d'un groupe fini.
Caractère (mathématiques)En mathématiques, un caractère est une notion associée à la théorie des groupes. Un caractère sur un groupe G est un morphisme de G dans le groupe multiplicatif K* d'un corps commutatif K. Les caractères permettent une généralisation de l'analyse harmonique à de nombreux groupes. Il correspond à un cas particulier de représentation, celle complexe de degré 1. Par exemple, un « caractère de Dirichlet modulo n » est un caractère du groupe fini (Z/nZ).
Caractère de DirichletEn mathématiques, et plus précisément en arithmétique modulaire, un caractère de Dirichlet est une fonction particulière sur un ensemble de classes de congruences sur les entiers et à valeurs complexes. Elle a été utilisée par Dirichlet pour la démonstration de son théorème de la progression arithmétique. Dans cet article, n désigne un entier strictement positif et U le groupe des unités (Z/nZ) de l'anneau Z/nZ. Dans le corps C des nombres complexes, le conjugué d'un nombre c est noté .
