QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3508|回复: 4
打印 上一主题 下一主题

311数学结构种Mathematical Structures

[复制链接]
字体大小: 正常 放大
lilianjie        

43

主题

4

听众

204

积分

升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    跳转到指定楼层
    1#
    发表于 2012-1-12 13:19 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    ( x" D3 L1 ]  y+ C

    + |5 ^/ u8 W% \5 cAbelian groups     Abelian group
    : ?/ N* o5 a9 H8 iAbelian lattice-ordered groups$ [# C3 N2 X% A9 T
    Abelian ordered groups+ X! z6 H8 ^, {7 D
    Abelian p-groups0 P% n% U/ N( x, n9 m
    Abelian partially ordered groups
    2 a! @/ b& c( e; `, R. zAction algebras     Action algebra( s: K( g6 ]3 Z: \* V' g. y2 X6 g
    Action lattices1 [  K( Z, X4 h7 A# l
    Algebraic lattices
    4 T: j3 @: {! ^& ]+ J8 p3 c; I, BAlgebraic posets     Algebraic poset. F, q5 O' j+ G) L* Y7 u* w
    Algebraic semilattices
      m8 r$ `2 y0 ~8 t6 f! ~$ ?Allegories     Allegory (category theory)# X8 i2 R" e2 ]# K/ i7 \
    Almost distributive lattices
    5 I9 O! n* B. U' s( Y+ jAssociative algebras     Associative algebra3 W& \6 Y" k9 ^
    Banach spaces     Banach space7 |/ Q) `, \6 s$ G. `" q! |* d: W* Z
    Bands     Band (mathematics), Finite bands
    ( Y% T. B8 U/ n2 eBasic logic algebras
    & r5 z( c* W2 B1 ABCI-algebras     BCI algebra. {! q8 M9 R; m  @
    BCK-algebras     BCK algebra2 a* \9 F2 G9 ?) P: _
    BCK-join-semilattices
    - y! q& d1 d/ C! HBCK-lattices
    " |" A: `# S" O, u7 B/ ABCK-meet-semilattices# e/ x' k3 D1 h* O7 q( g
    Bilinear algebras
    # `8 n6 e, ~2 w$ i4 w* |- j+ DBL-algebras- n5 p, `$ C; S: G
    Binars, Finite binars, with identity, with zero, with identity and zero,
    + d1 d& v% x% \9 gBoolean algebras     Boolean algebra (structure)
    + E- ?  i9 I& q, QBoolean algebras with operators
    " m7 W9 a- p. q# WBoolean groups
    7 J1 E, `! b2 V; NBoolean lattices
    # a# R, g% b1 R6 V) d# u, s9 m* yBoolean modules over a relation algebra
    4 K) _0 g" \% }: u6 [& hBoolean monoids! w3 @: ^  U8 o+ D* F
    Boolean rings
    3 m5 M3 u& \) s& KBoolean semigroups' t) [. L7 h. C: H) b) Q3 h
    Boolean semilattices
    - H+ V# U1 y8 C1 L2 YBoolean spaces
    / M" V+ w8 X3 q" O! V+ P0 \Bounded distributive lattices
    2 n0 e% i0 h& A2 \$ P; Q. ]Bounded lattices; c4 W, y5 t( T3 Y* w! z6 s
    Bounded residuated lattices5 [! e6 g( D1 R  R: z- S
    Brouwerian algebras! J' }; b# m' i6 e; k6 x; v
    Brouwerian semilattices
    8 ~1 e) `/ v. Q! aC*-algebras
    * y, r6 S" q& QCancellative commutative monoids) D6 _9 a' a) f( s, q! J8 g
    Cancellative commutative semigroups2 u7 {& r; e( A( k- S" p/ @$ z
    Cancellative monoids2 v9 T/ f8 _6 n/ O: E/ T4 Q+ r
    Cancellative semigroups
    7 M" i: R8 P' t  q- _; PCancellative residuated lattices, Z( O- Q. Q1 q7 B
    Categories6 C6 z; o9 ^2 Z# \& c8 f, U% Q' w, K
    Chains
    8 M/ ]) n$ V5 U0 Y$ a$ T0 [Clifford semigroups3 p5 v* H+ w, S
    Clifford algebras
    4 W+ c% Z. T3 Z% r: X* OClosure algebras
    ; p: B4 q/ E0 ?Commutative BCK-algebras
    : n5 q0 ~) z: D, ~Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero ( t; N1 B5 h4 h7 n, a8 Q( D$ q6 Z& h
    commutative integral ordered monoids, finite commutative integral ordered monoids9 x1 ?, t+ L# e, T9 n$ y
    Commutative inverse semigroups/ C/ N8 f) a* ]
    Commutative lattice-ordered monoids
    / _) W+ f: B' f8 j; h# @Commutative lattice-ordered rings' C1 N) O; o8 F! O
    Commutative lattice-ordered semigroups- f: ?9 I; k" Y% z' |
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
    $ w: @5 u* L* `: R0 vCommutative ordered monoids" ]  @: N# B3 n$ j4 @* p% F. O
    Commutative ordered rings" _6 a! {! K- A3 |6 h
    Commutative ordered semigroups, Finite commutative ordered semigroups5 I* Y0 y# E" r# V7 m4 U- p
    Commutative partially ordered monoids) \2 h5 Z/ s- `$ M/ r
    Commutative partially ordered semigroups
    ; v( v8 t$ i) G& I; mCommutative regular rings
    1 i0 I' s* q6 jCommutative residuated lattice-ordered semigroups& u! w4 K' ]5 N. N: |8 n+ I4 d$ Q
    Commutative residuated lattices0 r0 n9 D7 K4 G4 b3 Y/ r/ f
    Commutative residuated partially ordered monoids
    8 v4 n9 P. D& B( O, FCommutative residuated partially ordered semigroups
    5 j& Y9 W4 C2 k- J- ?. H2 z9 ?& ]Commutative rings
      V5 v4 r0 w. r- W" V9 NCommutative rings with identity# ^6 F3 \0 \- B4 j5 C
    Commutative semigroups, Finite commutative semigroups, with zero; U) }* K3 Y% [( l
    Compact topological spaces; Y# D/ c4 W: a
    Compact zero-dimensional Hausdorff spaces6 P! o' Z! }: E' p) {; I# g
    Complemented lattices3 f# _9 u# g& z) J
    Complemented distributive lattices/ n) }; u' U9 a- w+ R3 d5 T
    Complemented modular lattices
    . l8 k& M7 ^& @! P  A' @Complete distributive lattices  [* h8 K. u, R. [
    Complete lattices9 @& }" D" B4 I
    Complete semilattices
    1 H" I' c- C5 |0 v2 G& fComplete partial orders
    + W& R; ~* Y  ~* E) T9 d! U9 KCompletely regular Hausdorff spaces
    . O! P# }8 O% n8 T0 O1 JCompletely regular semigroups* N& @) A; B3 o: i6 D2 v, k
    Continuous lattices3 X+ }# C8 U3 c  `3 C- y% c& ?
    Continuous posets
    8 m0 ?; A7 m) K4 c( i2 {* rCylindric algebras
    " K7 F" f$ \9 M, qDe Morgan algebras
    ' j! U  ?* U. J) ADe Morgan monoids  y. Q) r- q) b3 r
    Dedekind categories! C' x+ t- A1 z* I% J
    Dedekind domains4 k4 {. |( F7 P) j
    Dense linear orders
    - }( R3 {5 D7 y6 L+ G) HDigraph algebras
    + c4 K2 k/ Q' k* n3 g& L; w9 ]Directed complete partial orders3 N6 K8 c" T) F, w+ k5 C
    Directed partial orders
    ' I8 H' o5 _, e& jDirected graphs7 g$ e! W1 g* w) @
    Directoids
    6 N$ r7 I; D3 |) q/ JDistributive allegories* e, |" ]" S3 @5 z" j& ^
    Distributive double p-algebras  B& G* @5 B6 V! M' j
    Distributive dual p-algebras
    * h) `, b; S" b: a- {Distributive lattice expansions
    ; M( t  \# t: z5 q3 w% wDistributive lattices. Q2 i# I9 q9 i
    Distributive lattices with operators" N5 Y3 g  r  [8 [- Z9 o
    Distributive lattice ordered semigroups
    5 S4 {0 k0 Y8 Z& A8 a/ O# n1 j( CDistributive p-algebras2 I4 |/ F) Z3 }" x
    Distributive residuated lattices
    / `7 }. E, U$ j/ w- V' y% z; yDivision algebras' r! {( [% P, Y! D: x
    Division rings
    % n8 r6 x! e+ B0 T4 c$ u8 UDouble Stone algebras8 J) h* U9 M# I& p
    Dunn monoids: E3 r* N5 I, B. W& U
    Dynamic algebras
    * @0 \6 a7 q8 x4 D( r6 d3 V9 h0 }Entropic groupoids$ J5 Y' X4 S  _
    Equivalence algebras$ q" @$ F& O5 n+ w1 {
    Equivalence relations* z8 x: @! Z( ^5 B7 T
    Euclidean domains
    % q: I* S8 k+ d, M7 E8 |3 j" X* Hf-rings  R+ E8 N9 ^9 t# d
    Fields5 @4 A) o9 {' t" K
    FL-algebras4 K$ c) w" E* T3 j
    FLc-algebras
    0 x" A+ x  I2 p/ i; |) @FLe-algebras0 u/ k3 }8 _1 t; @0 E7 P% U9 j
    FLew-algebras
    / y6 p$ t/ `( E+ `3 }' X" MFLw-algebras" m) i  u( h, Z* [! T5 _% R# I
    Frames
      Q: h: G7 w) IFunction rings
    3 }# P  c$ R' N* ?/ C0 \  }$ g5 p5 oG-sets
    : p( [6 p& G" R& ~2 X  rGeneralized BL-algebras- ?! a( M& C1 t" @
    Generalized Boolean algebras
    3 g* s5 b, f$ V, ZGeneralized MV-algebras3 ?! Q8 k: W3 t7 J' z3 D  ]% A+ R. f
    Goedel algebras/ b- u: g, h! A6 {8 Y# h* ]
    Graphs7 ?& b$ P: A1 ?1 @  i9 I
    Groupoids
    * g7 }0 z: Y( ^4 cGroups7 W, l2 i* \% u, w. o
    Hausdorff spaces
    # I: h/ g/ r6 @0 J! |& LHeyting algebras; H8 w- Y* l/ K" n0 X3 X' F
    Hilbert algebras
    & B1 w5 l- f) g; X9 F, e2 rHilbert spaces
    ' N( s+ C# L' [$ _, THoops2 _% X% k9 q& t/ D0 s; t
    Idempotent semirings' `4 k, }7 g& T# z. h3 a
    Idempotent semirings with identity' [" Z9 W6 T0 j
    Idempotent semirings with identity and zero/ O- f1 u4 o7 ~) d, [% K  F
    Idempotent semirings with zero
    - ^7 U* x( }' M& O# xImplication algebras
    $ p' ~7 q- k" g$ xImplicative lattices2 k; g5 E" W# [8 {
    Integral domains
      j- V; g* ?, I, S( O& MIntegral ordered monoids, finite integral ordered monoids
    . B, n( d6 G: b0 x" x; h/ P1 ZIntegral relation algebras
    0 p/ M  K5 w2 M+ V$ o& R9 QIntegral residuated lattices
    9 a( U$ ?, ?& K# tIntuitionistic linear logic algebras) L' L# |: X. {( `# ~$ v4 P
    Inverse semigroups
    $ _( t1 b( K- a" NInvolutive lattices
    $ V8 F4 I, u1 c, d* K# _Involutive residuated lattices. y' a( G3 W" y& j# B! J( z
    Join-semidistributive lattices  ~  E' @9 f, m6 P) b. X* e$ Y
    Join-semilattices/ I: ]1 Y' ^9 w9 V! A% u2 B
    Jordan algebras
    ; k* v; J. j6 ?/ f; e) K- r- T! A6 ]Kleene algebras$ T# K# G6 W+ i+ I; ^9 x  f
    Kleene lattices* l; S. K# M1 ?' ?! X* V
    Lambek algebras
    ( P- ~$ Z1 Z* L3 ^. p3 t3 A* q/ CLattice-ordered groups# v# T8 V  A, J* p" L  b
    Lattice-ordered monoids3 H" t. Q  G6 x* z. i0 B: f  C
    Lattice-ordered rings7 k2 m. U- L3 i/ \; b& q8 G
    Lattice-ordered semigroups
    1 C( Y2 w. n5 E3 r- |Lattices
    : c( k7 d! z' F' u' X) oLeft cancellative semigroups
    0 I: t* s8 ]: Q1 `# u+ u. zLie algebras
    ' ]7 l- H$ g5 H0 W. |) J/ H" n: tLinear Heyting algebras
    , f4 _+ M- P( B8 u7 \Linear logic algebras  c( ?8 y, V9 ^, A( d* h
    Linear orders
    ( W6 d5 P! V3 P7 q. w- ~: K' v: tLocales
    2 i) t' z1 e- T+ LLocally compact topological spaces
    ( R- L% P7 y9 g7 hLoops' e6 }  {1 ~  Z7 m% w  O
    Lukasiewicz algebras of order n
    $ r3 B* a+ I8 Q1 f7 nM-sets7 f. T" x- V( e; d8 P
    Medial groupoids
    : x5 O0 d" p8 d2 k1 G& m2 dMedial quasigroups9 M$ z: _: e! j# Z. g+ h8 R
    Meet-semidistributive lattices+ M8 D. i/ f: y
    Meet-semilattices/ f7 s* W, J6 v0 H4 H+ r) p
    Metric spaces
    ' n8 w; p& k9 P3 B$ _0 Y/ lModal algebras
    0 D2 }% l1 M1 n" }- P; rModular lattices7 l. {' c" i0 r* \* W
    Modular ortholattices
    ! U  Y) \. W4 k% d) s4 sModules over a ring, |1 Y( K' r6 w6 z
    Monadic algebras- W5 a5 R7 E0 \) d: b+ @, I
    Monoidal t-norm logic algebras
    $ ?1 C4 e$ l6 B- C# tMonoids, Finite monoids, with zero
    8 S" O% z" A% U3 q9 c$ x2 Y9 B( SMoufang loops/ T1 y' J5 t* C- q
    Moufang quasigroups. b7 [+ f7 C1 \  c$ y! A- R: @
    Multiplicative additive linear logic algebras
      L; E: P5 D0 s9 k$ F. k4 d: JMultiplicative lattices
    ) h/ G) l7 o+ h/ H- R, W0 z! f; XMultiplicative semilattices
      x* U1 x# o+ _: B! NMultisets
    - w! X; M/ W2 S1 cMV-algebras4 ^1 Q0 o; Y- }+ F
    Neardistributive lattices
    * e: t& U2 s4 z. pNear-rings
    / r. ?) B4 L$ T& l6 ]3 n7 T4 }Near-rings with identity
    ( H5 Z; \( K; e( iNear-fields
    5 Z0 _: h% v% v6 x- B5 x2 r& l& gNilpotent groups8 D0 k, J% _( Q) J
    Nonassociative relation algebras
    7 s4 b) g6 T* a+ C' o2 Y% A/ F5 C( hNonassociative algebras
    : A$ y6 z& b& y9 j+ D  kNormal bands
    7 t4 o9 f9 ^* ]Normal valued lattice-ordered groups
    ( A. f' H! C' O6 g' |Normed vector spaces$ {' K% E. B/ v  ]9 ]
    Ockham algebras
    3 B" L: D# ^0 s$ _1 uOrder algebras
    $ L9 S) ^! T% v; f3 X  R- Q% \0 DOrdered abelian groups1 U* X- b9 v. [( J0 P5 e
    Ordered fields
    / w! V6 z8 }- V, O9 C9 b$ {) w2 cOrdered groups
    4 d' I. g& d3 o- E2 vOrdered monoids4 T9 |7 c2 i3 f" w
    Ordered monoids with zero" l4 D2 q7 R6 B* y6 ?
    Ordered rings
    & Y% T. E; k+ \' p6 z' dOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    - _5 v9 S- c2 U" W0 EOrdered semilattices, Finite ordered semilattices% \2 ^6 [# X3 [& }  t
    Ordered sets9 }( S; P& S' [( d1 r
    Ore domains/ ~* h# i, O% e- T% y+ @- a8 J( Q+ M7 C2 |
    Ortholattices
    + `& v; Y) b' Y1 T3 n' ROrthomodular lattices* ?7 K+ e8 b% t5 p. S
    p-groups
    ) C/ ~( p! q3 vPartial groupoids5 M5 y$ m3 z# E- f# ^( n4 T0 y
    Partial semigroups
    ) `4 p$ \9 B, v% _; h# gPartially ordered groups$ G1 p+ `8 f. K$ s6 g4 S+ J4 b
    Partially ordered monoids
    " k  }2 `9 L2 [, ?2 A% C1 rPartially ordered semigroups1 b% g8 U! T4 Q+ V5 H5 r2 d
    Partially ordered sets8 C6 e- z1 `$ a3 K
    Peirce algebras: ^7 H1 L; p+ G! q, g! _! \. Z
    Pocrims6 R* q/ G) Z2 U5 R/ U- @
    Pointed residuated lattices
    / a1 s$ z7 O6 |Polrims2 P/ o/ K# S( [
    Polyadic algebras
    0 g9 H  F- J  j" R# Q2 IPosets$ K6 f( H3 P7 F1 p
    Post algebras
    ! N! O8 p0 w' J8 {8 R7 CPreordered sets
    : J- k: N, D4 }- C/ _7 H: CPriestley spaces# k% J9 |' j: q3 _+ R$ ]! i
    Principal Ideal Domains* n& {" E7 K% V, r
    Process algebras
    2 B( [3 @! m: o- HPseudo basic logic algebras9 ^$ H4 w  a* E' o) r5 A( n6 E
    Pseudo MTL-algebras- z6 I7 ?# M# j- ?+ n
    Pseudo MV-algebras$ v4 n6 g8 Y2 l; K0 E+ p3 }7 C
    Pseudocomplemented distributive lattices
    8 Y" P& w4 v1 Y0 VPure discriminator algebras8 ]0 \' C+ a* ~. R# C( Q: T$ }7 D
    Quantales
    # Z! I: ~. ~2 ~0 ?* z& dQuasigroups
    0 k  ^9 P+ z* i7 u; zQuasi-implication algebras
    3 N/ ?' m2 ^) gQuasi-MV-algebra
    , u5 X4 A" c! T5 @2 H4 |1 [Quasi-ordered sets
    : c$ A. B+ \% W- I! o5 O  {8 ]% ?' VQuasitrivial groupoids
    8 g; X2 w" H4 c. v0 I1 HRectangular bands6 T; O, \- F! M8 D6 U0 y, b
    Reflexive relations
    5 x& e/ W5 _# K  }Regular rings
    2 {) K1 H0 s! S# URegular semigroups& t# o% ^/ ?  r* M
    Relation algebras
    . {. P( F4 e8 K- D5 V, ^2 xRelative Stone algebras
    $ X# m2 J  J* h$ w, h3 N" yRelativized relation algebras
    7 Y& _: {0 m, k0 ?  [Representable cylindric algebras
    ! K+ N% m/ Z$ D' oRepresentable lattice-ordered groups- W  K! b7 ]' B; {0 P3 R
    Representable relation algebras
    $ N- C8 f7 `7 v5 bRepresentable residuated lattices
    : n' a9 Q8 P! I; Z9 M0 W; mResiduated idempotent semirings
    8 L6 @+ b6 `; vResiduated lattice-ordered semigroups7 Y. {& Y1 _* }6 c/ y- U
    Residuated lattices
    1 {/ F3 s, W% r: ?1 i$ X% @2 u' HResiduated partially ordered monoids
    # ]: p  O( U8 l6 y/ PResiduated partially ordered semigroups
    2 F( Z: W* e- {Rings0 Z& p# D2 ~7 d0 M
    Rings with identity
    6 o# X) I8 p* |Schroeder categories
    8 C7 S5 w6 o3 j3 [4 ~# KSemiassociative relation algebras
    6 K- t7 y4 T  ?' U. I6 uSemidistributive lattices
    6 c3 t0 u+ s- Y; ^' u9 h1 ?Semigroups, Finite semigroups
    8 r* l# S1 P' e, m1 FSemigroups with identity; }, H3 ]; t& f5 V) p
    Semigroups with zero, Finite semigroups with zero/ V+ N& r9 H, h4 V1 G+ ?& E  [* w
    Semilattices, Finite semilattices
    9 l6 i2 c/ G" X& m0 z$ G! z- g/ DSemilattices with identity, Finite semilattices with identity& r+ B7 v8 t) J; E( l8 @! l3 F+ j
    Semilattices with zero
    ! G1 B& L; H! [9 o5 D7 SSemirings
    * m, \: Z6 P6 }: v. b  A1 I6 CSemirings with identity
      Z( j8 J/ B" J2 N7 d: L/ p2 BSemirings with identity and zero' S. e$ B) O' B
    Semirings with zero
    % ]4 A) S* ]9 u. GSequential algebras" x# Y* `. t& d- c
    Sets8 i+ U) }( X8 p. b
    Shells2 Z) H2 B- K$ l0 F6 d& [1 k
    Skew-fields
    0 o6 X1 J1 X/ R& w' ]Skew_lattices
    % Q+ U) v9 b  ]4 ~3 ?8 E5 ]Small categories- r  p4 X5 o4 D
    Sober T0-spaces. a. Y5 f8 ?9 V8 w9 T4 I# A
    Solvable groups
    ) m6 s+ U* v9 b- {Sqrt-quasi-MV-algebras' [# v, Q# s% {5 q- j$ V7 P
    Stably compact spaces
    % ^; ^6 e; k2 C4 ^Steiner quasigroups
    ! n( I; B' U# W. i" ?/ ]Stone algebras* `+ d. o* N" {2 o$ V9 z! q
    Symmetric relations/ D5 e3 ?7 L0 O/ Q8 o8 J; R+ u% K5 i
    T0-spaces
    ( d7 w6 M9 s" NT1-spaces) T( n+ x- s8 |; W; I$ T
    T2-spaces
    + ?* z$ V9 i2 Y  wTarski algebras! X. y8 g6 r- c
    Tense algebras; B1 S7 x0 W: Q0 m1 V* d
    Temporal algebras5 P+ O3 x' U$ b/ V& P
    Topological groups. k! l% s9 O' b9 R: c9 e4 _, h
    Topological spaces& C1 g1 C! Q0 B# J- B
    Topological vector spaces7 K0 o4 {7 M3 Q! v: k: \$ S
    Torsion groups% e6 E5 D5 W6 Q2 e; i% V: }
    Totally ordered abelian groups
    ( Y& G+ h8 Z0 o7 X9 \/ lTotally ordered groups# X6 V9 ~5 {: B( Q5 ~9 m
    Totally ordered monoids1 J+ q6 q# ^$ d5 D; x; \
    Transitive relations' B  S. O- m9 r! B7 m
    Trees
    6 Z5 S" d& _/ d- D+ zTournaments
    ( r. ~# a7 v) M- h3 dUnary algebras  i) u; i" \  K4 }# c* [
    Unique factorization domains+ H* j5 D- G# i' j" K
    Unital rings8 {+ Q1 i2 m; P- z1 ^; K
    Vector spaces
    8 f% d; l& h* bWajsberg algebras
    3 X( k/ b! t( Z( }5 zWajsberg hoops  Y; T, h# p! v7 E. J
    Weakly associative lattices
    # R3 g0 A  A6 e0 S0 k$ O) GWeakly associative relation algebras
    0 Z7 L. V9 V8 B' C& vWeakly representable relation algebras+ Q& [5 n9 F. s2 [6 z2 }6 C( B
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    : C( c; ]  X. L, W, x7 i阿贝尔格序群
    # p$ L6 ?& c2 q8 z阿贝尔下令组% D  X( G% F& _* |
    阿贝尔p -群
    8 D7 o5 R* |" a, |) I' }' S阿贝尔部分下令组5 p# {# @5 n' W7 e
    行动代数行动代数$ ^/ ]- `8 i! g  h# D
    行动晶格
    8 b# g4 U- A0 b' @/ k  U/ X, B代数晶格# t/ ]7 R1 m* @  Q" {; t& n5 \8 N
    代数偏序代数偏序集: d# F5 l& H3 {" I
    代数半格
    - s5 u, j" ]- I! U2 j1 J寓言的寓言(范畴论)
      [5 Z% q0 S* Q5 j" r8 S# q几乎分配格) e4 G6 @( d; a
    关联代数关联代数
    6 s# K8 p, G; k1 E& \Banach空间的Banach空间1 C( H$ L1 P4 p; e6 ^
    乐队乐队(数学),有限频带
    ; z2 z, c7 q& L( s4 T; E( E基本逻辑代数7 ^. i$ g  g4 G1 r
    BCI -代数的BCI代数+ F5 M+ _) |! E" N: J& N
    BCK -代数BCK代数
    ( |/ ^' \  E6 W/ B% z& N; cBCK联接,半格8 t$ H9 ~4 c, F( p6 ~
    BCK晶格9 m  b5 _4 z/ [) P# D# d! I
    BCK -满足的半格
    $ v6 S: l/ I8 Z( t  z双线性代数' o' `' O( m+ C  a0 x7 p6 ^
    BL -代数
    4 e3 R- \7 r8 k9 M2 w# UBinars,有限的binars,与身份,身份和零与零,* t2 ?4 \/ _: l  s' z
    布尔代数布尔代数(结构)! \. Q' W; k. ]4 Z. A# h1 X
    与运营商布尔代数
    6 J; ~3 L: s" ]+ h1 l( r布尔组
    ; y2 i* I6 b9 H7 v$ u布尔晶格
    ' D, A4 Q. x: `2 ?% i6 z对关系代数的布尔模块
    ; D# m, \, R) ^$ e  G! Z布尔半群8 H/ i1 ~0 {# l* b6 }  p
    布尔环
    ; Y, t! V4 d" u  k6 g; a& o  ^* E布尔半群
    . c" D) e7 z7 B3 }+ N2 j0 j布尔半格
    ( I2 b- U' A  J布尔空间
      N, f: c2 U5 `% o/ x: C# W) Q) W有界分配格" A. U, ~6 _6 y, _: L
    界晶格
    , \1 k% |2 G* P" g界剩余格
    8 ]4 Q5 c' N- W. V0 TBrouwerian代数
      x8 Y# ^1 s: {1 q$ D# G( }3 oBrouwerian半格0 }# x" z3 C. I5 J- s3 w
    C *-代数
    3 }' M3 b3 b  S9 s% v消可交换半群
      ~+ s8 @, d& c* V4 V$ Q' i8 Z消可交换半群
    " J# y* ?4 C/ |. V8 R8 @8 u# `8 [可消半群+ h/ Z& J/ g. |/ y* U* h: k0 |
    可消半群
    : `# T: H7 U5 X4 @) A3 b消residuated格
    % \: l  {# `+ R4 L分类
    ! q# w( o" ^" {$ u% }2 e4 n* B: F
    克利福德半群- I" ?. b2 E! a+ a( S+ Q
    Clifford代数
    7 F0 o& C" R5 T+ d封闭代数
    2 `$ ]9 C% v; z5 D" B5 p可交换BCK -代数! \% c: r, t' W
    交换binars,有限的可交换binars,与身份,零,身份和零% d; s9 e# w0 B+ K" E
    可交换的组成下令半群,有限可交换积分下令半群
    2 n& w' Z/ d: O$ Q% O. }* b( E. q交换逆半群
    . K. p3 A$ H' m  B交换点阵有序的半群9 t9 k' c& M$ w2 o
    交换格序环! H) z4 J0 y$ c: O3 c3 U2 u
    交换格序半群* x. I$ g! z1 u7 g7 U2 o3 h
    交换半群,有限可交换半群,零的有限可交换半群; Q/ e) E( Q& b- M9 E( a# K
    交换下令半群
    ) P; k1 o" H) T8 w9 @" u9 b6 S* L交换下令戒指
    ( }: U) m; w# m0 m! v有限交换交换序半群,序半群  S4 f8 a8 j2 ?2 K! V; g: w) L$ U
    可交换部分有序的半群
      a6 `" \# H. y- ~' |可交换部分序半群* O" [3 s9 o- f. ^
    交换正则环
    . q+ J# ?6 b  e9 N. Q! P" A交换剩余格序半群+ ]( s- u+ i4 p# c3 a% ~
    交换residuated格
    % l0 g4 Y6 [5 Y+ w1 z  H6 W% ]; X可交换residuated偏序半群( Y/ Z7 L+ B( @' O/ Y
    可交换residuated偏序半群
    9 {: v6 [3 K; X' v6 T# W9 {$ x交换环
    * b: j4 a) \0 Y8 W8 z1 O与身份的交换环4 O& a) T+ }  s5 ^: w8 Z
    交换半群,有限可交换半群,零; X2 Z2 H7 K  W# M* ~0 `2 N
    紧凑型拓扑空间5 P! G) s/ Y: ^6 b9 f) E+ S8 j
    紧凑的零维的Hausdorff空间: _$ i8 R: T: l6 u) V5 h+ b
    补充晶格
    + m( m: T- J% _& [有补分配格  E3 z! _  [7 [  y8 l
    补充模块化晶格
    4 `5 Q! J9 n  X6 c完整的分配格
    4 z9 L- \8 N8 M$ C, Q3 T. s+ \完备格
    - D  R1 Q3 o! d完整的半格$ f3 Y" w, @3 s' D* H) N
    完成部分订单3 h& W3 j+ V. X9 @6 ]+ [
    完全正则豪斯多夫空间
    " g& s* y7 L4 ]: m  ~5 e完全正则半群. S2 S! M% o; m
    连续格
    # l( ~* {  k- v. j9 Q$ h# r连续偏序集! K2 t# {  f# F
    柱形代数
    9 e+ x, g5 l/ [1 U; ?( n0 c8 @) z德摩根代数" d" i- n2 f) v) w; g5 l
    德摩半群/ `/ f0 u: v, G: E% ~3 A
    戴德金类别
    : u. B1 U- p& u5 `0 o戴德金域
    9 h) `0 r; h, B- |: ?稠密线性订单
    / N6 X( R" s+ m& @6 T, y0 m有向图代数( X' g. Y2 T/ M1 ^5 O/ G% Y: I0 }
    导演完成的部分订单9 B* ~5 V4 @# \+ v/ V
    导演部分订单, I8 r7 w$ _0 U) g7 T. m6 |' c
    有向图
    & F! m3 R" ]* V& J. Q4 b4 rDirectoids
    8 u" w8 O1 ^0 F. M1 E+ `5 v  y% m分配寓言; {+ B5 Y7 j6 ?9 u5 v
    分配的双p -代数( r4 p# i# k" X2 ^2 [' `6 M
    分配的双P -代数6 s1 e5 B% H4 b6 |4 d$ ^
    分配格扩展
    # Z; N% M1 g8 v' Y" _* f: d! l分配格
    1 \0 @/ I9 j- Z% V与运营商分配格
    . A) Z0 t! s5 t# P& k1 d# F" |分配格序半群2 Y6 U" D0 @: ?0 Z
    分配p -代数% F9 L$ z+ Q1 p& @0 u: l
    分配residuated格
    - S* \; J% n$ T& Z9 \9 M司代数* }! A0 ~9 w9 m6 r. c$ x/ A
    科环
    9 ^$ e" M/ {: @9 F- C双Stone代数% [) B; ?: N6 h2 u' {) p
    邓恩半群% `) P+ m' t% J  L
    动态代数- m( @# U& K+ F
    熵groupoids8 X* z! l5 d+ }; v3 _/ F% R
    等价代数
    5 H, Z$ t$ @5 X% r* x! Z+ T9 c4 H等价关系
    6 Y' t$ e# v# p欧几里德域5 N8 v2 O7 ~9 ?: G  Y/ N' |) Z
    F -环5 y2 V: q# X: \8 d
    字段+ K9 c/ V+ e/ o* E* Y1 n
    FL -代数3 X4 c% a( [; B5 a+ x6 i
    FLC -代数
    / Y3 m5 _, ?1 u4 r$ h: Z2 uFLE -代数
    ) R# t6 U6 D4 o8 _. P% U% ?  J6 B8 e飞到-代数
    2 `0 H+ I! Z" iFLW -代数, `' h# M0 c8 b$ J
    框架
    6 O% \0 v! V8 ]. w1 g' \: O功能戒指
    / |! O. s- Z) G9 q2 p+ jG - 组
    6 C) K! M  l' N/ v% M6 ~- I广义BL -代数; \: \. p- f. D1 }3 U- s  m, V
    广义布尔代数: ?7 J$ S* u5 j2 i+ e
    广义的MV -代数" L/ o* h! r' O4 A
    Goedel代数$ ?1 [" u1 t6 I" g
    8 ^! ~# _# k- L1 c- k' M
    Groupoids
      }$ w3 I6 z7 q% w: a8 y  B  a5 J: B' D  ]
    豪斯多夫空间
    5 @7 ~2 N3 D2 v3 _( GHeyting代数1 I( `, p" O2 g7 ^5 a+ }
    希尔伯特代数
    4 ?! c: B8 B  Y0 X6 ]7 ]Hilbert空间$ R& _5 b0 |9 `% E
    篮球
    7 o0 F  ~; J8 _2 Q: B+ _幂等半环
      D' T0 c5 w+ V+ o4 q6 F幂等半环与身份
    ) T4 ~2 {3 t2 X幂等半环的身份和零* y  o0 A2 u6 j' r+ {; |7 u% v1 y
    幂等半环与零" \8 f) g' t( ^( ?6 ?& ^6 _0 {
    蕴涵代数
    ) k! ^" d$ P" h- B. Y6 _/ G含蓄的格子
    7 L9 m0 M+ ], ~  }% }& @积分域- e! s% q" S! A, Y; Z) S: M5 }3 e
    积分下令半群,有限积分下令半群) l" @7 u- X, ?5 K  @" P
    积分关系代数, ?* ^0 u, x4 M
    集成剩余格
    $ h. K5 N( n( ?直觉线性逻辑代数* Y2 S' O8 r- s  A+ H9 Z) O
    逆半群
    ! B' O6 [, _8 c+ h% D. @8 }合的格子+ @4 Y2 |5 h+ I' g2 A+ e
    合的residuated格- N5 u0 S) u" A! R4 l: R* v/ C3 d5 L
    加盟semidistributive格
      f+ n/ e- i! g; \加盟半格
    7 `6 i/ F. }( l2 P+ T8 ~! d* K约旦代数( b: @# J, ?: x; o
    克莱尼代数
      V  X, n, t: r0 }( q克莱尼晶格
    : A" h8 k. s3 o- o) kLambek代数
    6 c, D. I) x# P& j. q" ]# n格序群/ Z! E: d% u7 {$ k# s- q4 V* z  `
    格子下令半群
    1 F5 t$ W, A. }/ s" r3 f; d" R格序环5 U/ H* e8 _+ I; i! j
    格序半群9 n9 Y" F& }3 t2 J  L

    ; q& k' N6 u1 l% V4 X* [+ i左可消半群
    & n8 l& i2 `9 \% I# K2 C; i  ?李代数
    6 [( y5 T9 F  o; d线性Heyting代数0 g5 F( n6 P2 F2 R$ H
    线性逻辑代数9 \; k: E. s# A7 V% j
    线性订单1 a7 H6 i  u: V6 L2 k$ P! b
    语言环境& R3 d! ^" E) d9 u+ [. ]" v) {
    局部紧拓扑空间9 @1 {( m8 P* _3 i. n
    循环
    ) A) i4 G4 ~& M  @! mn阶Lukasiewicz代数( U; B7 _1 x- Y6 i9 }
    M -组
    , f8 [- A6 k; d0 x  ]8 y+ {8 {内侧groupoids" T) s) A+ x2 ^$ W6 j4 B
    内侧quasigroups
    2 o3 z% D9 r% O3 a会见semidistributive格6 K9 n' L3 Z3 i% ~- E' l" A
    会见半格4 |  W) x  d  r. z# y
    度量空间
    ) t6 }( \2 @) \/ ]模态代数2 k$ _% Z9 k8 o) t  f) R
    模块化晶格/ M& }9 t$ x) {9 T2 K0 D' C
    模块化ortholattices
    - I0 j4 `. F6 m! \: r! T* }环比一个模块
    0 k5 n( W! H6 x" I0 o单子代数
    - C8 f5 y4 o3 g7 T0 I2 ?0 q$ ]Monoidal t -模的逻辑代数" `0 F0 A! F: ?
    幺半群,有限半群,零
    ' n8 Q0 a! s2 s) H& ~3 Q9 b5 r& V* @0 pMoufang循环3 H, |: C8 i& Y+ Q6 y
    Moufang quasigroups; ?2 j3 h' y( A- z
    乘添加剂的线性逻辑代数
    % W" v, ]4 }5 e9 c+ O! Y乘晶格7 @. s( }2 t3 a) k0 E$ k
    乘法半格- A' q# V) ~) D5 E$ H
    多重集. x- y# [- n( t0 u$ Z
    MV -代数
    # x4 e& P1 I% t' K0 ONeardistributive晶格0 F, E# |! w: [$ S
    近环- U  F+ l, t8 h) v7 K% M) Y
    近环与身份
    ) m( m! R. h) n1 m近田% G' ?* X0 @+ w) M
    幂零群1 ~& J5 ?( w" Y0 @: e- J8 E# W
    非结合的关系代数
    0 L, }' E; d% j# V) S非结合代数; ~, E! h4 I: \/ A0 a! @. |0 j
    普通频段
    ( Z8 K4 @; M; p% d* C正常价值格序群/ D  D7 _- a- a) l6 ~% @
    赋范向量空间/ C" W" G4 x7 D" J1 `
    奥康代数
    , R# g5 v, m* v- V7 d订购代数) u- E3 \9 h! e! t+ ?* C5 T
    有序阿贝尔群
    2 c2 {3 `5 V$ X! m: c0 x+ U2 N有序领域5 |% p6 [4 a) M- `
    序群
    ' w. n0 E$ t; t: }/ O/ M有序半群
    4 a% @9 H* a% M; l5 k; ~6 `与零有序的半群
    5 K% F6 f; `! f1 N有序环7 a, U5 f/ b! u8 q$ T6 r& [
    序半群,有限序半群,有限下令零半群
    ; e9 H1 `( r) Z- J+ R7 A有序半格,有限下令半格6 s; Y. G1 j, y  r5 s% H
    有序集" p' l' A0 r8 e/ t. ?
    矿石域* @5 M: {" M0 X3 u) f, C
    Ortholattices
    3 F- X9 G% o* L2 F. l( n正交模格% ]# Z. ~/ P- \+ n, L# a
    p -群; ?. P1 C) r3 ?$ F+ J- J5 B/ U: W/ F
    部分groupoids
    8 s" K) V8 s2 R# ?5 l部分半群
    4 L* p4 E* r' o5 S部分有序的群体
    , o% m: S5 U6 [部分下令半群
    - Z( m) b4 J3 i0 t9 a部分序半群1 g$ L9 o+ B, v6 C2 D" V1 f# _
    部分有序集. e  S# r' O4 H2 P" ]
    皮尔斯代数
    0 N; W2 _* p$ B8 WPocrims
    1 s) b- Q' t9 |/ R( ^: z指出residuated格: ^. \- e6 @5 i) F& \2 b* l
    Polrims# m" c& I6 t( H& @& t
    Polyadic代数5 }. e# L5 m& ?$ a% M0 k) I
    偏序集
    " Q. b. T! H/ ~( y6 _. M邮政代数
    / ]4 A2 A/ P; o+ t+ D4 {  rPreordered套& _& D: ?* P4 @* Z5 F
    普里斯特利空间
    7 q, j4 X7 [2 Q0 p) J, N- I  l  |主理想域
    # Y9 V; A. Q  ?4 g; w进程代数7 V' j- u+ p. _; l
    伪基本逻辑代数
    0 h1 ~( f8 U- b4 t* ~3 X伪MTL -代数
    6 t$ A. h* ^2 t. @伪MV -代数+ e( z' e, f8 D9 p1 v8 D
    Pseudocomplemented分配格- A5 K/ v5 ?7 N0 [: z! d
    纯鉴别代数& ]! v9 V# B0 S: A3 W5 S. F
    Quantales+ C& _* Z5 z8 D& s8 @2 u
    Quasigroups& ^3 N7 {! B7 t$ o
    准蕴涵代数
    & N2 Z9 U! E: C5 b准MV -代数
    . I4 D2 |6 z3 c. y1 K: [% U准有序集. l- y3 {# P. [1 c3 C
    Quasitrivial groupoids
    " |/ Q+ l0 i9 A$ Q  i$ ]7 z" h矩形条带
    % a6 A: n- \, _- d4 P5 {! Z! s自反关系3 I4 Z, ~$ [9 B! n5 u
    正则环3 O1 |! |! f( Y6 e
    正则半群
    2 r$ G+ A# l6 S7 S( f关系代数: ^& l8 e& y6 v+ u( }6 g
    相对Stone代数
    + Z+ x+ C* Q( b8 [相对化的关系代数8 [- J# K. d% ^; j1 o9 [  s0 r
    表示的圆柱代数
    3 ^9 K7 q/ Y$ s/ j3 e# O2 A( y表示的格序群体
    0 `, ?$ S4 c: V: r0 Z6 A% L表示的关系代数$ i4 H: d1 b, J4 Q
    表示的residuated格9 G; b) {" ^4 ^: f
    Residuated幂等半环& U- m! X  H% L$ l4 G* ^
    剩余格序半群( V: o% f! L7 ?& u. ~0 Y
    剩余格! G" d( r! l; K* C$ s
    Residuated部分有序的半群
    ! ]4 i4 P- X) {: k: U' X3 qResiduated部分序半群! D  U, S3 `* ]( w
    戒指
    0 }7 _3 Q. N& b' W: o4 x戒指与身份
      B/ A) e2 X8 e  q2 Q9 @施罗德类别6 S% d. b" F* B2 D' x4 W3 y" X
    Semiassociative关系代数4 a3 S0 M+ C' P
    Semidistributive晶格
    8 E  [# y/ b( o半群,有限半群4 U( o1 {0 H( P  U* C
    半群与身份
    , _$ O' m; \% }' ]) Z半群与零,有限半群与零5 O7 u6 o9 B% ^  |
    半格,有限半格
    * R* W8 N( i4 g4 m6 a6 W/ k与身份,与身份的有限半格半格
    % A- u- a. t( D: a  D半格与零+ P& o, u8 i  r* q
    半环" ~% q* ^; _% W! j- K$ p9 T6 d* }% J
    半环与身份
    ' E# t& Z0 p$ F( a7 `- q半环与身份和零
    5 ]# P: ^0 l% k, A2 T. N! `5 n半环与零) z3 H9 {- x! x
    连续代数
    ; k1 e) l* {8 C7 L0 ^# C' r
    7 V& [: T4 W0 r) O9 N- g0 I, g9 S# r3 T& _
    歪斜领域& b: j/ a4 N+ j8 I
    Skew_lattices
    8 {) V5 a1 J' r/ ]8 d小类
    0 d: b0 J$ }/ Y) v' o; c清醒T0 -空间
    * H" j) D, X: y可解群0 S6 h1 D- ^% h; w
    SQRT准MV -代数; X2 W: F8 H, K( f
    稳定紧凑的空间
    4 v" N9 q& R+ f6 E施泰纳quasigroups
    9 V$ p% z0 L7 w9 Z( s  TStone代数
    3 L3 \9 X9 G7 u/ X对称关系
    & Q7 h5 n' x$ l+ f) P- mT0 -空间% `+ i) m7 A' a. d5 Y) C3 l5 w, B
    T1 -空间) S% @9 E, M' X6 P+ }! a7 l
    T2 -空间
    4 W4 }' ?/ M, W塔斯基代数$ S7 a9 T& d- V4 _5 D, n, b
    紧张代数
    4 Z" @6 [( z( I时空代数
      j  {" x' H+ n9 f拓扑群9 {/ h: s: k; `/ ^5 i
    拓扑空间) C& B* q3 H: }+ @
    拓扑向量空间
    $ x. G& p! ?* o5 o' }扭转组! P* p- G! L" Y% M
    全序的阿贝尔群/ ^4 N0 h; [' s: z. e; A6 y
    全序的群体: }/ _& W" S: o) f8 N) L% j. S
    完全下令半群
    . M6 q/ p6 n1 p9 x! O1 nTransitive的关系
    ) w3 ~) c+ c5 Z2 @! g
    2 Q" e7 ?: U$ B7 F' h  o锦标赛
    7 y, z$ b  E# a/ i# h( [一元代数
    6 C5 @. s6 [" O! d+ @: K; z唯一分解域! a' J3 `  v+ e5 }& J- d# k
    Unital环7 k( n3 b9 W! n; q
    向量空间! C) A2 y0 k/ q# u1 e) f
    Wajsberg代数, F# B' `, Q; G) ?
    Wajsberg箍) |' y& F+ [9 Q* {
    弱关联格
    , z. d" c0 D' s( Z' k9 H弱关联关系代数. U: N4 ^! `9 f+ P  Q1 M  Z. n. e
    弱表示关系代数
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3300

    积分

    升级  43.33%

  • TA的每日心情
    无聊
    2015-9-4 00:52
  • 签到天数: 374 天

    [LV.9]以坛为家II

    社区QQ达人 邮箱绑定达人 发帖功臣 最具活力勋章

    群组数学建摸协会

    群组Matlab讨论组

    群组小草的客厅

    群组数学建模

    群组LINGO

    回复

    使用道具 举报

    qazwer168        

    0

    主题

    4

    听众

    53

    积分

    升级  50.53%

    该用户从未签到

    回复

    使用道具 举报

    ZONDA        

    0

    主题

    4

    听众

    3

    积分

    升级  60%

    该用户从未签到

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-4-21 11:12 , Processed in 0.499962 second(s), 79 queries .

    回顶部