Hilbert's basis theorem: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 15:4215:42, 24 September 2024 JBW talk contribs 11,115 bytes +5 Presumably this is an editing error, with this being a correction. undo

curprev 13:4313:43, 1 September 2024 D.Lazard talk contribs 11,110 bytes +331 →Statement: clarification provided undo

curprev 22:4922:49, 31 August 2024 Matiasvd talk contribs m 10,779 bytes +225 →Statement: Clarification needed for the use of Grobner bases to find a finite generating set. undo

curprev 16:5116:51, 15 May 2024 141.136.184.116 talk 10,554 bytes −4 No edit summary undo

curprev 17:3317:33, 26 April 2024 75.192.135.126 talk 10,558 bytes 0 typo: astonishing undo

curprev 14:1314:13, 25 April 2024 D.Lazard talk contribs 10,558 bytes +278 →Further reading: adding a reference undo
curprev 14:0914:09, 25 April 2024 D.Lazard talk contribs 10,280 bytes +802 →top: More context undo Tag: harv-error
curprev 08:3308:33, 25 April 2024 D.Lazard talk contribs 9,478 bytes +613 →Top: adding context undo

curprev 08:4608:46, 24 April 2024 D.Lazard talk contribs 8,865 bytes −1 →top: typo again undo
curprev 08:4408:44, 24 April 2024 D.Lazard talk contribs 8,866 bytes −1 →top: typo undo

curprev 17:1117:11, 23 April 2024 D.Lazard talk contribs 8,867 bytes +409 →top: More convenient lead undo
curprev 16:5016:50, 23 April 2024 D.Lazard talk contribs 8,458 bytes +3 Changing short description from "Polynomial rings are Noetherian rings" to "Polynomial ideals are finitely generated" undo Tag: Shortdesc helper
curprev 16:4916:49, 23 April 2024 D.Lazard talk contribs 8,455 bytes +40 →Further reading: + Category:Theorems about polynomials undo

curprev 13:5713:57, 6 November 2023 122.30.205.27 talk 8,415 bytes 0 →References undo

curprev 21:2021:20, 6 September 2023 128.189.206.211 talk 8,415 bytes −1 →Proof undo
curprev 21:2021:20, 6 September 2023 128.189.206.211 talk 8,416 bytes +2 →First proof: got rid of "it is clear", which is rude undo

curprev 01:5501:55, 6 June 2023 Golden1.61803398875 talk contribs 8,414 bytes +15 Added another <math>a</math> to increase clarity undo
curprev 01:5201:52, 6 June 2023 Golden1.61803398875 talk contribs 8,399 bytes +15 added an <math>a</math> where it appeared to be missing undo

curprev 14:2914:29, 17 May 2023 Cngzz1 talk contribs m 8,384 bytes +290 Add links and references. undo

curprev 16:2416:24, 21 April 2023 D.Lazard talk contribs 8,094 bytes +1 →top: Sorry for the typos in the preceding edit summary. It should be: "No need of WP:personal attacks. In wikipedia, the convention for definitions is given in MOS:MATH#DEFSYMBOL and consists of a singel "=" undo
curprev 16:1916:19, 21 April 2023 D.Lazard talk contribs 8,093 bytes −4 Reverted 2 edits by 24.225.99.252 (talk): No need of WP:presonal attacks. In wikipedia, the convention for definitions is given in MOS:DEFSYMBOL. and consists of a singel "=" undo Tags: Twinkle Undo
curprev 07:4007:40, 21 April 2023 24.225.99.252 talk 8,097 bytes +2 STOP BEING PETTY AND REVERTING THE EDIT. The previous version had a triangle equal, which is much less common and than the := which means defined to be equal to. I swapped the triangle equal for the := to make the proof more accesible. stop being petty and changing it to a normal equal, which means something different. you're being petty and HAVE NO GOOD REASON TO REVERT THE EDIT. what is wrong with you!? 1150804279 by D.Lazard (talk) undo Tags: Undo Reverted
curprev 07:3807:38, 21 April 2023 24.225.99.252 talk 8,095 bytes +2 STOP BEING PETTY AND REVERTING THE EDIT. The previous version had a triangle equal, which is much less common and than the := which means defined to be equal to. I swapped the triangle equal for the := to make the proof more accesible. stop being petty and changing it to a normal equal, which means something different. you're being petty and HAVE NO GOOD REASON TO REVERT THE EDIT. what is wrong with you!? 1150805027 by D.Lazard (talk) undo Tags: Undo Reverted

