95:
85:
64:
930:
vector space dimension. The current setup, as I see, is like there is a dimension article but no vector space article, which is weird. By the way, the reason I suggested a move is also because the current trans.deg article contains quite a bit of materials on trans. extensions; e.g., purely transcendental extension. Such materials would feel more natural and can develop better if the article is named a trans extension (e.g., having a section on purely trans. extensions). —-
33:
661:
1000:
This analogy doesn’t quite work since the zero-dimensional vec sp is trivial; there is nothing to study, while a field ext of trans degree zero (i.e., an alg field extension) is not trivial; there are a lot of stuff on them (e.g., Galois theory). Hence, the right analogy should be a vec space <-:
970:
The notion of transcendence degree (over the prime field) is also used as a dimension notion of a field itself, for instance in algebraic model theory. Therefore I think covering it separately from the notion of an algebraic/transcendental field extension is useful and would support it remaining at
929:
Of course, the transcendence degree is an invariant of a field extension. But the only interesting case is when the extension is transcendental. The same for transcendence basis. So, I think we can regard them as subtopics of transcendental extensions. For analogies, a trans.deg is an analog of a
406:
is a short, new article that defines the notation trdeg and states a theorem relating the geometric idea of transcendence degree with the algebraic one. I don't think this is specifically in this article already, but the last paragraph is certainly along the same lines. Trdeg is just a stub and
816:
does not discuss a transcendental extension (since the latter is not algebraic). There are many things unique to transcendental extensions such as transcendence degree. So, it does make sense to have an article on the topic. Understanding algebraic extensions is not equivalent to understanding
1053:. It is only after the move that the target of could be reasonably discussed. Personally, I am in favor to not change the redirect left by the move, since “transcendence degree zero extension” is rarely used, as people prefer to use “algebraic extension”.
985:
Regarding the analogy with vector spaces further, we do have an article on field extensions, so to me not having an article on transcendental extensions is more like not having an article specifically on vector spaces of positive dimension.
1100:
is a theorem on subextensions of a purely transcendental extension of degree one. Much work has been devoted for extending this theorem to transcendence degree two. These are example of content that must be added to an article
231:
theory we have the "Basis exchange axiom" - which is the
Austauschlemma of the previous writer. Matroid theory takes this Lemma as an axiom and builds on that. Perhaps a link to "Algebraic matroids" is in place here.
181:"The proof that any two bases have the same cardinality depends, in each setting, on an exchange lemma." What is an "exchange lemma"? I'm unable to find other uses of this phrase - nonstandard terminology, perhaps?
204:
I suppose it is an (incorrect?) translation of the German "Austauschlemma" ("Given a basis and an element v (not 0) of a vector space, one can replace one of the basis elements by v to get a new basis" -- see
1072:, per my above comment and per the following. There a rich theory of transcendental extensions that is far to be reduced to “a transcendental equation is a non-algebraic extension”. The concepts of
422:
I merged them, it seemed rather pointless having a separate article. It'd be like having an article "Det" to describe the notation for determinants as well as the article on determinants itself.
903:
where all Y's have X but a non-trivial X iff the Y is not Z. It seems weirder to me than the current situation. I apologize for resorting to bad analogies, running out of coherent arguments.) —
790:
so perhaps transcendental extension should not get its own article. The current title in some sense reminds us to avoid this overlap. (It seems that only itwiki has a standalone article for
151:
673:
1182:
141:
1177:
683:
184:
747:
is currently a redirect while we have an article on a trans degree. This seems weird to me. So I suggest we move this article to move/override a
1150:
952:
117:
561:
311:}. That and the transitivity of algebraic dependence are all you need for the theorem about transcendence degree mentioned in the article.
709:
Subsequent comments should be made in a new section on the talk page. Editors desiring to contest the closing decision should consider a
210:
188:
669:
653:
372:
1146:
1093:
876:
108:
69:
1077:
407:
needs language cleanup and references; I think this article could use a reference but most abstract algebra texts should work.
1045:
is clearly an excellent starting point, and this fully justifies the move request. If the move is performed, it will leave
1164:
Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.
44:
680:
700:
565:
337:
The section also says "The dictionary matches algebraically independent sets with linearly independent sets;" á›
1102:
1050:
1030:
1026:
872:
864:
849:
836:
832:
748:
744:
740:
32:
1097:
896:
880:
214:
192:
541:
is the identity. Now it follows for instance from Galois theory that there are exactly two endomorphisms of
173:
It wpuld be nice to have a comment on the relation between transcendence degree and vector space dimension
1007:
935:
822:
756:
677:
376:
710:
665:
412:
50:
94:
1046:
1042:
1034:
860:
845:
736:
676:
until a consensus is reached, and readers of this page are welcome to contribute to the discussion.
557:
1025:. There are two different implicit questions in the above discussion: (1) Should we have an article
1085:
1073:
817:
transcendental extensions, just as understanding peace is not equivalent to understanding wars. —-
813:
783:
641:
342:
233:
713:
after discussing it on the closer's talk page. No further edits should be made to this discussion.
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1110:
1081:
1058:
991:
976:
960:
771:
427:
316:
237:
100:
84:
63:
1003:
931:
908:
892:
818:
799:
787:
752:
900:
206:
1132:
888:
408:
1038:
868:
853:
841:
726:
17:
637:
368:
338:
1171:
1106:
1089:
1054:
987:
972:
956:
767:
423:
312:
1154:
1137:
1122:
per those above. The current title sounds like an academic degree in transcendence.
1114:
1092:. In particular, the transcendence degree is used for one of the definitions of the
1062:
1011:
995:
980:
964:
939:
912:
826:
803:
775:
730:
686:
645:
569:
431:
416:
380:
346:
320:
241:
218:
196:
904:
879:
more closely related to trdeg. Regarding "subtopic", I feel that to cover trdeg in
795:
782:
A transcendental extension is just one that is not algebraic, and we already have
457:
The reason is as follows: The complex numbers form a normal field extension over
1123:
628:) which extends to a non-surjective field homomorphism of the algebraic closure
113:
722:
209:). But I don't know of a corresponding theorem for the transcendence degree.--
90:
454:
has only two field endomorphisms: the identity and the complex conjugation.
786:. I think this is much like the "flammable" and "non-flammable" example in
537:
is monotone. But any function on the reals that is monotone and preserves
674:
Knowledge:Redirects for discussion/Log/2022 June 10#Purely transcendental
791:
660:
884:
228:
1080:
are specific to this theory. Transcendental extensions have a role in
835:, another problem is that transcendence degree is not a subtopic of
403:
396:
501:
is a positive real number, i.e. the square of some non-zero real
664:
An editor has identified a potential problem with the redirect
254:
Milne has a lemma he calls the
Exchange Property that says if
26:
751:
and rewrite it so it discusses such an extension in general.
794:, though of course this does not forbid us to have one.) —
863:" I have in mind to justify keeping trdeg separate from
576:
The above paragraph is indeed incorrect. It's true that
612:, we can construct a non-surjective field homomorphism
584:, but this does not imply that every endomorphism of
112:, a collaborative effort to improve the coverage of
438:
Non-surjective endomorphisms of the complex numbers
442:It is not true that there are proper subfields of
852:. And since we are not discussing a merger to
450:itself. It is actually a well known fact that
8:
831:Putting aside whether we need a standalone
30:
699:The following is a closed discussion of a
509:is a square of a non-zero real number, so
58:
552:Please remove my post, it's incorrect.
60:
1033:becomes a stand-alone article, should
955:has been notified of this discussion.
848:should not be turned to a redirect to
7:
1084:that can be compared to the role of
1037:be a redirect to this article or to
718:The result of the move request was:
469:. However, the only endomorphism of
106:This article is within the scope of
592:. By picking a transcendence basis
49:It is of interest to the following
652:"Purely transcendental" listed at
25:
1183:Low-priority mathematics articles
1094:dimension of an algebraic variety
1041:? If the answer to (1) is “yes”,
877:dimension of an algebraic variety
126:Knowledge:WikiProject Mathematics
1178:Start-Class mathematics articles
1160:The discussion above is closed.
672:. This discussion will occur at
659:
588:restricts to an endomorphism of
465:restricts to an endomorphism of
129:Template:WikiProject Mathematics
93:
83:
62:
31:
1078:purely transcendental extension
604:and a non-surjective injection
518:for any two real numbers, i.e.
293:is algebraically dependent on {
258:is algebraically dependent on {
146:This article has been rated as
856:, the article could stay here.
840:0), but instead a subtopic of
1:
759:) 06:06, 18 March 2023 (UTC)
646:23:35, 12 February 2023 (UTC)
417:14:30, 21 November 2007 (UTC)
120:and see a list of open tasks.
1147:The person who loves reading
1002:a trans field extension. —-
692:Requested move 18 March 2023
513:is positive as well, and if
473:is the identity. Indeed, if
381:19:26, 23 October 2020 (UTC)
321:17:56, 29 August 2008 (UTC)
1199:
1115:10:51, 25 March 2023 (UTC)
1063:10:51, 25 March 2023 (UTC)
1012:10:20, 25 March 2023 (UTC)
996:09:38, 25 March 2023 (UTC)
981:09:37, 25 March 2023 (UTC)
965:09:11, 25 March 2023 (UTC)
940:06:44, 19 March 2023 (UTC)
913:23:05, 18 March 2023 (UTC)
889:non-(prime-or-unit) number
844:(trdeg ≥ 0), so the title
827:18:21, 18 March 2023 (UTC)
804:18:04, 18 March 2023 (UTC)
776:09:10, 25 March 2023 (UTC)
545:extending the identity on
525:f(x) - f(y) = f(x-y) : -->
367:It is currently linked to
1155:14:58, 4 April 2023 (UTC)
1138:00:12, 3 April 2023 (UTC)
731:18:15, 4 April 2023 (UTC)
687:10:46, 10 June 2022 (UTC)
570:13:56, 27 July 2011 (UTC)
461:, so any endomorphism of
432:20:18, 10 July 2008 (UTC)
242:10:00, 30 June 2008 (UTC)
145:
78:
57:
18:Talk:Transcendence degree
1162:Please do not modify it.
1103:Transcendental extension
1051:Transcendental extension
1031:Transcendental extension
1027:Transcendental extension
883:is the same as covering
873:dimension (vector space)
865:transcendental extension
850:transcendental extension
837:transcendental extension
833:transcendental extension
749:transcendental extension
745:transcendental extension
741:Transcendental extension
706:Please do not modify it.
654:Redirects for discussion
347:19:56, 24 May 2011 (UTC)
219:19:33, 18 May 2008 (UTC)
197:14:23, 13 May 2007 (UTC)
152:project's priority scale
953:WikiProject Mathematics
897:non-PID Dedekind domain
881:non-algebraic extension
812:No, that doesn’t work:
668:and has thus listed it
489:is the identity, since
109:WikiProject Mathematics
507:f(x) = f(a^2) = f(a)^2
493:is the prime field of
477:is an endomorphism of
39:This article is rated
666:Purely transcendental
207:de:Basis (Vektorraum)
187:comment was added by
1086:algebraic extensions
1047:Transcendence degree
1043:Transcendence degree
1035:Transcendence degree
846:transcendence degree
737:Transcendence degree
132:mathematics articles
1074:transcendence basis
971:its current title.
814:algebraic extension
784:algebraic extension
1082:algebraic geometry
497:. Furthermore, if
101:Mathematics portal
45:content assessment
1049:as a redirect to
967:
893:ideal class group
778:
560:comment added by
399:into this article
200:
166:
165:
162:
161:
158:
157:
16:(Redirected from
1190:
1130:
1098:Lüroth’s theorem
1070:Strongly support
950:
760:
708:
663:
572:
182:
177:"Exchange lemma"
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
36:
35:
27:
21:
1198:
1197:
1193:
1192:
1191:
1189:
1188:
1187:
1168:
1167:
1166:
1165:
1124:
1039:Field extension
869:field extension
854:field extension
842:field extension
704:
694:
657:
580:is normal over
562:129.132.146.160
555:
440:
401:
306:
299:
292:
285:
278:
271:
264:
183:—The preceding
179:
171:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
23:
22:
15:
12:
11:
5:
1196:
1194:
1186:
1185:
1180:
1170:
1169:
1159:
1158:
1157:
1140:
1117:
1067:
1065:
1019:
1018:
1017:
1016:
1015:
1014:
968:
948:
947:
946:
945:
944:
943:
942:
920:
919:
918:
917:
916:
915:
857:
807:
806:
734:
716:
715:
701:requested move
695:
693:
690:
670:for discussion
656:
650:
649:
648:
485:restricted to
446:isomorphic to
439:
436:
435:
434:
400:
393:
392:
391:
390:
389:
388:
387:
386:
385:
384:
383:
369:exchange lemma
356:
355:
354:
353:
352:
351:
350:
349:
328:
327:
326:
325:
324:
323:
304:
297:
290:
283:
276:
272:} but not on {
269:
262:
247:
246:
245:
244:
222:
221:
178:
175:
170:
167:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
37:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1195:
1184:
1181:
1179:
1176:
1175:
1173:
1163:
1156:
1152:
1148:
1144:
1141:
1139:
1136:
1135:
1131:
1129:
1128:
1121:
1118:
1116:
1112:
1108:
1104:
1099:
1095:
1091:
1090:number theory
1087:
1083:
1079:
1075:
1071:
1068:
1066:
1064:
1060:
1056:
1052:
1048:
1044:
1040:
1036:
1032:
1028:
1024:
1021:
1020:
1013:
1009:
1005:
999:
998:
997:
993:
989:
984:
983:
982:
978:
974:
969:
966:
962:
958:
954:
949:
941:
937:
933:
928:
927:
926:
925:
924:
923:
922:
921:
914:
910:
906:
902:
898:
894:
890:
886:
882:
878:
874:
870:
866:
862:
861:WP:OTHERSTUFF
858:
855:
851:
847:
843:
838:
834:
830:
829:
828:
824:
820:
815:
811:
810:
809:
808:
805:
801:
797:
793:
789:
785:
781:
780:
779:
777:
773:
769:
766:
765:
758:
754:
750:
746:
742:
738:
733:
732:
728:
724:
721:
714:
712:
707:
702:
697:
696:
691:
689:
688:
685:
682:
679:
675:
671:
667:
662:
655:
651:
647:
643:
639:
635:
631:
627:
623:
619:
615:
611:
607:
603:
599:
595:
591:
587:
583:
579:
575:
574:
573:
571:
567:
563:
559:
553:
550:
548:
544:
540:
536:
532:
527:
522:
517:
512:
508:
504:
500:
496:
492:
488:
484:
480:
476:
472:
468:
464:
460:
455:
453:
449:
445:
437:
433:
429:
425:
421:
420:
419:
418:
414:
410:
405:
398:
394:
382:
378:
374:
370:
366:
365:
364:
363:
362:
361:
360:
359:
358:
357:
348:
344:
340:
336:
335:
334:
333:
332:
331:
330:
329:
322:
318:
314:
310:
303:
296:
289:
282:
275:
268:
261:
257:
253:
252:
251:
250:
249:
248:
243:
239:
235:
230:
226:
225:
224:
223:
220:
216:
212:
211:129.70.15.202
208:
203:
202:
201:
198:
194:
190:
189:70.48.179.234
186:
176:
174:
168:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
34:
29:
28:
19:
1161:
1142:
1133:
1126:
1125:
1119:
1069:
1022:
899:or any X in
839:(trdeg : -->
763:
762:
735:
719:
717:
705:
698:
658:
633:
629:
625:
621:
617:
613:
609:
605:
601:
597:
593:
589:
585:
581:
577:
556:— Preceding
554:
551:
546:
542:
538:
534:
529:
524:
519:
514:
510:
506:
502:
498:
494:
490:
486:
482:
478:
474:
470:
466:
462:
458:
456:
451:
447:
443:
441:
402:
373:67.198.37.16
308:
301:
294:
287:
280:
273:
266:
259:
255:
180:
172:
148:Low-priority
147:
107:
73:Low‑priority
51:WikiProjects
743:– The link
711:move review
520:x - y : -->
409:JackSchmidt
123:Mathematics
114:mathematics
70:Mathematics
41:Start-class
1172:Categories
792:d:Q3733413
788:WP:OVERLAP
764:Relisting.
530:f(x) : -->
1145:per nom.
1029:? (2) If
638:AxelBoldt
339:LokiClock
1107:D.Lazard
1055:D.Lazard
988:Felix QW
973:Felix QW
957:Favonian
768:Favonian
681:1234qwer
678:1234qwer
558:unsigned
424:Chenxlee
313:Chenxlee
234:Wandrer2
185:unsigned
169:Untitled
1143:Support
1120:Support
1023:Comment
905:HTinC23
901:non-Z Y
885:divisor
796:HTinC23
620:)-: -->
528:, i.e.
523:, then
515:x : -->
505:, then
481:, then
286:} then
229:matroid
150:on the
1127:BD2412
951:Note:
859:(The "
720:MOVED.
632:-: -->
608:-: -->
395:Merge
47:scale.
875:, or
723:Hadal
533:. So
404:Trdeg
397:trdeg
300:,...,
279:,...,
265:,...,
1151:talk
1111:talk
1076:and
1059:talk
1008:talk
1004:Taku
992:talk
977:talk
961:talk
936:talk
932:Taku
909:talk
823:talk
819:Taku
800:talk
772:talk
757:talk
753:Taku
727:talk
642:talk
566:talk
531:f(y)
511:f(x)
428:talk
413:talk
377:talk
343:talk
317:talk
238:talk
215:talk
193:talk
1088:in
1001:-->
895:in
891:or
887:in
871:is
867:or
596:of
305:m-1
284:m-1
227:In
142:Low
1174::
1153:)
1113:)
1105:.
1096:.
1061:)
1010:)
994:)
979:)
963:)
938:)
911:)
825:)
802:)
774:)
761:—
739:→
729:)
703:.
644:)
636:.
568:)
549:.
430:)
415:)
379:)
371:.
345:)
319:)
240:)
217:)
195:)
1149:(
1134:T
1109:(
1057:(
1006:(
990:(
975:(
959:(
934:(
907:(
821:(
798:(
770:(
755:(
725:(
684:4
640:(
634:C
630:C
626:S
624:(
622:Q
618:S
616:(
614:Q
610:S
606:S
602:Q
600:/
598:C
594:S
590:R
586:C
582:R
578:C
564:(
547:R
543:C
539:Q
535:f
526:0
521:0
516:y
503:a
499:x
495:R
491:Q
487:Q
483:f
479:R
475:f
471:R
467:R
463:C
459:R
452:C
448:C
444:C
426:(
411:(
375:(
341:(
315:(
309:β
307:,
302:α
298:1
295:α
291:m
288:α
281:α
277:1
274:α
270:m
267:α
263:1
260:α
256:β
236:(
213:(
199:.
191:(
154:.
53::
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.