Trait Simple 

pub trait Simple: SemiSimple + SealedSimple { }

Marker trait for simple Lie groups (no non-trivial normal subgroups).

Examples

• SU(2), SU(3), SO(3) - simple

Sealed Trait

This trait is sealed - only verified simple groups can implement it.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Simple for SO3

SO(3) is simple

It has no non-trivial normal subgroups (for dimension > 2).

impl Simple for SU2

SU(2) is simple.

It has no non-trivial normal subgroups. This is a fundamental result in Lie theory - SU(2) is one of the classical simple groups.

impl Simple for SU3

SU(3) is simple

It has no non-trivial normal subgroups (except center ℤ₃).

impl<const N: usize> Simple for SUN<N>

SU(N) is simple for all N ≥ 2.