数学建模社区-数学中国

标题: 311数学结构种Mathematical Structures [打印本页]
作者: lilianjie    时间: 2012-1-12 13:19
标题: 311数学结构种Mathematical Structures

& ^5 i- B3 z8 f8 n' A
) x& d, W0 e2 I" K9 ?Abelian groups     Abelian group
! s, v" ^; h' CAbelian lattice-ordered groups
" c; u9 W3 }. ~9 ?" NAbelian ordered groups4 e- f& S$ \! x$ O! M5 j
Abelian p-groups0 J$ B  e  h1 ?7 Y
Abelian partially ordered groups9 E; G: \/ O! J9 U/ K: [  N
Action algebras     Action algebra# K; w* y9 W* r9 @
Action lattices
% e; c  {  X2 j( H8 rAlgebraic lattices
) f8 m; h# E5 r" t7 i. e; AAlgebraic posets     Algebraic poset
' D0 p# K+ a/ s: H1 n( DAlgebraic semilattices
, l, @2 M1 Q) f, ^% R! [7 _# oAllegories     Allegory (category theory)
2 x& O. _% u8 P1 O- ^Almost distributive lattices
! O! y3 X" K$ oAssociative algebras     Associative algebra: z' l4 H& q+ V& S# f
Banach spaces     Banach space, h9 o6 T6 R* s: k: O
Bands     Band (mathematics), Finite bands
* f8 ]3 p6 h9 t  KBasic logic algebras
, z" H+ y0 f, a$ k3 ZBCI-algebras     BCI algebra
" v$ x  @; R: K3 p6 TBCK-algebras     BCK algebra
2 R  S( X! Y0 O6 {6 tBCK-join-semilattices% k# X7 Y+ @' R$ Q6 m& f
BCK-lattices9 j; D3 P( X. |! m# L
BCK-meet-semilattices
) ~* l2 \" M, ?: Z" K$ [8 |4 JBilinear algebras
" R( d8 u! N. A6 }/ @+ LBL-algebras2 w# {/ f# _6 t) w$ q; w
Binars, Finite binars, with identity, with zero, with identity and zero,
- l& B( l! e% K0 q! y, ]" ~; mBoolean algebras     Boolean algebra (structure)6 W& ^  h" Z; W2 b3 G+ U" U6 k7 U1 N
Boolean algebras with operators
( @2 v* S$ a: `4 v/ c  L6 EBoolean groups/ g1 J: G4 c9 }5 C
Boolean lattices
% s' p  x4 [8 ABoolean modules over a relation algebra
, b* Q" _8 B9 D# w' X( J& RBoolean monoids+ P" A3 S: M& K7 {& w
Boolean rings' a5 V: R& \( q" x9 L. f6 h- Y9 [
Boolean semigroups
3 x/ s/ k$ ~+ [+ Q; x$ o( DBoolean semilattices* a+ c$ P4 r) }
Boolean spaces
1 v9 X4 q5 J+ m: ]$ eBounded distributive lattices( A3 @( q- {0 s1 t! }
Bounded lattices
! z0 E, U8 ^" T; c' k( \$ f& G$ vBounded residuated lattices
8 c5 u8 a& C5 \, q4 {Brouwerian algebras. A$ }2 t- A9 i5 e" ^, y! Y/ m
Brouwerian semilattices' U$ y0 D2 `/ N) |3 }; O: N
C*-algebras
; K4 l) W/ d& V1 OCancellative commutative monoids3 _  T7 K8 @9 ~& y8 x( F* b& B
Cancellative commutative semigroups. N% i, L9 D$ A/ g: \
Cancellative monoids
% P* |: o' E+ uCancellative semigroups$ p2 E/ D* d7 K$ r0 t! x' c2 L$ S
Cancellative residuated lattices/ O/ m" I, }; p- n$ q8 g
Categories4 T( _  F! p( o$ E3 p" ^5 g: f
Chains
% U: ]8 N# q, `" q4 p! U8 `' L/ AClifford semigroups) H! N" T, F3 B: S' W
Clifford algebras' E6 v. A' P, R% n: {3 B2 S
Closure algebras
/ Y( {2 M, _; M5 v/ c2 t3 I4 {Commutative BCK-algebras
, y" V; T: T% |Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
# v/ X  Y% i# U. e4 U  T6 [commutative integral ordered monoids, finite commutative integral ordered monoids, P0 g' R8 u3 i/ F
Commutative inverse semigroups2 I6 M9 D6 B0 W, |5 B
Commutative lattice-ordered monoids
/ O' M: H$ D1 y( ^Commutative lattice-ordered rings
# n$ c1 y7 d/ J+ X. d& c" g. Q7 d/ CCommutative lattice-ordered semigroups1 h4 a9 \" A7 Q, t% d3 w  h  A
Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero: S$ V! V+ t* h1 T0 q
Commutative ordered monoids: [5 [, O5 Q7 g: K7 l, R
Commutative ordered rings
; H3 q! a$ F3 a6 X% zCommutative ordered semigroups, Finite commutative ordered semigroups
" q7 ~. n9 p2 e) H1 DCommutative partially ordered monoids
4 e; K# x' @  mCommutative partially ordered semigroups. x4 E+ O4 N  t" x/ F" e) |5 G
Commutative regular rings) b. X. T7 ]6 E3 _8 P# z3 R- w
Commutative residuated lattice-ordered semigroups
. l, z, I6 y( Z/ u$ ~2 hCommutative residuated lattices7 I, s% N7 o' D! ^% J; W; B
Commutative residuated partially ordered monoids
, `3 w% ~5 ]/ m( q/ f5 w8 b& H+ R0 NCommutative residuated partially ordered semigroups
2 S# E4 T  o1 i6 @Commutative rings. I$ ]# d/ d. c1 f5 @
Commutative rings with identity( s$ ?8 \$ m. R# Y& H# [4 T7 _  T
Commutative semigroups, Finite commutative semigroups, with zero
- A; q) Y7 G! B5 ]) zCompact topological spaces
' e7 Z; {1 K. P9 lCompact zero-dimensional Hausdorff spaces7 t- V" D: @: J( H
Complemented lattices
* O* E$ p8 @) l, qComplemented distributive lattices) }2 o( N7 O3 D/ y6 ]+ c1 W) ?
Complemented modular lattices% \  e! C1 w6 J
Complete distributive lattices% ?7 h1 P7 N7 n5 g$ |) B
Complete lattices
: i8 ^6 z7 }6 u+ N0 EComplete semilattices
1 q) n7 u  {6 S4 f- K& Y3 m6 K1 Z+ bComplete partial orders: E! E( G5 Y3 a( K% h" j; w
Completely regular Hausdorff spaces" ?* r6 K' W0 d! n4 W+ k
Completely regular semigroups
) t2 A; j- r' |! g9 r' P3 vContinuous lattices' G0 J5 |3 ?8 \6 Y" W5 F! ^
Continuous posets
0 C4 q0 g& l% x. a' ?4 R2 U! KCylindric algebras+ @" B1 h0 _" y7 w6 B& m! ]$ [% S
De Morgan algebras
% y( R4 M! {( M3 b2 y" B4 b, w3 YDe Morgan monoids, c. x' p/ d8 s3 a' b! @2 h
Dedekind categories
% w4 A3 O* T( Z) F: F0 j% ~, U# BDedekind domains
- Z( R" O3 B- G6 M1 VDense linear orders' V, u0 ^- R& v9 R! U7 T# a9 ]  o. d
Digraph algebras/ x( F! w! B5 p: [8 i+ G6 r
Directed complete partial orders1 |' C3 C8 j+ r0 J' A. u
Directed partial orders
, G: L( P* H- F& e6 \, ^7 W3 ADirected graphs2 o. Q2 k1 Q. Z) P, g' c
Directoids3 x* p+ O) G3 A; v& x& F
Distributive allegories
% T" G  P2 _: l# Y! MDistributive double p-algebras. G) y# `4 l8 |) g
Distributive dual p-algebras( U3 F0 h' r, \3 U1 C6 {. Q5 `7 l
Distributive lattice expansions5 @; N: ~2 E9 G" t6 l5 ]
Distributive lattices
) k9 \/ F% Y1 r& ADistributive lattices with operators
3 s! A8 n! X7 bDistributive lattice ordered semigroups
( V/ u; o9 ]1 c1 M" V  x, ?6 JDistributive p-algebras, i2 V- @7 I" i! y
Distributive residuated lattices
. V2 V( C7 ?& J$ r9 JDivision algebras
/ Q9 A1 w6 D6 \' D; nDivision rings
9 Q; e+ w4 I5 ~- R% Y# K* eDouble Stone algebras
2 F, ^" f. l$ Z2 u' q2 fDunn monoids6 b  O& g& l- E8 }+ I' [5 k
Dynamic algebras
; R- k4 G$ |# B2 p: hEntropic groupoids
1 Z" h8 ]1 a3 iEquivalence algebras9 d7 }: R+ d* t# u
Equivalence relations
# @: `, E. i& ^8 D+ BEuclidean domains
2 w' a7 o" L) W2 y& X( B5 Q" D+ af-rings4 |* u$ w: e# z9 L8 }
Fields
) F- c" U" z2 O* l# ?$ z3 l6 RFL-algebras
6 _; m; }2 r% `4 B- I) DFLc-algebras
; j6 B) U4 ?: R( ?' o& vFLe-algebras" ^8 p- P5 N( G; I5 l
FLew-algebras
$ U% |) ^" B- e3 o2 S8 j6 \FLw-algebras
( q+ N$ s% n& }) ^5 V9 o8 CFrames6 W, E, z* g2 g1 t$ B. W
Function rings
4 r5 _% B% L( K  L3 R1 U2 A, eG-sets! n0 [& }8 R( a9 o
Generalized BL-algebras  t' f) b/ s* [2 y! ^/ c/ p( C2 n2 N
Generalized Boolean algebras0 A& E  V4 u% p! D: F% s
Generalized MV-algebras
% ]1 z. P2 W2 iGoedel algebras: E) y# B: c' `2 B% T
Graphs- k" E2 e+ R* M! ]7 A
Groupoids
* \6 y  M" [0 _, m; lGroups
# Y* d8 Q. e3 G. bHausdorff spaces/ w6 m* p; O$ [& `6 f( K
Heyting algebras
3 y; @3 p8 [+ N9 tHilbert algebras/ [8 ^9 l4 z$ \; G
Hilbert spaces% Z) C9 V& `% C" R1 Q
Hoops
/ `, }/ r) y0 u+ O4 |0 {Idempotent semirings4 o5 p: Y; a4 w! C+ `- ^6 A
Idempotent semirings with identity  k/ o- v9 n" [: S& Y+ P" ^
Idempotent semirings with identity and zero! W9 K  G) G; h8 W
Idempotent semirings with zero
9 U- T+ y) F$ Y% Z" S/ A$ G3 MImplication algebras7 r2 L& o" x- r8 W
Implicative lattices  l5 z5 T; o2 [9 {5 w
Integral domains
: P: l+ l/ H5 Z5 gIntegral ordered monoids, finite integral ordered monoids% T" f% O9 h! y
Integral relation algebras
$ O  p; n8 _7 h4 t# kIntegral residuated lattices$ J" G' x( ]. \' d! }- I, }  w
Intuitionistic linear logic algebras
1 X& D$ ~( I+ _: wInverse semigroups
. L" O3 Z/ s! K! V$ y% F+ EInvolutive lattices! B8 N- K2 i8 b$ T9 i( F6 a" q
Involutive residuated lattices
/ h+ H+ R9 B, r9 ZJoin-semidistributive lattices0 i8 _  h. y$ h. {5 c/ ?3 I
Join-semilattices5 K! Y9 O0 f) h0 u3 w+ a: e) T0 i. a9 r
Jordan algebras
/ \8 p+ `! a' v5 H+ [1 [( {3 |' EKleene algebras  o& ?1 x( ]6 ^
Kleene lattices
$ k- W6 w/ \5 OLambek algebras  v, z4 J3 a- S7 K
Lattice-ordered groups
9 d$ S7 F5 s$ c3 i  x* w; }Lattice-ordered monoids
0 O1 @* G) E8 ]5 A+ I" m; r: DLattice-ordered rings# Z  C3 G9 m/ I- t: _
Lattice-ordered semigroups9 d  Z" U: `+ x% Z1 }) d
Lattices
1 d( ~! ]/ B: gLeft cancellative semigroups
, [- y  O( g: b7 R  I# wLie algebras
+ ]1 d5 a' I3 \" mLinear Heyting algebras
$ X0 o: I; r* d0 u8 e, O: cLinear logic algebras( t) @9 C7 S& I8 _
Linear orders* v- t  _+ G) |  i
Locales
* w5 R( U& |0 Q, G- jLocally compact topological spaces
1 o0 P/ m$ N6 x/ x8 q! ALoops1 @: e6 Y# C+ ~3 j. [7 t
Lukasiewicz algebras of order n
( X4 G2 N: T( _: oM-sets
+ ]6 E! N( ?$ S- B( WMedial groupoids- j- x- M& P+ y% C7 R
Medial quasigroups
) W+ Y0 S- `" _: V4 B" l) nMeet-semidistributive lattices/ U; p. a. \) T$ [1 X, V+ Z) Y( ~3 d
Meet-semilattices% R  f- S1 v+ y: N2 I+ y
Metric spaces! X5 X  E: \, z* \7 L
Modal algebras3 l$ e  o, O' ?
Modular lattices, ~* W! I5 P! W1 Z2 e4 n; J
Modular ortholattices5 V* ^) f) P* F* b
Modules over a ring& x2 [% E9 h) U* O+ p! t* v) ?7 v  g
Monadic algebras- w0 R4 B/ V& L/ \& Y3 ^5 A( M$ o
Monoidal t-norm logic algebras, h- @* l2 W5 L$ e
Monoids, Finite monoids, with zero0 i' v4 k  H! E) c
Moufang loops6 f! Q% n$ M7 T% l
Moufang quasigroups
! U. {1 ^- w4 @9 L/ E. t: OMultiplicative additive linear logic algebras
2 u* [, v! y- _Multiplicative lattices8 ^% _; P4 ]5 H6 R* {5 P, {9 z
Multiplicative semilattices9 \) K5 ~! S! C9 O; F
Multisets. U+ `* h% A& w' l6 P3 i
MV-algebras, [% ^: ?: n) M, U- Y- C" f
Neardistributive lattices, h  D/ _, B! f- I% N; V
Near-rings+ a: @- t( B0 |% w: M6 w" a
Near-rings with identity
: B6 V( _1 _* ^5 WNear-fields
3 L7 b0 m. c. \& ~Nilpotent groups0 R, U' J9 f5 p# K3 Y
Nonassociative relation algebras) G; w( ?+ |# p9 ^
Nonassociative algebras* k# G: ~% S0 X% Q# Q+ M
Normal bands! `3 ~1 p. X3 ~/ d! Z/ G, M8 R: n
Normal valued lattice-ordered groups5 Y/ N4 L0 X. y/ L! `
Normed vector spaces
3 A- g2 D  J. Y7 \: ^6 nOckham algebras
/ f/ Y3 p. G+ rOrder algebras4 Y$ t: B7 `) s6 {7 W# D) C
Ordered abelian groups
. {( b+ D+ S$ S" I7 gOrdered fields9 a" t- d9 n, ]9 N/ P8 ]
Ordered groups
: S6 ?+ r; W, f9 aOrdered monoids7 t. ?3 U4 n; v% {
Ordered monoids with zero2 \( o! ]# }1 H, U3 t3 D- b- y
Ordered rings
4 f* f! f1 D4 |& o1 b3 f; }Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
3 ]# K" \* B9 }4 ]! I6 |* OOrdered semilattices, Finite ordered semilattices
+ W& L/ ^! [# r, u; S3 t, TOrdered sets( F. @7 e  V8 g1 n' D
Ore domains
& x8 t$ @( [1 Q/ ?6 vOrtholattices$ [) R" |! Z6 p. P. X# S7 R& m+ g
Orthomodular lattices3 F' l; T$ ^- y5 k1 a9 ^
p-groups/ a  a3 {2 B+ R* |, B  |+ v
Partial groupoids
# S( H' v2 n% fPartial semigroups
2 o+ s' h& H. _. \& @1 aPartially ordered groups
" G, r; N8 X9 x9 j) O! h3 jPartially ordered monoids3 {+ T$ }% R0 \$ K# |6 I0 |9 O( P# s
Partially ordered semigroups/ t7 g& T; q: v% s! Z2 C: p: Q
Partially ordered sets
+ P# H4 L5 ?' XPeirce algebras' K: ]) o) \* x/ F* X1 d
Pocrims
+ i6 N( `* a: j$ h) V# |Pointed residuated lattices7 _2 w" {& v  y, A# ^
Polrims' Q8 H' n( r! e9 {: W0 }: g, j! [5 H
Polyadic algebras' A( n0 y: o# [) a
Posets9 X" H( v5 d' M8 O  s+ [4 c
Post algebras  G/ L5 b2 H0 o: Z# I5 c' ^& e
Preordered sets5 x' T* l& o+ V% ?  U' M6 i& O0 O* p
Priestley spaces/ h' w5 P) K: B. X# w) \9 ^
Principal Ideal Domains4 H. F& y' G+ r' g
Process algebras8 e, z9 @7 A, i  Q8 c( f# t
Pseudo basic logic algebras
8 d4 W5 p9 G2 KPseudo MTL-algebras- B5 Z8 Q! G' |; g5 u
Pseudo MV-algebras
$ E) [2 u; ^. p- TPseudocomplemented distributive lattices! B, b0 a$ T/ [" Q
Pure discriminator algebras
* I$ e9 x9 z7 R" U3 ^8 cQuantales
0 P" L0 |8 V3 w' c5 n) R9 C8 m. VQuasigroups
& l, m1 E5 S! K: [Quasi-implication algebras! x8 D6 L% Y# w- Z8 m" K
Quasi-MV-algebra
& e$ D/ w3 R) R) K# T& u8 g, x9 e4 ^" XQuasi-ordered sets( D8 u+ o: R5 y9 X, @) ]; I
Quasitrivial groupoids
' g% C" J' O4 C5 G. o3 jRectangular bands
, m  _6 [) T: Q5 g( M- UReflexive relations; d) ?0 Z4 p) i% G8 ]; e- c
Regular rings
4 m6 T4 P% v* ^1 s6 R/ @2 T6 JRegular semigroups0 y* s. }7 G" }6 s0 Y6 {; Z1 O
Relation algebras
) w( Q: z, V7 }3 E9 H- ZRelative Stone algebras2 M$ R6 I" t9 X
Relativized relation algebras
$ v/ V  y- i8 d) Q$ e8 Q, j( HRepresentable cylindric algebras4 x- F) b9 x* V( e! b1 B
Representable lattice-ordered groups
$ Q4 ]8 J* f. L1 RRepresentable relation algebras
' L3 ]% R) |# S& n% x) LRepresentable residuated lattices
; T" v% A# Q' l5 s' WResiduated idempotent semirings: Z* s, u1 X4 e" F" [+ H
Residuated lattice-ordered semigroups5 }/ n! i  Z  Z1 t# M$ J' H
Residuated lattices
$ A+ f: Y$ I- o0 ?' V" `+ ]& E7 u5 |" L: yResiduated partially ordered monoids: c" t' W. Z/ u9 E5 M8 p
Residuated partially ordered semigroups
* y% x! a' q* y/ m# xRings1 L0 \8 y) v! G+ M! N
Rings with identity
% _' ^5 ?& i# O9 s9 [1 a# ESchroeder categories6 D1 S& v2 n9 {
Semiassociative relation algebras
& b+ u7 @) p8 |! [* USemidistributive lattices
4 o9 \: u+ E: ]  J2 tSemigroups, Finite semigroups9 q/ n# U' u" q+ @8 j+ ^1 a' `% {
Semigroups with identity3 i3 r" [9 }0 Z) Q
Semigroups with zero, Finite semigroups with zero
' s/ P$ j+ U. d6 j& p2 CSemilattices, Finite semilattices' X: V4 C8 ]3 I0 `
Semilattices with identity, Finite semilattices with identity3 J( ^# H5 y. `2 F  B
Semilattices with zero4 g, @$ i' e+ O* S
Semirings' e& ]# W9 O  M1 h9 Q
Semirings with identity
/ Z( z' S3 {, Z3 V0 r  MSemirings with identity and zero: m$ C, k/ [* D# b* w
Semirings with zero& r$ R) f" T; n* {
Sequential algebras# _! b6 P% a# y- p" `% E9 t
Sets
+ D( ]8 f, q; J, i) B3 bShells# }' b# K9 Y( X3 T5 V4 |
Skew-fields0 [% \% N  C9 [! Z% m
Skew_lattices
( p  Q, W6 O/ E- E# L3 PSmall categories
  Y+ X- U, a" i: ?2 v- zSober T0-spaces0 U, ~4 g2 R8 w" F% L0 V
Solvable groups' F: X1 e9 }) T% z! @# F) ~
Sqrt-quasi-MV-algebras
" E- p0 b, T+ EStably compact spaces; \$ N$ z) l' X2 S& x6 t
Steiner quasigroups6 B, f; m' k" _8 n! J) B6 X& i) x+ q
Stone algebras2 g5 ?9 n8 O! v* l" a) V' f
Symmetric relations
7 U9 x) q1 j3 _1 U) cT0-spaces
+ _1 M1 W5 \% d; vT1-spaces
" t% ?+ Q6 R( I3 v' ?, pT2-spaces1 n6 t5 Z4 i( q6 r. G, I: V
Tarski algebras9 g5 s; G: E5 J8 N" `
Tense algebras
2 d5 ^8 _8 E  L& ^& L4 @0 I. CTemporal algebras; P2 q+ r2 H; E5 M
Topological groups! u" r2 b7 D- `5 o; o& I* @1 h
Topological spaces/ l2 d# z9 Y3 v
Topological vector spaces2 I4 a$ [$ z( B! r, i, e
Torsion groups+ w0 \  i  A- X+ @
Totally ordered abelian groups+ O4 D8 `  U; m' o
Totally ordered groups
2 k- Z/ O& H9 Y" t, r9 STotally ordered monoids! @) }3 I, \; D) v
Transitive relations1 l& _" J$ s8 v( R- P
Trees
. x1 K7 S4 [6 B" x% U9 }Tournaments2 ?$ E& ?5 @. C+ {0 i, x$ Q' {
Unary algebras. ~9 Y4 r8 V/ N9 l4 m$ z2 B
Unique factorization domains
4 [0 s! P; s0 z' ?/ m, o+ V: SUnital rings/ M4 B1 S# u; [3 \
Vector spaces
  T3 ^) [, ^0 @  {* e# p5 OWajsberg algebras
+ P: ^$ G& Y+ ^( eWajsberg hoops4 A* k7 h9 [. \6 w$ ]/ R7 T
Weakly associative lattices* N" `6 P9 ?, X6 T
Weakly associative relation algebras, c6 [! D) V) r  x
Weakly representable relation algebras
% n0 A" R1 t2 A6 Y
作者: lilianjie    时间: 2012-1-12 13:20
阿贝尔群Abel群
2 q# p, G$ G$ U+ O( o阿贝尔格序群! d6 N' n* w6 v8 e3 a
阿贝尔下令组0 M0 ]( l4 @% N
阿贝尔p -群) i& u5 S, h0 l' d
阿贝尔部分下令组
" E. l) h0 ]7 \行动代数行动代数
2 O& g9 t) U& G* K5 \0 F行动晶格% d: b7 ~# h" M" b. m9 D8 f* D
代数晶格
2 ~$ d4 n. a6 q4 e" n% p代数偏序代数偏序集
/ t9 \6 [- m7 A* @0 t' o' }代数半格- g% y! Z' b9 f; v# n
寓言的寓言（范畴论）
, T2 V$ N6 T/ T0 X5 P' s4 O7 ]几乎分配格
/ w# J+ m$ _5 j- Z0 s4 M) I' N关联代数关联代数% W' ?: K; q, t2 k+ `
Banach空间的Banach空间
7 Q" ]+ e2 y3 V$ w6 _乐队乐队（数学），有限频带
9 g  X& I& N% M' e) q基本逻辑代数
8 p( p6 Z3 d5 A1 Y7 SBCI -代数的BCI代数3 M0 @1 w+ o* j; F& A: I0 s
BCK -代数BCK代数% T3 I& z  P2 Q) O  X/ X" x
BCK联接，半格) d2 P) F* g; l0 ~& o2 c& s
BCK晶格# {' |) }# u( ?. ]. p! b* [
BCK -满足的半格, X! w9 D1 `! U7 U
双线性代数
/ r) B) B5 ~$ [' T& E! m5 zBL -代数
; S; q: }6 {+ H5 p+ ^; Y! IBinars，有限的binars，与身份，身份和零与零，
4 v4 u# \) A6 _, ]3 T布尔代数布尔代数（结构）; D' P5 U5 y$ A- f, S
与运营商布尔代数
* }* a' V6 g) B' _0 V! L& E4 U布尔组2 C3 n+ M+ }: M9 M, {
布尔晶格
% ~$ R9 C/ F: I. T& L" w+ S对关系代数的布尔模块
6 T$ Q, S3 i$ x$ v布尔半群# q6 C$ ~% B( `% U
布尔环* |& w' o$ e$ s/ c- h, c
布尔半群
2 L: q2 m/ V7 ^( l0 h布尔半格0 Z( ?, n* k- ~. Q# `" n7 \
布尔空间3 F, W( x$ r7 p! i, W; Q
有界分配格
2 m; W1 p7 C' s2 v界晶格
/ e3 O5 o2 c1 e+ P7 I; d( ?( C界剩余格* @  c# R/ z& |9 P- B! A- v6 z
Brouwerian代数/ M9 n) h1 y2 m( U; y$ G6 L
Brouwerian半格
) z0 C! a1 a/ ]4 B7 h8 lC *-代数
" O4 Q  K+ K0 B消可交换半群. V* \& Q6 |7 w9 H
消可交换半群
' A* y4 _7 _$ Q可消半群
2 a# C" w+ r% g$ R/ {可消半群  a8 [& U9 J; G1 O  V, b! ~
消residuated格
9 i& h9 Z& n# C! u6 J5 ~% S分类+ g% S% w) D/ \% y: I* f3 T
链7 |' f* o' L, U/ v( @0 d
克利福德半群
# M  S" O9 x& v  q! w9 \Clifford代数7 I( J5 Y( D$ D1 Y) T1 P* \5 v
封闭代数% D- {% q2 Z: a, R* e
可交换BCK -代数  d( b9 q2 a, Q9 j; e
交换binars，有限的可交换binars，与身份，零，身份和零& v; B1 B5 S* A# y7 a
可交换的组成下令半群，有限可交换积分下令半群& p% J$ c9 J, e( R; @, x/ ^1 t) D
交换逆半群0 f4 S5 \2 M- E3 S3 B5 m8 ]
交换点阵有序的半群" M# n5 P/ N: C* q* A/ t4 ]
交换格序环
# `) S4 q/ U4 z& q, V. j) d  {交换格序半群' e8 ?0 b3 N& R7 O! P- h. Y
交换半群，有限可交换半群，零的有限可交换半群
3 R4 e- n- v0 g; t) L交换下令半群* j2 P/ x7 m4 x
交换下令戒指
' T) O. P- u" t" ^2 v有限交换交换序半群，序半群- t- ?$ B8 T' D7 L! M
可交换部分有序的半群
- L. K3 b# _6 W可交换部分序半群
8 c  n3 `- S5 N% O/ S交换正则环- w  }5 Q. H- @7 f% i4 y
交换剩余格序半群# {. h& V6 m/ K
交换residuated格
; \- U1 X& A1 o6 J8 O0 z可交换residuated偏序半群
- Z& C! j+ H: H8 n6 d可交换residuated偏序半群  y, b( R  [0 Q5 A# D) A
交换环: }6 q4 g, ]+ Z0 ^
与身份的交换环
9 q  a1 J- h* N: B& J, n) K! e交换半群，有限可交换半群，零
( m, I2 W% [* q) R) F) t8 }% K紧凑型拓扑空间
' _8 u# A  R# v- t5 ~, l" `4 ~  c紧凑的零维的Hausdorff空间
, S" `- W# E# u4 ?, h1 L补充晶格
" q( L; y6 s3 Z$ H7 }  R有补分配格
" ^" e* h& B' H. i8 g' a0 L* B补充模块化晶格
7 s" j$ g+ Q, M完整的分配格
% F7 e1 d$ Q" D5 D! x' v" H8 c. N完备格
3 F7 t6 T0 y' d0 T完整的半格  y5 C7 X- C9 N6 v
完成部分订单! h- o* S0 r6 U- Q; J
完全正则豪斯多夫空间
( Z: U7 j- c( c完全正则半群2 W& l1 E* l. r  C0 q6 l
连续格7 y. E! A/ s6 U. _, _& N
连续偏序集4 S$ k3 M# `, s
柱形代数
3 z* G( {! g, M1 P德摩根代数
& w  c3 B/ O# C# Z* y. O7 U德摩半群6 K* P& y4 V* x" F3 y
戴德金类别' j9 g$ R/ H* f- Z
戴德金域
/ F) j! H7 @) {* A: ^稠密线性订单
6 S; A' X$ I1 G$ b% J0 L有向图代数) W( v4 m- m* p0 j  ]% E- O
导演完成的部分订单
: \4 L  l4 p7 J9 L- e: |0 T6 p$ A导演部分订单, ]( L/ v* h( `! Q, L" j5 m2 R
有向图9 W7 U# ?7 }2 K3 Q+ J
Directoids
5 d4 c2 k6 x6 O. q5 f分配寓言
% q$ M) B1 y% ]分配的双p -代数
2 B: z' {, G+ y) U分配的双P -代数
) M) r% _3 p; ]* t! ^分配格扩展
' e. \2 }4 Y( w$ g9 h7 t/ U分配格
* G/ a9 _! D2 h1 s+ f与运营商分配格* W. b2 i% |, Z. F: I' _1 v# T
分配格序半群- ^: T; `5 M, M( ]" `
分配p -代数
$ l3 |0 j6 h, a: U$ I  p分配residuated格0 _; q$ b& K- A% h1 R7 a/ u
司代数
1 A; J6 {1 K, I; l4 G科环
  B! p, y- v$ r/ F0 K: E双Stone代数* R1 k% v9 I0 Z) m4 Q. Z/ R& _
邓恩半群
5 U7 D+ [; D; y4 q4 r动态代数* Z1 V6 ~4 g2 r5 P1 @
熵groupoids) r) ]2 L6 c& `# g& A
等价代数/ d; z# G+ M; G- _8 z" Y& p
等价关系
- P) R' j: B0 R7 V  e0 Z! ?7 c& K欧几里德域
' S' j0 x5 p! e5 _* EF -环# C( O& V: k( \
字段
9 b- D, \  M- D; oFL -代数4 G& X5 h* r  t" S3 W; o% _0 J! ?
FLC -代数& e- B- ?6 h5 {5 h9 m8 N
FLE -代数. V" p8 d8 P* i  l
飞到-代数
. ~  }$ H+ u7 S0 T* j, IFLW -代数; ]  A; G( I5 b1 _2 m9 U
框架6 M9 D# {5 Y9 [6 W' h( Z: j2 k' x
功能戒指
- s7 _- h; l9 R3 rG - 组! M0 \7 T1 G( K$ S+ X
广义BL -代数
( t4 i' e* P; M; h广义布尔代数& }1 z2 @! T$ e1 K( _3 }; T7 \, A' T# |: L
广义的MV -代数
6 k$ n. }5 D" }$ f" d0 HGoedel代数
# m7 T! U; J* Q, y; u7 ]0 r6 t图
8 S, D( H4 b3 j" @! A: j* }Groupoids9 U  d' n9 A& X+ c
组: i, R8 E% A8 s- K
豪斯多夫空间
+ k2 v1 U- t6 n! w( QHeyting代数
7 ]! a5 N9 k$ q$ t& P5 _希尔伯特代数
. x3 e$ u2 Z1 [3 p; e2 f2 f  {Hilbert空间7 b. b1 K. U# S* `
篮球
6 Y( M) I* }, j8 Q: `0 [幂等半环) J" n8 C& ~9 x2 y0 V/ ~
幂等半环与身份
* m9 X9 U# ~: A& n0 Z$ B9 x9 J幂等半环的身份和零
3 I/ ~+ ^* [5 M, t1 G幂等半环与零5 O8 b& y. n; l  f$ ]& F, j( }
蕴涵代数
6 z8 A/ A) p( z0 n- L含蓄的格子5 C# Q2 C. y2 H8 w( K# c
积分域
+ W5 |8 D1 R0 X积分下令半群，有限积分下令半群7 j  R: S* K6 P7 F; e
积分关系代数4 R7 H+ }7 P: x7 @/ b
集成剩余格
4 ]) o; j" x6 T' v直觉线性逻辑代数
  }5 n) I6 A) H0 W, B8 Q  _逆半群
) Q2 a6 Y1 n3 t合的格子
6 V( U" y# @& [9 w0 \合的residuated格
/ j4 s4 n( t2 l5 S0 o2 B加盟semidistributive格& b& h3 M! D* t8 A
加盟半格% \! A& X7 _- h1 H
约旦代数
. |$ L2 Z: X- x* [* g2 z: U克莱尼代数
5 `$ W: ^( A) N  `* h克莱尼晶格
% S- G" i/ [3 N# b0 D3 YLambek代数
* g$ E: B4 Q4 Y; L3 j% Q6 p" a格序群
5 ?6 u! q! m$ Y( I0 b0 j- c( q5 B格子下令半群8 |' m; C% h& |8 m! J
格序环
; y: O; q- @* E格序半群
. T) o; q) M( n4 D" h- B% U栅4 b+ ~2 Z  N! L! x# [+ x
左可消半群
( Z7 {3 l3 d3 P; o. m李代数! P  l. o1 t9 Z# @" |( z7 j
线性Heyting代数8 N- ]* r+ e6 n
线性逻辑代数
- N6 p% @' U1 S, M* G4 B. I# Q, D线性订单
7 L, W# Y( O' ~语言环境5 t3 j! Q2 f5 w1 R8 {* t7 @# U
局部紧拓扑空间1 X! r; s+ _% G# }/ Z, g  w) B
循环/ y: \1 P0 \% T& u* M7 g
n阶Lukasiewicz代数# z. q9 {8 ^" F% p
M -组) O& B3 K1 E; c' S5 m/ N5 i5 o9 A$ h
内侧groupoids
* H" ]2 u6 d3 w. W8 a# n7 u内侧quasigroups1 V9 R  h$ e' @8 I+ z" W9 F
会见semidistributive格
2 ?1 i5 c# R: }8 {7 N$ k' k% E会见半格
( {6 \( n1 ?) ?( g度量空间; x: m0 Q. A6 O" d: }" k; }
模态代数# g# D! Z2 \; R0 \) D' D
模块化晶格
0 @1 z- d: M* g$ V* k# _模块化ortholattices0 N( V. j, ]8 m+ l0 X% C0 o
环比一个模块
9 z+ b, \* A$ Z7 y单子代数
; O# D  o2 X; }) J- X5 J& Y3 ^Monoidal t -模的逻辑代数
. V8 r$ R" V# w, L% D  d幺半群，有限半群，零
) V% l" _! C% X* b  _Moufang循环# Q4 b' Q6 M9 M; {; `0 G; ^
Moufang quasigroups, L% \, F6 U. Z2 ~0 H# e
乘添加剂的线性逻辑代数
0 e# S" E2 t% y3 S. l$ P* K乘晶格, L1 L9 [8 ]5 E" i& {1 y3 z" o
乘法半格% o" u, B: n+ L) s  T. Y* S$ {
多重集
: B) A. r9 x0 H* w: tMV -代数
" ?+ u2 X- F. w, q5 ~% [& o- MNeardistributive晶格
0 ~) G5 d: H9 `近环
, b  u  A. m& o近环与身份
1 W! G2 t" X7 Q9 Z9 X, M: F4 j. `近田
( x! b! V" ^; @: T- h$ [# ^) a7 e/ j幂零群
3 L7 n. t0 z2 d非结合的关系代数
& ?* L) p2 h. }( Q6 C: s6 \2 G" i非结合代数
- l" ~: V0 D2 T. J普通频段
+ O( p: X" P& ]正常价值格序群
% a5 h+ d5 u2 j% C5 x赋范向量空间
+ S  j6 {. |4 Q+ W4 T) M奥康代数3 N' R# I% ^, R0 N) C4 x
订购代数/ z5 R2 B" c0 G1 y! e# a9 g( I3 X
有序阿贝尔群( d4 U0 l7 p/ W
有序领域
. ^, F2 c. b$ Q& ]- D) L2 |序群
' ]8 k! u: c! D/ V  j$ M, c有序半群
3 K" z# E) s$ T: u; k6 ~与零有序的半群
* ~: H+ @2 y# u. _  Z! ^$ \; J" v有序环
" m; [$ k1 U2 u4 m  k2 \序半群，有限序半群，有限下令零半群% e: B, w( U! V+ z
有序半格，有限下令半格, E/ q' a. F; }5 z' l; G
有序集$ |3 n/ H" M# H0 m: O: p6 @& h
矿石域& {9 P, v9 |, R6 r
Ortholattices
, `$ ~: ~! w0 R正交模格' v( s* h/ ]$ i& w/ _, F. _4 k. ?
p -群
7 n% o9 J! R5 g9 y/ D' j8 Q部分groupoids& n* u7 \& B: E( u6 W
部分半群+ s5 V1 }: m8 p  \- ^+ R
部分有序的群体8 o. F" ]" `: a$ t: w% v, a
部分下令半群% ~9 \0 A9 o9 G! N; s5 C0 ~7 O
部分序半群2 z- l0 H6 F1 Z% P. u; }
部分有序集
% _! G' t* z1 _# n. k4 l* E皮尔斯代数) i4 ]  Z! y+ Z+ H6 I$ K6 {& F
Pocrims
! F$ I, v4 ^. w3 _6 l指出residuated格
5 B! E' ]$ C& \, z+ EPolrims
8 e7 J, N* r) e! J6 a& Q# yPolyadic代数
0 Z. w: Z  P7 j5 i3 }2 H  p偏序集* B+ I' d0 f$ H8 k
邮政代数
* R0 R* F- @: O/ ?1 U1 l0 gPreordered套% q6 {$ ]) |* n' D2 l
普里斯特利空间
% W0 _* C4 U" O/ Z9 H; a& }# f4 M主理想域
6 s& T* K2 U8 V. p2 F2 C进程代数
! @: K" v5 u, s伪基本逻辑代数
# [/ P$ Z$ `- @" R伪MTL -代数
# ?" g$ d; A# x# z5 H# y1 r伪MV -代数1 x" K, q/ @( b
Pseudocomplemented分配格
6 p6 E5 S" j2 I: _' r纯鉴别代数
9 W* ?3 K6 V- u  K/ vQuantales  E. r% A' a/ }5 }' O0 k& c1 H2 M
Quasigroups7 U) r; i! [5 K& ?" ?0 r
准蕴涵代数; i9 d* Y" B4 H1 _& y. V5 w0 G
准MV -代数! v0 H; f6 T$ }  V+ c" O& Y( |
准有序集
5 N& y0 e2 K# A! DQuasitrivial groupoids
  S, L$ l+ i5 D! F& H1 i( c7 I7 e! G矩形条带! X. K5 V* ]1 H1 Z2 s, _
