Nuprl Definition : group_p
(compound):: IsGroup(T;op;id;inv) == IsMonoid(T;op;id) ∧ Inverse(T;op;id;inv)
Definitions occuring in Statement :
monoid_p: IsMonoid(T;op;id),
inverse: Inverse(T;op;id;inv),
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
monoid_p: IsMonoid(T;op;id),
inverse: Inverse(T;op;id;inv)
Latex:
(compound):: IsGroup(T;op;id;inv) == IsMonoid(T;op;id) \mwedge{} Inverse(T;op;id;inv)
Date html generated:
2016_05_15-PM-00_06_08
Last ObjectModification:
2015_09_23-AM-06_24_11
Theory : groups_1
Home
Index