Để tìm số tự nhiên \( M = ab \) với điều kiện \( a, b \) đều là ước của \( M \), ta có thể phân tích như sau:

1. **Định nghĩa**: Khi \( M = ab \), ta cần xác định rằng cả \( a \) và \( b \) đều là các số mà khi chia \( M \) sẽ không dư, tức là \( M \mod a = 0 \) và \( M \mod b = 0 \).

2. **Phân tích**:
- Ta có \( M = ab \).
- Như vậy, \( M \) luôn có \( a \) và \( b \) là ước của nó, vì bất kỳ số nào nhân với chính nó sẽ cho ra một số mà chính nó là ước của nó.

3. **Dạng tổng quát**:
- Thực tế, với mỗi cặp \( (a, b) \) sao cho \( a, b \) là các ước của \( ab \), nhiều cặp giá trị có thể thỏa mãn \( M \).
- Các ước của \( M \) sẽ là tất cả các tổ hợp bội số của \( a \) và \( b \).

4. **Kết luận**:
- Ví dụ, nếu \( a = 1 \) và \( b = 1 \), thì \( M = 1 \).
- Nếu \( a = 2 \) và \( b = 3 \), thì \( M = 6 \), với các ước là \( 1, 2, 3, 6 \).
- Tiếp tục với các cặp khác có thể cho ra nhiều giá trị khác cho \( M \).

Vậy giá trị của \( M \) phụ thuộc vào giá trị cụ thể của \( a \) và \( b \), và có thể xây dựng từ các giá trị cụ thể này. Tóm lại, ta có thể chọn tùy ý \( a \) và \( b \) để tìm \( M \) sao cho \( a \) và \( b \) là ước của \( M \).