Computation of Non-Commutative Gröbner Bases in Grassmann and Clifford Algebras View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2010-10

AUTHORS

Rafał Abłamowicz

ABSTRACT

Tensor, Clifford and Grassmann algebras belong to a wide class of non-commutative algebras that have a Poincaré-Birkhoff-Witt (PBW) “monomial” basis. The necessary and sufficient condition for an algebra to have the PBW basis has been established by T. Mora and then V. Levandovskyy as the so called “non-degeneracy condition”. This has led V. Levandovskyy to a re-discovery of the so called G-algebras (previously introduced by J. Apel) and GR-algebras (Gröbner-ready algebras). It was T. Mora who already in the 1990s considered a comprehensive and algorithmic approach to Gröbner bases for commutative and non-commutative algebras. It was T. Stokes who eighteen years ago introduced Gröbner left bases (GLB) and Gröbner left ideal bases (GLIB) for left ideals in Grassmann algebras, with the GLIB bases solving an ideal membership problem. Thus, a natural question is to first seek Gröbner bases with respect to a suitable admissible monomial order for ideals in tensor algebras T and then consider quotient algebras T/I. It was shown by Levandovskyy that these quotient algebras possess a PBW basis if and only if the ideal I has a Gröbner basis. Of course, these quotient algebras are of great interest because, in particular, Grassmann and Clifford algebras of a quadratic form arise this way. Examples of G-algebras include the quantum plane, universal enveloping algebras of finite dimensional Lie algebras, some Ore extensions, Weyl algebras and their quantizations, etc. Examples of GR-algebras, which are either G algebras or are isomorphic to quotient algebras of a G-algebra modulo a proper two-sided ideal, include Grassmann and Clifford algebras. After recalling basic concepts behind the theory of commutative Gröbner bases, a review of the Gröbner bases in PBW algebras, G-,and GR-algebras will be given with a special emphasis on computation of such bases in Grassmann and Clifford algebras. GLB and GLIB bases will also be computed. More... »

PAGES

447-476

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s00006-010-0205-0

DOI

http://dx.doi.org/10.1007/s00006-010-0205-0

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1022028913


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Tennessee Technological University", 
          "id": "https://www.grid.ac/institutes/grid.264737.3", 
          "name": [
            "Department of Mathematics, Tennessee Technological University, Box 5054, 38505, Cookeville, TN, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ab\u0142amowicz", 
        "givenName": "Rafa\u0142", 
        "id": "sg:person.0654401514.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0654401514.11"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2010-10", 
    "datePublishedReg": "2010-10-01", 
    "description": "Tensor, Clifford and Grassmann algebras belong to a wide class of non-commutative algebras that have a Poincar\u00e9-Birkhoff-Witt (PBW) \u201cmonomial\u201d basis. The necessary and sufficient condition for an algebra to have the PBW basis has been established by T. Mora and then V. Levandovskyy as the so called \u201cnon-degeneracy condition\u201d. This has led V. Levandovskyy to a re-discovery of the so called G-algebras (previously introduced by J. Apel) and GR-algebras (Gr\u00f6bner-ready algebras). It was T. Mora who already in the 1990s considered a comprehensive and algorithmic approach to Gr\u00f6bner bases for commutative and non-commutative algebras. It was T. Stokes who eighteen years ago introduced Gr\u00f6bner left bases (GLB) and Gr\u00f6bner left ideal bases (GLIB) for left ideals in Grassmann algebras, with the GLIB bases solving an ideal membership problem. Thus, a natural question is to first seek Gr\u00f6bner bases with respect to a suitable admissible monomial order for ideals in tensor algebras T and then consider quotient algebras T/I. It was shown by Levandovskyy that these quotient algebras possess a PBW basis if and only if the ideal I has a Gr\u00f6bner basis. Of course, these quotient algebras are of great interest because, in particular, Grassmann and Clifford algebras of a quadratic form arise this way. Examples of G-algebras include the quantum plane, universal enveloping algebras of finite dimensional Lie algebras, some Ore extensions, Weyl algebras and their quantizations, etc. Examples of GR-algebras, which are either G algebras or are isomorphic to quotient algebras of a G-algebra modulo a proper two-sided ideal, include Grassmann and Clifford algebras. After recalling basic concepts behind the theory of commutative Gr\u00f6bner bases, a review of the Gr\u00f6bner bases in PBW algebras, G-,and GR-algebras will be given with a special emphasis on computation of such bases in Grassmann and Clifford algebras. GLB and GLIB bases will also be computed.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s00006-010-0205-0", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1136750", 
        "issn": [
          "0188-7009", 
          "1661-4909"
        ], 
        "name": "Advances in Applied Clifford Algebras", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "3-4", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "20"
      }
    ], 
    "name": "Computation of Non-Commutative Gr\u00f6bner Bases in Grassmann and Clifford Algebras", 
    "pagination": "447-476", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "68f38dcee50c6e98c75e5b160b425de255c3cc7dae34ca22dd77041fca5ad092"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s00006-010-0205-0"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1022028913"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s00006-010-0205-0", 
      "https://app.dimensions.ai/details/publication/pub.1022028913"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T09:50", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000347_0000000347/records_89786_00000001.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.1007%2Fs00006-010-0205-0"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s00006-010-0205-0'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s00006-010-0205-0'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00006-010-0205-0'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00006-010-0205-0'


 

