How to read a record
Start with identity
Section titled “Start with identity”Read the object type, defining field where applicable, and global-group specification. A group, Lie algebra, real form, and homomorphism are separate records. The same name can appear in different mathematical contexts.
Read the coverage
Section titled “Read the coverage”Classification identifies an object or family. Reference supplies a stated collection of properties. Executable links to a supported calculation. The representation category and completeness statement belong to the data.
Follow a consequential choice
Section titled “Follow a consequential choice”Open SU(2) and SO(3). Compare the center and fundamental group, then use the global-form workbench to test whether the spin-one-half representation descends.
Next compare Q₈ with D₈. Equal irrep dimensions do not determine the reality type. Follow the representation claim to its character-table source.
Inspect the map
Section titled “Inspect the map”For branching or topology, open the map record and read the domain, codomain, image, and kernel. Keep these in the physical interpretation. A group map with a nontrivial kernel is not an embedding of its domain.
Check and reuse
Section titled “Check and reuse”Expand a claim to see its source locator or derivation. Use the record JSON when you need structured data, and preserve the edition in your citation. A calculator export records its inputs and conventions; a copied link reproduces the inputs using the currently published engine.
The review queue explains whether independent expert review is complete for the current record.
First public edition · mathematical baseline 6.0.0. Source curation and automated validation are distinct from independent expert review.
About · Contributors · Review status · Suggest a correction · Data and reproducibility · Articles CC BY 4.0 · Code MIT