Exercise · ZW-QUOTIENT-GROUP-005 · ★★☆ Intermediate

For \((aN)(bN)=(ab)N\) to define an operation on cosets, what must \(N\) satisfy?

Choose one option.

Show answer
  • A. Be normal in \(G\)

Explanation

The operation must depend only on the cosets and not on the representatives; that happens exactly when \(gN=Ng\), i.e. when \(N\) is normal. The other conditions are neither necessary nor sufficient.

Study Modern algebra I in ZWMath →

Review the concept: Quotient group

Given a normal subgroup \(N\) of a group \(G\), the quotient group \(G/N\) is the set of cosets of \(N\) with the operation induced by multiplying representatives.

\[(aN)(bN)=(ab)N\]

More practice problems: quotient group

← ZW-QUOTIENT-GROUP-004 ZW-QUOTIENT-GROUP-006 →