Addition of exponents proof in group theory

  • #1
Mr Davis 97
1,462
44
Just out of curiosity, what would a proof of ##a^m a^n = a^{m+n}## amount to? Of course obviously if you have n of one thing and m of another you get m+n, but I am wondering if this is rigorous enough, or if you need induction.
 

Answers and Replies

  • #2
fresh_42
Mentor
Insights Author
2021 Award
17,249
17,252
Formally you need a prove by induction, because this notation is an abbreviation, or a conclusion from the special to the general (forgotten the formal name). But the essential part is the use of the associative law, which is needed to allow this abbreviation in the first place.
 
  • #3
mathman
Science Advisor
8,065
542
It looks to me that [tex]a^m=a\times a\times a ..... [/tex] (m terms) by definition. So [tex]a^m \times a^n =a^{m+n}[/tex] from the definition. I don't think associative law is needed.
 
  • #4
fresh_42
Mentor
Insights Author
2021 Award
17,249
17,252
It looks to me that [tex]a^m=a\times a\times a ..... [/tex] (m terms) by definition. So [tex]a^m \times a^n =a^{m+n}[/tex] from the definition. I don't think associative law is needed.
##a \cdot a \cdot a## isn't defined without associativity. And what if ##a \cdot b \neq b \cdot a## with ##b=a^2\,##? Of course this doesn't happen in a group, because of associativity. But it cannot be ruled out for an algebra.
 
  • #5
Mr Davis 97
1,462
44
Formally you need a prove by induction, because this notation is an abbreviation, or a conclusion from the special to the general (forgotten the formal name). But the essential part is the use of the associative law, which is needed to allow this abbreviation in the first place.
Okay. Well given that I understand that the associative law will have to be used, how do I in general go about doing an induction when there are two variables m and n instead of just n?
 
  • #6
fresh_42
Mentor
Insights Author
2021 Award
17,249
17,252
You could do a double induction, a nested argument. But as this entire formula comes down, to what ##a^n## actually means, I think it will do to say: Let ##n,m## be arbitrary natural (integer) numbers, then ##a^n## means ... To set up an entire induction is really a bit of over munitioned.
 

Suggested for: Addition of exponents proof in group theory

  • Last Post
Replies
2
Views
477
  • Last Post
Replies
4
Views
544
  • Last Post
2
Replies
42
Views
2K
  • Last Post
Replies
1
Views
428
Replies
6
Views
924
  • Last Post
Replies
3
Views
210
  • Last Post
2
Replies
52
Views
4K
Replies
3
Views
406
  • Last Post
Replies
9
Views
733
  • Last Post
2
Replies
38
Views
981
Top