CatDat

embedding of A3 into S3

This is the inclusion A3=(123)S3A_3 = \langle (1 \, 2 \, 3 ) \rangle \hookrightarrow S_3. It serves as an example of a normal monomorphism which is not split.

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties