# 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 18601: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0026`; number: 18601
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0026/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0026.json)

## Question 18602: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0027`; number: 18602
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0027/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0027.json)

## Question 18603: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0028`; number: 18603
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0028/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0028.json)

## Question 18604: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0029`; number: 18604
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0029/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0029.json)

## Question 18605: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0030`; number: 18605
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0030/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0030.json)

## Question 18606: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0031`; number: 18606
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0031/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0031.json)

## Question 18607: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0032`; number: 18607
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0032/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0032.json)

## Question 18608: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0033`; number: 18608
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0033/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0033.json)

## Question 18609: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0034`; number: 18609
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0034/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0034.json)

## Question 18610: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0035`; number: 18610
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0035/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0035.json)

## Question 18611: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0036`; number: 18611
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0036/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0036.json)

## Question 18612: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0037`; number: 18612
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0037/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0037.json)

## Question 18613: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0038`; number: 18613
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0038/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0038.json)

## Question 18614: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0039`; number: 18614
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0039/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0039.json)

## Question 18615: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0040`; number: 18615
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0040/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0040.json)

## Question 18616: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0041`; number: 18616
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0041/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0041.json)

## Question 18617: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0042`; number: 18617
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0042/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0042.json)

## Question 18618: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0043`; number: 18618
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0043/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0043.json)

## Question 18619: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0044`; number: 18619
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0044/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0044.json)

## Question 18620: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0045`; number: 18620
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0045/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0045.json)

## Question 18621: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0046`; number: 18621
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0046/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0046.json)

## Question 18622: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0047`; number: 18622
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0047/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0047.json)

## Question 18623: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0048`; number: 18623
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0048/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0048.json)

## Question 18624: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0049`; number: 18624
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0049/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0049.json)

## Question 18625: Check This Decomposition Separately from a Whole-Space Direct Sum

- ID: `q-20261014-advance-20261105-r01-direct-sum-0050`; number: 18625
- Processing: second_context_reviewed
- MKO: [mko-direct-sum](/en/mko/mko-direct-sum/)
- Family: [qf-mod36-directsum-ambient-decomposition](/en/explore/?family=qf-mod36-directsum-ambient-decomposition)
- Batch: [batch-20261014-advance-20261105-r01-direct-sum-foundations](/en/explore/?batch=batch-20261014-advance-20261105-r01-direct-sum-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0050/) / [Markdown](/en/questions/q-20261014-advance-20261105-r01-direct-sum-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261105-r01-direct-sum-0050.json)

