Tricks to Prove Union of Two Subgroups iff One is Contained in the Other - Fraleigh p. 54 - based on Exercise 5.4.5

Not a duplicate because I'm asking about tricks and the blueprint for the proof based on this.

Let $H, K \le G$. Prove $H \cup K$ is a subgroup $\iff H \subseteq K$ or $K \subseteq H$.
Backward step: If one of the subgroups is already inside the other subgroup, their union will be the bigger subgroup. This is still a subgroup. In no other situation can a union be a subgroup.

(3.) Why "in no other situation can a union be a subgroup"?

Forward step: This step premises $H \cup K$ is a subgroup. For a proof by contradiction, presuppose $\neg \, (H \subseteq K$ or $K \subseteq H) \equiv H \require{cancel}\cancel{\subseteq} K$ and $K \not \subseteq H$.
$H \not \subseteq K \implies$ There exists $\color{magenta}{h \in H}$ such that $h \notin K$.
$K \not \subseteq H \implies$ There exists $\color{magenta}{k \in K}$ such that $k \notin H$.
Hence $\color{magenta}{h*k \in H \cup K}$. * is the binary operation in $G$. I'll omit it.

Possibility 1 is $h*k \in H$. $H$ is a subgroup. Hence $\color{darkcyan}{h^{-1}} \in H \implies \color{darkcyan}{h^{-1}}hk \in H.$ Contradiction.

Possibility 2 is $h*k \in K$. $K$ is a subgroup. Hence $\color{purple}{k^{-1}} \in K \implies hk\color{purple}{k^{-1}} \in H.$ Contradiction

(1.) How do you predestine,preordain a union of two subgroups isn't always a subgroup, before finding http://math.stackexchange.com/a/253400?

(2.) For the forward step, how do you predestine, preordain to prove by contradiction?

(4.) For the forward step, how do you predestine, preordain the tricks to multiply $\color{magenta}{h*k}$ by the inverses to induce the contradictions?

• Why not just use the word: "predict" or "suspect" or "foretell" or "intuit"? Why create a new and overly awkward term "prognosticate"? Prognosis is a noun; no need to "verbify" a noun. And any way, proof strategy and intuition is not about predicting the course of a disease! – Namaste Dec 25 '13 at 15:46
• Perhaps "anticipate" would work well. Although prognosticate is a perfectly good English word, known usage dating to the 15th century, it is commonly applied to fortunetelling, not mathematics. – hardmath Dec 25 '13 at 15:55
• I like "anticipate", @hardmath! Good alternative! I also stand corrected about "creating a new term"... – Namaste Dec 25 '13 at 16:10
• @CameronBuie Thanks. Can I keep the color please? It helps me to compare things. I added back your edits. – Group Theory Dec 25 '13 at 17:02
• Use of color can be quite useful in keeping track of particular terms in complicated expressions, but it can be quite problematic, so is recommended against for simple expressions like yours, especially when you don't use it consistently or for any apparent purpose. I will leave the colors. You should probably remove them, though. As for $*$, you only used it to say $h*k,$ and nowhere else. (Why didn't you say $h*k*k^{-1},$ for example?) I removed it to make your post simpler and consistent (so, better). – Cameron Buie Dec 25 '13 at 17:35

Please correct me if I am wrong, but as far as I can tell, you are a beginning abstract algebra student. To me, many of your prognostication questions amount to "why wasn't it immediately obvious to me to notice things that took hundreds of years and work by really smart mathematicians to build up?" I'm just an undegrad studying math, but one thing that has been consistently true throughout my mathematical education is that patience is essential.

Yes, a lot of the proof methods you will see in algebra are very clever. That's because most of the proofs you are reading have been around for a very long time, and a lot of very accomplished mathematicians have had a chance to comb over them and tighten them into very neat and efficient proofs. This has benefits and drawbacks from a pedagogical standpoint; in a sense, while the proof is likely much more readable, it has the look and feel of being pulled out of thin air. It seems to me that this is what you are struggling with.

To that end, I think two things will help you. One is, as I mentioned above, patience. In all but rare circumstances, you will start to understand and anticipate these kinds of proofs much more rapidly the more problems you do and the more mathematics you read. There is simply no rushing this. It's a matter of familiarity. If you keep doing lots of examples, I can assure you, the key insights in a lot of these problems will demystify a bit - in part because because you've seen them before, and in part because your intuition and ingenuity will have begun to develop.

The other is that when you are reading a proof, take a moment to read the statement. Try proving the proposition in question yourself first. One big thing I (and many others) advocate for is to do sample computations to verify that the statement you're trying to prove is true. This is great because in doing sample computations, you often get a really good sense of what you might need to do to prove something is true in general, but you can get your hands on something concrete. If you can't prove something, read a few lines of the proof. Once you see where it is going, try to finish the proof yourself. Repeat as necessary. I think this will certainly help in making proofs seem a bit more motivated.

2&4. Proof by contradiction has nothing to do with negativity. It is a general method of proof, and there is no real pattern (as far as I can tell) for when one should use it. Things like proof by contradiction, proof by contrapositive, etc. are ways of looking at logically equivalent formulations of statements that may be easier to prove. Sometimes knowing the best way to prove something is trial and error. If proving something directly seems really hard, proving something by contradiction may make things substantially easier, and therefore be the way to go. It's a matter of saying, "Hmm, suppose this weren't true. Does anything weird happen from that?" In this case, we can see that if our statement isn't true, we can use multiplication by $hk$ or $kh$ to show something weird happens.