สำหรับความหมายของการคูณ ผลคูณของจำนวนธรรมชาติ n และ m ใด ๆ

n m := ∑ k = 1 n m {\displaystyle nm:=\sum _{k=1}^{n}m}

กล่าวสั้น ๆ คือ 'บวก m เข้ากับตัวเอง n ตัว' สามารถเขียนได้ในลักษณะนี้เพื่อให้ชัดเจนมากขึ้น

n × m = m + m + m + ... + m

หมายถึงมีจำนวน 'm' n ตัวบวกกันนั่นเอง

• 5 × 2 = 2 + 2 + 2 + 2 + 2 = 10
• 2 × 5 = 5 + 5 = 10
• 4 × 3 = 3 + 3 + 3 + 3 = 12
• 6 × m = m + m + m + m + m + m = 6m

โดยใช้นิยาม เราสามารถพิสูจน์สมบัติของการคูณได้โดยง่ายดาย โดยดูจากสองตัวอย่างข้างต้น เรามีสมบัติว่า จำนวนสองจำนวนที่คูณกันสามารถสลับที่กันได้โดยผลคูณยังคงเดิม เราเรียกสมบัตินี้ว่า สมบัติการสลับที่ และ สมบัตินี้เป็นจริงสำหรับจำนวน x และ y ใด ๆ นั่นคือ

x · y = y · x.

นอกจากนี้ การคูณยังมีสมบัติการเปลี่ยนหมู่อีกด้วย ความหมายสำหรับจำนวน x,y และ z ใด ๆ คือ

(x · y)z = x(y · z).

หมายเหตุจากพีชคณิต: เครื่องหมายวงเล็บ หมายถึง การดำเนินภายในวงเล็บจะต้องกระทำก่อนการดำเนินการภายนอกวงเล็บ

การคูณมีสมบัติการแจกแจง เพราะ

x(y + z) = xy + xz.

มีสิ่งที่น่าสนใจเกี่ยวกับการคูณกับ 1 นั่นคือ

1 · x = x.

เราเรียก 1 ว่า จำนวนเอกลักษณ์

สำหรับเลข 0 เราจะได้

m · 0 = 0 + 0 + 0 +...+ 0

เมื่อเรานำ '0' m ตัวมาบวกกัน ผลลัพธ์ที่ได้ย่อมเป็นศูนย์ นั่นคือ

m · 0 = 0

ไม่ว่า m จะเป็นจำนวนใด (แม้กระทั่งอนันต์).

การคูณกับจำนวนลบอาจจะต้องมีการคิดเล็กน้อย เริ่มจากการคูณ (−1) กับจำนวนเต็ม m ใด ๆ

m(−1) = (−1) + (−1) +...+ (−1) = −m

นี่เป็นความจริงที่น่าสนใจว่า จำนวนลบ คือ จำนวนลบหนึ่ง คูณกับจำนวนบวกนั่นเอง เพราะฉะนั้นผลคูณระหว่างจำนวนบวกกับจำนวนลบทำได้โดยการคูณปกติ แล้วคูณด้วย (−1)

(−1)(−1) = −(−1) = 1

ในขณะนี้ เราสามารถสรุปการคูณระหว่างจำนวนเต็มสองจำนวนใด ๆ ได้แล้ว และนิยามนี้ยังขยายไปสำหรับเซตของเศษส่วน หรือ จำนวนตรรกยะ และขยายไปถึงจำนวนจริงและจำนวนเชิงซ้อน

หลายคนอาจสงสัยถ้าบอกว่า ผลคูณของ'ไร้จำนวน' คือ 1

รูปแบบนิยามเรียกซ้ำของการคูณเป็นไปตามกฎ

x · 0 = 0x · y = x + x·(y − 1)

เมื่อ x เป็นจำนวนจริง และ y เป็นจำนวนธรรมชาติ เมื่อเรากำหนดนิยามของการคูณจำนวนธรรมชาติแล้ว เรายังขยายผลไปถึงจำนวนเต็ม จำนวนจริง และจำนวนเชิงซ้อนได้