PropositionStatement: AI-adaptedProof: AI-generatedprecheck passaudited 2026-08-02

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

For every $n \in N$ , the congruence-class group $(Z / n, +)$ is the quotient group $(Z, +) / n Z$

Statement

For every $n \in N$ , view $n$ as its canonical nonnegative integer and put $n Z : = {n k : k \in Z}$ . Then the left cosets of $n Z$ in $(Z, +)$ are exactly the congruence classes modulo $n$ , and coset addition is the published addition of congruence classes. Thus

$(Z, +) / n Z = (Z / n, +)$

as the same group on the same underlying set. This includes $n = 0$ and $n = 1$ .

Facts & Assumptions

Given: A natural number $n$ , viewed in $Z$ under the canonical embedding, and the set $n Z = {n k : k \in Z}$ .

[L1]

The integers form a commutative ring with identity (The integers form a commutative ring), and the canonical embedding of $N$ preserves addition and multiplication (The naturals embed in the integers).

[F1]

A subset of a group is a subgroup when it contains the identity and is closed under the operation and inverses (Subgroup).

[L2]

Every subgroup of an abelian group is normal (Every subgroup of an abelian group is normal).

[F2]

The congruence $x \equiv a (m o d n)$ means that $x - a = n q$ for some $q \in Z$ (Congruence modulo an integer: $a \equiv b (m o d n)$ when $n ∣ (a - b)$ , including the moduli $0$ and $1$ ).

[F3]

The congruence class is $[a]_{n} = {x \in Z : x \equiv a (m o d n)}$ (The congruence class $[a]_{n}$ and the quotient set $Z / n$ ).

[F4]

Addition modulo $n$ is $[a]_{n} + [b]_{n} = [a + b]_{n}$ (Addition and multiplication on $Z / n$ by $[a]_{n} + [b]_{n} = [a + b]_{n}$ and $[a]_{n} [b]_{n} = [a b]_{n}$ ).

[L3]

The cosets of a normal subgroup form a group under $(a + N) + (b + N) = (a + b) + N$ (For $N ⊴ G$ , the cosets form a group with identity $N$ and inverse $(g N)^{- 1} = g^{- 1} N$ ).

[L4]

For every $n \in N$ , $(Z / n, +, [0]_{n})$ is an abelian group, including at $n = 0$ and $n = 1$ (For every natural $n$ , $(Z / n, +)$ is an abelian group, multiplication is a commutative monoid operation, and both distributive laws hold).

Proof

technique · direct

1.1

The set $n Z$ contains $0 = n 0$ ; if $n k, n ℓ \in n Z$ , then $n k + n ℓ = n (k + ℓ)$ and $- (n k) = n (- k)$ also lie in $n Z$ . Hence $n Z \leq (Z, +)$ .

L1F1algebra

1.2

For $a, x \in Z$ , one has $x \in a + n Z$ if and only if $x = a + n q$ for some $q \in Z$ , if and only if $x \equiv a (m o d n)$ , if and only if $x \in [a]_{n}$ . Therefore $a + n Z = [a]_{n}$ .

F2F3algebra

2.1

Since $(Z, +)$ is abelian, the subgroup $n Z$ is normal.

step 1.1L2

2.2

Under the equality in step 1.2, [L3] and [F4] give $(a + n Z) + (b + n Z) = (a + b) + n Z = [a + b]_{n} = [a]_{n} + [b]_{n}$ .

step 1.2F4L3

3.1

Steps 2.1, 1.2, and 2.2 show that the quotient group and the group of congruence classes have the same underlying set and operation; [L4] confirms the published group convention, including $n = 0$ and $n = 1$ .

step 2.1step 1.2step 2.2L4∎

Depends on

Used by

Dependency tree · two levels

37 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Ernst, An Inquiry-Based Approach to Abstract Algebra, Quotients of Groups (standard reference, not scraped)

For every n∈Nn∈N, the congruence-class group (Z/n,+)(Z/n,+) is the quotient group (Z,+)/nZ(Z,+)/nZ