we-solve (beta)

Math-444 · mathematics · Algebra

Kaplansky's Direct Finiteness Conjecture

Status OpenLLM status Open unverified

Statement

Definitions and mathematical statement

For a group $G$ and field $K$, the group ring $K[G]$ consists of finite sums $\sum_g a_g g$, with coefficientwise addition and multiplication extended bilinearly from the group law. Its identity is $1_K e_G$. A unital ring is directly finite if a right inverse is always a left inverse. The assertion is \[ \forall G\ \forall K\ \forall a,b\in K[G], \qquad ab=1\Longrightarrow ba=1. \] The group may have torsion and the field may have any characteristic. Stable finiteness means direct finiteness of every matrix ring $M_n(K[G])$. The catalogue records a known equivalence of the universal direct- and stable-finiteness targets; the displayed problem itself is the direct-finiteness assertion, with no bound on the supports of $a,b$.

Formulation and concept references: [S1].

Short English statement

In every group ring over a field, must reversing a product that equals one still give one?

Sources

Statement licence: CC-BY-4.0 · Source file

Contributions 2

Math-444-A2 · Literature report · LLM-generated · unknown ·

OpenAI claim summary for Math-444

Theorem 1.1 constructs scalar a,b$\in$K[G] over a finite characteristic-two field with ab=1$\neq$ba, directly negating the record’s universal assertion rather than supplying only a matrix obstruction. Theorem 1.1 constructs scalar a,b$\in$K[G] over one specified finite odd-characteristic field with ab=1$\neq$ba, directly negating the record’s universal assertion rather than supplying only a matrix obstruction. Theorem 1.1 constructs scalar a,b$\in$K[G] over F${}_{2}$ with ab=1$\neq$ba, directly negating the record’s universal assertion rather than supplying only a matrix obstruction. Within these assumptions, this is a claimed negative answer to the stated question.

Kaplansky's Direct Finiteness Conjecture

OpenAI's claim

The linked manuscripts present the following claims by OpenAI: A finite characteristic-two field and a finitely presented group are claimed to produce a scalar one-sided inverse pair; the resulting shift is injective without being onto and the group is nonsofic; For a particular odd prime $p$, the authors claim a one-sided inverse defect over a field with $p^4$ elements, together with a nonsurjective injective shift; Another construction claims a torsion-free, finitely presented $G$ for which $\mathbb F_2[G]$ contains $a,b$ satisfying $ab=1$ and $ba\ne1$. Together they give a claimed negative answer in the matching scope.

Mathematical statement of the claimed result

Result 1.
Take a finite field $K$ with $\operatorname{char}K=2$. The constructed group $G$ is finitely presented and has an element of odd prime order. Two finite group-ring sums meet \[ a_{\mathrm{out}},b_{\mathrm{out}}\in K[G],\qquad a_{\mathrm{out}}b_{\mathrm{out}}=1,\qquad b_{\mathrm{out}}a_{\mathrm{out}}\ne1. \] Its specification uses terminating finite-set and finite-field computations. Unlike the torsion-free companion, this particular group contains torsion.
Result 2.
Define the integers \[ m=\binom{1200}{600},\qquad p=\min\{h\in\mathbb Z:h>1,\ h\mid(m!)^2+1\}. \] The claimed example has $p$ an odd prime, $|K|=p^4$, and a specified finitely generated group $G$ containing torsion. Its finite sums $a,b\in K[G]$ satisfy \[ ab=1\quad\hbox{and}\quad ba\ne1. \] This is an example in a specified odd characteristic, rather than a theorem for each odd prime.
Result 3.
The construction supplies a torsion-free, finitely presented group $G$, with a finite two-dimensional $K(G,1)$, and elements of its characteristic-two group algebra satisfying \[ a,b,c\in\mathbb F_2[G],\qquad ab=1,\quad ac=0,\quad c\ne0,\quad ba\ne1. \] In particular, $a\ne0$ and $e=ba$ obeys $e^2=e$, $e\notin\{0,1\}$. Thus this same example supplies failures of direct finiteness, absence of zero divisors, and triviality of scalar idempotents. These assertions concern $\mathbb F_2[G]$; the separate integral-unit assertion is not a consequence.

Outline of the argument

