FiniteGroups / CONCEPT
Part IIUnitary Ambient General Even UProduct
Actual part iiunitary ambient general even uproduct supplies the parameterized matrix, finite-field or ordered-product identities consumed by the whole-SU K5 width and intrinsic prescribed-product proof paths. All original hypotheses and actual carriers are retained; this source provides no oracle for bare automorphism recognition.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH48
DOCUMENT LINKS0
actual uniform ambient even U general prescribed product
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Part IIUnitary Ambient Odd UProductstructural-affinity · Closed
- Part IIUnitary General Even UProductstructural-affinity · Closed
- Part IIUnitary Intrinsic Prescribed Productstructural-affinity · Closed
- Part IIUnitary Odd Central UProductstructural-affinity · Closed
- Part IIUnitary Odd Levi Decompositionstructural-affinity · Closed
- Part IIUnitary Odd PPrescribedstructural-affinity · Closed
- Part IIUnitary Prescribed Lower Productstructural-affinity · Closed
- Part IIUnitary Prescribed UProductstructural-affinity · Closed
- Part IIUnitary Projective Prescribed Productstructural-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