{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "3MGF59XBD3"
    }
  ],
  "body": "\n## Summary\n\nA complete intersection is a variety in affine or projective space whose ideal can be generated by as many equations as its codimension.\nEach equation cuts the dimension down by exactly one, so the variety is defined by the smallest possible number of equations.\nComplete intersections are among the simplest varieties to study.\nTheir degree is the product of the degrees of the equations, and their coordinate rings have good algebraic properties.\n\n## Explanations\n\n### L1 human\n\nIn three-dimensional space, one equation usually defines a surface and two equations usually define a curve.\nA curve in space is a complete intersection when two equations are enough to describe it exactly.\nA line, such as $x = y = 0$, is a complete intersection.\nThe twisted cubic curve, the image of $t \\mapsto (t, t^2, t^3)$ completed in projective space, is a curve in $\\mathbb{P}^3$ whose ideal needs three equations, so it is not a complete intersection.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "14M10",
      "13C40"
    ],
    "name": "Complete intersection",
    "same_as": {
      "wikidata": "Q5156502",
      "wikipedia": "Complete intersection"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Complete_intersection"
      }
    ],
    "tag": "43DJVJYRBN"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/43DJVJYRBN/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/43DJVJYRBN.md",
  "msc": [
    "14M10",
    "13C40"
  ],
  "name": "Complete intersection",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/43D/43DJVJYRBN.md",
  "status": null,
  "tag": "43DJVJYRBN",
  "uri": "m2://43DJVJYRBN",
  "url": "https://tamnd.github.io/math2/wiki/complete-intersection/",
  "writing": {
    "tag": "43DJVJYRBN",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}