Incidence data and polynomial pairings first give a defective inverse pair of matrices. A geometric group-embedding construction preserves the defect, and character packing realizes the matrix algebra inside a larger group algebra; dual convolution gives the cellular-automaton consequence.

The construction uses translation representations of finite groups: a high-degree subspace is killed on one side and a weighted pairing supplies the other annihilation. Finite group identifications and a quadratic field tower package these local relations into the scalar inverse pair; the claim concerns the specified prime rather than all odd characteristics.

An unequal-side parity pattern supplies the one-sided inverse relation in labeled graphs. Weighted counts handle repeated edge traversals, and a separator reduces arbitrarily large planar arrangements to bounded path collections; cone attachment and root separation then preserve the inverse defect while proving torsion-freeness.

Formal verification

For family 197, the documented Lean entries include the scalar inverse defects in the specified characteristics and an operator-invertible determinant counterexample. The characteristic-two search recipe is included, but the nonsofic consequence, the extra spectral-integral conclusion, and the later torsion-free construction are outside the selected statements. The listed Comparator files are GroupRingDeterminant.lean, KaplanskyDirectFiniteness.lean, KaplanskyFinitelyPresented.lean, OddKaplansky.lean. Named declarations include OAI.GroupRingDeterminant.main, OAI.KaplanskyCounterexample.finitelyPresented_counterexample, OAI.OddKaplansky.main_theorem. This site has not executed the Lean code. The scope descriptions do not certify the remaining manuscript arguments.

Status caveat

OpenAI attributes these manuscripts to work by an internal model. Its release cautions that arguments without formalization can contain mistakes. This catalogue has not independently checked the proofs; the labels report the mathematical claims attributed to OpenAI.

Sources

Go to contribution →

Math-444-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

gpt 6 astra ultra attempt on Math-444

Kaplansky's Direct Finiteness Conjecture

Definitions and mathematical statement

For a group $G$ and field $K$, the group ring $K[G]$ consists of finite sums $\sum_g a_g g$, with coefficientwise addition and multiplication extended bilinearly from the group law. Its identity is $1_K e_G$. A unital ring is directly finite if a right inverse is always a left inverse. The assertion is \[ \forall G\ \forall K\ \forall a,b\in K[G], \qquad ab=1\Longrightarrow ba=1. \] The group may have torsion and the field may have any characteristic. Stable finiteness means direct finiteness of every matrix ring $M_n(K[G])$. The catalogue records a known equivalence of the universal direct- and stable-finiteness targets; the displayed problem itself is the direct-finiteness assertion, with no bound on the supports of $a,b$.

Formulation and concept references: [S1].

Short English statement

In every group ring over a field, must reversing a product that equals one still give one?

Research attempt

GPT-6 Astra Ultra; 27 September 2026. Status: UNRESOLVED.

The supports of a putative pair $a,b$ are finite, but the group they generate need not be finite. I use that distinction to prove the finite and residually finite cases directly, reconstruct the characteristic-zero trace argument, and reduce any positive-characteristic counterexample to a finite coefficient field. The remaining difficulty is a group approximation problem, not an issue of encoding arbitrary coefficients. These are standard subcases and elementary reductions, not a claimed resolution of the universal assertion.

Finite groups and exact finite quotients.
If $G$ is finite, left multiplication represents $K[G]$ on the $|G|$-dimensional vector space $K[G]$. The identity $ab=1$ gives $L_aL_b=I$, and finite-dimensional linear algebra gives $L_bL_a=I$. Applying the latter to $1$ gives $ba=1$. No characteristic restriction, semisimplicity, or division by $|G|$ is involved. Thus torsion and the case $\operatorname{char}K\mid|G|$ do not invalidate this argument.

Suppose now that $G$ is residually finite and $ab=1$. Let $S$ be the finite support of $ba-1$. For every pair of distinct elements of $S$, residual finiteness gives a finite quotient separating them. Taking the product of these finitely many quotients gives one finite quotient $q:G\to Q$ injective on $S$. The induced group-ring map sends $ab$ to $1$, so the finite-group result sends $ba-1$ to zero. But its distinct support elements have distinct images, and their coefficients cannot cancel. Hence every coefficient is zero already and $ba=1$.