curprev 07:3807:38, 20 April 2023 D.Lazard talk contribs 8,093 bytes −2 Dummy edit: the edit summary of the preceding revert should be "Unexplained and against MOS:MATH#DEFSYMBOL undo Tag: Reverted
curprev 07:3007:30, 20 April 2023 D.Lazard talk contribs 8,095 bytes −2 Reverted 1 edit by 24.225.99.252 (talk): Unexplained and against WP:MATH#DEFSYMBOL undo Tags: Twinkle Undo Reverted
curprev 07:1307:13, 20 April 2023 24.225.99.252 talk 8,097 bytes +2 Undid revision 1150596849 by D.Lazard (talk) undo Tags: Undo Reverted

curprev 00:5800:58, 19 April 2023 D.Lazard talk contribs 8,095 bytes −2 MOS:MATH#DEFSYMBOL undo Tag: Reverted

curprev 22:3722:37, 18 April 2023 24.225.99.252 talk 8,097 bytes −9 →Second proof undo
curprev 22:3622:36, 18 April 2023 24.225.99.252 talk 8,106 bytes −8 →Second proof undo

curprev 12:5712:57, 25 November 2022 Pelagic talk contribs 8,114 bytes +12 Undid revision 1123734830 by 188.30.146.220 (talk) undo Tag: Undo
curprev 10:5910:59, 25 November 2022 188.30.146.220 talk 8,102 bytes −12 No edit summary undo Tag: Reverted

curprev 21:5921:59, 22 November 2022 1234qwer1234qwer4 talk contribs m 8,114 bytes 0 Section heading change: Second Proof → Second proof using a script undo
curprev 21:5921:59, 22 November 2022 1234qwer1234qwer4 talk contribs m 8,114 bytes 0 Section heading change: First Proof → First proof using a script undo

curprev 18:5918:59, 8 August 2022 Joel Brennan talk contribs m 8,114 bytes +255 "left-ideal" -> "left ideal" and added wikilinks undo

curprev 05:5405:54, 19 March 2022 Citation bot talk contribs 7,859 bytes +20 Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles containing proofs | #UCB_Category 108/409 undo

curprev 23:1423:14, 26 July 2021 199.111.224.204 talk 7,839 bytes +1 →Further reading: fixed a horrendous section title from "Further reding" to "Further reading" undo

curprev 08:5108:51, 30 June 2021 2a00:23c4:4e9f:d101:edc2:d7db:91f:d08d talk 7,838 bytes +1 →Formal proofs undo

curprev 15:3315:33, 9 May 2021 Anita5192 talk contribs m 7,837 bytes −18 →Statement: Hilbert doesn't need to be linked twice in the same section. undo
curprev 07:5807:58, 9 May 2021 Carlotm talk contribs 7,855 bytes +33 ref to 'Further reading' | {{reflist|refs}} | from parenthetical referencing (deprecated) to short footnote | -{{Use parenthetical referencing}} | +{{Use shortened footnotes}} undo

curprev 19:4519:45, 1 November 2020 Tarnoob talk contribs 7,822 bytes −5 →References: cat. undo

curprev 08:4308:43, 23 September 2020 D.Lazard talk contribs 7,827 bytes 0 →Formal Proofs: Heading capitalization undo
curprev 07:1307:13, 23 September 2020 Diagramlemma talk contribs m 7,827 bytes +144 Formal Proofs undo Tag: 2017 wikitext editor

curprev 23:4023:40, 7 June 2020 Finnusertop talk contribs m 7,683 bytes +43 →top: {{Use Harvard referencing|date=June 2020}} undo

curprev 09:1509:15, 14 November 2019 D.Lazard talk contribs 7,640 bytes −9 Reverted 1 edit by 106.219.201.95 (talk) (TW) undo Tag: Undo
curprev 08:0208:02, 14 November 2019 106.219.201.95 talk 7,649 bytes +9 →Proof undo Tags: Mobile edit Mobile web edit

curprev 19:5219:52, 28 May 2019 Joel Brennan talk contribs m 7,640 bytes −1 →Second Proof undo
curprev 19:5119:51, 28 May 2019 Joel Brennan talk contribs m 7,641 bytes 0 →Proof undo

curprev 18:5418:54, 3 May 2019 Beland talk contribs 7,641 bytes −21 replace <ins> with bolding undo

curprev 13:1913:19, 11 April 2019 D.Lazard talk contribs 7,662 bytes +61 Adding local short description: "Polynomial rings are Noetherian rings" (Shortdesc helper) undo

curprev 10:5910:59, 16 December 2018 Riccardo1729 talk contribs 7,601 bytes −2 →First Proof undo

24 September 2024

1 September 2024

31 August 2024

15 May 2024

26 April 2024

25 April 2024

24 April 2024

23 April 2024

6 November 2023

6 September 2023

6 June 2023

17 May 2023

21 April 2023

20 April 2023

19 April 2023

18 April 2023

25 November 2022

22 November 2022

8 August 2022

19 March 2022

26 July 2021

30 June 2021

9 May 2021

1 November 2020

23 September 2020

7 June 2020

14 November 2019

28 May 2019

3 May 2019

11 April 2019

16 December 2018