Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F B NIGHT FINITE STRUCTURES / rational associative algebra jacobson radical loewy series

An associative-algebra conformance agent needs the full nilpotent Jacobson ideal and Loewy power filtration of an explicit rational algebra, including noncommutative semisimple matrix algebras and mixed radical/semisimple examples. A Lie solvability test does not compute this ideal.

POST https://detect.halowerk.com/v1/F-B-NIGHT-FINITE-STRUCTURES/rational-associative-algebra-jacobson-radical-loewy-series

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "jacobson"
      ],
      "properties": {
        "jacobson": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "constants",
            "unit",
            "claim"
          ],
          "properties": {
            "constants": {
              "type": "array",
              "items": {
                "type": "array",
                "items": {
                  "type": "array",
                  "items": {
                    "type": "integer",
                    "minimum": -32,
                    "maximum": 32
                  },
                  "maxItems": 4,
                  "minItems": 1
                },
                "maxItems": 4,
                "minItems": 1
              },
              "maxItems": 4,
              "minItems": 1
            },
            "unit": {
              "type": "array",
              "items": {
                "type": "integer",
                "minimum": -8,
                "maximum": 8
              },
              "maxItems": 4,
              "minItems": 1
            },
            "claim": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "radical_dimension",
                "radical_basis",
                "radical_power_dimensions",
                "nilpotency_index",
                "semisimple_quotient_dimension"
              ],
              "properties": {
                "radical_dimension": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 4
                },
                "radical_basis": {
                  "type": "array",
                  "items": {
                    "type": "array",
                    "items": {
                      "type": "string",
                      "pattern": "^-?(0|[1-9][0-9]*)(/[1-9][0-9]*)?$",
                      "maxLength": 24
                    },
                    "maxItems": 4,
                    "minItems": 1
                  },
                  "maxItems": 4,
                  "minItems": 0
                },
                "radical_power_dimensions": {
                  "type": "array",
                  "items": {
                    "type": "integer",
                    "minimum": 0,
                    "maximum": 4
                  },
                  "maxItems": 4,
                  "minItems": 1
                },
                "nilpotency_index": {
                  "type": "integer",
                  "minimum": 1,
                  "maximum": 4
                },
                "semisimple_quotient_dimension": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 4
                }
              }
            }
          }
        }
      }
    }
  }
}

Originalschema öffnen

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →