QuadraticForms / CONCEPT
Orthogonal pointwise stabilizers
Orthogonal pointwise stabilizers.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS0
quotientForm symm
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A negative answer to Question 31 for algebraic groups and group schemesstructural-affinity · Closed
- Attaining permutation algebrasstructural-affinity · Closed
- Basis transport and the full algebra groupstructural-affinity · Closed
- Derivation blocks of nondegenerate evolution algebrasstructural-affinity · Closed
- Evolution automorphisms and the tangent Lie algebrastructural-affinity · Closed
- Natural squares and semisimple derivationsstructural-affinity · Closed
- Semisimple derivation algebras are sums of orthogonal algebrasstructural-affinity · Closed
- Sharp multiplicity weights of integer partitionsstructural-affinity · Closed
- The universal sharp upper boundstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance