# If $frac{a}{b}$ is irreducible, then the quotient of the product of any $2$ factors of $a$ and any $2$ factors of $b$ are irreducible.

Mathematics Asked by Simplex1 on October 15, 2020

$$a,bin mathbb{Z}$$

Factors of $$a$$: $$a_1,a_2,…,a_n$$.

Factors of $$b$$: $$b_1,b_2,…,b_m$$

Prove that if $$frac{a}{b}$$ is irreducible, then
$$frac{a_ia_j}{b_kb_l}$$ is irreducible for all $$i,j,k,l$$.

I proved the case where $$i=j, k=l$$ using the fact that the square root of any non-perfect square is irrational.

I can’t prove the more general case though.

EDIT: not just prime factors, just all the integer factors. E.g. 12: 1,2,3,4,6,12

Alternative approach : proof by contradiction.

Suppose that $$frac{a_i a_j}{b_k b_l}$$ is not irreducible.
Then $$exists ;$$ prime $$;p ;ni p|(a_i times a_j)$$ and $$p|(b_k times b_l) Rightarrow$$
$$p|a$$ and $$p|b Rightarrow frac{a}{b}$$ is not irreducible.

Correct answer by user2661923 on October 15, 2020

If $$frac{a_ia_j}{b_kb_l}$$ were reducible then there would exist a prime number $$pinmathbb{N}$$ such that

$$a_ia_j=pcdotalpha;$$,

$$b_kb_l=pcdotbeta;$$.

So the prime number $$p$$ would be a factor of $$a_i$$ or $$a_j$$ and it would also be a factor of $$b_k$$ or $$b_l$$.

Consequently $$p$$ would be a factor of $$a$$ and a factor of $$b$$ too.

For this reason the fraction $$frac{a}{b}$$ would not be irreducible and it is a contradiction.

So it is impossible that $$frac{a_ia_j}{b_kb_l}$$ is reducible and it means that $$frac{a_ia_j}{b_kb_l}$$ is irreducible.

Answered by Angelo on October 15, 2020

If a prime number $$p$$ divides both $$a_i a_j$$ and $$b_k b_l$$, then it divides $$a_i$$ or $$a_j$$ hence $$a$$, and it also divides $$b_k$$ or $$b_l$$ hence $$b$$. This is impossible hence there is no such prime number and $$frac{a_i a_j}{b_k b_l}$$ is irreductible.

Answered by Gribouillis on October 15, 2020

## Related Questions

### Fourier expansions of Eisenstein series as a Poincare series for the Fuchsian group

1  Asked on January 7, 2022 by lww

### Is eigenvalue multiplied by constant also an eigenvalue?

1  Asked on January 7, 2022 by ruby-cho

### Can someone explain the proof of the following linear differential equation

3  Asked on January 7, 2022 by lucas-g

### Matroid induced by a matrix where a circuit’s nullspace is spanned by a non-negative vector

1  Asked on January 7, 2022 by kaba

### Area between parabola and a line that don’t intersect? 0 or infinity

1  Asked on January 5, 2022

### Positive integer solutions to $frac{1}{a} + frac{1}{b} = frac{c}{d}$

3  Asked on January 5, 2022

### Are all complex functions onto?

4  Asked on January 5, 2022 by truth-seek

### Proving Euler’s Totient Theorem

3  Asked on January 5, 2022

### Why is identity map on a separable Hilbert space not compact? False proof.

1  Asked on January 5, 2022

### Finding a general way to construct least degree polynomial having rational coefficient having irrational roots

1  Asked on January 5, 2022

### Checking the MLE is consistent or not in $mathcal{N}(theta,tautheta)$.

1  Asked on January 5, 2022 by confuse_d

### Conditions on inequalities $a>b$ and $b<c$ to deduce $a<c.$

3  Asked on January 5, 2022

### Are $mathbb{C}-mathbb{R}$ imaginary numbers?

2  Asked on January 5, 2022 by unreal-engine-5-coming-soon

### Show that $|uv^T-wz^T|_F^2le |u-w|_2^2+|v-z|_2^2$

3  Asked on January 5, 2022

### Let $f,g$ be holomorphic function in $mathbb{D}$ that are continuous in $overline{mathbb{D}}$. Show that if $f=g$ on $|z|=1$, then $f=g$

1  Asked on January 5, 2022

### What is the Fourier transform of the bump function $e^{-frac{1}{1-|x|^2}}$?

0  Asked on January 5, 2022 by medo

### What is the valus of this integral?

0  Asked on January 5, 2022 by bachamohamed

### Why are the limits of integration set as they are for the Laplace Transform?

1  Asked on January 5, 2022 by jonathan-x

### Finding the local extrema of $f(x, y) = sin(x) + sin(y) + sin(x+y)$ on the domain $(0, 2 pi) times (0, 2 pi)$

2  Asked on January 5, 2022

### Sum $sum_{(k_1, k_2, k_3): k_1+k_2+k_3=K, ,, n_1+n_2+n_3=N}k_1^{n_1}times k_2^{n_2} times k_3^{n_3}$

0  Asked on January 5, 2022