group ''g'' associative lie algebra ''a'' vector space ''v'' map math phi colon g times v v quad text quad phi colon times v v math two properties first ''g'' ''g'' ''a'' ''a'' map math begin align phi g colon v v v mapsto phi g v end align math linear '''f''' second introduce notation ''g'' ''v'' math phi math ''g'' ''v'' ''g'' sub sub ''g'' sub sub ''g'' ''v'' ''v'' math quad e cdot v v math math quad g cdot g cdot v g g cdot v math
Formal science Mathematics Pure mathematics Algebra Representation theory