{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $A$ be a matrix. Then there is exactly one matrix in [[reduced row echelon form|0WF5AQYTW6]] that is [[row equivalent|095DDGZF16]] to $A$.\n\n## Remarks\n\nExistence comes from row reduction. The content of the result is that two different reduced row echelon matrices are never row equivalent to the same matrix. So the reduced row echelon form of $A$ is well defined, and two matrices are row equivalent exactly when they have the same one.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "about": [
      "0WF5AQYTW6"
    ],
    "kind": "statement",
    "msc": [
      "15A06"
    ],
    "name": "Uniqueness of the reduced row echelon form",
    "role": "theorem",
    "sources": [
      {
        "locator": "src/section1-2.xml:1343",
        "url": "https://github.com/davidaustinm/ula/blob/b6ea263ef23703072b7007485bb7a2d89c5f399b/src/section1-2.xml#L1343"
      }
    ],
    "tag": "BF9SMZMJZE",
    "uses": [
      "0WF5AQYTW6",
      "095DDGZF16"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/BF9SMZMJZE/",
  "links": [
    {
      "field": "about",
      "target": "0WF5AQYTW6"
    },
    {
      "field": "uses",
      "target": "0WF5AQYTW6"
    },
    {
      "field": "uses",
      "target": "095DDGZF16"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/BF9SMZMJZE.md",
  "msc": [
    "15A06"
  ],
  "name": "Uniqueness of the reduced row echelon form",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/BF9/BF9SMZMJZE.md",
  "status": null,
  "tag": "BF9SMZMJZE",
  "uri": "m2://BF9SMZMJZE",
  "url": "https://math2.tamnd.com/wiki/uniqueness-of-the-reduced-row-echelon-form/",
  "writing": {
    "tag": "BF9SMZMJZE",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}