Bezout identity corollary generalization

  • Thread starter Thread starter davon806
  • Start date Start date
  • Tags Tags
    Identity
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
Sign up Log in
1 reply · 1K views
davon806
Messages
147
Reaction score
1
OP warned about not including an attempt at a solution

Homework Statement


Hi,
I have been trying to prove one of the corollaries of the Bezout's Identity in the general form.Unfortunately,I can't figure it out by myself.I hope someone could solve the problem.

If A1,...,Ar are all factors of m and (Ai,Aj) = 1 for all i =/= j,then A1A2...Ar is a factor of m

The writer is asking for a proof using MI on the number of pairs (and associativity to write a product of several intergers as a product of 2 integers, e.g. abcd = (abc)d.However,I am welcome to any different ways of approach.

Homework Equations



Bezout's identity

ax + by = 1

The Attempt at a Solution


I really have no idea on this,and my work was a mess,so I am not going to post it.
 

Discussion

Physics news on Phys.org
What have you already tried and where did it break down?

I would start by assuming you only have A1.
m/A1 = X1.
If there is a factor of X1, call it A2, that has the property (A1, A2) = 1, then x*A2=X1, so A1*A2*x = A1*X1 = m.
Build from there.

If at any point your X becomes 1, you have a full set of factors.