In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context. These notions of semi-simplicity can be unified using the language of semi-simple modules, and generalized to semi-simple categories.
| Property |
Value |
| dbo:abstract |
In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context. For example, if G is a finite group, then a nontrivial finite-dimensional representation V over a field is said to be simple if the only subrepresentations it contains are either {0} or V (these are also called irreducible representations). Now Maschke's theorem says that any finite-dimensional representation of a finite group is a direct sum of simple representations (provided the characteristic of the base field does not divide the order of the group). So in the case of finite groups with this condition, every finite-dimensional representation is semi-simple. Especially in algebra and representation theory, "semi-simplicity" is also called complete reducibility. For example, Weyl's theorem on complete reducibility says a finite-dimensional representation of a semisimple compact Lie group is semisimple. A square matrix (in other words a linear operator with V finite dimensional vector space) is said to be simple if its only invariant subspaces under T are {0} and V. If the field is algebraically closed (such as the complex numbers), then the only simple matrices are of size 1 by 1. A semi-simple matrix is one that is similar to a direct sum of simple matrices; if the field is algebraically closed, this is the same as being diagonalizable. These notions of semi-simplicity can be unified using the language of semi-simple modules, and generalized to semi-simple categories. (en) |
| dbo:wikiPageExternalLink |
http://ncatlab.org/nlab/show/semisimple+category https://mathoverflow.net/q/245 |
| dbo:wikiPageID |
45256442 (xsd:integer) |
| dbo:wikiPageLength |
13558 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1054670554 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Endomorphism_ring dbr:Module_(mathematics) dbr:Representation_theory dbr:Motive_(mathematics) dbr:Bilinear_form dbr:Algebraically_closed_field dbr:Vector_space dbr:Invariant_subspace dbr:Lie_group dbr:Numerical_equivalence dbr:Artin–Wedderburn_theorem dbc:Ring_theory dbr:Complex_number dbr:Maschke's_theorem dbr:Endomorphism dbr:Coproduct dbr:Linear_algebra dbr:Linear_operator dbr:Short_exact_sequence dbr:Compact_group dbr:Zero_object dbr:Matrix_addition dbr:Adequate_equivalence_relation dbr:Triangulated_category dbr:Fusion_category dbr:Irreducible_representation dbr:Semisimple_algebraic_group dbr:Square_matrix dbr:Algebraic_geometry dbc:Linear_algebra dbr:Field_(mathematics) dbr:Finitely_generated_module dbr:Direct_sum dbr:Direct_sum_of_modules dbr:Projective_variety dbr:Ring_(mathematics) dbr:Group_(mathematics) dbr:Hyperplane dbr:Semisimple_algebra dbr:Abelian_category dbr:Abstract_algebra dbc:Algebraic_geometry dbc:Representation_theory dbr:Characteristic_(algebra) dbr:Hodge_structure dbr:Hodge_theory dbr:Homological_algebra dbr:Weyl's_theorem_on_complete_reducibility dbr:Modular_representation_theory dbr:Diagonalizable_matrix dbr:Division_ring dbr:Artinian_ring dbr:Positive_definite dbr:Group_representation dbr:Group_ring dbr:Inner_product dbr:Algebraically_closed dbr:Minimal_polynomial_(linear_algebra) dbr:Category_(mathematics) dbr:Category_of_representations dbr:Category_theory dbr:Semisimple_Lie_group dbr:Matrix_similarity dbr:Schur's_lemma dbr:Ext_functor dbr:Diagonalizable dbr:Unitarian_trick dbr:Semisimple_Lie_algebra dbr:T-structure dbr:Semisimple_representation dbr:Smooth_morphism dbr:Subobject dbr:Uwe_Jannsen dbr:Simply_connected dbr:Characteristic_(field) dbr:Alexandre_Grothendieck dbr:Semi-simple_module dbr:Semi-simple_ring dbr:Dimension_(linear_algebra) dbr:Weight_structure |
| dbp:wikiPageUsesTemplate |
dbt:About dbt:Citation dbt:Further dbt:Main dbt:Reflist dbt:See_also |
| dct:subject |
dbc:Ring_theory dbc:Linear_algebra dbc:Algebraic_geometry dbc:Representation_theory |
| rdf:type |
owl:Thing |
| rdfs:comment |
In mathematics, semi-simplicity is a widespread concept in disciplines such as linear algebra, abstract algebra, representation theory, category theory, and algebraic geometry. A semi-simple object is one that can be decomposed into a sum of simple objects, and simple objects are those that do not contain non-trivial proper sub-objects. The precise definitions of these words depends on the context. These notions of semi-simplicity can be unified using the language of semi-simple modules, and generalized to semi-simple categories. (en) |
| rdfs:label |
Semi-simplicity (en) |
| rdfs:seeAlso |
dbr:Maschke's_theorem |
| owl:sameAs |
freebase:Semi-simplicity wikidata:Semi-simplicity https://global.dbpedia.org/id/8gVzS |
| prov:wasDerivedFrom |
wikipedia-en:Semi-simplicity?oldid=1054670554&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Semi-simplicity |
| is dbo:wikiPageRedirects of |
dbr:Semi-simple dbr:Semisimple dbr:Semisimplicity dbr:Semi-simple_category dbr:Complete_reducibility dbr:Completely-reducible_module dbr:Completely_reducible dbr:Semisimple_category dbr:Semisimple_object |
| is dbo:wikiPageWikiLink of |
dbr:Maschke's_theorem dbr:Diagonalizable_matrix dbr:Semi-simple dbr:Semisimple dbr:Semisimplicity dbr:Unipotent dbr:Semi-simple_category dbr:Semisimple_representation dbr:Complete_reducibility dbr:Completely-reducible_module dbr:Completely_reducible dbr:Semisimple_category dbr:Semisimple_object |
| is foaf:primaryTopic of |
wikipedia-en:Semi-simplicity |