WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Group representation

Revision #162 → #1279 · back to history

addedRepresentation as homomorphism to automorphism group81a8821d085a
addedRepresentation of a group2973424b5b81
addedRepresentation space, dimension, degreea3d7ef060bda
addedFinite-dimensional matrix representatione9489b781251
addedContinuous representation9a5768b1b357
addedKernel of a representation241510cef3ab
addedFaithful representationd0f0d597dcc9
addedMap of representations (equivariant map)daea568c04ab
addedIsomorphism of representationscea0ca606bcf
addedRepresentation ρ of C3e392de411d67
addedIsomorphic representation σ of C3b849c32f9d3d
addedFaithful representation τ of C3a1262bab699c
addedCyclic permutation matrix representation423e5729977b
addedAction on homogeneous degree-3 polynomials3293bb862525
addedSubrepresentationac54f1f5737c
addedIrreducible and reducible representationse13cbf3b3b71
addedMaschke decomposition into irreducibles1bc850829828
addedDecomposability of the C3 examples9c8eabea58a3
addedSet-theoretic representation1297cd14337f
addedρ(g) is a bijectiond93d592bb1c9
addedRepresentation in a category as a functorb3bc67b06c08
addedRepresentation in Vect_K is a linear representation49bebfbc3421
addedG-modules from category Ab399d5ec5db66
addedRepresentations in Topcdb0890ba3c5
addedProjective and affine representationsfab9d179642b