Reductive group (original) (raw)
- Die reduktive Gruppe ist ein Begriff der Mathematik, der vor allem in der Darstellungstheorie und der von Bedeutung ist. (de)
- En matemáticas, un grupo reductivo es un G definido sobre un cuerpo algebraicamente cerrado tal que el de G es trivial (es decir, el grupo de elementos unipotentes del de G). Todo grupo algebraico semisimple es reductivo, como lo son todo toro algebriaco y todo grupo general lineal. Más en general, sobre cuerpos que no son necesariamente algebraicamente cerrados, un grupo reductivo es un grupo algebraico afín suave tal que el radical unipotente de G sobre la clausura algebraica es trivial. La intervención de una clausura algebraica en esta definición es necesaria para incluir el caso de campos de base imperfecta, como los cuerpos de funciones locales y globales sobre cuerpos finitos. Los grupos algebraicos sobre cuerpos (posiblemente imperfectos) k tales que el radical k-unipotente es trivial se llaman . El término "reductivo" proviene de la "reducibilidad completa" de las representación lineal de un grupo e este tipo, que es una propiedad que de hecho se da para representaciones del grupo algebraico sobre cuerpos de característica cero. Esto sólo se aplica a las representaciones del grupo algebraico: las representaciones de dimensión finita del grupo discreto subyacente no necesitan ser completamente reducibles incluso cuando son de característica cero. El muestra que una propiedad más débil llamada reducibilidad geométrica se cumple para grupos reductivos en el caso de característica mayor que cero. (es)
- En mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments (en) de (en)) soit trivial. Tout (en) est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial. Il est nécessaire de faire intervenir la clôture algébrique dans cette définition, pour inclure le cas de corps de base non parfaits, comme des corps de fonctions locaux ou globaux sur des corps finis. Ce nom de réductif vient de la complète réductibilité des représentations d'un tel groupe, lorsque la caractéristique du corps est nulle. En caractéristique non nulle, le théorème de Haboush démontre une propriété un peu plus faible qu'avait conjecturée Mumford. Si G est un sous-groupe lisse fermé de GLn(k) qui agit de façon irréductible sur kn, alors G est réductif. En particulier, GLn et SLn sont réductifs (le second étant même semi-simple). (fr)
- In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation with finite kernel which is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive. Claude Chevalley showed that the classification of reductive groups is the same over any algebraically closed field. In particular, the simple algebraic groups are classified by Dynkin diagrams, as in the theory of compact Lie groups or complex semisimple Lie algebras. Reductive groups over an arbitrary field are harder to classify, but for many fields such as the real numbers R or a number field, the classification is well understood. The classification of finite simple groups says that most finite simple groups arise as the group G(k) of k-rational points of a simple algebraic group G over a finite field k, or as minor variants of that construction. Reductive groups have a rich representation theory in various contexts. First, one can study the representations of a reductive group G over a field k as an algebraic group, which are actions of G on k-vector spaces. But also, one can study the complex representations of the group G(k) when k is a finite field, or the infinite-dimensional unitary representations of a real reductive group, or the automorphic representations of an adelic algebraic group. The structure theory of reductive groups is used in all these areas. (en)
- 대수기하학에서 가약군(可約群, 영어: reductive group)은 그 군 표현론이 특별히 규칙적인 대수군이다. 표수가 0인 경우, 기약군의 모든 표현은 기약 표현으로 완전히 분해된다. (ko)
- 数学における簡約群(かんやくぐん、英: reductive group)とはが自明となる代数閉体上の代数群のことである。や一般線形群など任意のは簡約となる。一般の代数体上の場合には、代数閉包上で冪単根基が自明となるような滑らかなアフィン代数群を簡約代数群と呼ぶ。ここで代数閉包への移行は、定義体が有限体上の関数体などの不完全体(imperfect field)となる場合に必要である。(必ずしも完全でない)体 k 上の代数群で k-冪単根基が自明となるものはen:pseudo-reductive groupと呼ばれる。簡約群の名称は線形表現の完全可約性から来ており、標数0の代数群の表現に対して成り立つ性質である。(これは代数群としての表現にのみ適応される。離散群としての有限次元表現は標数0の場合でさえ必ずしも完全可約にならない。)Haboushの定理は、幾何学的簡約性と呼ばれるより弱い条件が正標数の場合の簡約群に対しても成立していることを示す。 G ≤ GLn を滑らかな-閉部分群としたとき、 上の 次元アフィン空間への作用が既約であるならば G は簡約である。 そのため GLn 及び SLn は簡約である(後者はより強くとなる)。 (ja)
- Редуктивна група — алгебрична група , для якої уніпотентний радикал її компоненти одиниці є тривіальним. Над незамкнутим полем редуктивність алгебричної групи визначається як редуктивність її над замиканням основного поля. Лінійно-редуктивна група — група, будь-яке раціональне представлення якої цілком звідно. Будь-яка лінійно-редуктивного група є редуктивною. Над полем характеристики 0 вірно і зворотне, тобто ці властивості рівносильні. (uk)
- Редуктивная группа — алгебраическая группа , для которой её является тривиальным. Над незамкнутым полем редуктивность алгебраической группы определяется как редуктивность её над замыканием основного поля. Линейно-редуктивная группа — группа, любое которой вполне приводимо. Любая линейно-редуктивная группа редуктивна. Над полем характеристики 0 верно и обратное, то есть эти свойства равносильны. Редуктивные группы включают большинство важных групп, таких как полная линейная группа GL(n) обратимых матриц, специальная ортогональная группа SO(n), и симплектическая группа Sp(2n). Простые алгебраические группы и (более общие) полупростые алгебраические группы являются редуктивными. Клод Шевалле показал, что классификация редуктивных групп одна и та же над любым алгебраически замкнутым полем. В частности, простые алгебраические группы классифицируются диаграммами Дынкина, как в теории или комплексных полупростых групп Ли. Редуктивные группы над произвольным полем классифицировать труднее, но для многих полей, таких как поле вещественных чисел R или числовое поле, классификация вполне понятна. Классификация простых конечных групп утверждает, что большинство конечных простых групп возникает как группа G(k) k- простой алгебраической группы G над конечным полем k или как вариант такого построения с небольшими отклонениями. Редуктивные группы имеют богатую теорию представлений в различных контекстах. Во-первых, можно изучать представления редуктивной группой G над полем k как алгебраические группы, которые являются действиями группы G на k-векторном пространстве. Можно также изучать комплексные представления группы G(k), когда k является конечным полем, бесконечномерным вещественной редуктивной группы или . Структурная теория редуктивных групп используется во всех этих областях. (ru)
- 在數學中,約化群是為平凡群的代數群。代數環面與代數群都是約化群,一般線性群亦然。 「約化」一詞源於下述事實:零特徵域上的約化群的線性表示都是完全可約的。 (zh)
- https://webusers.imj-prg.fr/~patrick.polo/SGA3/
- http://math.stanford.edu/~conrad/papers/luminysga3.pdf
- https://www.sciencedirect.com/bookseries/pure-and-applied-mathematics/vol/139
- http://smf4.emath.fr/en/Publications/Asterisque/2018/397/html/smf_ast_397.php
- https://bookstore.ams.org/pspum-33-1
- https://bookstore.ams.org/surv-107-s
- http://math.univ-lyon1.fr/homes-www/gille/prepublis/bbki.pdf
- http://www.numdam.org/item/PMIHES_1965__25__49_0
- dbr:Cambridge_University_Press
- dbr:Presentation_of_a_group
- dbr:Multiplicative_group
- dbr:Metaplectic_group
- dbr:Pseudo-reductive_group
- dbr:Representation_theory
- dbr:Serre's_conjecture_II_(algebra)
- dbr:CAT(0)
- dbr:Bilinear_form
- dbr:Borel–Weil_theorem
- dbr:Determinant
- dbr:Algebraic_closure
- dbr:Algebraic_torus
- dbr:Algebraically_closed_field
- dbc:Linear_algebraic_groups
- dbr:Annals_of_Mathematics
- dbr:Homotopy_equivalence
- dbr:Vector_space
- dbr:Dynkin_diagram
- dbr:Indefinite_orthogonal_group
- dbr:Index_of_a_subgroup
- dbr:Inner_form
- dbr:Inventiones_Mathematicae
- dbr:Invertible_sheaf
- dbr:Affine_scheme
- dbr:Lie_group
- dbr:Profinite_group
- dbr:Artin–Wedderburn_theorem
- dbr:Robert_Steinberg
- dbr:Compact_Lie_group
- dbr:Compact_space
- dbr:Complexification_(Lie_group)
- dbr:Connected_component_(topology)
- dbr:Masayoshi_Nagata
- dbr:Mathematics
- dbr:Essential_dimension
- dbr:General_linear_group
- dbr:Generalized_flag_variety
- dbr:Normal_subgroup
- dbr:Quotient_group
- dbr:Classical_group
- dbr:Claude_Chevalley
- dbr:Geometric_invariant_theory
- dbr:Geordie_Williamson
- dbr:George_Kempf
- dbr:George_Lusztig
- dbr:Graph_(discrete_mathematics)
- dbr:Conjugacy_class
- dbr:Connected_space
- dbr:Totally_disconnected
- dbr:Arithmetic_group
- dbr:Leonard_Eugene_Dickson
- dbr:Commensurability_(group_theory)
- dbr:Commutator_subgroup
- dbr:Complex_Lie_algebra
- dbr:Deligne–Lusztig_theory
- dbr:Élie_Cartan
- dbr:Fundamental_group
- dbr:Henning_Haahr_Andersen
- dbr:Dominant_weight
- dbr:Identity_component
- dbr:Kernel_(algebra)
- dbr:Automorphic_representation
- dbr:Place_(mathematics)
- dbr:Special_group_(algebraic_group_theory)
- dbr:Spin_group
- dbr:Symmetric_space
- dbr:Symplectic_group
- dbr:Maximal_compact_subgroup
- dbr:Publications_Mathématiques_de_l'IHÉS
- dbr:Building_(mathematics)
- dbr:Adelic_algebraic_group
- dbr:Admissible_representation
- dbr:Center_(group_theory)
- dbr:Torsor
- dbr:Tree_(graph_theory)
- dbr:Wilhelm_Killing
- dbr:Division_algebra
- dbr:Galois_cohomology
- dbr:Haboush's_theorem
- dbr:Hasse_principle
- dbr:Irreducible_representation
- dbr:Lang's_theorem
- dbr:Langlands_classification
- dbr:Langlands_dual_group
- dbr:Langlands_program
- dbr:Lattice_(discrete_subgroup)
- dbr:Linear_algebraic_group
- dbr:Schur_algebra
- dbr:Adjoint_representation
- dbr:American_Mathematical_Society
- dbc:Lie_groups
- dbr:E8_(mathematics)
- dbr:Field_(mathematics)
- dbr:Finite_field
- dbr:Number_field
- dbr:Outer_automorphism_group
- dbr:P-adic_numbers
- dbr:Central_simple_algebra
- dbr:Central_subgroup
- dbr:Direct_sum
- dbr:Discrete_valuation
- dbr:Global_field
- dbr:Simplicial_complex
- dbr:Quadratic_form
- dbr:Projective_linear_group
- dbr:Projective_variety
- dbr:Radical_of_an_algebraic_group
- dbr:Rational_point
- dbr:Riemannian_geometry
- dbr:Group_action_(mathematics)
- dbr:Group_homomorphism
- dbr:Günter_Harder
- dbr:Isotropic_subspace
- dbr:Jacques_Tits
- dbr:Jean-Pierre_Serre
- dbr:Covering_space
- dbr:Tensor_product
- dbr:Jens_Carsten_Jantzen
- dbr:Reductive_Lie_algebra
- dbr:Absolute_Galois_group
- dbr:Academic_Press
- dbr:Character_theory
- dbr:Albert–Brauer–Hasse–Noether_theorem
- dbr:Kazhdan–Lusztig_polynomial
- dbr:Cohomological_invariant
- dbr:Discriminant_of_a_quadratic_form
- dbr:Automorphism_group
- dbr:Martin_Kneser
- dbr:Socle_(mathematics)
- dbr:Special_orthogonal_group
- dbr:Springer_Nature
- dbr:Springer_Science+Business_Media
- dbr:Classification_of_finite_simple_groups
- dbr:Fiber_product_of_schemes
- dbr:Group_of_Lie_type
- dbr:Group_representation
- dbr:Group_scheme
- dbr:Glossary_of_scheme_theory
- dbr:Group_of_units
- dbr:Inner_automorphism
- dbr:Inner_product
- dbr:Integer
- dbr:Michel_Demazure
- dbr:Bruhat_decomposition
- dbr:Orthogonal_group
- dbr:Rational_number
- dbr:Real_number
- dbr:Semidirect_product
- dbr:Separable_closure
- dbr:Witt's_decomposition_theorem
- dbr:Schubert_calculus
- dbr:Root_system
- dbr:Satake_diagram
- dbr:Société_Mathématique_de_France
- dbr:Special_linear_group
- dbr:Solvable_group
- dbr:Unitary_group
- dbr:Unitary_representation
- dbr:Étale_topology
- dbr:Luna's_slice_theorem
- dbr:Symmetric_group
- dbr:Octonion_algebra
- dbr:Root_datum
- dbr:Semisimple_Lie_algebra
- dbr:Zariski_topology
- dbr:Pointed_set
- dbr:Schubert_variety
- dbr:Real_form_(Lie_theory)
- dbr:Smooth_scheme
- dbr:Semisimple_representation
- dbr:Weyl_character_formula
- dbr:Weil's_conjecture_on_Tamagawa_numbers
- dbr:Invertible_matrices
- dbr:Perfect_field
- dbr:Weyl_group
- dbr:Smooth_morphism
- dbr:Vladimir_L._Popov
- dbr:Sectional_curvature
- dbr:Totally_imaginary_number_field
- dbr:List_of_simple_Lie_groups
- dbr:Witt_index
- dbr:BN-pair
- dbr:Universal_cover
- dbr:Borel_group
- dbr:Proper_scheme
- dbr:Simply_connected
- dbr:Simply_transitively
- dbr:Normalizer
- dbr:Fppf_topology
- dbr:Parabolic_subgroup
- dbr:Characteristic_of_a_field
- dbr:Coxeter_number
- dbr:Hyperbolic_plane
- dbr:Principal_G-bundle
- dbr:Reduced_norm
- dbr:Cohomological_dimension_of_a_field
- dbr:Geometric_Langlands_program
- dbr:Unipotent_group
- dbr:Weyl_chamber
- dbr:Exceptional_group
- dbr:Kneser–Tits_problem
- dbr:Tits_index
- dbr:File:Finite_Dynkin_diagrams.svg
- Die reduktive Gruppe ist ein Begriff der Mathematik, der vor allem in der Darstellungstheorie und der von Bedeutung ist. (de)
- 대수기하학에서 가약군(可約群, 영어: reductive group)은 그 군 표현론이 특별히 규칙적인 대수군이다. 표수가 0인 경우, 기약군의 모든 표현은 기약 표현으로 완전히 분해된다. (ko)
- 数学における簡約群(かんやくぐん、英: reductive group)とはが自明となる代数閉体上の代数群のことである。や一般線形群など任意のは簡約となる。一般の代数体上の場合には、代数閉包上で冪単根基が自明となるような滑らかなアフィン代数群を簡約代数群と呼ぶ。ここで代数閉包への移行は、定義体が有限体上の関数体などの不完全体(imperfect field)となる場合に必要である。(必ずしも完全でない)体 k 上の代数群で k-冪単根基が自明となるものはen:pseudo-reductive groupと呼ばれる。簡約群の名称は線形表現の完全可約性から来ており、標数0の代数群の表現に対して成り立つ性質である。(これは代数群としての表現にのみ適応される。離散群としての有限次元表現は標数0の場合でさえ必ずしも完全可約にならない。)Haboushの定理は、幾何学的簡約性と呼ばれるより弱い条件が正標数の場合の簡約群に対しても成立していることを示す。 G ≤ GLn を滑らかな-閉部分群としたとき、 上の 次元アフィン空間への作用が既約であるならば G は簡約である。 そのため GLn 及び SLn は簡約である(後者はより強くとなる)。 (ja)
- Редуктивна група — алгебрична група , для якої уніпотентний радикал її компоненти одиниці є тривіальним. Над незамкнутим полем редуктивність алгебричної групи визначається як редуктивність її над замиканням основного поля. Лінійно-редуктивна група — група, будь-яке раціональне представлення якої цілком звідно. Будь-яка лінійно-редуктивного група є редуктивною. Над полем характеристики 0 вірно і зворотне, тобто ці властивості рівносильні. (uk)
- 在數學中,約化群是為平凡群的代數群。代數環面與代數群都是約化群,一般線性群亦然。 「約化」一詞源於下述事實:零特徵域上的約化群的線性表示都是完全可約的。 (zh)
- En matemáticas, un grupo reductivo es un G definido sobre un cuerpo algebraicamente cerrado tal que el de G es trivial (es decir, el grupo de elementos unipotentes del de G). Todo grupo algebraico semisimple es reductivo, como lo son todo toro algebriaco y todo grupo general lineal. Más en general, sobre cuerpos que no son necesariamente algebraicamente cerrados, un grupo reductivo es un grupo algebraico afín suave tal que el radical unipotente de G sobre la clausura algebraica es trivial. La intervención de una clausura algebraica en esta definición es necesaria para incluir el caso de campos de base imperfecta, como los cuerpos de funciones locales y globales sobre cuerpos finitos. Los grupos algebraicos sobre cuerpos (posiblemente imperfectos) k tales que el radical k-unipotente es t (es)
- In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation with finite kernel which is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive. (en)
- En mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments (en) de (en)) soit trivial. Tout (en) est réductif, de même que tout tore algébrique et tout groupe général linéaire. Ce nom de réductif vient de la complète réductibilité des représentations d'un tel groupe, lorsque la caractéristique du corps est nulle. En caractéristique non nulle, le théorème de Haboush démontre une propriété un peu plus faible qu'avait conjecturée Mumford. (fr)
- Редуктивная группа — алгебраическая группа , для которой её является тривиальным. Над незамкнутым полем редуктивность алгебраической группы определяется как редуктивность её над замыканием основного поля. Линейно-редуктивная группа — группа, любое которой вполне приводимо. Любая линейно-редуктивная группа редуктивна. Над полем характеристики 0 верно и обратное, то есть эти свойства равносильны. (ru)
- Reduktive Gruppe (de)
- Grupo reductivo (es)
- Groupe réductif (fr)
- 가약군 (ko)
- 簡約群 (ja)
- Reductive group (en)
- Редуктивная группа (ru)
- 約化群 (zh)
- Редуктивна група (uk)
is dbo:wikiPageWikiLink of
- dbr:Beilinson–Bernstein_localization
- dbr:List_of_algebraic_geometry_topics
- dbr:Pseudo-reductive_group
- dbr:Zuckerman_functor
- dbr:Algebraic_group
- dbr:Character_variety
- dbr:Cuspidal_representation
- dbr:D-module
- dbr:Iwahori_subgroup
- dbr:Jacobson–Morozov_theorem
- dbr:Kuznetsov_trace_formula
- dbr:L-packet
- dbr:List_of_group_theory_topics
- dbr:Parabolic_induction
- dbr:Prehomogeneous_vector_space
- dbr:(B,_N)_pair
- dbr:Melvin_Hochster
- dbr:Gelfand_pair
- dbr:Gelfand–Graev_representation
- dbr:Generalized_flag_variety
- dbr:Colin_J._Bushnell
- dbr:Geometric_invariant_theory
- dbr:Glossary_of_Lie_groups_and_Lie_algebras
- dbr:Glossary_of_representation_theory
- dbr:Grand_Unified_Theory
- dbr:Bott–Samelson_resolution
- dbr:Thomas_Jones_Enright
- dbr:Mikhail_Borovoi
- dbr:Oper_(mathematics)
- dbr:Antony_Wassermann
- dbr:Bass–Quillen_conjecture
- dbr:Cluster_algebra
- dbr:Deligne–Lusztig_theory
- dbr:Fundamental_lemma_(Langlands_program)
- dbr:Identity_component
- dbr:Stack_(mathematics)
- dbr:Adele_ring
- dbr:Admissible_representation
- dbr:William_Goldman_(mathematician)
- dbr:GIT_quotient
- dbr:K-stability
- dbr:Langlands_program
- dbr:Langlands–Shahidi_method
- dbr:Linear_algebraic_group
- dbr:Weyl_module
- dbr:Perverse_sheaf
- dbr:Θ10
- dbr:Semisimple_algebraic_group
- dbr:E8_(mathematics)
- dbr:Alvis–Curtis_duality
- dbr:Nigel_Hitchin
- dbr:Outer_automorphism_group
- dbr:Charles_W._Curtis
- dbr:Hilbert–Mumford_criterion
- dbr:Hironaka_decomposition
- dbr:Hitchin_system
- dbr:Kempf–Ness_theorem
- dbr:Kobayashi–Hitchin_correspondence
- dbr:Radical_of_an_algebraic_group
- dbr:Atlas_of_Lie_groups_and_representations
- dbr:James_Arthur_(mathematician)
- dbr:Hyperspecial_subgroup
- dbr:Simple_Lie_group
- dbr:Arkady_Lvovich_Onishchik
- dbr:Affine_Grassmannian
- dbr:Cohen–Macaulay_ring
- dbr:Hochster–Roberts_theorem
- dbr:Hodge_bundle
- dbr:Whittaker_function
- dbr:Arthur's_conjectures
- dbr:Arthur–Selberg_trace_formula
- dbr:Automorphic_L-function
- dbr:Borel_subgroup
- dbr:Pierre_Deligne
- dbr:Split_reductive_group
- dbr:Group_of_Lie_type
- dbr:Induced_representation
- dbr:Kloosterman_sum
- dbr:Michel_Demazure
- dbr:Bruhat_decomposition
- dbr:Ramanujan–Petersson_conjecture
- dbr:Satake_diagram
- dbr:Satake_isomorphism
- dbr:Scheme_(mathematics)
- dbr:Shimura_variety
- dbr:Unitary_group
- dbr:Unitary_representation
- dbr:Unipotent
- dbr:List_of_things_named_after_Issai_Schur
- dbr:Root_datum
- dbr:Semisimple_Lie_algebra
- dbr:Stable_principal_bundle
- dbr:Springer_resolution
- dbr:Roger_Wolcott_Richardson
- dbr:Moy–Prasad_filtration
- dbr:Quasi-split_group
- dbr:Weyl_character_formula
- dbr:Unipotent_representation
- dbr:Tannakian_formalism
- dbr:Real_reductive_group
- dbr:Reductive_Lie_group
- dbr:Reductive_algebraic_group
- dbr:Simple_algebraic_group
- dbr:Semi-simple_group
- dbr:Semisimple_group