QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3554|回复: 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

      G1 F; o4 f& N
      C8 P8 |! L% A# M, @Abelian groups     Abelian group% c: Y& |' ?, C8 C
    Abelian lattice-ordered groups, Z* @( t$ N: y7 U( p/ h
    Abelian ordered groups3 w6 Z* N+ `5 H0 O
    Abelian p-groups
    9 H1 I/ s. G8 C2 T' AAbelian partially ordered groups
    . V" J) A5 [* A# K: {$ N1 T: j% ^5 |Action algebras     Action algebra  T% Z& R; P/ l+ m
    Action lattices- M7 z9 n0 F$ ^/ }5 z3 q
    Algebraic lattices
    3 Z8 j- {7 K4 k4 H4 h6 wAlgebraic posets     Algebraic poset
    / H5 x* d$ m6 mAlgebraic semilattices
    8 j) |+ d) |* J6 Z! I( Z- _  XAllegories     Allegory (category theory)
    7 @5 p) E- H/ d. bAlmost distributive lattices
    # P) [, U- Y; [: M0 c! |Associative algebras     Associative algebra
    . v8 H( p( H. i6 C0 }  lBanach spaces     Banach space
    9 Y3 Y# L4 S$ r8 F- ]Bands     Band (mathematics), Finite bands
    ) a% ^9 ^, L0 i5 ]. |! O3 yBasic logic algebras
    0 B8 m4 @* X1 i2 p# F3 O4 l) zBCI-algebras     BCI algebra
      V% d1 n+ E. n" [BCK-algebras     BCK algebra
    % d- e# }* ?8 M" \! B) |0 k3 G6 BBCK-join-semilattices2 W! o( d) j( w* Z* E3 {
    BCK-lattices$ {6 A2 e* w4 H0 k( B
    BCK-meet-semilattices
    . Y6 [3 n% k% v2 X( w; Z$ ^* ]9 `- jBilinear algebras
    # D. p3 i6 w) ]BL-algebras7 E+ \4 w$ i* c
    Binars, Finite binars, with identity, with zero, with identity and zero, 5 q6 a7 R& ]; D
    Boolean algebras     Boolean algebra (structure), P" Q& U- Q# |3 M
    Boolean algebras with operators
    2 _/ v' i: K/ J, a, ]Boolean groups
    9 b: F3 g/ A# O8 V4 U/ MBoolean lattices. {5 t1 W" i! [. y8 F+ C
    Boolean modules over a relation algebra
    2 O$ I( a8 z. k) h4 Y9 A- ?: CBoolean monoids  j. y5 W5 ]; t0 u
    Boolean rings9 ]9 m8 r* ?9 ]* z
    Boolean semigroups0 ?! ~! Y. k" J* y5 g1 a
    Boolean semilattices
    ) g' P5 e" W9 G1 i1 J4 r  B6 _$ [% kBoolean spaces+ N+ s  j3 T8 s. d/ j! h
    Bounded distributive lattices
    . R  f' C7 @0 p; I$ C1 i5 D% eBounded lattices5 I; Y) _% L0 B" h3 `3 R
    Bounded residuated lattices
      h9 E' U' h# L- N$ ]( cBrouwerian algebras
    4 e* g4 k, |4 Q5 O' GBrouwerian semilattices
      b& K/ U" d; ^5 f9 @- R6 HC*-algebras
    5 T2 {3 D4 j, k# iCancellative commutative monoids
    + M& u* C$ U) Q0 H+ p3 ^Cancellative commutative semigroups
    ; [5 U: [" s. o' P# M8 ~4 l8 OCancellative monoids7 U/ T' Z/ D# O& R
    Cancellative semigroups
    * o7 s. M4 A5 F! k* p) `Cancellative residuated lattices& X7 w/ o: w. W! x  K
    Categories$ W0 m, @! a/ f; j9 D! C4 g# G0 }
    Chains
    0 v0 P4 J/ N- g4 z: o& [Clifford semigroups
    + F+ Q4 P' G' i7 {, BClifford algebras0 m% q2 N  |! |: l
    Closure algebras
    " x6 _5 E9 @9 Q5 O, M+ h* UCommutative BCK-algebras
    * ?7 p  E4 Q8 s) \1 I7 S' ~% qCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero ( q& C& x. v+ }. K* d  x' r/ h  |
    commutative integral ordered monoids, finite commutative integral ordered monoids6 f$ [/ a& M' ]8 q8 C& Y/ E
    Commutative inverse semigroups! @+ |. V2 K$ ^& q/ ~
    Commutative lattice-ordered monoids
    ( s8 P, R9 p7 G+ |6 r* ]8 T7 FCommutative lattice-ordered rings
    - R, c6 @& A! F# U' HCommutative lattice-ordered semigroups$ H) }; I0 @, ~0 E/ _" _3 s
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero6 G3 s* o  M1 r- {
    Commutative ordered monoids
    0 {! C: i8 a, J- LCommutative ordered rings# {0 r" R' m7 ]; L* n
    Commutative ordered semigroups, Finite commutative ordered semigroups
    1 |. Y- N3 H) N! ]6 |Commutative partially ordered monoids4 V9 x. J. m: g/ g' O) t- f
    Commutative partially ordered semigroups
    3 ~8 g% ?* j/ D6 UCommutative regular rings( s1 y+ j$ u0 k( U) n4 _( A9 M# C
    Commutative residuated lattice-ordered semigroups' C- U0 f2 o- Q9 K9 e! U0 B, z
    Commutative residuated lattices
    ' s/ O  c! a2 h9 ?8 f, r8 s+ v% gCommutative residuated partially ordered monoids" o+ j% t2 D* A" v1 q& K
    Commutative residuated partially ordered semigroups
    + f  F$ U( y7 O. {; B5 V# }- LCommutative rings3 `$ e: s' \1 d$ h! d  o# X) G3 b' Y' M. y
    Commutative rings with identity0 x5 U' T/ M$ r6 m5 z; Y- `+ ]9 M
    Commutative semigroups, Finite commutative semigroups, with zero5 R* B/ K% L  d' e, C
    Compact topological spaces
    & I( W2 p) N+ ~: Z! {. A$ G* ZCompact zero-dimensional Hausdorff spaces: P# K6 ?. q9 ^" Y7 U% w3 P( [
    Complemented lattices
    , n+ j- b+ x( ^' t" w) `$ C) JComplemented distributive lattices9 m9 m  l" V( F: C
    Complemented modular lattices
    - H2 F6 M; c" H; c" [Complete distributive lattices
    - o3 Z7 v! K% y2 s& ?) eComplete lattices% \6 d% z1 y" A0 \2 F) |7 o3 o
    Complete semilattices
    " N9 i& j& {" ZComplete partial orders
    ' h0 g0 Y* D& o: f& {Completely regular Hausdorff spaces) \, P+ ?# Q3 w/ t* i# A9 P
    Completely regular semigroups
    8 d5 ], t/ z: y/ j5 q' XContinuous lattices4 @1 T4 y1 e" x6 [
    Continuous posets
    - _; K; s3 i0 c8 SCylindric algebras
    ! K( i# |1 u9 V* g* |1 W) r+ dDe Morgan algebras3 n2 L, l1 c* a$ p+ X/ f  c
    De Morgan monoids& z* W4 b! j( _+ w. Q* w3 `
    Dedekind categories& }, o( U4 k9 O- L! L% Q/ S
    Dedekind domains
    , [$ ]* X) O; CDense linear orders
    , Z3 ~: @0 s/ O* k3 j5 E1 zDigraph algebras8 a$ j# m) C; [6 }( H
    Directed complete partial orders
    4 x' Z( Z7 W  S0 ~- J, F1 jDirected partial orders2 Q- J! D/ e5 @- t
    Directed graphs
    + n/ h$ i6 \$ }! o0 {* Y+ N: @* KDirectoids7 o4 q! v$ d& ?$ _% O, T
    Distributive allegories
    " Q( y- Z' V9 n# B2 K1 yDistributive double p-algebras
    ( S- ^2 q3 m3 FDistributive dual p-algebras5 V, Q9 m- N4 p6 V; }
    Distributive lattice expansions" y; b: i/ }8 N/ H; t/ \: h
    Distributive lattices
    ( Q  N: d3 @, A$ y5 ?0 _$ I1 dDistributive lattices with operators
    0 y" X* w1 _2 X0 A" VDistributive lattice ordered semigroups" U; h- y' z4 T0 V! H" I
    Distributive p-algebras& K; t, A" h: l8 [9 f9 z8 ]' g
    Distributive residuated lattices- c2 e0 [4 q: e8 v
    Division algebras3 G" b: W7 h( Y7 e0 v
    Division rings$ D3 {$ k' \7 w- _  j+ L  F* ^
    Double Stone algebras
      j- E8 j9 Z( T7 Q' i2 tDunn monoids
    % ?6 H1 E" C7 [4 R0 T( Y, pDynamic algebras
    : A/ R3 u9 f( \5 ^Entropic groupoids) W! v% h; s7 ^
    Equivalence algebras
    ( F' [( z+ I- \' SEquivalence relations
    + _/ S" Z- [3 v  b7 O4 Q' _Euclidean domains
    - K2 S2 ]6 s$ G7 j1 F+ ~8 ff-rings
    5 {: S( P2 c: T3 g$ R2 z" {Fields0 i( g1 [2 I+ N% z
    FL-algebras
    ; P" `; X: ^* _0 f% U2 WFLc-algebras+ T7 @$ R; x# |$ C$ [3 H" l* n, r8 z
    FLe-algebras
    * X; X5 K7 [5 _$ BFLew-algebras
    % K3 A, V0 D# D6 ~4 h# g+ g# PFLw-algebras
    3 w; v) ]4 Z& o3 KFrames! q3 |! H1 d: m8 c/ \9 w
    Function rings
    $ L) \. m, g+ D  @* p' iG-sets
    * S: Y! Q5 |. }$ \0 `7 FGeneralized BL-algebras9 p+ e; w/ M: I3 a! x" I
    Generalized Boolean algebras
    7 |0 C0 B. t! e+ A% h& Z4 {/ T% Y3 [Generalized MV-algebras5 [  W+ P  S6 @
    Goedel algebras
    - M  V- f6 K( V. T8 i' IGraphs
    # t6 r* o$ x9 @/ W2 uGroupoids
    % n" B1 |8 _& f' c' U" \* R# ?Groups
    1 ~/ h7 `- o. R$ Y6 IHausdorff spaces- @; ~7 F/ N2 U' W2 \' a+ o
    Heyting algebras& h$ Y1 G9 m5 W
    Hilbert algebras
    7 N$ t$ u  }& ZHilbert spaces
    4 Z6 H6 ~- ]! b& m& c9 v/ E& XHoops
    6 ?5 V% U1 O! R7 XIdempotent semirings
    5 L& u) q1 y" D& zIdempotent semirings with identity
    - [8 y0 M; M4 w# d( Y6 T  @Idempotent semirings with identity and zero
    / o- X( o- ~5 k# AIdempotent semirings with zero
      {6 i( ~7 [( \# B, dImplication algebras) h! L$ O) ?/ x0 o( ?/ [
    Implicative lattices0 r% a& h) z" k
    Integral domains' p0 g. g$ M' T( q
    Integral ordered monoids, finite integral ordered monoids6 }; [# o5 Z4 f
    Integral relation algebras
    & t* J4 W9 {: F+ Z5 O) zIntegral residuated lattices
    # }, ~% v) M. d# A7 l- H8 ZIntuitionistic linear logic algebras
    0 W  D/ e( e& _6 @Inverse semigroups, a/ E9 o9 p2 L" z. j& {
    Involutive lattices
    6 p0 ?% D8 Z+ k3 z( A) I  f& uInvolutive residuated lattices
    1 p4 \! }) }' g& `6 h! mJoin-semidistributive lattices; F8 @9 H9 p& ^) F. U/ m
    Join-semilattices) R6 ~, D, ^& W# S! Q0 q3 I& G
    Jordan algebras( D; x/ A" o8 E+ f9 c
    Kleene algebras
    5 V) z9 Y$ m" Y* s% ^* IKleene lattices
    , G, p' c: y4 R0 uLambek algebras
    & E6 r# k+ C& w% @( fLattice-ordered groups% z6 G; t0 l% b1 @- C4 L
    Lattice-ordered monoids
    ! z/ b3 T; T$ H/ ^% ~; ALattice-ordered rings$ p% z4 L  @2 u' E5 G) o
    Lattice-ordered semigroups
    4 t0 Z2 i& k( L0 r2 i* Q! ELattices
    3 ~  ]0 G% m7 G" o& i; R  `Left cancellative semigroups
    6 D2 N4 A% q% D1 a6 R6 y8 JLie algebras' J! [2 k( Z3 G
    Linear Heyting algebras
    / \0 c* ~- \- X8 PLinear logic algebras8 f( ]' K, z/ Z
    Linear orders; r5 l6 A: p" S, b3 ?3 M3 [
    Locales
    . J$ Y3 x6 V* @. N! \; DLocally compact topological spaces9 y% q0 J' w1 X' |- F/ U
    Loops
    7 K' V- N8 e9 nLukasiewicz algebras of order n
    ; m. ]- a* y4 m) _# d' PM-sets) r8 w* r1 h; U/ [) Y3 ~7 K; z
    Medial groupoids4 ]5 t+ N9 l6 ^
    Medial quasigroups  r6 d; x, m( W& Z% p2 e$ N
    Meet-semidistributive lattices
    : H' M% k: b0 L; SMeet-semilattices1 Q) l6 q7 ]: N1 o  ?8 j. |! z
    Metric spaces" s. [2 G! @( K$ ^8 x
    Modal algebras
    " _0 M# x" O: b. ?# d4 cModular lattices# h1 U; R  N+ f+ E
    Modular ortholattices$ x$ i5 t) _( v! V8 a$ v
    Modules over a ring
    6 h5 T' Z1 V* ^3 P1 W/ ^- ^: q$ {/ _Monadic algebras
    * ?/ b# R0 G1 F% V8 M, d) j: |Monoidal t-norm logic algebras- l1 ~- f8 ~* r. W+ P4 Q
    Monoids, Finite monoids, with zero% W( @3 s6 w3 U0 X" `. D
    Moufang loops; B, o; M7 o$ G- X
    Moufang quasigroups
    1 F* e8 l! [/ iMultiplicative additive linear logic algebras! i, z5 F( r: v. }
    Multiplicative lattices
    ( ]& M' D& h0 I; P! P3 r2 C, FMultiplicative semilattices
    ) f3 @/ e; {# N8 T  n7 m9 f; PMultisets
    : {: v+ X  V. d. R$ B/ [MV-algebras* q2 }5 a! c: q6 ~" ~  L* Y
    Neardistributive lattices
    1 m+ [) \& J& x' m% A& yNear-rings
    1 ~4 `! j7 W1 S9 p: ANear-rings with identity
    + Z5 p) Y1 I4 c% |9 p, t/ tNear-fields( T+ ^- [- r5 ]# Z' ]
    Nilpotent groups& {2 G: i3 p0 r( j9 t/ J# Z
    Nonassociative relation algebras) _7 J) X" k( D4 p/ s& x7 f# I! n
    Nonassociative algebras
    : A% |8 z& {" H3 C' A: I  RNormal bands
    $ ]. n7 o' G& k& ], SNormal valued lattice-ordered groups( G# `5 B3 P8 ]6 X! I" g
    Normed vector spaces
    + N6 b* _% }9 m2 r; N, f0 pOckham algebras, d7 H, b( a) ^3 _
    Order algebras
    ) g- `0 r. e) {2 S7 LOrdered abelian groups
    + K& L! @: N' [) r8 M0 r, rOrdered fields
    1 I/ j1 b$ W3 Q% G& n& _Ordered groups
    ) Q* I0 V4 [  GOrdered monoids
    / Z2 P% b4 ?1 jOrdered monoids with zero$ r9 s, j) b6 ^& ~2 c/ n1 _
    Ordered rings% n& X4 M. G. \( S/ V
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero% |8 b) Z& U! V
    Ordered semilattices, Finite ordered semilattices% D0 r& O9 }6 n: t
    Ordered sets
    % K$ S% i" v) P  R( Z: aOre domains& f* H) j8 a. N* y3 F5 Q* h0 ~. p
    Ortholattices
    8 l' u4 X. u3 o$ T' a6 KOrthomodular lattices3 R' G- q& `! @0 h5 r; r
    p-groups
    ! k9 V0 @! F" H2 J4 l- ?Partial groupoids
    0 Q7 L! r( Z$ d0 e$ m7 W. K; BPartial semigroups
    - \7 k4 E3 C6 o0 r2 ~4 `( aPartially ordered groups+ I- I9 {, u9 E: v* I
    Partially ordered monoids  f& ^* g) Q; Q- v+ D% U
    Partially ordered semigroups' j% m8 R8 J7 N0 L6 X  \; `* F
    Partially ordered sets
    ' ~4 \/ P% s! l5 Q1 OPeirce algebras
    " i) C  m; k! @, V- c: e$ _Pocrims
    , H+ E5 k4 M" A$ ?/ C1 @- p1 OPointed residuated lattices/ l& L5 a6 t* Y7 Z# f; K
    Polrims
    9 A+ h, {) ^% I9 DPolyadic algebras
    9 ^5 p, \2 x  Y& F" N6 vPosets
    8 v" k% q. N/ BPost algebras
    - U6 x7 y( t+ @1 x- xPreordered sets2 P* w; ^; w' H6 h
    Priestley spaces
    / o, F  l/ ?( w$ D# d$ \. T) \Principal Ideal Domains
    & G; L5 M& ]3 U# C/ r! [* WProcess algebras
    ' v8 k2 B& N  EPseudo basic logic algebras# R0 R  G# b9 Y4 Z  \
    Pseudo MTL-algebras* ~6 r  K  o' b
    Pseudo MV-algebras
    , B$ w2 I' k) k8 cPseudocomplemented distributive lattices( o+ ~$ [5 K( L( Q; u+ @
    Pure discriminator algebras
    * n2 V) Q8 v9 B' @0 oQuantales
    & g0 s( k, T* s2 u% q0 ~! nQuasigroups; d( p* ^* d2 @/ G6 u( x0 F2 o8 x
    Quasi-implication algebras
    3 W2 q0 C5 e* E9 [) |+ @* IQuasi-MV-algebra
    " y, L/ B8 C% k7 YQuasi-ordered sets
    # Q4 @% b( I0 cQuasitrivial groupoids# B: g. G1 C6 b7 t6 G, m
    Rectangular bands
    : d' n. |' l$ s  t% O8 G0 bReflexive relations. x0 p2 H$ z2 c- Q0 L
    Regular rings
    / Y5 `/ Y% ]5 ]9 `. u" `( eRegular semigroups# Y0 E# f& M( C4 O! l/ i* W$ w
    Relation algebras
      U- S5 {, n; q6 e1 s5 kRelative Stone algebras' X& Q  `2 J6 d0 b
    Relativized relation algebras
    " n* {9 \9 B/ p' M8 r; Q, A0 _+ m. XRepresentable cylindric algebras# `4 i8 h$ P3 m' I3 F
    Representable lattice-ordered groups; o8 G" X8 @: }' }8 i
    Representable relation algebras
    * y- a3 w: A5 ]: RRepresentable residuated lattices5 D7 _0 h1 h5 c. j0 \
    Residuated idempotent semirings
    3 }: R: T$ G- \Residuated lattice-ordered semigroups
    . P0 L2 K' m2 M) {Residuated lattices
    " r; f: M( {0 T# qResiduated partially ordered monoids" R" r; v! C- |4 a0 u" W
    Residuated partially ordered semigroups* z, h; E' x6 ?% ^" q
    Rings
    4 g# A5 x4 E/ A. R, @6 ERings with identity
    4 ~, Z- @: l' ]! K+ wSchroeder categories
    9 m& j0 h0 ?' b( ~Semiassociative relation algebras! u4 J6 T# D! r0 q- C0 I( d
    Semidistributive lattices4 b* Y: e% Q6 m4 r, U
    Semigroups, Finite semigroups
    + W- g6 p; [* k  e; P3 ~: f7 fSemigroups with identity
    + x; T, Z6 m4 A6 P: wSemigroups with zero, Finite semigroups with zero& N) s$ u0 i# o0 ?; r
    Semilattices, Finite semilattices
    9 v5 F0 R- k$ ]2 i5 }1 ISemilattices with identity, Finite semilattices with identity
    , D$ I' V  F. X/ [$ J  _* j7 XSemilattices with zero( S/ L6 K0 \& ^) V4 R0 g( v- d* Y% ]
    Semirings
    * W3 W% v4 D' R5 e" |  Z0 Y* HSemirings with identity
    3 c- `+ l8 j! A$ g' y! U+ D8 SSemirings with identity and zero
    0 B9 ~, k, O, t1 W/ _$ w. pSemirings with zero
    & s, j! E( I6 y  b  L& `Sequential algebras
    5 p* f$ K/ r' {9 i% g. s2 {) {3 |Sets
    0 ~8 L: x+ z/ f9 s; c) x$ D# M5 DShells/ c$ G0 [6 L9 f# a! Z% @
    Skew-fields' x9 o/ \# p  A* {
    Skew_lattices( q7 t. R9 L' n+ M1 [
    Small categories
    , q) e4 y$ P. R1 e8 gSober T0-spaces
    , ~4 X4 q7 ~6 X2 q* @Solvable groups
    : |1 E$ D- z  F, Z/ B3 bSqrt-quasi-MV-algebras; b) N% ]  K( ]" R, q1 o, a  U
    Stably compact spaces' o: `! h; o7 F
    Steiner quasigroups5 K9 o! ~) q, {7 L3 X* V
    Stone algebras
    8 Z4 Y7 G. D9 A. a& k+ ESymmetric relations
    2 I* Y1 P& e3 b% A8 TT0-spaces
    2 w, C9 t2 V. \+ k& D7 R, ST1-spaces
    ; m9 _$ g8 k+ s& ]. X( ?& PT2-spaces
    ) @3 S' y4 p; \: NTarski algebras; Y3 x, x" O6 O% H: O# G
    Tense algebras
    " M+ b; t2 V4 \% F4 k8 F' _( ]Temporal algebras) C" a( y/ S8 e8 \
    Topological groups+ s/ O# U" V1 _4 z
    Topological spaces4 B4 ~/ P" c5 R
    Topological vector spaces
    ) Y" y7 ]' d; _- rTorsion groups
    * L4 Q2 C& D# j7 j/ W( tTotally ordered abelian groups. V* U( V0 {2 @+ S
    Totally ordered groups) d' m2 b3 T& p5 c( u
    Totally ordered monoids
    $ H! j8 A2 i' \6 A2 @* d9 f+ QTransitive relations, S  U8 E+ C. z/ `1 J
    Trees
    6 e1 C* D4 _# Z: p0 `4 @7 ^. ITournaments
    0 _: A/ b2 G9 h4 ?+ y' V! R0 ZUnary algebras
    ! U* S/ o! L6 J/ I" [  u- Z5 j" `# wUnique factorization domains7 O- t( O. r" {5 j$ R/ y
    Unital rings  B4 @4 t" ~% y' p- w% _) t9 t5 w' j
    Vector spaces4 i9 V5 {: x( {! \1 \: a1 Q- R
    Wajsberg algebras
    4 z# N# B* g) xWajsberg hoops
    & F6 d1 b6 a# m) d; |Weakly associative lattices
    + M  F6 o/ x" [) ]4 H+ YWeakly associative relation algebras
    + O) c& ?, l! M' X) {. D* a# dWeakly representable relation algebras
    ! ]3 G, w7 }5 s5 n# M! v
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    2 @- r7 x0 S3 T! F5 n阿贝尔格序群* Z$ S4 C7 E# m. F) R' U. Q
    阿贝尔下令组
    6 m4 s% Q( q% r6 ]阿贝尔p -群8 s; Y* p! N: f. ^7 ^* W5 h# q
    阿贝尔部分下令组2 U" z8 M( m* q" q( y
    行动代数行动代数
    & X5 R1 f/ ^: N3 {' x. \% Q行动晶格
    1 f/ b( Y2 |* N0 x代数晶格
    : S0 \& ?8 X& j! B% @$ X1 x代数偏序代数偏序集" }" R4 S/ S  ]
    代数半格
    3 k+ M3 I, B, q" \9 r寓言的寓言(范畴论)
    0 j& n* h0 Q  }) g( K7 D$ ^5 B7 g几乎分配格
    $ _# R) ?. ?. y7 M! V- w关联代数关联代数! i' m7 J0 n  Y0 n# D  [  Y
    Banach空间的Banach空间
    * r7 }6 D( t3 j* R乐队乐队(数学),有限频带
    ( x6 ^0 {% K2 r基本逻辑代数
    1 i$ c! y, }9 K' j+ G$ r  eBCI -代数的BCI代数
    0 Z2 P2 A& s; {' A4 u8 QBCK -代数BCK代数1 S% \$ s9 V; {* D0 T* F
    BCK联接,半格5 F* ~( Z- o/ F. H  G9 ^* ~( E
    BCK晶格
      L. j" [, z( h  J: R, K% yBCK -满足的半格7 [- N0 t/ A2 }, R- H
    双线性代数
    6 F) P' u1 W. [" f6 }; XBL -代数' ]3 \) [  b# ?9 H+ h; y- M
    Binars,有限的binars,与身份,身份和零与零,4 G( M$ l3 Z; y# m- |
    布尔代数布尔代数(结构)
    + [# V; K5 }7 f2 [与运营商布尔代数& x: e; N0 B) `# A9 J, [
    布尔组6 X; k, ], ]: ~
    布尔晶格
    0 J5 n8 V* O; S. k. E7 M对关系代数的布尔模块$ c4 D7 i" F  ~, z! q( }
    布尔半群& m! `. m3 ^; S* P* D: I5 E' k2 @, l
    布尔环
    / p4 v4 p& l0 G$ u7 W: X. H布尔半群
    , J  n- O2 j8 ]; j, H布尔半格
    4 P3 [( X6 w" [& f3 H7 z6 D* N( u布尔空间2 u( G: \6 b9 w+ c0 t6 K! k8 m
    有界分配格: ~- B. l# T4 l% c/ g) s
    界晶格3 F* d. {9 p; x. |6 O: j5 S& z
    界剩余格8 N4 u1 a& v# {1 n& @! b
    Brouwerian代数' j0 I- Y5 v! \; t' w/ [& A
    Brouwerian半格
    + `+ n$ a* d& f0 c5 O. Q' J0 m" LC *-代数. I* {, {: \( r; s3 E8 C2 f
    消可交换半群7 {  e: R9 d9 T; s
    消可交换半群0 W0 Q6 E# f  y# F
    可消半群6 p3 i4 m) q2 L
    可消半群$ S+ H  B" \7 z, c' ]
    消residuated格. i: q& \* c7 C" c
    分类+ x7 P8 w* p, r+ O& j& N6 u
    5 `! K3 X1 S' S* G$ C
    克利福德半群
    4 X# @( G  ^, b3 ~9 H4 nClifford代数' V( Y- r% T% a, V6 o  Y
    封闭代数; D, F& v1 W- X% v1 O1 o
    可交换BCK -代数
    ) @( _7 a0 O; H) Q* w交换binars,有限的可交换binars,与身份,零,身份和零
    ; n  M% H* e, k5 v: y可交换的组成下令半群,有限可交换积分下令半群: H# Y0 f, Q' q& M/ h0 V
    交换逆半群3 d; o3 ^' [  Y+ p" X" p' J9 \* @
    交换点阵有序的半群
    / Z4 l6 r" V; N1 q" ]! H0 L交换格序环
    ' V1 V0 o9 [% L) M/ O, A# c( T交换格序半群' Z0 {4 V4 ?0 W& q2 I1 q# J3 \% T
    交换半群,有限可交换半群,零的有限可交换半群
    # @, w: \  }. _: _9 X* \; N- o交换下令半群# ~7 j  U6 ^) {. x7 x
    交换下令戒指& h7 w+ f% O( w' [2 ]9 L9 d
    有限交换交换序半群,序半群
    % r) G8 p+ x! M) w0 H7 U可交换部分有序的半群& [$ C' d7 d, ]# I. W5 |
    可交换部分序半群! Z$ @7 f0 ?  p8 b5 x3 o* G
    交换正则环
    ; c9 K& P* A- i5 U交换剩余格序半群, w/ O# d5 u) Y: T
    交换residuated格7 E- s; ?$ C  }7 x- Z8 X
    可交换residuated偏序半群
    # z1 ?- J, C: H2 A5 r* O可交换residuated偏序半群- H, @6 f" E  E: m/ x3 N
    交换环
    8 z7 ^& j. G: [, ^/ o7 ]( K与身份的交换环
    $ Z! v* M2 Q  E" D& ^/ z' ~交换半群,有限可交换半群,零- N) b3 I+ F  B1 X! I* [
    紧凑型拓扑空间6 \2 ~7 Q5 C1 r3 R
    紧凑的零维的Hausdorff空间* j4 @9 i) G+ a; h9 l' |: \
    补充晶格
      a4 R, N* u, c) R% F6 S有补分配格
    : w$ g: |' G1 I- p# I补充模块化晶格8 }4 [9 `1 S9 l$ H% }# v
    完整的分配格
    4 o5 l$ e, P" l7 k: u9 ~% |. V+ {完备格
    ! H2 v& K  P% I- R5 |7 N5 P0 s完整的半格# A* I7 @1 Z8 v: ^0 ?, C/ C
    完成部分订单
    + K; S/ h; E# B, z1 Z& G完全正则豪斯多夫空间
    4 R! B, ^; Q4 }, L' U完全正则半群4 F# o4 S6 Z  |% b/ _+ d
    连续格
    3 a, r9 y9 _, b. c0 |+ |2 |# x) F连续偏序集
    $ G2 ~- W  J$ _7 ~. J+ Q柱形代数
    . Z, k( W7 x! T  U+ k德摩根代数
    ! d& [7 l! d$ S& S- a0 z+ a德摩半群
    ( n; b  Y& c; F! G7 ?* ^戴德金类别$ [* ^% C7 t# j$ M
    戴德金域
    3 b3 G4 k9 [4 ]- ~) q6 h稠密线性订单
    4 K" U9 q+ W9 C% o有向图代数
    . E7 X! e9 K6 c8 q6 O: n导演完成的部分订单7 {& L: a7 |+ M8 Z% u) T
    导演部分订单
      _, W2 D6 y! M, D( A有向图
    4 U5 O4 m7 Z+ W9 FDirectoids
    7 T; K7 e6 o0 K* t! n2 r# B分配寓言
    ! F' l! o+ w% T+ O0 I分配的双p -代数5 W, C& Y6 a$ K# o3 M8 L+ e, B" j
    分配的双P -代数
    % b3 A  f! x6 B分配格扩展" ?1 j2 s: M$ \$ ]1 @1 G& h
    分配格
    ) X1 @  o, U: @, }* V5 G与运营商分配格  p+ l  }( U( H" G" v
    分配格序半群0 p- ^- @1 E" p$ i" d
    分配p -代数
    ' v; ^; H- ~3 u分配residuated格* q% s- O) {9 t7 w9 P
    司代数( o6 s% R' w* u
    科环
    ! W% y  s; T8 C# U( B0 O/ E7 b双Stone代数
    * x% w1 f- L/ v. [  P邓恩半群
    8 Y3 M4 d# \* u4 A8 ~动态代数, F8 }) p+ V: U- C( i
    熵groupoids/ J. e$ Y0 Y4 [2 ]4 v
    等价代数
    4 |% U2 w: q. _等价关系
    . C9 ~" g- Z. @5 L欧几里德域
    , b( {; J9 S( A4 i6 s5 cF -环
    9 L; U4 `( [! K字段( X- x+ w% i9 Z
    FL -代数* K1 u0 M0 a, ]/ r# x
    FLC -代数' q9 P* E" Z# E# T( `/ {/ S
    FLE -代数% P1 ~8 K0 `: n/ ]" o# O
    飞到-代数
    9 J3 V, c" }: W9 h, Y( RFLW -代数
      E4 Q( n6 m6 k2 U, G+ r  r/ ?- F, Q框架
    8 Y) z0 Q# N; X6 u9 z' v功能戒指; d* h+ I: \0 [3 x" q
    G - 组: m2 |! z/ v3 U9 s3 c$ U. d% e
    广义BL -代数) t3 G6 E* k2 b/ v( ^# ^
    广义布尔代数0 P3 V0 c; W5 r/ A) {( x
    广义的MV -代数+ O, R4 |" W' b' p' o
    Goedel代数
    + S. ?3 S) o* y7 I/ S1 Q
    $ T2 q+ T# C) R7 JGroupoids% G  o/ c: K2 T! w. ^) }% E

    * L& ^' ?; k; c4 Y8 z# h/ ]  f. a豪斯多夫空间2 d' v! h; T, z, h  {
    Heyting代数6 d: h* H. ^+ C+ k
    希尔伯特代数
    8 _6 V# v: z" f/ o, V4 DHilbert空间
    ! M6 i. x2 f4 ]篮球
    4 ]  T9 D- ^! ?# `' M. b8 U6 \9 a4 l幂等半环
    % N9 g  D) N2 J% w幂等半环与身份, r" L+ D" z' t" B" d
    幂等半环的身份和零
    6 P1 F$ R: ]! |! u幂等半环与零
    ' Q$ p9 T$ w4 Y% N蕴涵代数
    9 w4 a, T; H- j: z. t( d% ]( m# t含蓄的格子
    : a7 d" i8 {( x  A' s+ _# k积分域
    ! V8 T' @7 t2 q  W积分下令半群,有限积分下令半群
    3 {0 ^5 q& j. |0 k积分关系代数4 w7 ]% ^% F' v
    集成剩余格
    + @5 \" f& e  P8 {/ o直觉线性逻辑代数; r3 a! p- O) [) w' }
    逆半群
    ; h! [4 u  r% g7 f( ^- v1 z合的格子
    ! L3 a* U- `- [$ J" u; [合的residuated格
    2 c/ U7 K/ l7 s5 |$ R加盟semidistributive格/ i; D9 ?) q2 b2 r. P0 Y$ F: j
    加盟半格
    3 w& i# W0 U5 H" b& Y+ E约旦代数1 `/ A( i$ S6 a6 n( i1 L
    克莱尼代数+ D2 `7 u% t3 c7 C/ L1 \
    克莱尼晶格. ~- q: _5 z; K5 S; L
    Lambek代数' v7 B  M7 p, ?5 A9 j5 V4 h$ u: b7 [
    格序群
    9 d9 {; C" R- ~5 ?  ?格子下令半群7 l3 x( P5 `- n1 J. W
    格序环
    # v% T9 ~( k. |3 g0 m( i8 j# l格序半群7 ?2 y% h5 s- |1 u  q3 a, M( @/ K
    / t7 t$ s8 U+ W/ V/ c
    左可消半群
      ^$ M3 w5 I2 C: {7 L: U李代数# \* @, x2 X% Z( N5 Y/ R$ Z6 |
    线性Heyting代数, ^3 D+ ?0 P* O, V: F- {
    线性逻辑代数% d4 D3 ^7 O( g: V# g9 l$ c  n8 ^8 V
    线性订单/ ]9 i: d, r( I) U1 z' ?
    语言环境
    * d/ |, B7 Y: h0 A5 D局部紧拓扑空间
    ! Z: W- b. f% v# z循环
    9 i* ?" d1 ]4 ]" \& en阶Lukasiewicz代数
    3 n' e' Z/ d. p2 @M -组( C$ B% a7 X- l* W
    内侧groupoids
    ; p' v( ~- C; `' h- m" W内侧quasigroups& o8 {" U5 W5 A6 {' \
    会见semidistributive格6 h, l+ f6 q! w  B5 g, T
    会见半格* Q  ~7 i! }: }3 E% C; k
    度量空间
    ) w) D% p& j: Z; ?模态代数" c9 s4 d9 Y. H2 y9 Y7 i
    模块化晶格2 D7 s5 F6 o# A2 h$ c4 |7 Y2 z
    模块化ortholattices# _3 \' y8 h3 z8 _8 H8 X% m
    环比一个模块
    3 x( H, z" J7 T% [9 ?/ k单子代数$ R$ x8 n- v$ V. `& G9 Y1 w
    Monoidal t -模的逻辑代数  @1 \9 ]  ?$ X3 b
    幺半群,有限半群,零
    ' R& S0 W4 z2 SMoufang循环1 F# J. d; D, V' l
    Moufang quasigroups
    . A, e9 D$ h  f3 X' m乘添加剂的线性逻辑代数5 ~4 T3 k5 L) ]. r: L% _
    乘晶格/ Z; g8 ~- u& X; K8 L; M  k$ [
    乘法半格! Q1 B* x8 E/ h. J# A! E& `
    多重集5 y# G% X' _! W' `  M
    MV -代数, ~7 A' }6 b6 L# @: c" D' X$ N! a: V
    Neardistributive晶格. D( P0 S6 s7 y9 R9 G
    近环: o2 J6 d8 ~$ i9 B1 @( j" E- Y
    近环与身份7 [) z" H4 C! B' u" }( I
    近田
    5 ~) G- o% ~% X: n5 m1 @6 n& B) S幂零群
    ' ]% t% M5 q# Q* D非结合的关系代数
    ( ~) J* x# j: ~' ?; ?非结合代数
    9 ?6 ]7 [# a3 M3 B1 J9 b4 _普通频段3 C' F4 |' ^; r% j* d$ M1 `
    正常价值格序群
    0 B1 \6 ?2 x, l$ S8 m' I赋范向量空间. Q* v; n- m( G" j
    奥康代数
    & p- q/ F% |% E8 x, g4 H/ P9 A1 U1 c订购代数4 U) |  A# x. A% e$ ]! l8 t
    有序阿贝尔群, K8 M, c- P) B
    有序领域4 m: x9 r  e- `/ b% f* R; |9 }" |
    序群
    & S& k' {1 E- ?有序半群
    - n$ W1 X4 `8 F# ]  v与零有序的半群
    2 [# G0 u7 `- _3 a% x: l* ^4 ~" C有序环
      g, c/ L: o4 g( u0 z+ I2 p序半群,有限序半群,有限下令零半群$ ^$ P5 U. Q# w. D! V
    有序半格,有限下令半格+ C; P) V  O, V/ W* |
    有序集
    4 `+ m% x- H7 {$ W' z. L; b' R4 \矿石域
    ( q; e9 H* c& Q2 j) V3 ~' F* `Ortholattices" w' b) }( \6 I
    正交模格
    # R2 }8 A' p. ^5 ]p -群: p  ]3 Y. J8 l7 J2 s: u
    部分groupoids$ O1 Z; S( Q. r3 Q5 M) z
    部分半群
    - D8 L9 o. g5 Q; I部分有序的群体% B$ ^- ^  I2 Y$ \) X! l
    部分下令半群
    ) A# c5 h5 q! g3 v! A* k部分序半群
    8 }) J$ J$ b( H# s. c部分有序集
    9 D3 M" E- S9 x1 Z* x' C皮尔斯代数
    & Y# x. V3 S% h% d1 C# i# i+ MPocrims5 e, }+ w& \4 ~. ]" \' W5 X
    指出residuated格
    / J- M% ?7 \) A4 dPolrims
      S9 V, \, l" Q8 [: A3 q3 q% O) R4 UPolyadic代数
    % Z# e8 ]1 _4 M2 e- m1 G5 {) T  P偏序集
      {$ b2 W- ~) ?" C邮政代数  Z* I& V* m3 `  m& s9 v5 Q
    Preordered套
    / X+ D, R) q1 C& H7 E1 a! h普里斯特利空间) x- Y5 @) c- O4 \; \$ `
    主理想域
    5 o: _: i$ G" L6 R6 S- b1 W: X进程代数
    % _0 R& F" W  s7 k0 b$ R伪基本逻辑代数: ^  k& n6 T' U/ y; F
    伪MTL -代数5 l% h6 M, g" A) E, ^$ L) n0 @
    伪MV -代数
      v! h9 C9 z; ~9 _( q/ I9 U; ]Pseudocomplemented分配格5 ^9 q" L( i) B7 \5 d2 L8 s
    纯鉴别代数* }, A: T) q4 V- Q; f
    Quantales
    : C, A! O) _2 N9 o/ B7 LQuasigroups
    7 [2 _- K. R% C+ a8 Y准蕴涵代数' L& Y6 P% q  H. T. I- U% s
    准MV -代数* T4 e' N7 y0 [) E. }5 Q$ ?7 V! N8 L
    准有序集7 G7 B, `( E4 k$ `1 |: x2 }8 N
    Quasitrivial groupoids0 k% X( w8 W" _( w( R& M9 A
    矩形条带
    9 Z  s1 @: ^  X+ k) U自反关系
    , u0 |" Z1 r; J- m7 T* |正则环
    : C! g6 [* o1 G& j( L正则半群5 p3 ?+ N3 x5 J3 }
    关系代数
    5 `/ l1 l+ P0 L0 c/ h$ e* G相对Stone代数8 V6 w# h& z  {. U; d: a- ]4 P
    相对化的关系代数
    8 f1 O+ Y# f4 C/ @) U表示的圆柱代数8 n+ o5 e/ R, d" B& \9 H* l8 h% c
    表示的格序群体" v" u5 g& ?& E6 z' t4 ]" d6 x
    表示的关系代数
    # G$ n0 |& P4 o+ `# N表示的residuated格
    % r+ G- y' M+ ?Residuated幂等半环
    7 t) E% c5 Z0 z, e, H剩余格序半群
    . Y9 D% A" |, ?3 {) Y  x剩余格
    7 v) s% ?2 j; h9 m  Q; w2 e2 XResiduated部分有序的半群
    2 ]7 a' V) ]1 yResiduated部分序半群2 N' I  C+ k8 P: i$ q7 A2 X
    戒指% h$ m- I1 L# F* u* W1 `
    戒指与身份, W% v- @7 o# i5 y/ k# ~
    施罗德类别
    & J+ t5 @+ N+ X% l+ N7 dSemiassociative关系代数
    1 m) B- l1 n- G9 [  J! H3 S% T# P  WSemidistributive晶格# k2 n! j, M4 `6 Q# x. K
    半群,有限半群1 T. |% i, ?! z9 e$ _; ~( e4 Y
    半群与身份
      j5 T3 `# x, H# w% L+ z3 [& p半群与零,有限半群与零& A) O; A- j1 ?$ T
    半格,有限半格
    . P1 e7 a1 k& L& F+ j' ]2 Z( J与身份,与身份的有限半格半格4 T+ N9 h1 W6 K. j' o; i
    半格与零9 X$ d/ P# K. J" x# |3 f/ a! Y
    半环5 b+ X4 c0 O( S. e) b
    半环与身份1 S) W: L+ \7 {' z" n: z$ O
    半环与身份和零
    / A, ]) D7 _6 k; u% K& \, o半环与零, i/ J5 \# h. d) ~6 V
    连续代数
    $ D- D+ o! t. P# b4 Q6 E1 V  a: h
    # ^( @3 \2 Q4 h8 k' I
    2 C5 ?1 n4 F! b, P0 X* {7 ~: W歪斜领域
    0 g0 k% j- m" D4 K: @, \Skew_lattices$ O8 O% L# J2 n
    小类
    . W# _" l& A# f1 q清醒T0 -空间1 L3 T& b2 Q. Y) E. J/ W5 X/ R
    可解群' j0 p* T5 \& e+ k/ Q: A! B$ t
    SQRT准MV -代数
    ; f' R* B! ?$ h) Y稳定紧凑的空间
    % r' p4 T1 Q+ u4 t# n# l1 d施泰纳quasigroups
    0 S- c% d6 Z" k9 q( o( F1 fStone代数* |1 r) a+ E( J# W0 {7 x
    对称关系
    7 I9 O  O  N# G0 N) `, E$ u; sT0 -空间
    7 w3 C' J! y" f& hT1 -空间0 {* _3 ~% K9 g; h9 F" h
    T2 -空间6 X! B* X9 S4 r) S1 L5 N7 U/ D
    塔斯基代数4 l8 [5 O" S+ J, p
    紧张代数4 @. d& S" w  p0 [% M
    时空代数
    1 Y% O$ i; y2 N' {# P拓扑群
    # b9 ^, F' D* c; |+ Z0 a拓扑空间* g, Z/ [% x  G$ q4 O
    拓扑向量空间% D6 P% u% E" o  O  s7 P2 ^0 ^
    扭转组  _# ?. Q( O  l, E- l6 r) f
    全序的阿贝尔群2 Z6 x, ]) e: f0 {/ Q0 {1 }
    全序的群体
    & K& p0 G0 B, ~1 Z' K& A完全下令半群
    . g* e; Y* ^1 N8 l0 |( p# @Transitive的关系" L& y' B3 ]4 a3 ^3 y

    ) v7 a8 j# d% J& c- |! O) }6 t锦标赛/ ~$ H6 J9 j8 I1 b2 B+ ]
    一元代数
    * E# }1 ?0 Y4 j* D" M6 e$ ]' Q唯一分解域
    - S6 j8 d; c# ~- ?7 f) Q- rUnital环
    3 ^' s' M! e9 F7 K9 P1 y0 Q向量空间+ k$ H4 h1 |/ K* N
    Wajsberg代数( C/ V; m0 A5 \9 v: @5 B
    Wajsberg箍
    . _0 H" H6 M/ D& p! B弱关联格: p1 X& k) X$ R) ?
    弱关联关系代数
    2 R3 s6 Q: n" l1 O+ K( c5 d弱表示关系代数
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3302

    积分

    升级  43.4%

  • 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-7-8 05:49 , Processed in 0.454075 second(s), 79 queries .

    回顶部