Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f

Remark: 256-01. Nonsingular systems of equations over arbitrary groups

Manuscript map · lines 7445–7454

OpenAI@2026-10-07#rem:oai-p-256-01

Back to manuscript

Authors: OpenAI. Family 256.

Title: Nonsingular systems of equations over arbitrary groups.

Abstract: Every finite nonsingular system of equations over an arbitrary group has a simultaneous solution in an overgroup. This proves Howie's conjecture on nonsingular systems.

This abstract is a catalogue record. It is not a verification and not a premise. It does not close O.1. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.

Nearby in this section