-
Notifications
You must be signed in to change notification settings - Fork 0
/
math-alg.sty
33 lines (27 loc) · 1.37 KB
/
math-alg.sty
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{math-alg}[2014/09/09 Useful commands for writing texts about algebra in general]
\RequirePackage{math-general}
\RequirePackage{xparse}
% categories
\NewDocumentCommand \catModules {O{} O{} m} { % modules
\cat{Mod}^{#1}_{#2}(#3)
}
\newcommand\catModulesFG[2][]{\catModules[\mathrm{f.g.}][#1]{#2}} % finitely generated modules
\newcommand\catCoModules[1]{#1\text{-}\cat{coMod}} % comodules
\newcommand\catRep[1]{#1\text{-}\cat{Rep}} % representations
\newcommand\catAlg[1]{\cat{Alg}_{#1}} % algebras
% abelian categories
\newcommand\coim{\operatorname{coim}} % coimage
% groups
\newcommand\symgroup{\mathfrak{S}_} % symmetric group
\newcommand\gen[1]{\left\langle #1 \right\rangle} % group generated by some elements
\newcommand\genrel[2]{\left\langle #1 \,\middle|\, #2 \right\rangle} % group defined by generators and relations
% Lie algebras
\newcommand\liealg{\mathfrak} % Lie algebra
\newcommand\liealgof[1]{\operatorname{Lie}(#1)} % Lie algebra of a group
\newcommand\lieglof[1]{\liealg{gl}(#1)} % gl(V)
\newcommand\liegl[1]{\liealg{gl}_{#1}} % gl_n
\newcommand\liesl[1]{\liealg{sl}_{#1}} % sl_n
\newcommand\ad{\operatorname{ad}} % adjunction
% Field extensions
\newcommand\Gal[2]{\operatorname{Gal}(#1/#2)} % Galois group