firstSchurLemmaStatement
P205800
predicate
Indicates that the first Schur lemma asserts any homomorphism between two irreducible representations is either the zero map or an isomorphism (and, over an algebraically closed field, any endomorphism of an irreducible representation is scalar).
All labels observed (1)
| Label | Occurrences |
|---|---|
| firstSchurLemmaStatement canonical | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: firstSchurLemmaStatement
Generated description
Indicates that the first Schur lemma asserts any homomorphism between two irreducible representations is either the zero map or an isomorphism (and, over an algebraically closed field, any endomorphism of an irreducible representation is scalar).
Sample triples (1)
| Subject | Object |
|---|---|
| Schur’s lemma | if V and W are irreducible representations and T:V→W is a nonzero homomorphism then T is an isomorphism ⓘ |