QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3708|回复: 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
    % ~* t/ N+ C$ L8 F5 M
    4 Y/ K9 |$ t5 ^
    Abelian groups     Abelian group
    ; |+ C9 V( k4 @) |/ h7 e& uAbelian lattice-ordered groups5 o4 h! }+ d% \5 o- o+ x: j
    Abelian ordered groups; |7 \( c* w6 F2 k$ s
    Abelian p-groups
    / w# M% X6 n' U( B" Q  f7 n1 hAbelian partially ordered groups" s! x5 G2 ?3 o! H
    Action algebras     Action algebra& O5 h  l& m( t1 g( r
    Action lattices
    . q0 T9 q6 p+ `Algebraic lattices
    ! i$ f1 B2 P$ @# D) j" Z# G) dAlgebraic posets     Algebraic poset) f9 T- M" }0 F5 K& B
    Algebraic semilattices
    ! ?9 X9 [1 j" i/ Y7 gAllegories     Allegory (category theory)& I  `$ s% t% |# S, w. c
    Almost distributive lattices
    0 T4 Q7 u) ^* s; D+ L& VAssociative algebras     Associative algebra6 d/ N* q- _3 p& Q  o/ `' w: }
    Banach spaces     Banach space$ q+ {3 a' J& m. x
    Bands     Band (mathematics), Finite bands
    8 m, i& Z: e9 \8 ]% _Basic logic algebras; p3 o9 t6 ]. j- g! t& o9 S* e
    BCI-algebras     BCI algebra
    4 P; {9 @. m/ S6 x' f! aBCK-algebras     BCK algebra  F% C4 ]" l' y. V' A* E; d2 Y
    BCK-join-semilattices
    . s' H  F1 g& b( Z* zBCK-lattices; e$ H, a6 w/ _
    BCK-meet-semilattices
    ) @9 N! C; ~' p6 M5 C* dBilinear algebras
    8 x0 {7 d+ i; g3 ]- gBL-algebras: q3 X4 h8 X3 K7 a$ [1 y5 B0 u, }
    Binars, Finite binars, with identity, with zero, with identity and zero, , `5 G$ Q" [9 M- C1 t
    Boolean algebras     Boolean algebra (structure)
    " L3 U3 C# p# ?4 p/ ]Boolean algebras with operators
    ) x  c+ @  T2 G7 v* ?( R, sBoolean groups) f, N$ n0 y: f1 |) k$ D
    Boolean lattices& t' w. X. J  F
    Boolean modules over a relation algebra
    / B+ ]" v3 U: n; h! V5 ^9 TBoolean monoids; Y( s. X0 F+ b; o
    Boolean rings
    $ l( ?; L1 l1 x8 S7 nBoolean semigroups
    * v( I: x  L6 S( Z2 d- _Boolean semilattices" E3 S# v& l4 A6 q8 t1 M0 t; g6 M0 D
    Boolean spaces+ }5 `% h9 U8 j7 x$ b5 M2 ?; o
    Bounded distributive lattices
    6 m7 n: P1 e) o. _( Z7 F1 |: c' RBounded lattices: G+ H+ o3 x# R6 t# c( M+ X
    Bounded residuated lattices, s' B5 m3 {5 @9 N2 o% Q! Z
    Brouwerian algebras7 c/ {9 F% v* x5 b5 j# y
    Brouwerian semilattices3 b. M4 e. G. I" G; W+ n, P
    C*-algebras' ~0 t+ m7 d+ n/ h# I2 Q
    Cancellative commutative monoids
    6 f: @7 V- ]3 @! X3 `- I3 j% h9 q3 gCancellative commutative semigroups
    % S1 [6 g6 m9 d5 ?Cancellative monoids
    6 Z; a% x1 C3 [" E: d. MCancellative semigroups
    ( c" V4 ?4 Y+ s, I$ S2 `  j6 oCancellative residuated lattices- u( x* ]/ H+ U
    Categories; U& _8 N8 C0 Y( @8 f, C/ T5 ?" p
    Chains
    " x5 i& d* ~3 Y- ^Clifford semigroups" X  z. G5 F! e) @5 A5 v# B
    Clifford algebras5 h1 x0 ~' @, q
    Closure algebras
    4 ^  O2 R3 x3 ~6 b% mCommutative BCK-algebras: L' L! I) [3 E9 W' [
    Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero ( ~: y% _6 R/ w' b4 O3 i
    commutative integral ordered monoids, finite commutative integral ordered monoids
    & {  t  o0 f; JCommutative inverse semigroups
    4 r/ N2 }0 k& W' f4 KCommutative lattice-ordered monoids
    0 h4 L7 |4 E* }/ SCommutative lattice-ordered rings( q3 E; f2 U& g" R- b
    Commutative lattice-ordered semigroups$ X9 O- w7 U8 r5 ?3 ~7 _" J$ ?
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
    + j4 B# l) E% L' O8 v- ]( N0 R2 ZCommutative ordered monoids' C7 S. T2 F" R, j3 V; d& \) K6 z6 ?
    Commutative ordered rings( q9 t: ^5 c* L3 p, I, i( L1 \
    Commutative ordered semigroups, Finite commutative ordered semigroups
    5 y/ a5 M7 M" s' Z9 h; VCommutative partially ordered monoids3 p' X8 l& ]' M# U7 u5 r
    Commutative partially ordered semigroups4 H( K% ~) I5 k" I+ Y( y
    Commutative regular rings" e. i4 a- P, J- r
    Commutative residuated lattice-ordered semigroups
    / l! O8 |# |; d9 aCommutative residuated lattices
    * y% K/ u' t$ i% Y  L$ Q8 {Commutative residuated partially ordered monoids5 K1 N9 U, U' N. b( @4 C
    Commutative residuated partially ordered semigroups
    5 B$ H9 e1 l; T9 iCommutative rings
    + h. Z: ]$ p4 y% [4 v6 c, _Commutative rings with identity* d' y8 s2 w7 l9 _1 y# f3 R% d; c; C) @; i
    Commutative semigroups, Finite commutative semigroups, with zero
    * u4 ^/ E( ]& o3 yCompact topological spaces
    % n" _4 W2 I! JCompact zero-dimensional Hausdorff spaces
    8 ?1 \4 q- A0 }% S  i$ YComplemented lattices
    , ^- G$ H) c" `7 `; s, ^Complemented distributive lattices
    - r; J% w# H' K  |) oComplemented modular lattices
    : x! u) U4 U4 K. p4 [Complete distributive lattices
    , L/ C$ M* k  u* Y. T5 iComplete lattices
    : F  E  u: h, E; K% m; jComplete semilattices- r7 ^9 k. h9 X$ V' q4 k# c
    Complete partial orders
    $ R$ l  z0 x2 r  f' B* H, yCompletely regular Hausdorff spaces
    ( x' P: R) V3 m/ Y! U' o; _Completely regular semigroups: B& Z* y) ^0 r9 Q
    Continuous lattices- Y. j* j; L) y% t; k& W2 C
    Continuous posets8 b1 i; y- J# |( T) `
    Cylindric algebras. w6 u: B+ Y" a
    De Morgan algebras. g' h. J8 N  q2 N$ F( y
    De Morgan monoids  q2 E; M5 q- e- _. ?
    Dedekind categories% j5 d  H! K$ i: L- B' z& F
    Dedekind domains! j# N& T7 p, m* @' w1 ^# {
    Dense linear orders
    4 z9 a/ ~+ \- f0 K5 cDigraph algebras
      v3 t& ?4 y1 i) o& ADirected complete partial orders! |; z& h+ p1 F
    Directed partial orders
    / \- u3 o# d" Q: FDirected graphs
    ! F) f: \) `1 g% c3 D7 d/ j* dDirectoids
    9 `1 r2 D' p3 HDistributive allegories
    0 T' O2 n( C5 ?, }2 V2 l, ^: J- o% xDistributive double p-algebras
    4 T7 r! J. `) }" lDistributive dual p-algebras
    0 C0 y$ [' G) EDistributive lattice expansions+ i: B. j4 r7 w! H* ~+ D+ R
    Distributive lattices
    , v; G9 w! l4 a* `1 sDistributive lattices with operators% D0 ?7 q$ S# `0 D2 S/ A+ u0 t& c
    Distributive lattice ordered semigroups
    , X; d, J$ l* X* K1 [2 D4 y) hDistributive p-algebras
    ( J- B0 ^8 l6 s. }3 i1 H( J) xDistributive residuated lattices
      _3 A5 G  v; ]' V/ ^3 WDivision algebras* u7 G3 j6 c1 W( u( g: z. E9 O
    Division rings
    ' U# Q. g2 j% B; Q1 FDouble Stone algebras/ V" J: r. l: _1 I( g& k
    Dunn monoids4 ~$ V6 Y  }2 O0 N0 m* E; Y. |
    Dynamic algebras" ]" Y: p: N' ~4 P9 n
    Entropic groupoids
      N3 e2 }2 r# I; \Equivalence algebras* A3 W4 Z* B2 E' p5 {& b* _. ~
    Equivalence relations
    ; W: i( E6 o1 w  @; l; y6 H& X5 tEuclidean domains1 ]5 v2 s( u" |' P6 a8 ]/ d6 Z
    f-rings
    4 U) l/ Y- _, N3 ?Fields9 }4 x0 E) m) H5 y- }+ G" Y
    FL-algebras. w4 m, G& L1 {* D% d
    FLc-algebras) |& K7 N( w+ ?& e. J% ~* k! g
    FLe-algebras
    ! k2 S8 F  c( c- z; ]" PFLew-algebras, M+ ?4 T' a. k" `& U: r
    FLw-algebras3 C* D) J# d' b% l4 r
    Frames
    1 i$ c, Y' \, W! jFunction rings4 B6 G% j* p' p4 q
    G-sets
    8 k; v5 ~9 c+ Z$ eGeneralized BL-algebras0 [8 V1 n* Z# j
    Generalized Boolean algebras
    + X# S8 h" J7 `Generalized MV-algebras
    3 f. ~# k9 Y# [) A6 x, ]Goedel algebras2 ^" _$ P- e" N0 ]2 r
    Graphs/ M# c: u( T, K( Z
    Groupoids
    : e- E' ?! e* F! nGroups
    ; ?) u0 }1 f5 t# M7 E. JHausdorff spaces5 e. ?6 J- H1 S* h
    Heyting algebras
    : t% u1 @" X1 k; d/ h( NHilbert algebras
    1 {" ~* Z. P: l: k$ ~Hilbert spaces. o' f; w& F4 q4 r3 M) i. p6 f
    Hoops
    ( T6 R% m- {* X- j5 `Idempotent semirings
    : l. K# Y5 f3 wIdempotent semirings with identity
    6 M8 X( r- a  ?5 N3 u+ [/ A9 LIdempotent semirings with identity and zero
    ! o$ ?2 m6 n5 A. oIdempotent semirings with zero: ]6 w5 x5 P( G
    Implication algebras
    4 [& Y9 ^( P  p5 ^( r8 a5 MImplicative lattices  ^5 l4 g& L3 y& Q+ Q9 i5 X
    Integral domains% i" R* I/ O3 V; i
    Integral ordered monoids, finite integral ordered monoids" i8 e7 l/ w" B' p
    Integral relation algebras
    / K7 ?3 q4 z1 B) l5 nIntegral residuated lattices
    8 E# @6 G* a$ J. c+ gIntuitionistic linear logic algebras
    8 l: L+ \0 o7 M! `, Z) A* }8 RInverse semigroups
    # o1 a; b! r8 Q, S4 Z: sInvolutive lattices
    # K$ x- o% l" N; t9 u" ?Involutive residuated lattices" z& V8 {( N$ v1 L5 _% C6 |2 C
    Join-semidistributive lattices
    , B, _+ \% a% f0 @Join-semilattices: y) R" u5 O7 ~: h2 M7 K
    Jordan algebras
    : g* C7 H8 t9 J; L% |, G9 T6 tKleene algebras
    + y6 g2 J8 n# P$ rKleene lattices
    6 E( C1 I" _" cLambek algebras
    / G* L; c( D* {6 OLattice-ordered groups
    7 L3 O/ ]& j& B" ?% `Lattice-ordered monoids
    7 D7 q5 ~* P% ?0 E8 ?Lattice-ordered rings
    / |* u% v& n* kLattice-ordered semigroups
    0 J; |+ o! C) i0 ~; WLattices6 |& a: G7 y8 ?, x7 L0 U+ t
    Left cancellative semigroups' y5 H! B& B) M( l) ~
    Lie algebras
    * R& u$ q8 O: W( c# ?* eLinear Heyting algebras
    3 Q/ a2 m$ W$ n) F4 y2 t2 OLinear logic algebras
    * g9 ^+ B1 ?& q: ]  tLinear orders4 _. H- M4 d1 A% ~2 n
    Locales
    4 W0 P$ T% ]) H% G) sLocally compact topological spaces
    8 z/ M4 t2 T9 t0 U5 u" I) KLoops% Q+ R% @8 Y8 g1 s2 I4 y
    Lukasiewicz algebras of order n
    " K. M" X3 i( Z3 Z( c  JM-sets
    8 _( ^: E2 ]( [Medial groupoids
    % C+ c6 m; S& u  E: o+ L$ f7 |/ q- u4 cMedial quasigroups
    4 c* _* M) e2 Y7 o9 W5 x1 r$ GMeet-semidistributive lattices
    " B& m% X0 e& V$ c) JMeet-semilattices
    9 v- G, _, N% t5 X1 f- V+ ~, Z4 m# z$ qMetric spaces7 ~) K) F' G. K* Z" `9 ~; D
    Modal algebras
    ; e3 F) ~' c) l+ nModular lattices
    7 c! I- J. Y  C7 x+ UModular ortholattices  K) K( R* h6 m
    Modules over a ring9 B# Y4 a0 R% U' _' r& S
    Monadic algebras
    * c: [" ^0 G9 c4 }+ O/ z1 \Monoidal t-norm logic algebras# \- d& b! E; J4 Z
    Monoids, Finite monoids, with zero7 A* u$ R- C7 Y+ [  Q# V
    Moufang loops
    % L. n6 p# {. E$ ]" q: r! DMoufang quasigroups
    : O+ ?. n( \9 R- FMultiplicative additive linear logic algebras
    & l  h# h) ]- u2 p( vMultiplicative lattices
    ' J/ `" T4 Q8 T1 k; P: D  V; f; m6 m! PMultiplicative semilattices, U# a8 ]3 \8 H5 e9 P5 d6 t
    Multisets% H5 p  g9 f3 q1 N, d
    MV-algebras( y) g" b) y0 z0 O3 R
    Neardistributive lattices
    4 P( T) d- }4 _* L4 `. KNear-rings! I5 E0 v! o9 g  q# |% J
    Near-rings with identity
    ) |& V2 u+ C1 E# r+ @% Z9 F9 W- fNear-fields3 C/ i9 R% V' s$ L4 s
    Nilpotent groups/ ?, B' Y$ C/ a0 q# [7 ?0 @+ ~; j
    Nonassociative relation algebras
    1 |, z% H- K% p  T2 @& V- fNonassociative algebras* G: A8 R8 M: L* {* N8 c
    Normal bands
    8 H1 |' ^4 M3 y, N  k! X+ W* pNormal valued lattice-ordered groups( v, j. f3 p/ U3 Z
    Normed vector spaces
    4 j# H, Q. u8 f7 DOckham algebras
    6 ~8 t' @8 m) H0 A5 R. }; ~Order algebras
    , H' u+ @: S7 e4 e2 POrdered abelian groups
    / A9 S5 s, _$ k3 uOrdered fields
    ( f; f2 Z! I4 |0 SOrdered groups
    , N/ E, A9 E1 I; e! Q2 rOrdered monoids7 b0 n" b3 K' s0 _5 Z
    Ordered monoids with zero
    : t  ?) k" t/ H, zOrdered rings: \3 r( x. g0 z) M
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero- I) o4 n2 S5 z' l
    Ordered semilattices, Finite ordered semilattices
    2 X$ o4 F/ P0 _7 JOrdered sets
    " x$ ]; [9 ?; d( V1 fOre domains
    % D! U" E  _0 G8 R3 c" mOrtholattices
    / g! B$ ^! f( [Orthomodular lattices) c: z  J3 R. ?$ V% M- Y& h: r
    p-groups7 G& m& ?8 y# b- T# ~% R6 p! V* f
    Partial groupoids; d0 H% b" A7 y# ?. I
    Partial semigroups! Z' L8 `; V" g6 a# V- |
    Partially ordered groups
    ! _0 [! }$ J  Y" qPartially ordered monoids+ X/ I4 B9 E5 Y* C
    Partially ordered semigroups5 c2 a8 N2 M7 W, D6 S
    Partially ordered sets
    ; P7 y# G3 L; N# L: yPeirce algebras8 l+ |4 V5 d' i- Z( B" X5 W/ g
    Pocrims: e( t; d& H: D
    Pointed residuated lattices$ E5 [8 B. J7 W% D8 }5 X  o$ W' ]
    Polrims
    3 Q8 e) d/ r# `6 R+ ePolyadic algebras$ h  z$ J* L8 E6 ~" a  M5 L: t
    Posets
    : S8 g9 P7 x1 o, D& J* T# [Post algebras
    % S; Y% R3 X# _- N+ Y" a, w# qPreordered sets; h' Y  C0 x, Q2 H1 B
    Priestley spaces) h4 t% {3 i8 w# x7 M! @3 A1 E
    Principal Ideal Domains
    & [1 S7 b/ ^2 C1 E) ~2 zProcess algebras
    ! G" `) Y# k) o/ gPseudo basic logic algebras
    : M1 O- F9 v% g: e" I- DPseudo MTL-algebras
    ( ~+ F( Q8 U- n( ~Pseudo MV-algebras
    7 a8 s! E3 f, C' @/ \; qPseudocomplemented distributive lattices# p2 O  j& G6 x) w" y
    Pure discriminator algebras" N4 u) T& I5 P  s; W5 U& A; q* Y
    Quantales
      h) U6 P4 V" h, J: NQuasigroups
    9 p$ l4 I3 S' R8 }8 K/ IQuasi-implication algebras
    * c. i1 c/ \& B& n& T0 u' X6 aQuasi-MV-algebra
    4 R- y5 h' Y' }; J. a% ZQuasi-ordered sets
    ) ?) v% s+ z# u! xQuasitrivial groupoids1 D5 U" `0 z% o9 r2 n3 w
    Rectangular bands+ T1 `  h; H& G! Y' R6 Y6 e& ?
    Reflexive relations* I$ `  q( ]2 G0 l: E
    Regular rings/ d. ~& g' b9 B7 D; t3 _
    Regular semigroups
    * }% l" {4 z/ k* e. xRelation algebras# G+ s$ t$ }" V7 a9 n8 s
    Relative Stone algebras8 e$ ?( t* }' ^6 H: ^6 g
    Relativized relation algebras2 B' p' A  W, Z9 p. M; `
    Representable cylindric algebras
    ( a/ e7 S& p$ }- N0 O8 r5 ~Representable lattice-ordered groups* P0 P" y! ]* `. B) Y$ l0 P
    Representable relation algebras
    # w7 S' v1 h/ gRepresentable residuated lattices
    0 N% n0 d; ^: \5 g- i% Y6 dResiduated idempotent semirings
    0 `4 C! U' P5 v! Y: k7 v- s0 NResiduated lattice-ordered semigroups
    & L5 h: l" g  U4 E' lResiduated lattices
    : O  y( y5 [) U1 S: H( j" Q7 IResiduated partially ordered monoids9 b3 L+ a( h# K0 l% b3 w, Y; h
    Residuated partially ordered semigroups
    8 A9 d3 j* E' K, P) eRings
    + ~, K+ \' d2 e  N) g7 uRings with identity& I$ p. M/ ^  s! m( v1 Y! n
    Schroeder categories
    $ @& M1 @, O3 ?Semiassociative relation algebras: c, M5 D; _" a9 ]4 c3 a( f
    Semidistributive lattices4 {4 p1 j; J9 ^: i
    Semigroups, Finite semigroups7 c: `" o; B" F- [
    Semigroups with identity2 K8 j1 l) e: W6 l# {
    Semigroups with zero, Finite semigroups with zero& w4 T! r; D0 }: S2 P% ^# I
    Semilattices, Finite semilattices. t" t2 O$ G; B2 _
    Semilattices with identity, Finite semilattices with identity9 t1 v  D0 m# y+ |& L- v5 d# d
    Semilattices with zero9 |- E* j: {! r( P. N+ a5 k' d
    Semirings
    - a( j+ Q+ D% Z4 q4 t7 QSemirings with identity; P8 ~: W+ R, ]0 ?, n6 t
    Semirings with identity and zero
    1 Q; a( W3 M0 Z6 s- m: `Semirings with zero! C7 y! m& t2 |( L
    Sequential algebras+ S3 F/ s5 O6 Y4 Z
    Sets4 [+ l7 ~* B' F8 F
    Shells
    # o6 l; P- N5 ]4 C' w/ K( eSkew-fields
    , U( d& U  [% I9 Z  B. t8 vSkew_lattices! Z+ {2 B+ D, `1 {/ K  l
    Small categories# i/ l1 W) P) ^+ N* k. q$ k3 J
    Sober T0-spaces
    $ l8 K( @7 z  WSolvable groups
    ; |% o: o+ k8 D7 nSqrt-quasi-MV-algebras
    / \& M  a; J3 \Stably compact spaces, `+ k* f! s7 [
    Steiner quasigroups% K! }2 R4 o5 I+ ?+ Y4 I+ e0 @
    Stone algebras! i" k) n) w2 t& a7 X
    Symmetric relations
    9 }+ }$ s% v5 PT0-spaces7 ?+ u: ?6 x# ~: k) q/ O' F
    T1-spaces
    8 h/ I: o% |  I) D# ]T2-spaces$ Y, C6 l% @( o' D3 _7 l
    Tarski algebras$ r% ]* ?% |8 _
    Tense algebras( F3 C* `  W1 S9 e
    Temporal algebras
    # k, u! q$ g6 J: U: GTopological groups
      P9 \1 S& ?# h& ^  v  x' ~2 k2 N4 OTopological spaces* `5 [: g) _! M+ k% j- M+ M: ], K
    Topological vector spaces2 ^% C" E& Q) m: }# R2 W4 D2 y# [, M
    Torsion groups7 r6 g; q6 o% w5 l% D! q9 f6 S6 N* g! [
    Totally ordered abelian groups' n, H; x- }! S
    Totally ordered groups
    ' D8 U" g$ }# t$ STotally ordered monoids% w! u& T6 u/ P& P7 S" Z
    Transitive relations
    ' r0 U8 |1 W. g7 [! k  i6 RTrees
    5 @3 c+ B/ b* l, l# HTournaments2 W" }- m) _' M4 q9 |; y8 R5 G) j
    Unary algebras2 D! |& r+ b7 d1 y2 R0 ]5 w2 @' ~
    Unique factorization domains$ W4 Y$ K6 f0 u3 P) w
    Unital rings2 G& O" U3 J) o$ h! K  [
    Vector spaces
    3 I) _4 V4 h* {: a( h1 ~/ @- dWajsberg algebras$ \( p0 R% r% H( e$ b+ o
    Wajsberg hoops
    ( ?4 X+ ~8 w9 D7 {& ?7 bWeakly associative lattices
    - v( M6 W# B! ^  t* p% e2 w+ jWeakly associative relation algebras- o* K/ d5 x. H, A, M0 I# g
    Weakly representable relation algebras
    ' w. o: |3 Y9 m
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    ; I' d: q, ^7 |9 d5 j' `阿贝尔格序群
      h& F! {0 ~# W% Q% R* L阿贝尔下令组
    ; ?, e" Z  ^/ b0 i$ I) R  m3 D: f0 f* e阿贝尔p -群
    * ^5 T& M0 o+ |& O& M( D阿贝尔部分下令组
    + N4 A: O4 Q( Q" V( p6 [行动代数行动代数' ^6 T% P/ a4 `+ o$ O
    行动晶格" L" d' e& _1 w/ ]& \5 z' y# j
    代数晶格' [/ T: G9 f2 t6 j: _% ]: J
    代数偏序代数偏序集
    & P0 p+ Y" z& X+ P代数半格# {& y" I& ]4 ^  ^$ t% o( S
    寓言的寓言(范畴论)) Y% D# R& g8 z+ A
    几乎分配格' X, X: f: b  u+ V+ d* V% @. i; y0 E
    关联代数关联代数
    2 \2 e4 P4 x; D  QBanach空间的Banach空间
    5 _2 A' N: }* O: s8 m乐队乐队(数学),有限频带
    5 a# M) G/ J" {2 `) @* W  O基本逻辑代数4 y; B0 E- C# g1 s3 M* M
    BCI -代数的BCI代数6 |, R* G2 X  U5 x! W
    BCK -代数BCK代数
    / r  l# e* p& v6 V' d# uBCK联接,半格
    0 N: w' {9 ~% B" l3 @" eBCK晶格
    ' |2 S. c- S! H; t5 U* \BCK -满足的半格
    & G6 y/ _4 ~: i+ \' ?7 I7 a双线性代数2 S8 w1 F0 e8 D/ l  i' D
    BL -代数5 _: G7 `: M4 P$ u/ S
    Binars,有限的binars,与身份,身份和零与零,
    * P9 \$ }! [( }- G布尔代数布尔代数(结构)
    ! U1 U' f2 M9 @% ^与运营商布尔代数2 G! F3 Z# R8 z' l; }# M# v; t$ j+ n
    布尔组3 @, r. i( P0 }/ ]
    布尔晶格
    4 y+ |6 y: `: c& E# x9 T对关系代数的布尔模块( V  ?; ?7 T& @4 T* J
    布尔半群
    : b6 @2 S& Y/ Q) }* l1 a: B布尔环  C; ^) V2 j, M8 J
    布尔半群
    6 `5 h. \: W. i. {5 M布尔半格" Z5 s- _+ ^8 m" v! }. D) _
    布尔空间; O8 E  G6 R' o: n
    有界分配格! d; y& ?- h- L- w
    界晶格* M# x5 u" q8 Z: @
    界剩余格
    , D  @4 S8 p! Q' `  l& ~Brouwerian代数
    ' u$ R1 W, U( OBrouwerian半格
    ; S" M! j! g0 [$ xC *-代数
    4 }( w$ N. S; \6 U消可交换半群& a# T. P9 J* h! Y$ S- `( S7 n( a
    消可交换半群8 P. n& X$ Q5 u
    可消半群$ \. ^( }# \* w& D
    可消半群7 j# Y( r& V! C$ v- R- m  f
    消residuated格
    6 H; G6 z7 h+ O分类5 C  e+ P$ y) J! G, u; G. w
    链0 q" |* c2 j+ w  J3 @: C9 F
    克利福德半群
    * @9 I: y6 V& {Clifford代数  [( f" P0 z: i2 K4 j
    封闭代数4 \. W0 g1 C. E6 ]) _3 v) `( m
    可交换BCK -代数
    , Y5 c& |8 S# m5 _- S+ o交换binars,有限的可交换binars,与身份,零,身份和零
    9 h2 X: N# ?, {+ B; i2 Z可交换的组成下令半群,有限可交换积分下令半群
    $ {1 {& w: L& ^! A交换逆半群  c$ X2 m8 F' j3 r7 A9 y6 n1 X2 x% F
    交换点阵有序的半群
    0 v0 e+ B' o- A3 A7 m交换格序环) V* v/ t% }( \
    交换格序半群& F1 J" j$ v/ P9 @
    交换半群,有限可交换半群,零的有限可交换半群
    " F. x& `2 I: ], y& g# P交换下令半群
    # y0 C. E* A, I: n4 l/ }交换下令戒指
    # P% ~. H/ L9 l. X2 w4 C! h有限交换交换序半群,序半群
    ! L4 d* D5 _0 H) L/ ]7 P$ K可交换部分有序的半群
    . Q5 p( W7 W, s9 c: G8 }* i可交换部分序半群
    - D# O% b! T$ ?( h: z  Z交换正则环- c: `0 ~% @6 }8 V3 B; c( _- M$ L
    交换剩余格序半群/ _: Q8 ]. S8 c- S  `
    交换residuated格
    6 S) M0 ?1 U3 `可交换residuated偏序半群) X' Q4 k0 l" O0 F- Y( E
    可交换residuated偏序半群) g# u9 B% T+ }. a3 C
    交换环
    / E4 Q9 r  N: b- L/ ?- L% I与身份的交换环/ U  K7 _5 m$ h* ?! T; `
    交换半群,有限可交换半群,零& _: o0 {" x7 x+ S
    紧凑型拓扑空间- }- {! G# L3 K3 J" T: i$ m
    紧凑的零维的Hausdorff空间
    : W( \& Q5 f7 U0 N- S补充晶格3 _/ J& n2 x. ?
    有补分配格" y; r, G9 B; Q. s) l# ?
    补充模块化晶格% _0 C7 G7 I* [! p+ ?' [
    完整的分配格
    # t: F0 B' Z+ ~2 C5 `+ E- l8 W# F完备格, h1 E% D# N' c/ W, u
    完整的半格, [  s+ c: K7 P
    完成部分订单
    & E: x* K4 q( @1 O9 Y完全正则豪斯多夫空间
    . T' ^( {: v% m" G3 J完全正则半群
    8 ^0 z9 C& t  K连续格
    - X/ A+ S! `& r8 e( \连续偏序集
    ' @3 T) N2 \8 E* Q$ @+ k柱形代数6 z$ y& P2 @- j# V8 n6 Z8 v2 N
    德摩根代数
    $ O/ W# a4 {) _5 X* c/ F德摩半群$ V, e7 {3 g' p  P1 Y# W: V0 k
    戴德金类别" n6 \5 Q% h: k8 K
    戴德金域) A( h; G4 v5 O' n! `+ O
    稠密线性订单: q) {8 g, `& W# H2 G
    有向图代数
    0 F- T% a9 e4 z! V6 ^; c# c导演完成的部分订单
      I+ d$ ]- L" J3 O% E0 \7 G导演部分订单7 G9 b: S+ t9 m; b, o2 |2 L9 P
    有向图2 m# _) E  H) D5 T) C( L
    Directoids9 L4 u% ^. ?2 K1 }  S# J& L
    分配寓言
    : U0 g5 C4 ?/ f0 n+ i分配的双p -代数5 `5 j8 V- ~$ a* {. }
    分配的双P -代数
    + }# _, ?1 @% B$ ]8 |( `6 \分配格扩展6 u- Y% h2 @& p9 J: R
    分配格
    - K" F+ P# G9 H+ e# ^! a与运营商分配格0 x' \" O1 F1 v! y& @7 f- y/ g
    分配格序半群
    ; f( [- E# T- {4 F4 r: H- Q: v分配p -代数
    & q0 d) p  \& D# V4 L! T4 s- m分配residuated格
    . |' l5 p! r1 Q; T* ^司代数
    % d8 }. K( \# z* H( u0 t科环
    ' L( @+ y! _& [1 d% F双Stone代数3 f0 t* \# u  O$ g( R3 }
    邓恩半群
      F7 @7 g2 B8 W( T7 \& r动态代数
    6 X4 n+ A' f7 {5 Q熵groupoids0 h5 b7 u; X( p' m1 v
    等价代数
    / m+ z7 b7 P6 X" Q1 S, V- H' T等价关系& U  a. A; U: x, n0 v$ `' P1 |/ q
    欧几里德域
    1 ]: w8 W3 G2 d( zF -环( Q. s' P7 _4 l& q
    字段
    / p* O9 ]3 E# B! ^3 Y. NFL -代数
    : o" Y. x, d9 I& B" n+ kFLC -代数) ]* P1 J0 p0 l7 X1 P
    FLE -代数
    - B% ?  {9 F8 ]飞到-代数3 h3 p4 f* \+ c+ t' o; `4 a3 i
    FLW -代数$ B! ~& n; U; K; R
    框架0 ^, s1 J. N- }  b
    功能戒指
    4 v  k! {! F3 R# `G - 组: [1 X& v3 N$ b0 b" m) p
    广义BL -代数( C( d6 S1 \( ?/ d9 G( R$ V
    广义布尔代数6 ~0 w+ L4 c, M# I6 s
    广义的MV -代数' E! J0 ?) P+ T# r' f
    Goedel代数
      |. v9 k1 }6 q图1 `( i2 D" h& x' |( F. K' ?
    Groupoids& w* ~2 Y2 W- Z) j) m+ y* p6 }6 P4 O) e
    组  D5 K2 w/ }1 _& t& H
    豪斯多夫空间( h" G. }( z: K1 \1 t9 X
    Heyting代数
    : }) m5 f: L5 P2 p3 Z8 ?% v% R! _* p希尔伯特代数
      q1 n/ e3 x0 N0 G% y9 M0 U! lHilbert空间9 [) E5 ~; Y4 P
    篮球
    7 @( D% P0 s) X' G/ g幂等半环# c% _; N( V$ W7 h. }) S  M
    幂等半环与身份
    5 t! M; `" ?' S) `0 [0 i# }幂等半环的身份和零
    : o: c. ?0 n" [# }' y% a: M# |1 Q幂等半环与零$ {# b3 L' b; ]1 b# `
    蕴涵代数
    6 l* c, j8 i$ \: j6 }/ B; S7 p. s含蓄的格子" z' r  w- I# |  _1 n
    积分域
    7 o1 W6 M! ^' m0 u积分下令半群,有限积分下令半群
    ; {) m( m& F8 v7 J* |7 |( F0 l积分关系代数) R: g' U8 K; q  \5 V' J; K
    集成剩余格. _4 ~9 }$ @' d
    直觉线性逻辑代数# O1 l5 c- Z( A% O6 K: o
    逆半群  U6 x, u) S% B& M. Y
    合的格子
    & j% t, B0 Q+ T- n! o4 k: E, I3 P合的residuated格
    % w0 }  `" H+ e) l  \9 K加盟semidistributive格
    5 A/ M5 G4 P1 s# ~7 X* G8 A加盟半格# i  s+ q7 C3 M3 M; ]: R
    约旦代数" f/ e* e( n8 d7 v3 t* {! k
    克莱尼代数. h* j* ^# Q' ~) R- d
    克莱尼晶格
    7 _$ B' j% }, I, p- KLambek代数4 p0 w' g& U1 k7 {& w
    格序群$ @, v/ D" B- l2 `, R) @
    格子下令半群
    0 I# ^' ]0 g% a0 C; }; H格序环- ^; O( w, {4 \; n9 M0 N7 O
    格序半群- t8 a3 L2 C4 u( S
    栅
    " S' {2 x, }5 T7 `) d左可消半群  ~/ U/ y. e/ [& N, M
    李代数
    ! B8 j4 R4 G, t* `) q5 F% s5 }线性Heyting代数
    % S& o* J1 }0 t% U5 U& _线性逻辑代数
    " v* T( p. j. F5 Q, Y- y  }线性订单
    3 z& V; U4 V9 }( H# N7 G语言环境
    : H4 l( U3 N7 x- A0 d& `局部紧拓扑空间& W1 K! p0 H' g/ o! \% p
    循环( v. h6 h; y* v! D3 x9 a
    n阶Lukasiewicz代数
    0 q( b: S6 Q7 _* @4 L4 aM -组& A4 v7 I$ c3 j1 U# T3 y0 W) C
    内侧groupoids4 x( N( q3 `2 i) M2 o6 X  r/ M. G
    内侧quasigroups* p- H4 T: [' b% R/ o: U
    会见semidistributive格0 A1 [! \: }0 W
    会见半格! M' y. a/ o0 a+ J4 x. ], `
    度量空间
    3 j/ |" S0 l8 e( ]$ g! O模态代数
    ( |# s: w% J7 A% r# `" p! s模块化晶格% q5 t! L( p$ e" ~2 W
    模块化ortholattices
    - ^: {  k& i/ F! L3 s, ^环比一个模块# H7 e5 R" Y3 @5 ~2 k3 c  |
    单子代数
    1 |# J- f2 o% E& U3 Y2 `3 gMonoidal t -模的逻辑代数
    , V- Z4 w, p( ]  p: \幺半群,有限半群,零
    : i2 D- R  i  k, ]0 Q  h6 X( ^Moufang循环
    7 F+ S9 X6 M/ b) Q- ^) _Moufang quasigroups/ S0 h7 n$ x+ u( `$ k8 k# s; e$ M
    乘添加剂的线性逻辑代数
    9 }3 d2 ]5 J5 v1 k乘晶格6 g. s! q" ~1 Q& ^( d* c, r* U4 M
    乘法半格0 c  R* s6 s7 d$ x7 a+ L8 E
    多重集
    3 `- I- L1 ]. }' u9 ^4 K$ SMV -代数
      v. n  Q  V* b7 h; E6 W! S2 ANeardistributive晶格. R8 k$ [% b4 A3 o, `& S
    近环
    - |6 B* P% ?5 Y' ~" {8 W近环与身份
    ; V$ |& N7 J! l( f1 w$ |: Q近田
    & y. x! X$ G% H  F, ]幂零群
    / v$ z" K% P% i5 j1 P% H5 N非结合的关系代数
    7 x+ |' X0 a+ h, a: `, b- z' j非结合代数
    ; c5 ]$ \, d% M2 ^' }5 T+ Y普通频段) [, L5 ?3 \* L# o6 @. `
    正常价值格序群
    6 T$ |) O+ i/ A) ^赋范向量空间) e0 A; d. F' q+ A
    奥康代数% U# C, g. w+ U) a" K8 v
    订购代数" N, O3 ^' R2 K& d( H  @9 c) j
    有序阿贝尔群$ j, ]; Q/ h/ y4 f, ?1 l/ P
    有序领域
    1 \: N) N, O- [序群8 Y% o0 [% u& v% y
    有序半群, Y4 y9 `' o( }$ f6 V# m/ Z
    与零有序的半群5 G  [# {0 \: S, v/ F3 a
    有序环
    & w2 m6 v: k* l2 {6 H, h- M- Y序半群,有限序半群,有限下令零半群- _  a7 G# i1 x/ {; m2 Z
    有序半格,有限下令半格
    4 i: w  Q9 f# }- t1 y0 V0 \3 ^有序集5 w, n; M- d( z3 ~
    矿石域8 Q; v6 G1 _1 N: \* X
    Ortholattices  A: \8 ~1 i3 U7 z- n! H8 x
    正交模格6 }% E! v1 O+ ]; l0 P
    p -群
    - t! I' w5 z2 {" _部分groupoids
    + f6 o& S! B8 ~) ?5 `- J7 _部分半群
    $ n) W7 }3 v3 ?4 O$ D# a部分有序的群体
    ) t. y9 S! ]( `4 N部分下令半群
    % \2 p% U" F5 o% a  P% s部分序半群# ~8 k$ ?' l9 t3 q' \; B+ L
    部分有序集  V! ?, a1 D1 c" m& E% k' J
    皮尔斯代数
    ) ~. C& P- o* \( {$ xPocrims
    9 Y* W% c% [# }; S5 e指出residuated格2 K6 d1 s! e1 S6 q% S
    Polrims
      e: e9 p8 @  [/ N7 EPolyadic代数. u. L) V2 a' L: _
    偏序集) m6 {9 ~: m3 P+ L4 ?
    邮政代数
    ) U4 M. M! y) R& k8 e* R: UPreordered套) g' W2 l* G6 j; V' N" W, c+ b8 j
    普里斯特利空间5 c! V* c& A4 ]& H4 J: f4 K7 k
    主理想域" j  Z; Z2 I4 E
    进程代数7 n5 @/ p1 M7 l6 `9 E/ D1 u
    伪基本逻辑代数
    . E1 `, f0 u4 I2 R伪MTL -代数4 d* a# ~  N8 ]0 X  b" ?3 ?
    伪MV -代数! ^6 P# y: g+ Y- \# ^/ s) t' D- v
    Pseudocomplemented分配格
    0 t1 H8 w4 y( B: U纯鉴别代数: r. Q/ s5 l) L) `
    Quantales1 q: j, ?# u0 ]$ @: N
    Quasigroups! b) L* @0 c  q. q( ^
    准蕴涵代数
    ; o1 ]% a& B- X* z& O准MV -代数
    ) p' _: w( \0 U! t  ~准有序集
    , N9 h/ ]& s' ~  G* L6 f( zQuasitrivial groupoids$ l3 x+ {% h' `) K9 O
    矩形条带
    " y. a; \' G7 p4 _自反关系; k# T& M3 f4 [* S6 V7 g: s
    正则环+ }6 _; `" _3 p* o1 \
    正则半群* e" S1 C* z, |+ X! N
    关系代数* A( U+ o$ x( E( e0 c8 @
    相对Stone代数5 I% N) O: w* {+ \5 G
    相对化的关系代数
    # o) t* V0 b1 Y3 T; V. t& |表示的圆柱代数
    8 {' K, _: S, b9 [# d* G7 Y表示的格序群体
    7 E6 [4 b: Y- ~6 b2 T8 u表示的关系代数
    ; x/ R9 D2 r/ H6 I4 J9 ]表示的residuated格! \3 r1 i! d: Q
    Residuated幂等半环
    " y) Z7 w8 u8 L* |0 ]8 c8 T/ j5 @剩余格序半群1 m7 V- w8 M7 X$ `% {0 S  R0 ^
    剩余格  @6 ~2 t3 ^- f$ j
    Residuated部分有序的半群; f) r2 q$ ~0 O  l" `
    Residuated部分序半群
      H" [% q8 z0 L9 e戒指* j/ }, Z5 R2 Z% Q- O; V# r
    戒指与身份! @2 R# L. p( }* m2 W6 ^0 V( p7 Y
    施罗德类别
    - C2 I+ k: {0 ]# `# \Semiassociative关系代数
    & X4 O8 d* l* Q- V% U+ vSemidistributive晶格
    4 B5 O! |, V" G) {5 ]8 s# M半群,有限半群
    % ^! B( `6 c5 M半群与身份# C3 O& D7 I( {0 m* \/ S
    半群与零,有限半群与零
    6 L- h: _( F' w) v# L0 N半格,有限半格
    0 M  p7 B- P3 o% w( `1 y; w与身份,与身份的有限半格半格: g4 y: B9 x% d% h( T, o# o# G
    半格与零
    " w; x' _3 k" \8 ^7 r7 S半环. a) e! M0 G* s  \% E! k9 ~
    半环与身份
    # e* q& t2 J) e8 _半环与身份和零
    & `3 z, I2 M7 |+ d" ^: _9 u半环与零
    ( r* v% w' ^. X; K9 D7 `6 f连续代数6 g  t1 j3 c0 x% u# i  ^
    集* ^% J+ X" b7 O
    壳
    & P: [# H5 i3 }: \9 f; U歪斜领域
    / S; e- @! p' wSkew_lattices
    $ q$ l( o. {; `, A  g8 G2 P小类7 U& [4 T# ^  d7 g$ i# }7 q2 c
    清醒T0 -空间7 G2 D: M" v2 i8 l4 {) a& D
    可解群
    + q' g2 @  L/ w7 o8 @: m% ASQRT准MV -代数+ o& H: X' P& |! d" j) N  p
    稳定紧凑的空间
    ' Y& q& s6 L6 N: W$ _/ N施泰纳quasigroups8 p& s* ^- K) Z1 Q: a
    Stone代数8 r5 r  o" ^1 j
    对称关系/ z: P, p# o7 L; E+ c: U
    T0 -空间
    9 N4 K# Z6 t: k5 C' F3 }* kT1 -空间
    " h* Q' U' u5 h2 FT2 -空间5 k6 z6 N8 f, `3 d
    塔斯基代数( `7 D  T+ F- T+ q6 |$ j
    紧张代数; q. p& Q* l& l& I6 Z" E
    时空代数2 v; D+ L: o8 C+ f' r* U
    拓扑群! n% ~3 h. a0 z- ?/ n
    拓扑空间
      T% G  a2 V* m1 E8 }5 y拓扑向量空间. I% o# J: b9 U6 V. p7 q
    扭转组
    . ?: y8 e. f5 _& w$ `& k$ [: ^全序的阿贝尔群
    ! l+ K3 A6 V  t8 {全序的群体' X" G' ~8 L2 D$ p+ m8 ?/ u4 T% w
    完全下令半群4 b2 T5 o2 R+ W
    Transitive的关系
    % u2 y  [% [* \! k# r4 H+ J4 b/ B5 i树
    + y7 G% a0 x* ]0 f8 \锦标赛
    . p! y* N- h! ?: Z# E一元代数/ s8 K1 x/ B  B$ |6 o3 L% O- y, q
    唯一分解域
    % W4 }1 e7 a" ^4 G5 CUnital环* q) v$ r% ^0 p. b  U4 h
    向量空间
    7 V  X: V9 n5 H# t% F( ~$ E5 qWajsberg代数% `1 P4 X0 u; V+ l* [7 M
    Wajsberg箍
    7 h" q3 W. ^) y% T; S- D弱关联格) D) C( f! L; w4 R* r
    弱关联关系代数$ H7 k! `9 C, {4 v+ |
    弱表示关系代数
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3304

    积分

    升级  43.47%

  • 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-10-8 08:51 , Processed in 0.476204 second(s), 79 queries .

    回顶部