Talk:Complex Conjugation is Automorphism

I'd like to shorten this proof by linking to Sum of Complex Conjugates and Product of Complex Conjugates, but I'm not sure if there are any rules of PW that prohibit me to do so. (E.g. perhaps because the content of what's in the reference would then be partly moved to another article, in a sense.) --barto (talk) 12:51, 28 January 2017 (EST)


 * Yes I see where you're coming from. The option I have used in the past is to have 2 proofs: the expanded version as one of them, and the condensed version using the prebuilt pages. The thinking behind this is that you then have 2 choices for understanding: the fully expanded version if you are more interested in seeing how it works, and the compact version for when you are more interested in seeing how the proofs depend one upon another.


 * In this case I suppose there is no real need to show the full expanded version. I have checked my Adamson, and it just states the result "complex conjugation is am automorphism" so there is no reason at all not to do as you suggest. Feel free to go ahead. --prime mover (talk) 15:23, 28 January 2017 (EST)


 * Done. --barto (talk) 16:00, 28 January 2017 (EST)