Talk:Degree of Field Extensions is Multiplicative

From ProofWiki
Jump to navigation Jump to search

Rename suggestion

Since this already has several conventional "names", i.e. "Degree Equation", "Tower Law", "Tower Rule", I would be reluctant to replace that with a descriptive title -- our house convention tends towards using the name rather than the descriptive title.
However, since the description is arguably more useful than the name (if you don't know what its "name" is, you're in difficulties) we can do this using a redirect.
But do we redirect "Degree of Field Extensions is Multiplicative" to this, or do we do it the other way round? Your thoughts? --prime mover (talk) 07:59, 19 March 2017 (EDT)
I see. Generally, I'm also in favor of shorter titles and named theorems, but this one seems a bit obscure to me. In the future, when ProofWiki will have more material, it could be confused with other theorems, such as e.g. the Genus-Degree Formula. I personally prefer Degree of Field Extensions is Multiplicative. Degree Equation for Field Extensions is possible, but again a bit obfuscated and maybe by few known under that name. --barto (talk) 09:05, 19 March 2017 (EDT)
Right okay, I've gone back to my own source work that I have on this subject and it does not use any of the names given here. The person who named this in the first place is no longer active here, and did not provide a source work giving a name. I seem to have been the one to refer to the "Tower Law" and "Tower Rule" but I have no record of where I got this from (hadn't been citing sources in those days) -- so the point is unimportant.
Please feel free to rename as you like, and we can leave redirects in place for the names. Also probably best to add the name "Degree Equation" into the Also known as section to keep this info in place. --prime mover (talk) 10:12, 19 March 2017 (EDT)