Talk:B-Algebra is Left Cancellable

From ProofWiki
Jump to navigation Jump to search

Presumably the original "B-Algebra is Right Cancellable" page can be completely deleted, rather than just its talk page? --prime mover 07:38, 20 July 2012 (UTC)

No worries, I worked out what happened by dint of exploring. Sorted. --prime mover 07:46, 20 July 2012 (UTC)
Note the current ambiguity as to whether or not the titles of theorems should be decorated with TeX. What are we going to choose? Style or not? --Lord_Farin 19:25, 23 July 2012 (UTC)
Definitely not in the page name itself, it screws up the dictionary. As to whether to add a "display" version of its citation, yes, I suppose we ought to do $0$ in $B$-Algebra is Left Cancellable Element etc. This keeps it consistent with the various separation axioms in Topology etc., where this is done rigorously. --prime mover 19:30, 23 July 2012 (UTC)

I hope it was obvious I meant only the latter. Good, I'll update instances I encounter. --Lord_Farin 19:31, 23 July 2012 (UTC)

Having said that, I don't like $0$ as the label of the "zero" element (which is not a zero element, it's a right identity) but what to label it I don't know. --prime mover 19:32, 23 July 2012 (UTC)
Typographic amendments like $0_B$ could be contemplated, but I suspect you seek something like 'Zero (B-Algebra)' instead; I expect that it will be hard to come up with a better name covering that it is only a right identity. Probably this is one of the reasons why it is called 'Zero' in the first place. --Lord_Farin 19:36, 23 July 2012 (UTC)