• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Hochster–Roberts theorem     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Theorem106752293, within Data Space : dbpedia.org associated with source document(s)

Type: yago:WikicatTheoremsInAlgebrayago:Abstraction100002137yago:Communication100033020yago:Message106598915yago:Proposition106750804yago:Statement106722453yago:Theorem106752293 New Facet based on Instances of this Class

In algebra, the Hochster–Roberts theorem, introduced by Melvin Hochster and Joel L. Roberts in 1974, states that rings of invariants of linearly reductive groups acting on regular rings are Cohen–Macaulay. In other words, if V is a rational representation of a linearly reductive group G over a field k, then there exist algebraically independent invariant homogeneous polynomials such that is a free finite graded module over . In characteristic p>0, there are examples of groups that are reductive (or even finite) acting on polynomial rings whose rings of invariants are not Cohen–Macaulay.