Nuprl Definition : fma_sig
fma_sig{i:l}(G;A) ==
alg:algebra_sig{i:l}(|A|) × inj:|G| ⟶ alg.car × (N:algebra{i:l}(A) ⟶ (|G| ⟶ N.car) ⟶ alg.car ⟶ N.car)
Definitions occuring in Statement :
algebra: algebra{i:l}(A),
alg_car: a.car,
algebra_sig: algebra_sig{i:l}(A),
function: x:A ⟶ B[x],
product: x:A × B[x],
rng_car: |r|,
grp_car: |g|
Definitions occuring in definition :
algebra_sig: algebra_sig{i:l}(A),
rng_car: |r|,
product: x:A × B[x],
algebra: algebra{i:l}(A),
grp_car: |g|,
function: x:A ⟶ B[x],
alg_car: a.car
FDL editor aliases :
fma_sig
Latex:
fma\_sig\{i:l\}(G;A) ==
alg:algebra\_sig\{i:l\}(|A|)
\mtimes{} inj:|G| {}\mrightarrow{} alg.car
\mtimes{} (N:algebra\{i:l\}(A) {}\mrightarrow{} (|G| {}\mrightarrow{} N.car) {}\mrightarrow{} alg.car {}\mrightarrow{} N.car)
Date html generated:
2016_05_16-AM-08_14_09
Last ObjectModification:
2015_09_23-AM-09_52_38
Theory : polynom_1
Home
Index