Concept

Indépendance algébrique

En algèbre, l'indépendance algébrique d'un ensemble de nombres, sur un corps commutatif, décrit le fait que ses éléments ne sont pas racines d'un polynôme en plusieurs indéterminées à coefficients dans ce corps. Soient L un corps commutatif, S un sous-ensemble de L et K un sous-corps de L. On dit que S est algébriquement libre sur K, ou que ses éléments sont algébriquement indépendants sur K si, pour tout suite finie (s, ... , s) d'éléments distincts de S et tout polynôme non nul P(X, ... , X) à coefficients dans K on a P(s, ... , s) ≠ 0. Cas particulier K = et L = Définition : est le plus petit corps de contenant et u,v . Soit on dit que est algébrique sur s' il existe un polynome non-nul tel que En particulier : où Définition degré de transcendant (sur Q) : = Le cardinal d'une plus grande famille algébriquement libre Théorème : algébriquement indépendants Propriété : {} algébriquement indépendants et alors {} algébriquement indépendants. En effet {} algébriquement indépendants {} algébriques sur {u,v} algébriquement indépendants. ex:

à partir du théorème de Chudnovsky on montre que {} algébriquement indépendants. comme on en déduit que {} algébriquement indépendants.
On montre que {} algébriquement indépendants. comme on en déduit que {} algébriquement indépendants.
à partir du théorème Nesterenko on montre que {} algébriquement indépendants. comme on en déduit que {} algébriquement indépendants.
à partir du théorème Nesterenko on montre que {} algébriquement indépendants. comme on en déduit que {} algébriquement indépendants. d'où {} algébriquement indépendants. Un singleton {s} est algébriquement libre sur K si et seulement si son élément s est transcendant sur K. Si S est algébriquement libre sur K alors il l'est sur tout sous-corps de K. Si S est algébriquement libre sur K alors toute partie de S l'est aussi. Plus précisément, si V et W sont deux parties de L disjointes, alors leur réunion V⋃W est algébriquement libre sur K si et seulement si V est algébriquement libre sur K et W est algébriquement libre sur le sous-corps K(V) de L.

Source officielle

https://fr.wikipedia.org/wiki/Indépendance_algébrique

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Cours associés (12)

MATH-328: Algebraic geometry I - Curves

Algebraic geometry is the common language for many branches of modern research in mathematics. This course gives an introduction to this field by studying algebraic curves and their intersection theory. ...

MATH-311: Algebra IV - rings and modules

Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra. ...

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex domains under discontinuous group actions, as algebraic ...

Afficher plus

Séances de cours associées (32)

Lovasz Lemma local: dépendances et indépendance

Couvre le lemme local Lovasz, les « petites dépendances », les graphes de dépendances et les conditions pour les solutions valides.

Espace projectif et ensembles algébriques

Présente l'espace projectif et les ensembles algébriques, discutant des coordonnées homogènes, des idéaux et des générateurs.

Ensembles algébriques irréductibles

Explore les ensembles algébriques irréductibles et leur décomposition unique en composants, en mettant l'accent sur les idéaux premiers et la classification des sous-ensembles de plans.

Afficher plus

Publications associées (3)

The algebraic degree of coupled oscillators

Approximating periodic solutions to the coupled Duffing equations amounts to solving a system of polynomial equations. The number of complex solutions measures the algebraic complexity of this approximation problem. Using the theory of Khovanskii bases, we show that this number is given by the volume of a polytope. We also show how to compute all solutions using numerical nonlinear algebra.

2025

New Attacks on LowMC Using Partial Sets in the Single-Data Setting

Serge Vaudenay

The LowMC family of block ciphers was proposed by Albrecht et al. in Eurocrypt 2015, specifically targeting adoption in FHE and MPC applications due to its low multiplicative complexity. The construction operates a 3-bit quadratic S-box as the sole non-linear transformation in the algorithm. In contrast, both the linear layer and round key generation are achieved through multiplications of full rank matrices over GF(2). The cipher is instantiable using a diverse set of default configurations, some of which

International Association for Cryptologic Research2024

A mealy machine with polynomial growth of irrational degree

We consider a very simple Mealy machine ( two nontrivial states over a two-symbol alphabet), and derive some properties of the semigroup it generates. It is an infinite, finitely generated semigroup, and we show that the growth function of its balls behave ...

2008

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

à partir du théorème de Chudnovsky on montre que {} algébriquement indépendants. comme on en déduit que {} algébriquement indépendants.
On montre que {} algébriquement indépendants. comme on en déduit que {} algébriquement indépendants.
à partir du théorème Nesterenko on montre que {} algébriquement indépendants. comme on en déduit que {} algébriquement indépendants.
à partir du théorème Nesterenko on montre que {} algébriquement indépendants. comme on en déduit que {} algébriquement indépendants. d'où {} algébriquement indépendants. Un singleton {s} est algébriquement libre sur K si et seulement si son élément s est transcendant sur K. Si S est algébriquement libre sur K alors il l'est sur tout sous-corps de K. Si S est algébriquement libre sur K alors toute partie de S l'est aussi. Plus précisément, si V et W sont deux parties de L disjointes, alors leur réunion V⋃W est algébriquement libre sur K si et seulement si V est algébriquement libre sur K et W est algébriquement libre sur le sous-corps K(V) de L.

Source officielle

https://fr.wikipedia.org/wiki/Indépendance_algébrique

À propos de ce résultat

Cours associés (12)

MATH-328: Algebraic geometry I - Curves

MATH-311: Algebra IV - rings and modules

Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra. ...

MATH-410: Riemann surfaces

Afficher plus

Séances de cours associées (32)

Lovasz Lemma local: dépendances et indépendance

Couvre le lemme local Lovasz, les « petites dépendances », les graphes de dépendances et les conditions pour les solutions valides.

Espace projectif et ensembles algébriques

Présente l'espace projectif et les ensembles algébriques, discutant des coordonnées homogènes, des idéaux et des générateurs.

Ensembles algébriques irréductibles

Explore les ensembles algébriques irréductibles et leur décomposition unique en composants, en mettant l'accent sur les idéaux premiers et la classification des sous-ensembles de plans.

Afficher plus

Publications associées (3)

The algebraic degree of coupled oscillators

2025

New Attacks on LowMC Using Partial Sets in the Single-Data Setting

Serge Vaudenay

International Association for Cryptologic Research2024

A mealy machine with polynomial growth of irrational degree

2008

Concepts associés (4)

Matroid rank

In the mathematical theory of matroids, the rank of a matroid is the maximum size of an independent set in the matroid. The rank of a subset S of elements of the matroid is, similarly, the maximum size of an independent subset of S, and the rank function of the matroid maps sets of elements to their ranks. The rank function is one of the fundamental concepts of matroid theory via which matroids may be axiomatized. Matroid rank functions form an important subclass of the submodular set functions.

Nombre réel

En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.

Transcendental extension

In mathematics, a transcendental extension is a field extension such that there exists an element in the field that is transcendental over the field ; that is, an element that is not a root of any univariate polynomial with coefficients in . In other words, a transcendental extension is a field extension that is not algebraic. For example, are both transcendental extensions of A transcendence basis of a field extension (or a transcendence basis of over ) is a maximal algebraically independent subset of over Transcendence bases share many properties with bases of vector spaces.

Afficher plus