自反关系( M6 U. J  e( u$ Y# C: t
正则环+ P( f2 \$ E: a) f' n4 {
正则半群
0 Y/ F2 h$ u; |4 `5 p关系代数" s5 k3 V3 e0 I" e, [
相对Stone代数$ j0 x( m5 Q5 ~+ C2 r. t1 e
相对化的关系代数. I) m. c1 f. C% A1 N+ `3 |
表示的圆柱代数& {+ K, C- [7 j! D
表示的格序群体2 {" O, b) s3 M# l1 _* s
表示的关系代数
, ]. y2 ^' o  i/ C表示的residuated格0 {( H/ z4 L) |2 V$ U/ f4 j
Residuated幂等半环3 T! u+ u1 |. {/ P7 z. E
剩余格序半群
$ O# m& a- j1 p8 Z2 b剩余格
7 `; `! G, A4 J* ~Residuated部分有序的半群
2 i8 U) w$ S+ EResiduated部分序半群
% `% T/ N- _5 D) D0 U2 r戒指
) Q( ~3 X: z; C' Z; b3 I2 j戒指与身份& E# ^" j, w: V! I! [  h6 P
施罗德类别
  x, G% a  W  j7 r! _Semiassociative关系代数
, j9 D: ^8 p3 Z& ~4 d/ OSemidistributive晶格
$ p7 Y' y) F% p8 w# X半群，有限半群2 X5 h- Y) a4 B% }" [" f
半群与身份4 M" L: h' p6 d, E& J) a2 x" \) [
半群与零，有限半群与零/ p) d8 K: Y3 `  F& o. d. M
半格，有限半格% i! q( m- k) q7 }
与身份，与身份的有限半格半格5 X$ ?9 _. ~0 K1 b0 ~' X& H/ ]
半格与零# F& i6 _% r7 q$ U) v" K3 h- a
半环
5 \9 z, s9 ^" L2 d半环与身份( V4 C# ]4 o, h! {# q3 D8 u0 D; X
半环与身份和零
8 o1 U7 Z. y& L* y半环与零# J2 c9 X3 f. K5 l( s: T1 }; G
连续代数
. l* Q" d% n( Q! |" ?* J2 \1 t, C集
" A% M6 i. I  A+ q! X壳
! ^5 F! l" q( S/ u- F( O& z歪斜领域# X( ~) L' X4 b; s( F
Skew_lattices
/ L) d4 n& M( L. h" p小类
4 L- r& c: j+ N7 e6 k清醒T0 -空间
+ N% y. I6 D! p: I" E. f% @% k可解群( C  z  k3 q5 R: F7 l2 w
SQRT准MV -代数  }+ T# h2 J6 D5 Z- J# K
稳定紧凑的空间, b* u& F( h, n! B1 F! X
施泰纳quasigroups1 ~0 H3 T4 e/ w& S
Stone代数" d. j! C6 G0 y2 J. R* ^
对称关系+ v0 N- r; j0 ^2 ~( ^) `, P
T0 -空间6 g- A3 I9 O7 H6 j- s1 O3 Z
T1 -空间
- t6 t! P1 U0 T! A, ST2 -空间" r0 \6 a( W. X, W7 R
塔斯基代数! Q8 i% r' i3 k% q3 u" r5 E
紧张代数
/ o9 W$ x" C, A; H1 V8 S时空代数' n6 u0 r; Q3 L5 e" J
拓扑群* w; e, e4 p9 ^$ ~8 t! g! x
拓扑空间& v4 N5 T" g2 l
拓扑向量空间* Y5 Y& K2 r$ o/ }: t4 o2 B
扭转组0 h6 z  H3 |. B8 A6 l5 Y
全序的阿贝尔群
2 \2 x- {4 ]9 q" ~全序的群体; ~7 w8 q$ l, V$ S, w# C8 u6 A( z
完全下令半群7 K6 W8 P, j! @, k! M8 a; B) H
Transitive的关系& ~  B2 ?# p; ]
树* z% Y  X" C) A+ x
锦标赛9 z  F  @, |0 u
一元代数+ D3 W4 u. p1 N# j8 P/ h
唯一分解域
1 ]+ a) k4 O- h7 X! t% pUnital环
: N' x* ?# y7 n9 C2 e向量空间
: @7 V6 o  x6 G: n9 E* lWajsberg代数
: [) P  p9 m2 ]% \  b$ A: Q' Y% ]Wajsberg箍% h. n6 w, Q7 W7 J) v) u
弱关联格- h9 ]; N5 D* J* _
弱关联关系代数, `/ g& Z. j3 \  P& L' z  J2 ~% f( g$ V' Z
弱表示关系代数
作者: 孤寂冷逍遥    时间: 2012-1-12 17:03
作者: qazwer168    时间: 2012-2-6 09:42
佩服你，能发这么好的帖子，厉害
作者: ZONDA    时间: 2012-2-14 14:02
谢谢楼主啦



欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5