# OCME · Knowledge & practice explorer

302 MKO / 1,441 families / 360 batches / 36,000 questions.

36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training.

25 results; page 1/1.

## Question 25726: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0076`; number: 25726
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0076/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0076.json)

## Question 25727: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0077`; number: 25727
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0077/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0077.json)

## Question 25728: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0078`; number: 25728
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0078/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0078.json)

## Question 25729: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0079`; number: 25729
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0079/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0079.json)

## Question 25730: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0080`; number: 25730
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0080/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0080.json)

## Question 25731: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0081`; number: 25731
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0081/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0081.json)

## Question 25732: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0082`; number: 25732
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0082/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0082.json)

## Question 25733: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0083`; number: 25733
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0083/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0083.json)

## Question 25734: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0084`; number: 25734
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0084/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0084.json)

## Question 25735: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0085`; number: 25735
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0085/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0085.json)

## Question 25736: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0086`; number: 25736
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0086/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0086.json)

## Question 25737: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0087`; number: 25737
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0087/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0087.json)

## Question 25738: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0088`; number: 25738
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0088/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0088.json)

## Question 25739: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0089`; number: 25739
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0089/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0089.json)

## Question 25740: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0090`; number: 25740
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0090/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0090.json)

## Question 25741: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0091`; number: 25741
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0091/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0091.json)

## Question 25742: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0092`; number: 25742
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0092/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0092.json)

## Question 25743: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0093`; number: 25743
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0093/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0093.json)

## Question 25744: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0094`; number: 25744
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0094/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0094.json)

## Question 25745: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0095`; number: 25745
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0095/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0095.json)

## Question 25746: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0096`; number: 25746
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0096/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0096.json)

## Question 25747: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0097`; number: 25747
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0097/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0097.json)

## Question 25748: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0098`; number: 25748
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0098/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0098.json)

## Question 25749: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0099`; number: 25749
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0099/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0099.json)

## Question 25750: First Isomorphism Reaches the Image, Not Automatically the Whole Codomain

- ID: `q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0100`; number: 25750
- Processing: second_context_reviewed
- MKO: [mko-first-isomorphism-theorem-finite-groups](/en/mko/mko-first-isomorphism-theorem-finite-groups/)
- Family: [qf-mod46-iso1-image-codomain-boundary](/en/explore/?family=qf-mod46-iso1-image-codomain-boundary)
- Batch: [batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0100/) / [Markdown](/en/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r01-first-isomorphism-theorem-finite-groups-0100.json)