The discussion revolves around the proof of the exponent law in group theory, specifically the equation ##x^a x^b = x^{a+b}##. Participants explore whether an induction argument is necessary for this proof or if a more intuitive approach suffices. The scope includes theoretical reasoning and mathematical justification.
Participants do not reach a consensus on whether an induction argument is necessary. There are competing views on the sufficiency of intuitive reasoning versus formal proof methods.
The discussion highlights the dependence on the definitions of exponentiation in group theory and the assumptions regarding the nature of the integers involved (a and b). The necessity of the associative property is also noted as a critical aspect of the argument.
So the details are absolutely necessary?ShayanJ said:That's the same as the induction argument, only without the details.
Mr Davis 97 said:The textbook proves that ##x^a x^b = x^{a+b}##
Can't we just look at the LHS and note that there are a ##a## x's multiplied by ##b## x's, so there must be ##a+b## x's?
No, not really, because it's "obvious" in this case. But if you want to be very picky, you have to avoid the "dots" and replace them by an induction argument. Additionally the associative property is required to justify the notation ##x^a## at all. So the answer is: it depends on how explicit you want to be.Mr Davis 97 said:So the details are absolutely necessary?
Are a,b positive integers?Mr Davis 97 said:The textbook proves that ##x^a x^b = x^{a+b}## by an induction argument on b. However, is an induction argument really necessary here? Can't we just look at the LHS and note that there are a ##a## x's multiplied by ##b## x's, so there must be ##a+b## x's?