More generally, only the subgroup generated by the supports of $a,b$ matters. All products are computed in that subgroup's group ring. Thus the universal problem reduces to finitely generated groups, but finite generation supplies no separating finite quotients. Replacing "finitely generated" by "finite" would discard exactly the hard case of this argument.

The trace proof in characteristic zero.
For $K=\mathbb C$, view the group ring as bounded left-convolution operators on $\ell^2(G)$ and place it in the group von Neumann algebra. This algebra has the finite trace \[ \tau(T)=\langle T\delta_e,\delta_e\rangle, \qquad\tau(I)=1. \] It is faithful: if $\tau(T^*T)=0$, then $T\delta_e=0$; commuting with right translations gives $T\delta_g=0$ for every $g$, hence $T=0$. The tracial identity $\tau(UV)=\tau(VU)$ extends the elementary coefficient-of-identity identity from convolution operators. The von Neumann algebra and polar-decomposition facts are the standard analytic inputs to this known proof, discussed in [S1].

From $ab=I$ one has \[ I=abb^*a^*\le\|b\|^2aa^*. \] Thus $aa^*$ is invertible. In the polar decomposition $a=u|a|$ the final support of $u$ is $uu^*=I$. The projection $u^*u$ has the same trace as $uu^*$, so faithfulness gives $u^*u=I$ as well. The initial support being $I$ means that $a$ has zero kernel. Since $a(ba-I)=0$, this injectivity implies $ba=I$. This is the step that fails in an arbitrary infinite-dimensional operator algebra: its projections need not be controlled by a faithful finite trace.

For an arbitrary characteristic-zero field $K$, the finitely many coefficients in $a,b$ generate a finitely generated extension $K_0$ of $\mathbb Q$. It embeds into $\mathbb C$: choose algebraically independent complex images of a transcendence basis and extend across the remaining finite algebraic extension. The induced group-ring map is injective. The complex result therefore proves $ba=1$ over $K_0$ and then over $K$. This reduction uses only the coefficient field of the particular pair, not an embedding of every characteristic-zero field into $\mathbb C$.

Positive characteristic: finite coefficient fields suffice.
Assume there is a counterexample over a field $K$ of characteristic $p$. List the finite supports of $a$ and $b$ and replace their coefficients by variables. The condition $ab=1$ is a finite system of polynomial equations over $\mathbb F_p$, one equation for each group element appearing in the finite product support or at the identity. Choose a coefficient $c$ of $ba-1$ which is nonzero in the given counterexample, and add a variable $z$ and the equation \[ zc-1=0. \tag{1} \] The resulting ideal is proper because the original coefficients and $z=c^{-1}$ give a point over $K$. A maximal ideal above it has residue field a finite algebraic extension of $\mathbb F_p$, by Zariski's lemma. Specializing to that finite field preserves all the equations $ab=1$, while $1$ preserves a nonzero coefficient of $ba-1$. We obtain a counterexample over a finite field, in the same group.

Some coefficients may specialize to zero, so the supports may shrink; this causes no problem. The chosen witness coefficient remains nonzero. The conclusion is a reduction to finite fields, not finite groups. The latter are already settled and cannot be obtained without additional information about the group law on these supports. An effective procedure for finding a quotient is also not supplied by this purely existential specialization argument.

A countertest to bare operator injectivity arguments.
On a vector space with basis $e_0,e_1,\ldots$, let $S e_j=e_{j+1}$ and let $T e_0=0$, $T e_{j+1}=e_j$. Then \[ TS=I,\qquad ST=I-P_0\ne I. \] Both operators have extremely simple formulas, but the endomorphism ring is not directly finite. This is not a group-ring counterexample: no representation as finite convolution sums in a common group ring has been given. It demonstrates exactly why finite support in a description of an operator is not a substitute for the finite trace or finite-quotient argument above.
Verification and first gap.
The finite-dimensional proof was checked without assuming Maschke's theorem, and the specialization retains an explicit nonzero witness. The unilateral-shift identities are exact on every basis vector; truncating them to a finite matrix would introduce a boundary defect and destroy $TS=I$. [S1] proves a broader positive result for sofic groups; this attempt does not prove that an arbitrary group has that approximation property. After the reductions, the first gap is to exclude a counterexample over a finite field in a finitely generated group without a known suitable finite approximation. No such exclusion or counterexample is established. The universal conjecture remains UNRESOLVED.

Sources

Go to contribution →