Bergman's_diamond_lemma

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:description	gröbner bases for non-commutative algebra (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Diamond_lemma_picture.svg?width=300
dbo:wikiPageWikiLink	dbr:Buchberger's_algorithm dbr:Gröbner_basis dbr:Category_algebra dbr:Mathematics dbr:Abstract_algebra dbr:Commutative_property dbr:Ring_(mathematics) dbr:Hecke_algebra dbr:Associative_property dbr:Monomial dbr:Monomial_order dbr:Free_algebra dbr:Poincaré–Birkhoff–Witt_theorem dbr:Field_(mathematics) dbr:George_Bergman dbr:Operad dbr:Identity_element dbr:Total_order dbr:Algebra_over_a_field dbr:Formal_power_series dbr:Lexicographic_order dbc:Lemmas_in_algebra dbr:Small_category dbr:Free_Semigroup dbr:File:Diamond_lemma_picture.svg
dbp:wikiPageUsesTemplate	dbt:Main dbt:Short_description
dct:subject	dbc:Lemmas_in_algebra
rdfs:label	Bergman's diamond lemma (en)
owl:sameAs	wikidata:Q110362895 dbpedia-global:GHLFm
prov:wasDerivedFrom	wikipedia-en:Bergman's_diamond_lemma?oldid=1283578991&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Diamond_lemma_picture.svg
foaf:isPrimaryTopicOf	wikipedia-en:Bergman's_diamond_lemma
is dbo:knownFor of	dbr:George_Bergman
is dbp:knownFor of	dbr:George_Bergman
is foaf:primaryTopic of	wikipedia-en:Bergman's_diamond_lemma

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International