Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T05:53:03.831569Z
Paper Citation Record · LEDGER
A decisive Theorem (Un th\'eor\`eme d\'ecisif)
As of 8 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2506.07098.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
44 of 44 outbound references displayed
- verified exact1
- verified fuzzy23
- unresolved20
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 45d8ac7e-0028-4e13-98eb-f80ed4009e73 · outbound
This paper cites Nous abr´ egeons⟨ ⟨traciquement ´ etale⟩ ⟩en ´ etale(soulign´ e).
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Nous abr´ egeons⟨ ⟨traciquement ´ etale⟩ ⟩en ´ etale(soulign´ e)
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.554484Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e2c9a4a6-8ed3-445e-95d4-babffdf26f1d · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.538570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 76e81ba8-86cc-472b-8b9b-68264e5ce780 · outbound
This paper cites Lemme 1.2.
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.523610Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 20b1a17a-a912-4ebf-acb4-eb1025983dfb · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.508426Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation aac8737d-c3b6-4f4c-ae79-aecc6cd049f6 · outbound
This paper cites Lemme 1.3.
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.494000Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 75ffa5b1-9779-4d0f-90e0-756c47321258 · outbound
This paper cites Si B est r´ eduite, pour touta ∈ B il existe un unique idempotent e ∈ K[a] tel que ⟨a⟩ = ⟨e⟩.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Si B est r´ eduite, pour touta ∈ B il existe un unique idempotent e ∈ K[a] tel que ⟨a⟩ = ⟨e⟩
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.479294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9a6c1361-f0e1-4af3-a3a2-db206dedcff5 · outbound
This paper cites (a) B est un corps discret.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) (a) B est un corps discret
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.463808Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 65732ac6-dc99-47af-bec0-619314697350 · outbound
This paper cites En outre, B est ´ etalesur K si, et seulement si, elle est ´ etale sur L et L est ´ etalesur K.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) En outre, B est ´ etalesur K si, et seulement si, elle est ´ etale sur L et L est ´ etalesur K
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.449263Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c6b5ad96-f54c-4d11-8644-bc254cd06401 · outbound
This paper cites , er) est un syst` eme fondamental d’idempotents orthogonaux deB, B est ´ etalesur K si, et seulement si, chacune des composantes B[1/ei] est ´ etalesur K.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) , er) est un syst` eme fondamental d’idempotents orthogonaux deB, B est ´ etalesur K si, et seulement si, chacune des composantes B[1/ei] est ´ etalesur K
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.434228Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation be0ec4ef-cec2-4cc3-9e0b-5b76faa9f7f0 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.419403Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a9a814bf-e72c-48d8-a4ec-a256c2f9012b · outbound
This paper cites Th´ eor` eme 1.4(caract´ erisation desK-alg` ebres ´ etales).
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Th´ eor` eme 1.4(caract´ erisation desK-alg` ebres ´ etales)
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.404043Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f1444091-3d4f-4669-903a-1df8ad890711 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.388031Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0fe92123-ed8d-4ae6-bf79-b2a1470e7b62 · outbound
This paper cites En particulier, un corps L qui est une extension galoisienne de K est ´ etalesur K.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) En particulier, un corps L qui est une extension galoisienne de K est ´ etalesur K
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.373555Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2f6162c5-7b6a-4faf-bf4a-accad131e2b8 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.358369Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 56c55c4b-0ea8-41e0-b5b0-79e3b73503e9 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.341815Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b4a0096d-e54b-4129-acc5-ccf74ad3712c · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.326654Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 25e8b5f8-e018-4994-8f51-39fd9f84e284 · outbound
This paper cites 3 2 Le module des diff´ erentielles de Kh¨ aler Dans la suite de l’article, les k-alg` ebres sont toujours suppos´ ees de pr´ esentation finie.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) 3 2 Le module des diff´ erentielles de Kh¨ aler Dans la suite de l’article, les k-alg` ebres sont toujours suppos´ ees de pr´ esentation finie
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.309597Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9c096b7e-618e-461f-9ea3-369979d21071 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.293797Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 248e3fe2-ed05-4d5c-8c27-7775116614d5 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.277396Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f70076bb-71ba-4073-bbc2-96b0097001b0 · outbound
This paper cites Lorsque le contexte est clair, Der( A) est une abr´ eviation pour Derk(A, A).
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Lorsque le contexte est clair, Der( A) est une abr´ eviation pour Derk(A, A)
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.262606Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a5c5366a-6bf8-4804-9e22-8cf6f37b8aab · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.247330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e58ac66f-1efa-4ea4-bc39-2a77557e43eb · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.232099Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 788f180c-e2fd-4903-af64-99a4161ac872 · outbound
This paper cites Le module des diff´ erentielles On consid` ere maintenant le cas d’une alg` ebre de pr´ esentation finie A = k[X1,.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Le module des diff´ erentielles On consid` ere maintenant le cas d’une alg` ebre de pr´ esentation finie A = k[X1,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.217542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e9ce131a-341d-4957-b4a6-53a763bf0696 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.201657Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation db2b2a64-db24-460c-9c5a-78ca71aaa483 · outbound
This paper cites Pour tout A-module M et toute k-d´ erivationδ : A → M , il existe une unique application A-lin´ eaireθ : Coker(Ja) → M telle que θ ◦ d = δ.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Pour tout A-module M et toute k-d´ erivationδ : A → M , il existe une unique application A-lin´ eaireθ : Coker(Ja) → M telle que θ ◦ d = δ
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.184796Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2e7302a1-eeae-4734-b666-36932a50696f · outbound
This paper cites Ceci permet de d´ efinir un homomorphisme canonique deAS-modules : φ : (Derk(A, M))S − →Derk(AS, MS).
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Ceci permet de d´ efinir un homomorphisme canonique deAS-modules : φ : (Derk(A, M))S − →Derk(AS, MS)
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.170245Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 719b9e81-8790-4040-b58d-6e119754b040 · outbound
This paper cites Lemme 2.6 (extension d’une alg` ebre et d´ erivations).
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Lemme 2.6 (extension d’une alg` ebre et d´ erivations)
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.154541Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1a5c5bb3-3bba-4d08-8be8-46774dbc1dae · outbound
This paper cites (b) Puisque M est naturellement un A-module, on a une application B-lin´ eaire canonique eρ : Derk(B, M) − →Derk(A, M) : δ 7→ δ ◦ ρ.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) (b) Puisque M est naturellement un A-module, on a une application B-lin´ eaire canonique eρ : Derk(B, M) − →Derk(A, M) : δ 7→ δ ◦ ρ
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.138303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 646a2361-3b3a-4caa-8f16-402e3177cc02 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.122459Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 988e70d6-1fd0-4bb2-9d4e-29a1589dfb6c · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:04.106393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5895428d-f624-46da-b3f5-1ee49444fe70 · outbound
This paper cites 5 3 Alg` ebres lisses, nettes, ´ etales D´ efinition 3.1.On consid` ere unek-alg` ebre de pr´ esentation finie A = k[X1,.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) 5 3 Alg` ebres lisses, nettes, ´ etales D´ efinition 3.1.On consid` ere unek-alg` ebre de pr´ esentation finie A = k[X1,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.092322Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d0477fba-c497-4d51-a46b-2388d39c6de6 · outbound
This paper cites Ja est surjec- tive, ou encore DA,n(Ja) = ⟨1⟩.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Ja est surjec- tive, ou encore DA,n(Ja) = ⟨1⟩
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.076476Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 98913b02-b7ee-4211-b36f-afedcb11c058 · outbound
This paper cites (b) La k-alg` ebreA est dite lisse s’il existe un syst` eme v1,.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) (b) La k-alg` ebreA est dite lisse s’il existe un syst` eme v1,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.060561Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1bd2cbb2-6860-44c9-953f-888b1b6cf55b · outbound
This paper cites DA,n(Ja) = ⟨1⟩.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) DA,n(Ja) = ⟨1⟩
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.044934Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 89a10cce-c11a-4ccc-84ba-86bc3662c0db · outbound
This paper cites lisse, ´ etale) surk, il en va de mˆ eme pourA′ sur k′.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) lisse, ´ etale) surk, il en va de mˆ eme pourA′ sur k′
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.029419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e1c96354-5034-45ff-adbb-47469c919762 · outbound
This paper cites Si A′ est nette (resp.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Si A′ est nette (resp
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:04.012294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation bbd62da8-6bcc-4fce-8322-e4e63b8a5857 · outbound
This paper cites 6 4 Un th´ eor` eme d´ ecisif : alg` ebres nettes sur un corps discret Lemme 4.1.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) 6 4 Un th´ eor` eme d´ ecisif : alg` ebres nettes sur un corps discret Lemme 4.1
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T05:53:03.995464Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 5d24884c-e1e7-4b60-926a-c2ecdc60affe · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:03.978494Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 57da074a-5197-4e4d-b93a-b4736d14bb23 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:03.962497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8c3a30d2-a9ae-4a4a-a559-0aaf48d047d8 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:03.946406Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 51b6b7cd-55f8-4aba-8f32-21e62d4c577f · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:03.930515Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation bf576534-6366-4b47-a934-ac82e3a3fbd6 · outbound
This paper cites an unresolved cited work.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T05:53:03.915181Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9b4dad3d-4b71-4fdf-82c9-a3fa9e5bff05 · outbound
This paper cites Commutative algebra: Constructive methods. Finite projective modules.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Commutative algebra: Constructive methods. Finite projective modules
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T05:53:03.826292Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc0077cf-e995-4a10-ae47-b1d2ca65ee25 · outbound
This paper cites Algebraic identities to prove that a neat finite free algebra is tracically \'etale.
A decisive Theorem (Un th\'eor\`eme d\'ecisif) Algebraic identities to prove that a neat finite free algebra is tracically \'etale
Reference 44
- Resolution
- verified exact
- local_arxiv, observed 2026-08-07T05:53:03.878538Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.