This table displays all metadata directly associated to this object as RDF triples.

61 TRIPLES      20 PREDICATES      27 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s00006-010-0205-0 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author Nc9d4656ed6dc40d1aa6fa7cb53ff5016
4 schema:datePublished 2010-10
5 schema:datePublishedReg 2010-10-01
6 schema:description Tensor, Clifford and Grassmann algebras belong to a wide class of non-commutative algebras that have a Poincaré-Birkhoff-Witt (PBW) “monomial” basis. The necessary and sufficient condition for an algebra to have the PBW basis has been established by T. Mora and then V. Levandovskyy as the so called “non-degeneracy condition”. This has led V. Levandovskyy to a re-discovery of the so called G-algebras (previously introduced by J. Apel) and GR-algebras (Gröbner-ready algebras). It was T. Mora who already in the 1990s considered a comprehensive and algorithmic approach to Gröbner bases for commutative and non-commutative algebras. It was T. Stokes who eighteen years ago introduced Gröbner left bases (GLB) and Gröbner left ideal bases (GLIB) for left ideals in Grassmann algebras, with the GLIB bases solving an ideal membership problem. Thus, a natural question is to first seek Gröbner bases with respect to a suitable admissible monomial order for ideals in tensor algebras T and then consider quotient algebras T/I. It was shown by Levandovskyy that these quotient algebras possess a PBW basis if and only if the ideal I has a Gröbner basis. Of course, these quotient algebras are of great interest because, in particular, Grassmann and Clifford algebras of a quadratic form arise this way. Examples of G-algebras include the quantum plane, universal enveloping algebras of finite dimensional Lie algebras, some Ore extensions, Weyl algebras and their quantizations, etc. Examples of GR-algebras, which are either G algebras or are isomorphic to quotient algebras of a G-algebra modulo a proper two-sided ideal, include Grassmann and Clifford algebras. After recalling basic concepts behind the theory of commutative Gröbner bases, a review of the Gröbner bases in PBW algebras, G-,and GR-algebras will be given with a special emphasis on computation of such bases in Grassmann and Clifford algebras. GLB and GLIB bases will also be computed.
7 schema:genre research_article
8 schema:inLanguage en
9 schema:isAccessibleForFree false
10 schema:isPartOf N49d89ae1c063483fb97222110dac8a9c
11 N8ae6587ee12a4c5e970fdb6c2c899996
12 sg:journal.1136750
13 schema:name Computation of Non-Commutative Gröbner Bases in Grassmann and Clifford Algebras
14 schema:pagination 447-476
15 schema:productId N285996a6152c4f329713b865cb940543
16 N7c3dd8f4f8ef42a7bed2f657e882061f
17 Ne654eb08162a4bf688814be60796cd78
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022028913
19 https://doi.org/10.1007/s00006-010-0205-0
20 schema:sdDatePublished 2019-04-11T09:50
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher N10e462b96d2b420e9a00373fb5ef4821
23 schema:url https://link.springer.com/10.1007%2Fs00006-010-0205-0
24 sgo:license sg:explorer/license/
25 sgo:sdDataset articles
26 rdf:type schema:ScholarlyArticle
27 N10e462b96d2b420e9a00373fb5ef4821 schema:name Springer Nature - SN SciGraph project
28 rdf:type schema:Organization
29 N285996a6152c4f329713b865cb940543 schema:name dimensions_id
30 schema:value pub.1022028913
31 rdf:type schema:PropertyValue
32 N49d89ae1c063483fb97222110dac8a9c schema:issueNumber 3-4
33 rdf:type schema:PublicationIssue
34 N7c3dd8f4f8ef42a7bed2f657e882061f schema:name doi
35 schema:value 10.1007/s00006-010-0205-0
36 rdf:type schema:PropertyValue
37 N8ae6587ee12a4c5e970fdb6c2c899996 schema:volumeNumber 20
38 rdf:type schema:PublicationVolume
39 Nc9d4656ed6dc40d1aa6fa7cb53ff5016 rdf:first sg:person.0654401514.11
40 rdf:rest rdf:nil
41 Ne654eb08162a4bf688814be60796cd78 schema:name readcube_id
42 schema:value 68f38dcee50c6e98c75e5b160b425de255c3cc7dae34ca22dd77041fca5ad092
43 rdf:type schema:PropertyValue
44 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
45 schema:name Mathematical Sciences
46 rdf:type schema:DefinedTerm
47 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
48 schema:name Pure Mathematics
49 rdf:type schema:DefinedTerm
50 sg:journal.1136750 schema:issn 0188-7009
51 1661-4909
52 schema:name Advances in Applied Clifford Algebras
53 rdf:type schema:Periodical
54 sg:person.0654401514.11 schema:affiliation https://www.grid.ac/institutes/grid.264737.3
55 schema:familyName Abłamowicz
56 schema:givenName Rafał
57 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0654401514.11
58 rdf:type schema:Person
59 https://www.grid.ac/institutes/grid.264737.3 schema:alternateName Tennessee Technological University
60 schema:name Department of Mathematics, Tennessee Technological University, Box 5054, 38505, Cookeville, TN, USA
61 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...