The Finite Basis Problem for Semirings of Order Four E7W2HDNEKJ
| URI | m2://res/E7W2HDNEKJ |
|---|---|
| Kind | preprint |
| Creators | Aifa Wang, Lili Wang, Qingrui Yin, Jinjing Wu |
| Date | 2026-09-30 |
| MSC | 20-XX |
| Subjects | arxiv math.GR |
| Scope | in |
Expressions
e1: version, preprint
| Language | en |
|---|---|
| Date | 2026-09-30 |
| Ids | arXiv 2609.39700 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 10M6NF8CQA | statement | theorem 11.2 | arxiv |
| 132EQC6KK8 | statement | lemma 9.16 | arxiv |
| 16YXP3E50D | statement | theorem 6.13 | arxiv |
| 17TZBKKKKS | statement | lemma 9.22 | arxiv |
| 1HCJC12B4K | statement | theorem 6.16 | arxiv |
| 1RB4GJ17XN | statement | theorem 5.30 | arxiv |
| 1TS61PFSHS | statement | lemma 10.25 | arxiv |
| 1WVBZ6K8YF | statement | corollary 9.12 | arxiv |
| Absorption criterion | statement | lemma 9.28 | arxiv |
| 26KDXNEEVH | statement | theorem 7.19 | arxiv |
| 29JT6TG0EH | statement | proposition 10.16 | arxiv |
| 2PYS344VTE | statement | theorem 5.40 | arxiv |
| 2W9VBJ2QDP | statement | theorem 10.1 | arxiv |
| 2XTASP51CM | statement | theorem 8.11 | arxiv |
| 36JFQTP45W | statement | theorem 6.2 | arxiv |
| 38WFMH43BF | statement | theorem 9.35 | arxiv |
| 39AYVVQGWN | statement | theorem 5.23 | arxiv |
| Complete identity test | statement | proposition H.1 | arxiv |
| 41JP36S8VY | statement | theorem 6.22 | arxiv |
| 45270P8C94 | statement | corollary 4.33 | arxiv |
| Threshold criterion | statement | lemma 7.32 | arxiv |
| 4BJKW50N02 | statement | theorem 5.39 | arxiv |
| 4CC099F5MD | statement | theorem 5.8 | arxiv |
| 4DDQB3TKDZ | statement | corollary 9.5 | arxiv |
| 4NKTSD9HSC | statement | theorem 9.3 | arxiv |
| Partition decomposition | statement | lemma 4.18 | arxiv |
| 4WAQNQD1MB | statement | lemma 4.34 | arxiv |
| 57ZQASQYGY | statement | theorem 8.9 | arxiv |
| 5APJ38NYJH | statement | corollary H.2 | arxiv |
| 5F5KXJSAPK | statement | theorem 5.26 | arxiv |
| 5NBPX0M7YD | statement | lemma 7.16 | arxiv |
| 5QDE1RDSJ5 | statement | theorem 4.13 | arxiv |
| 5TKK2GKDNF | statement | theorem 5.34 | arxiv |
| Graph generation | statement | lemma 9.29 | arxiv |
| 5ZAMM6CSDN | statement | theorem 7.14 | arxiv |
| 5ZR3GAXZW5 | statement | corollary 6.21 | arxiv |
| 61TQQ636AJ | statement | theorem 6.14 | arxiv |
| 62RFHRN4XD | statement | theorem 4.32 | arxiv |
| 631GPPEB77 | statement | lemma H.10 | arxiv |
| 659MMDN0G7 | statement | theorem 9.8 | arxiv |
| 67G3A4S75D | statement | theorem 6.33 | arxiv |
| 69PTDWH0YE | statement | lemma 4.15 | arxiv |
| 6BGGEDJPR3 | statement | theorem 8.3 | arxiv |
| 6J09CMKQRY | statement | theorem 7.26 | arxiv |
| 6QB29791MG | statement | theorem 4.20 | arxiv |
| 6V83QP649Z | statement | theorem 4.26 | arxiv |
| 6VMASDRKRH | statement | theorem 5.42 | arxiv |
| 7002Y0F9PZ | statement | proposition 12.1 | arxiv |
| 7112ZE7B15 | statement | theorem 6.3 | arxiv |
| 75RVMNC08V | statement | theorem 6.40 | arxiv |
| 76CVE63PPE | statement | theorem 9.36 | arxiv |
| 7CG5MQSEY2 | statement | proposition 10.14 | arxiv |
| 7HDYKG973K | statement | theorem 6.4 | arxiv |
| 7JP2EGNR4T | statement | theorem 6.5 | arxiv |
| 7NBPC1J348 | statement | corollary 9.25 | arxiv |
| Balanced-content transfer | statement | lemma H.7 | arxiv |
| Normal-band reduction | statement | lemma H.6 | arxiv |
| 7XDHJMC10R | statement | lemma 4.27 | arxiv |
| 83C6ZVSP7Y | statement | theorem 6.39 | arxiv |
| 88XAVN833Y | statement | theorem 7.27 | arxiv |
| 8AAEFB262D | statement | theorem 5.14 | arxiv |
| 8E8WG7GNQ9 | statement | lemma 5.12 | arxiv |
| 8EC7253KG0 | statement | lemma 4.35 | arxiv |
| 8GWZ6TMMJ0 | statement | theorem 4.37 | arxiv |
| 8RAN6Q69R6 | statement | lemma 7.12 | arxiv |
| 8VWA0ANSG3 | statement | theorem 6.37 | arxiv |
| Completeness and hereditary small generation | statement | theorem H.14 | arxiv |
| 8ZPYM264ZC | statement | lemma 7.7 | arxiv |
| 97P1EB90NN | statement | theorem 7.8 | arxiv |
| 98HH0HN953 | statement | theorem 11.5 | arxiv |
| 9E7D1TG1Z8 | statement | corollary 5.4 | arxiv |
| 9JJRG14275 | statement | lemma 9.7 | arxiv |
| 9K0RBEYC6A | statement | proposition 2.8 | arxiv |
| 9MHW2TX0Y5 | statement | proposition 11.3 | arxiv |
| 9NAE0X659Q | statement | theorem 6.35 | arxiv |
| 9NVGYQAX45 | statement | corollary 4.29 | arxiv |
| 9RX46TZD3Z | statement | lemma 4.21 | arxiv |
| 9SVWDZ8PD9 | statement | theorem 5.37 | arxiv |
| 9WJYNTR0DZ | statement | proposition 12.2 | arxiv |
| Relative identity bases | statement | corollary H.19 | arxiv |
| 9XQM0FGNK2 | statement | theorem 5.20 | arxiv |
| 9YNHBGR33M | statement | theorem 6.12 | arxiv |
| A5Q6GT5XVS | statement | lemma 4.8 | arxiv |
| A7NNP260FC | statement | theorem 7.13 | arxiv |
| A80657QCR1 | statement | lemma 7.25 | arxiv |
| A8S7VVC96B | statement | theorem 9.4 | arxiv |
| A8T1PDC967 | statement | theorem 5.27 | arxiv |
| AEP3S3GB8W | statement | corollary 9.20 | arxiv |
| Chain additive reducts | statement | theorem 2.15 | arxiv |
| AJHCSKW143 | statement | proposition 10.9 | arxiv |
| AJHY5NAT1A | statement | lemma 8.2 | arxiv |
| AJPZ4XFCZ0 | statement | theorem 6.23 | arxiv |
| AN0XHWDNK5 | statement | theorem 6.27 | arxiv |
| AR5MHB55ZT | statement | lemma 10.30 | arxiv |
| AXQK8HRGBN | statement | theorem 4.17 | arxiv |
| AYQ4NHVPWS | statement | theorem 7.9 | arxiv |
| B3ANG3GJ5X | statement | lemma 6.18 | arxiv |
| B3E95RFN7Z | statement | theorem 7.10 | arxiv |
| B63KM5PM1T | statement | theorem 5.3 | arxiv |
| B8CMN13D6B | statement | theorem 6.24 | arxiv |
| BC3Z84KBZM | statement | theorem 6.29 | arxiv |
| BZHMSZMWV6 | statement | corollary 9.26 | arxiv |
| C37MN9Q7NE | statement | theorem 9.17 | arxiv |
| C4DQG3VB37 | statement | theorem 7.15 | arxiv |
| C76KQJT9QM | statement | lemma 2.10 | arxiv |
| C9GJB593S9 | statement | lemma H.4 | arxiv |
| CBKBWGZ98A | statement | theorem 5.6 | arxiv |
| CNAT335H8H | statement | theorem 5.10 | arxiv |
| CW6QVF0X8P | statement | corollary 10.18 | arxiv |
| CYPKQ6S25P | statement | theorem 7.21 | arxiv |
| Linear reduction | statement | corollary 4.4 | arxiv |
| D0XFMRVWNX | statement | lemma H.9 | arxiv |
| D3G9G6ST21 | statement | theorem 6.15 | arxiv |
| D3QFXEYNDG | statement | theorem 5.24 | arxiv |
| D7TH2BK53R | statement | theorem 6.20 | arxiv |
| Ten witness words | statement | lemma 10.17 | arxiv |
| DCWCQQH5QR | statement | theorem 7.3 | arxiv |
| DE5VS5GXSA | statement | proposition 10.8 | arxiv |
| DG215F50QZ | statement | lemma 8.8 | arxiv |
| DKDR95QD8Y | statement | proposition 10.21 | arxiv |
| DM875SH7EJ | statement | proposition 10.4 | arxiv |
| Recovery of finite set data | statement | lemma 2.17 | arxiv |
| DV8PPJJVPS | statement | theorem 5.35 | arxiv |
| DWAF58EZ0T | statement | lemma 8.4 | arxiv |
| DYY05X3VG2 | statement | theorem 10.24 | arxiv |
| Stabilization of powers of a finite subsemigroup | statement | lemma 4.1 | arxiv |
| Published hereditary and periodic criteria | statement | theorem 2.14 | arxiv |
| EFK8D8H92M | statement | corollary 7.22 | arxiv |
| ERAHP0TAGT | statement | lemma 9.13 | arxiv |
| EZQ21K6WDX | statement | theorem 6.10 | arxiv |
| F1VYDVCXD8 | statement | lemma 6.32 | arxiv |
| F4TJ48A5FG | statement | theorem 6.8 | arxiv |
| F9GGGA1TNP | statement | theorem 5.45 | arxiv |
| FBSD5B8X4D | statement | corollary 9.6 | arxiv |
| A hereditary finite-basis criterion | statement | theorem 3.1 | arxiv |
| FEBJXDR77Y | statement | theorem 5.13 | arxiv |
| FFP85S6PT4 | statement | lemma 5.19 | arxiv |
| FG8PPCVXRE | statement | theorem 5.25 | arxiv |
| FH0JCZV2BS | statement | lemma 9.14 | arxiv |
| FP9NQP6191 | statement | theorem 7.38 | arxiv |
| FPQPBQ94TF | statement | theorem 4.36 | arxiv |
| Recovering supports meeting linear variables | statement | lemma 5.5 | arxiv |
| FSYN9T476G | statement | lemma 7.20 | arxiv |
| The finite ring reduction | statement | proposition 2.7 | arxiv |
| Finite-basis transfer | statement | theorem 4.19 | arxiv |
| G1T95G07AB | statement | lemma 6.1 | arxiv |
| G2M306V4VS | statement | lemma 5.1 | arxiv |
| G2WMVSGE73 | statement | theorem 5.16 | arxiv |
| G40HQRNNPP | statement | corollary 9.18 | arxiv |
| GCBCY61BJW | statement | theorem 8.13 | arxiv |
| GY4E1J29K3 | statement | theorem 5.28 | arxiv |
| H5VZDK9PTR | statement | theorem 10.29 | arxiv |
| H6G1BF4CA8 | statement | corollary H.15 | arxiv |
| Endpoint compression | statement | lemma 10.23 | arxiv |
| H8WQJ1738Y | statement | theorem 1.1 | arxiv |
| HAM4VFZ6S8 | statement | theorem 7.28 | arxiv |
| HJF43XG3CA | statement | corollary 7.11 | arxiv |
| HMR26PNYWJ | statement | lemma 4.23 | arxiv |
| HT7VX3ZT2Z | statement | theorem 5.21 | arxiv |
| HV124N6E8Q | statement | theorem 5.41 | arxiv |
| HWWH6EEJCQ | statement | lemma 9.33 | arxiv |
| Finite witnesses for variety membership | statement | proposition 2.12 | arxiv |
| HZPQ3GDS3B | statement | lemma H.11 | arxiv |
| J0579KG8B6 | statement | proposition 10.3 | arxiv |
| J3C898V36R | statement | theorem 4.2 | arxiv |
| JCPPA9YZ0K | statement | lemma 5.36 | arxiv |
| JDQE6JT52N | statement | theorem 6.17 | arxiv |
| JFA4QSKF4E | statement | lemma 10.6 | arxiv |
| JT8FJ9080C | statement | lemma 9.1 | arxiv |
| K3JRFBG1QZ | statement | theorem 5.44 | arxiv |
| K3XZEW9B9N | statement | theorem 9.9 | arxiv |
| K756JQW37W | statement | theorem 7.5 | arxiv |
| KTTAY5QZHD | statement | lemma 5.9 | arxiv |
| M2265K2EQD | statement | proposition 11.4 | arxiv |
| M2D9P16C7Y | statement | corollary 6.34 | arxiv |
| M50X8TFC01 | statement | corollary 9.31 | arxiv |
| M8JD09X0JM | statement | corollary 9.32 | arxiv |
| M9W6FBX7QN | statement | lemma 9.27 | arxiv |
| MB146RAYZH | statement | proposition 10.10 | arxiv |
| MDTE3AJ8K3 | statement | theorem 6.9 | arxiv |
| Binary minimum kernel | statement | lemma 7.33 | arxiv |
| MK7VVNWBGA | statement | theorem 6.7 | arxiv |
| MRTAAKN38V | statement | theorem 6.26 | arxiv |
| Short words and bounded witness words | statement | theorem 10.15 | arxiv |
| N50DC1YJV4 | statement | lemma 9.21 | arxiv |
| NAQV3S238B | statement | theorem 5.29 | arxiv |
| NFKB5WEBYA | statement | theorem 9.2 | arxiv |
| NGSW4JG9M9 | statement | theorem 7.18 | arxiv |
| NQFMWPXBT2 | statement | theorem 5.31 | arxiv |
| NVBJDA34MV | statement | theorem 4.6 | arxiv |
| NW9KQTZVBV | statement | lemma 9.34 | arxiv |
| NZAP239G9H | statement | theorem 7.30 | arxiv |
| P002VZTVSR | statement | lemma 4.30 | arxiv |
| P0655JJDCW | statement | theorem 7.35 | arxiv |
| P2MXFXC8AW | statement | theorem 10.28 | arxiv |
| P4T87N0Z56 | statement | lemma 10.32 | arxiv |
| Complete classification of all subvarieties | statement | theorem H.18 | arxiv |
| PFQAA6FC6V | statement | lemma H.16 | arxiv |
| PGH7FS7SJP | statement | theorem 6.11 | arxiv |
| PH4KTZH8EC | statement | corollary 4.5 | arxiv |
| PR618AS3ZZ | statement | theorem 8.12 | arxiv |
| PSMMVERM4B | statement | theorem 4.9 | arxiv |
| Q2M84FRCFC | statement | lemma 9.23 | arxiv |
| QBHCSFBWG2 | statement | lemma 4.12 | arxiv |
| QBMPB1XXDY | statement | lemma 5.32 | arxiv |
| QBNXGT5ZHQ | statement | theorem 4.28 | arxiv |
| Retaining intermediate summands | statement | lemma 2.2 | arxiv |
| Shao--Ren | statement | theorem H.3 | arxiv |
| Finite maximum kernel | statement | lemma 7.37 | arxiv |
| QG1P94987B | statement | theorem 9.24 | arxiv |
| Retraction decomposition | statement | lemma H.8 | arxiv |
| QNZJV21AVF | statement | theorem 5.7 | arxiv |
| R404ZTBZFV | statement | theorem 4.7 | arxiv |
| R62AS58XP9 | statement | theorem 5.18 | arxiv |
| R7TYJ5DJX4 | statement | proposition 2.6 | arxiv |
| RC9NKW7SHF | statement | theorem 5.11 | arxiv |
| REW1R554AF | statement | lemma 8.10 | arxiv |
| RHCF3AVKSA | statement | lemma 2.13 | arxiv |
| RKA3SWJVFR | statement | theorem 6.25 | arxiv |
| RNRQ8AY83D | statement | theorem 6.28 | arxiv |
| RVG0VFE916 | statement | theorem 7.17 | arxiv |
| RZ29Q2M2MY | statement | theorem 5.33 | arxiv |
| S2ZPHFC8RK | statement | theorem 9.30 | arxiv |
| S3F6PNPVQD | statement | theorem 8.6 | arxiv |
| S3S2MTFR0W | statement | theorem 6.38 | arxiv |
| SA1HXHBMQB | statement | theorem 5.2 | arxiv |
| SAY8KDNQJ3 | statement | theorem 10.27 | arxiv |
| SD3RE47ZES | statement | lemma 6.31 | arxiv |
| SHZ2MXCHAR | statement | proposition 10.11 | arxiv |
| SJ94B957GM | statement | corollary 4.25 | arxiv |
| Bounded-depth extensions | statement | theorem 2.5 | arxiv |
| SPW0DPPKWN | statement | lemma 4.31 | arxiv |
| SXGSFYTNWQ | statement | corollary 9.11 | arxiv |
| SZ8QTGW4SJ | statement | theorem 5.22 | arxiv |
| Affine closure and separation | statement | lemma 2.18 | arxiv |
| T7GA9BY6T4 | statement | theorem 5.38 | arxiv |
| TC13NVEZYW | statement | lemma 4.11 | arxiv |
| TCMG4MP34J | statement | corollary 7.23 | arxiv |
| THQW0ZHQB0 | statement | theorem 5.43 | arxiv |
| TPARCFJ2FX | statement | theorem 7.2 | arxiv |
| TRT4PRS4QF | statement | theorem 4.24 | arxiv |
| Mutual absorption | statement | lemma 2.1 | arxiv |
| V9F7EXHXVB | statement | lemma 5.15 | arxiv |
| VDPZ956ZM5 | statement | theorem 9.10 | arxiv |
| VHGDR33B4X | statement | theorem 7.6 | arxiv |
| VPECHCFCGH | statement | theorem 7.1 | arxiv |
| Mutual term interpretations | statement | proposition 2.9 | arxiv |
| VY1F2ADYCW | statement | proposition 11.1 | arxiv |
| VYPRJSN02S | statement | corollary 9.19 | arxiv |
| W1V33BZPY9 | statement | theorem 5.17 | arxiv |
| W5FDYVJYZX | statement | proposition H.13 | arxiv |
| W69F1TA460 | statement | proposition 10.7 | arxiv |
| W7XQCBG0M1 | statement | theorem 6.30 | arxiv |
| W8THRKDVE4 | statement | theorem 7.31 | arxiv |
| WB3YG4QY4Y | statement | lemma 10.31 | arxiv |
| WBMDEB7J3S | statement | proposition 10.26 | arxiv |
| WWWR5KD3TB | statement | lemma 8.7 | arxiv |
| WXQHH1165M | statement | proposition 10.2 | arxiv |
| Term retraction | statement | theorem 2.4 | arxiv |
| Combination of coordinate faces | statement | lemma 7.34 | arxiv |
| XP8X3H3QP1 | statement | theorem 6.6 | arxiv |
| XVN1QAGFCX | statement | proposition 10.5 | arxiv |
| Y05EY58NBE | statement | theorem 4.22 | arxiv |
| Degree reduction | statement | lemma 7.36 | arxiv |
| Y38P6S912Y | statement | lemma 4.16 | arxiv |
| Y3M36JQZH5 | statement | theorem 6.19 | arxiv |
| Y75PC6CS45 | statement | lemma H.5 | arxiv |
| YD2VR82M5W | statement | corollary 9.37 | arxiv |
| YFHXTWE23Z | statement | theorem 9.15 | arxiv |
| YHMKT8SGHK | statement | theorem 8.5 | arxiv |
| Opposite algebras | statement | lemma 2.3 | arxiv |
| YRYEMD3REG | statement | lemma H.12 | arxiv |
| YWZNASCGRD | statement | lemma 7.4 | arxiv |
| YYVR1KEP0F | statement | lemma H.17 | arxiv |
| Cancellation for linear products | statement | lemma 2.16 | arxiv |
| Z4A4P9K3VE | statement | lemma 4.10 | arxiv |
| Z5P4F5ZRHE | statement | theorem 2.11 | arxiv |
| Z75QC007MH | statement | theorem 10.22 | arxiv |
| Z9HVV1301T | statement | lemma 8.1 | arxiv |
| ZAJTNBWVGD | statement | lemma 7.29 | arxiv |
| Multiplicity compression | statement | lemma 10.20 | arxiv |
| ZE1CQMQ2N6 | statement | proposition 10.12 | arxiv |
| ZN3JJAHYNS | statement | corollary 10.19 | arxiv |
| ZPYT6VA4T0 | statement | theorem 6.36 | arxiv |
| ZYX7JSHTXB | statement | proposition 10.13 | arxiv |
| ZZXKTWHPPX | statement | theorem 7.24 | arxiv |
Catalogue records
- arxiv: 2609.39700 (work)
- arxiv_text: 2609.39700 (work)