快捷通道

QQ登录

只需要一步，快速开始

  注册地址  找回密码

数学建模社区-数学中国

留学>>
返回列表 发新帖
查看: 3583|回复: 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
    + o2 D: c& g/ T- w  u. B, C8 V6 S7 X
    ! o& a' D: _0 P- Q5 a! b, S
    Abelian groups     Abelian group9 W# C+ l; N5 ~
    Abelian lattice-ordered groups
    - T: y" G* A( T& [; yAbelian ordered groups
    2 C( f0 u& \2 k; n# c! d5 qAbelian p-groups( ?4 {6 Z' p& ?/ p! N
    Abelian partially ordered groups
    ) X7 l& @+ }5 o& r; |, [; EAction algebras     Action algebra5 r* d" W1 k" o
    Action lattices
    0 l$ X" g" C0 C; x- m: |5 c4 `Algebraic lattices/ N: I6 B* ?; R" w3 X: s" k6 N# ]3 C8 O$ g
    Algebraic posets     Algebraic poset
    : X0 S4 U+ [  H" q1 n9 I7 iAlgebraic semilattices6 T; g- b7 A7 D' B5 ]
    Allegories     Allegory (category theory)
    2 E  t' I4 _$ Z0 B* V$ d! NAlmost distributive lattices
    ( E, e/ X  y' rAssociative algebras     Associative algebra4 B# Z; M& Y1 y- S0 s5 m
    Banach spaces     Banach space
    ) r) ]/ J' X( T8 i" L% m8 Q' vBands     Band (mathematics), Finite bands, y6 b# D6 e; e2 Y+ k1 H
    Basic logic algebras4 O- e, Y( M+ a# ~) E2 [  i, c
    BCI-algebras     BCI algebra
    & X$ p# C9 X; }" Y9 M! @BCK-algebras     BCK algebra8 {: X6 T* k; O2 k1 {' p, Y' C) z! q
    BCK-join-semilattices; y3 ~1 r' G1 G2 L2 ~6 @, n
    BCK-lattices- D. ]3 X' N* ~* B5 x9 a( S3 I
    BCK-meet-semilattices
    ( J( g0 z1 d1 Y8 W0 e: BBilinear algebras
    8 L5 l9 \, O) q  _- Z+ qBL-algebras
    ; C7 T  Q/ ~! \) C$ E) cBinars, Finite binars, with identity, with zero, with identity and zero,
    & \" G; x- ^# ]9 y3 OBoolean algebras     Boolean algebra (structure)" t2 U: p4 d! q% _4 X9 k; o& e/ p  P
    Boolean algebras with operators5 O7 r; @- p6 j+ ]
    Boolean groups
    , b' u1 v; H% X; d  mBoolean lattices/ {8 }3 n2 O! v9 r6 B+ V
    Boolean modules over a relation algebra
    1 o1 E7 C$ h% WBoolean monoids0 [2 R2 Y8 m' _) H$ ?- `
    Boolean rings: v; w9 ~# H6 Z- I/ A2 ?) p& a; C
    Boolean semigroups
    - S7 d8 `' s0 d  [0 y& U+ IBoolean semilattices
    : L8 t; p: X( j2 UBoolean spaces* _* G/ k( f% N' H% I1 n
    Bounded distributive lattices9 d; C( g3 A$ f0 c1 @
    Bounded lattices4 o8 S. |' y% v4 K
    Bounded residuated lattices2 m+ [! ]" H" C
    Brouwerian algebras3 ^" t' `+ i0 a. y/ I- V
    Brouwerian semilattices9 A  J) e& R( H- T6 [4 g1 s4 X
    C*-algebras
    2 m% T, }" U8 ^8 M+ H6 _$ pCancellative commutative monoids9 ~, \0 O: X; N6 z; Q% t  J
    Cancellative commutative semigroups/ k/ H; j# T) P( t4 Y. X- H7 k
    Cancellative monoids& O; o9 @7 ~1 V7 o' w
    Cancellative semigroups: K! i5 v  ^; Z" `
    Cancellative residuated lattices- D7 `1 ]& p4 k2 ~8 A/ S
    Categories
    : Z3 }8 N6 p4 h# q( PChains
    ' b! a' S5 h$ G% t0 X4 r. yClifford semigroups
    5 N3 }  |6 F% x# g4 Z) ]Clifford algebras
    ! f) R  `* |! g! y/ mClosure algebras/ u# T3 t2 [/ s; {2 _% Z+ }  x
    Commutative BCK-algebras% R- F/ ~. s+ k) X
    Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
    2 }. j8 _0 Q' {9 h, j' u, e* gcommutative integral ordered monoids, finite commutative integral ordered monoids8 U0 T& K! H: R9 W
    Commutative inverse semigroups
    9 t- P6 N& C) C2 z6 }' BCommutative lattice-ordered monoids5 a. x* y5 {4 S3 |6 N" ^+ m
    Commutative lattice-ordered rings/ N1 e5 \% z! W: o" {2 `
    Commutative lattice-ordered semigroups: ]8 m9 S4 D. O
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
    9 e* Y- Z) `& @7 SCommutative ordered monoids
    ) Y. Q7 g7 B- ECommutative ordered rings
    * S" ?: i9 V" c" g, H$ fCommutative ordered semigroups, Finite commutative ordered semigroups1 C; l! ?8 m$ F
    Commutative partially ordered monoids
    3 F* T! v9 h5 F& t5 P" T) c$ tCommutative partially ordered semigroups
      A$ g; [2 E/ ?1 a( @1 Q' cCommutative regular rings
    ' y! y; ~, a0 v& U0 Y3 a0 SCommutative residuated lattice-ordered semigroups1 ^  M# \3 {! `# X# s6 P% k) ?
    Commutative residuated lattices
    ) j5 j1 r2 g. @' `3 j7 [Commutative residuated partially ordered monoids
    . |7 o+ [, O; Z* p" F, uCommutative residuated partially ordered semigroups0 r* D5 j7 j& \( ~% y
    Commutative rings3 Z1 p3 N/ I9 F4 K$ r$ n5 K
    Commutative rings with identity
    ! o; S) j( w2 g) h* P1 {Commutative semigroups, Finite commutative semigroups, with zero+ ^$ l3 r5 T- |4 c( ]# O) _- v8 q' ]
    Compact topological spaces- H2 Z& P" e1 K8 a
    Compact zero-dimensional Hausdorff spaces, |" n' ]- L% a0 x! |  E7 A$ _4 z
    Complemented lattices. ]3 `$ R7 H3 A) ^, X# `
    Complemented distributive lattices
    7 S% ^% g# a" V  v' UComplemented modular lattices' {) U  g- T: K" s* I5 e
    Complete distributive lattices+ s& i7 h/ A- G7 s5 ], i6 n. J" |; ^
    Complete lattices
    7 X# E$ Q$ i) Q2 T+ O, HComplete semilattices
      w& h4 B4 \2 E, t0 JComplete partial orders, M& F* F6 R' S; z
    Completely regular Hausdorff spaces. N0 x/ O: L; t$ E( b* x* ^/ E
    Completely regular semigroups
    - M$ X9 O" t/ o' h, nContinuous lattices- T+ n' }% X1 }) V3 P
    Continuous posets6 P  ^! ?. S; X9 t
    Cylindric algebras& O& p0 |/ P( |& f+ ]
    De Morgan algebras( S" T, z& q/ t8 T) e7 ^
    De Morgan monoids
    ; K$ l6 x2 P, m1 T; EDedekind categories- }" s# H! H2 J2 N; j5 e8 V
    Dedekind domains* a# A8 c/ d" G. S( I* o8 n# t
    Dense linear orders
    * S  [- }9 y, VDigraph algebras
    1 J: A/ M- v0 nDirected complete partial orders; k4 O7 ^$ A0 G% V  ?' ^
    Directed partial orders# @" Y+ c+ H3 [3 C2 ]
    Directed graphs7 d! f3 q4 J4 T; {5 K" u
    Directoids
    1 P( ?+ X4 i# R' ?- w) X6 ~/ `Distributive allegories3 _/ g9 R7 v- I; [/ j
    Distributive double p-algebras
    # k4 {" _6 W& @9 F6 C6 {/ ZDistributive dual p-algebras+ W# l$ c" C- q, E1 p
    Distributive lattice expansions
    2 G( \* _4 \( O% E3 vDistributive lattices
    * m2 j  j+ ~' T: ~8 [Distributive lattices with operators
    - F8 g7 m9 m6 R- TDistributive lattice ordered semigroups; h. F2 J5 F% e- W) K
    Distributive p-algebras
    6 E8 z6 n% c0 \* \: ODistributive residuated lattices3 Q% ^) }- ^3 D' c
    Division algebras
    ( Z4 a1 f# P) h% m, J8 {: M% e/ vDivision rings, j% G- k% b* n" U! \  G
    Double Stone algebras
      t3 m6 P# b3 aDunn monoids2 h/ A+ [6 m. z% F
    Dynamic algebras2 Q: U/ H5 F: [5 L0 g$ Y1 }
    Entropic groupoids! G) k; V6 g$ |2 M/ O( J8 X9 F
    Equivalence algebras
    6 p1 v3 `# Y# z8 z* Z( qEquivalence relations
    # O1 i6 V& p7 ~- E) h* H$ g- \Euclidean domains) Y0 V! R- d2 I
    f-rings2 x8 N3 }, E( W9 X0 P" L$ q, J
    Fields% Y) E+ P3 \& ^( a6 e( _" Z/ [
    FL-algebras
    ! a* N' ~3 {6 `. H# g3 \% DFLc-algebras
    # o- C# u3 F+ U# yFLe-algebras6 X! g% j# E9 t* L
    FLew-algebras
    " Q& Y0 o- F9 j7 Y% g2 ?FLw-algebras  {! s9 Y7 B9 N. v9 L2 T
    Frames
    8 Y. [9 X  e# p, y/ D3 z7 qFunction rings2 v9 x  b+ M- Y1 [; @  x4 {3 ^9 d
    G-sets6 J2 w# ~; _& G+ f- b  a
    Generalized BL-algebras
      t8 c1 \- B+ v" kGeneralized Boolean algebras
    : s/ I( U% W5 bGeneralized MV-algebras* z  S: K  q. l: C7 w6 |* i
    Goedel algebras- [+ h, B! s2 e0 N' }" Q, z
    Graphs
    - A5 J2 m& O$ j+ I4 JGroupoids
    / t% ^9 j1 F% w* j( B  u6 B6 hGroups
    ; u  m0 U0 E3 qHausdorff spaces
    4 ~! b6 [1 W3 |" q" s4 D2 P1 lHeyting algebras$ j' Q6 p2 l6 g4 X  {" j& C
    Hilbert algebras' a6 j! E6 A# P# o
    Hilbert spaces, |# o. M7 {1 I
    Hoops. C3 G1 q% n2 b
    Idempotent semirings; o" ^. C3 w5 q" E
    Idempotent semirings with identity
    0 C- o. S6 y. y5 ]" s8 y: t- nIdempotent semirings with identity and zero% c( z" [7 H* R- |
    Idempotent semirings with zero
    ' H5 }" W* Z# GImplication algebras
    - M: l/ S  p  f- J' n5 GImplicative lattices
      v% f2 O2 P. h. O5 c# v5 TIntegral domains
    - G: h8 Q8 o* ?) a* U  }! O  nIntegral ordered monoids, finite integral ordered monoids
    1 y, @2 C2 E1 c- w0 ^6 zIntegral relation algebras
    " X( s! F0 W  ?" d: rIntegral residuated lattices
    8 N  e+ W8 \0 ~6 G# Y7 GIntuitionistic linear logic algebras# Z4 E) |8 e0 j" B8 G( V
    Inverse semigroups! N/ J" P/ S3 F
    Involutive lattices
    2 k- x) @) l- z8 r4 W: [) i0 S5 o* iInvolutive residuated lattices3 g  W# I, J- I+ K
    Join-semidistributive lattices4 w$ A( J* c8 L3 p# x. ~
    Join-semilattices% O. v/ Y( @( v" T4 j; q
    Jordan algebras8 k: [0 _: M9 {6 {/ g% Q
    Kleene algebras7 u; g5 z' N) H5 s; C/ ?
    Kleene lattices
    5 x, Z2 @& ]+ X  E% q* @, DLambek algebras0 |' \8 c- o& Y! }3 O
    Lattice-ordered groups- J" Y+ }' A5 r2 n6 ~+ n* {; j
    Lattice-ordered monoids: A5 ?8 q6 {+ f. }
    Lattice-ordered rings
    $ ~" w, K3 v9 SLattice-ordered semigroups
    ' e# o/ k) S; i) MLattices  S) o( N6 V# s$ z! r5 L
    Left cancellative semigroups
    . ~9 e  V* i7 r1 I7 Y8 ^$ yLie algebras4 t/ P: U2 @% i7 [
    Linear Heyting algebras
    # K3 i( r  m- ILinear logic algebras
    ' R, F1 a  W- s' y0 H7 tLinear orders" N8 ?) M9 [! m3 V
    Locales' N' u6 K$ a1 n9 K) W
    Locally compact topological spaces
    $ L6 e3 x+ i- p% I# E' B; j" ^Loops3 J) f/ O/ e- r) g% H
    Lukasiewicz algebras of order n, X; Q# y  L$ j
    M-sets
    ) g2 _: I0 {0 R5 |4 x- K) w: kMedial groupoids
    - q. A4 K$ G$ bMedial quasigroups
    % S( }( e; H7 W6 K6 jMeet-semidistributive lattices# v) n( u% F; w% ]: {. o5 l
    Meet-semilattices6 ~5 i% Y% K4 I& W6 I
    Metric spaces
    & d0 L" r% `' b* L4 d9 EModal algebras
    2 ~1 @9 e. T" p- |) o% g1 I  w) ~Modular lattices4 |$ T0 g# O" z
    Modular ortholattices/ X& b0 }! s' t. `5 |" o
    Modules over a ring
    1 H" y1 L3 Z$ B/ y1 ]7 VMonadic algebras
    7 H% E3 K( v+ T, R  r. ^6 lMonoidal t-norm logic algebras
    4 F* `; @. i  v( }5 Y  p1 BMonoids, Finite monoids, with zero
    : w$ d: Y: z4 o3 U- D7 k4 HMoufang loops2 }6 E! f% e) L( f8 v& N
    Moufang quasigroups
    1 H" u; J# K: l$ ]0 mMultiplicative additive linear logic algebras
    + m! F  E* X2 ]& z7 gMultiplicative lattices, W& M( c, G2 q2 _) i
    Multiplicative semilattices
    ; n7 z; Z( P7 Q, d5 ]Multisets6 s6 s. A! ~$ ?
    MV-algebras. L$ a% L5 ~- B. P2 i/ M
    Neardistributive lattices7 [* e! X' B. L( L" E% J
    Near-rings2 c1 T1 n* O$ n% p
    Near-rings with identity8 I6 z$ _% p: I, h$ A
    Near-fields
    " V+ O9 o$ u& n# ~% u7 b  FNilpotent groups
    ' \* k2 a0 V1 r! aNonassociative relation algebras
    5 m, ~! X! H) ^# T2 j8 ]# ~9 R3 `Nonassociative algebras/ `( h  o# X# ]5 J2 v3 ^4 K& I
    Normal bands& Y6 w( H4 K  ?
    Normal valued lattice-ordered groups
    ; d  }; f$ K; ?  F% C% c) X7 CNormed vector spaces0 `1 I% W( s  t
    Ockham algebras
    9 l* i5 ?' R8 {, P( dOrder algebras
    4 _) R( P; ]0 z  ]+ ]) ^' j) [/ W/ ]Ordered abelian groups* h7 v% R+ \# Y
    Ordered fields
      |" F* G( F' K; HOrdered groups7 |% u/ h( f9 [! ^
    Ordered monoids
    2 G+ O+ t$ V# G' t9 H' M% HOrdered monoids with zero( A5 O' R: N6 `! f5 s
    Ordered rings
    # F0 t5 K3 Y- i* d8 Z" G" R. Q- QOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero  G/ ~2 j* y' y4 ]. n/ n. B
    Ordered semilattices, Finite ordered semilattices
    ; F; o9 W1 m, s8 VOrdered sets
    ( A3 v; I& e  a: X. K: ^; i& NOre domains& l2 e) f* s2 D' u
    Ortholattices9 o( ]) q1 u, H6 |% [
    Orthomodular lattices
    & H$ P/ i" e. ^* E) W9 L& G# f. fp-groups
    ' p! M- Y6 `( ^1 w3 iPartial groupoids
    4 b; R9 a& @% v" \# \1 oPartial semigroups% g4 j# @* o/ L, E# P7 M" l0 n
    Partially ordered groups% i2 `7 q2 z8 @2 b6 W
    Partially ordered monoids5 p, `5 X0 [4 O7 \  y4 D
    Partially ordered semigroups1 b# s, K) L  o& B* I
    Partially ordered sets4 F; c+ m' F, H
    Peirce algebras
    9 q6 `9 m% p6 cPocrims2 ]/ Z: F5 B8 M; L' O6 [
    Pointed residuated lattices
    1 h# g, j) n  XPolrims$ l3 R) |0 B+ n0 y. O
    Polyadic algebras
    , \1 p2 k4 y8 }Posets, w6 l. l* T& L. a: s
    Post algebras
    . C, H' G! Q! XPreordered sets- K  ^, S. x7 D
    Priestley spaces
      P  m/ h+ W/ e8 VPrincipal Ideal Domains
    ! A) i  v* f' ]2 @Process algebras! W1 I' Y9 r: ?: w; b  {( J8 K
    Pseudo basic logic algebras
    # r( D/ g0 r# G6 Z, s$ kPseudo MTL-algebras
    : q0 H2 q. |% [Pseudo MV-algebras
    8 v4 m9 Y% U8 Y# d' ?- ?Pseudocomplemented distributive lattices
    % b' q) \: X& @' T" z6 B. oPure discriminator algebras5 B: E* L  `7 V
    Quantales4 c, X3 G% J* r$ n& ^6 ]1 d4 w
    Quasigroups8 b* }" T+ a2 w  e' @, B
    Quasi-implication algebras
    9 i8 P& F- s6 h/ F- S! t, jQuasi-MV-algebra
    . K1 I& L  c  a+ PQuasi-ordered sets" V6 W# @! H( F* S1 b, H: Z
    Quasitrivial groupoids( w" G8 Z' p5 r8 S/ w8 g
    Rectangular bands( U4 R* K1 q0 W; Y! v' p
    Reflexive relations
    - Y  h% u* y) o' {; V* SRegular rings
    / s! R: ^- ^% ^+ ERegular semigroups8 M2 y$ q% r# K/ I9 u) H
    Relation algebras6 g' [6 s- t. J
    Relative Stone algebras
    5 ]4 c! c- L# I* E: o! [/ J0 T( B' JRelativized relation algebras
    ( |  |& V- O% A: L# LRepresentable cylindric algebras% ?6 Z% R+ Y6 o5 V! T: g( p
    Representable lattice-ordered groups
    9 G3 _! Z& G- g3 }Representable relation algebras) E; a3 {% P/ X* K
    Representable residuated lattices
    ! {2 G: B( c' [& d" MResiduated idempotent semirings* Z/ ?* l( {- Z4 o) G
    Residuated lattice-ordered semigroups/ [) v+ b2 G/ b( v3 p, T
    Residuated lattices
    4 }6 P3 E3 b' i- OResiduated partially ordered monoids! e- b, V% s# b" m' a
    Residuated partially ordered semigroups! q( n: A; p# F4 Y5 a7 a- o
    Rings
    ; z3 B0 ]1 ^& c3 K5 O$ s4 @Rings with identity
    % R4 h+ V# J& k  t( gSchroeder categories, O0 Y- `' U/ @7 F+ b: q3 w5 U) I8 q2 D
    Semiassociative relation algebras. R  N8 [5 p# ]
    Semidistributive lattices- o7 x8 V+ C! ^  |1 o
    Semigroups, Finite semigroups
    . Z) D1 Y) F' `Semigroups with identity
    0 }0 w5 P$ ?- Y* t1 fSemigroups with zero, Finite semigroups with zero) W9 B% [* d$ a4 l( p. d9 o+ Z
    Semilattices, Finite semilattices' ?; S5 w! K( w
    Semilattices with identity, Finite semilattices with identity
    / ^9 u  R; c6 A- p, ~8 LSemilattices with zero
      o) J. n+ s3 [5 e% s3 C$ nSemirings
    + E1 e( j5 Z6 T( H2 kSemirings with identity' Y5 I2 X! D) @# p+ w  ]$ D  H
    Semirings with identity and zero$ z! B8 c4 e8 P0 H- |! O
    Semirings with zero
    & ~$ a% d: V7 @& z7 Z# D# X% _Sequential algebras
    4 O$ j3 g( Q1 ~Sets
    , k! \& [8 b+ U/ c& w3 dShells1 h2 b" ?7 v- H  ~
    Skew-fields
    ( a& _& u4 T, B3 T( N( q( q1 hSkew_lattices
    # e7 G. ?! U* L, X! K- CSmall categories1 y! O. {) s, U! I9 S" @  _( E
    Sober T0-spaces
    / F* [' `- |8 \. z, d+ vSolvable groups( k5 ?2 G* {1 @0 A# S& u: f4 l
    Sqrt-quasi-MV-algebras4 Y9 p1 f$ s3 u: L+ W9 z  z, v7 A
    Stably compact spaces
    & w7 \# p; {  d( f1 aSteiner quasigroups' N- a1 ?9 f3 Q3 d+ s
    Stone algebras
    ( ^, z, m8 x1 P9 G6 S; n- dSymmetric relations3 r7 @; g+ [2 X3 W3 t" _
    T0-spaces
    % Y/ V. ~$ ^! R* C& ^+ `$ ZT1-spaces
    9 \/ C- \* f+ Y+ m: FT2-spaces
    . [) ~; F# H" H( ^# z7 ^- i. A9 ?Tarski algebras/ h' Z( ~' f: A/ k* u
    Tense algebras
    : g  j7 W  f; @. KTemporal algebras, G5 E1 v/ a+ m, l9 x/ ~7 l+ T3 C
    Topological groups1 _7 U& a6 F5 J2 f
    Topological spaces  C8 `* x, ?6 d+ \
    Topological vector spaces" N' }3 w. l. W, P) N* {8 W4 K; o
    Torsion groups+ T8 |7 P0 N1 Z/ `3 s7 S2 G* a2 K& D
    Totally ordered abelian groups
    + C  u, b# b" t" _- P( e7 pTotally ordered groups5 |. R0 _( y) I/ P
    Totally ordered monoids
    ( p2 ]* c" q" i2 o5 zTransitive relations( {) p/ A7 z) o+ {7 M9 }- t
    Trees, d0 E2 @( J: j' s- L- g6 k) Y- W
    Tournaments, n3 P; K4 y6 D0 c
    Unary algebras2 R/ u0 N/ A9 ]9 c5 u& T
    Unique factorization domains
    ; y1 v: c3 x7 r' p* nUnital rings
    4 z- k& X  c* ?4 f3 I/ K0 PVector spaces
    3 v; M+ r: {6 Y! BWajsberg algebras( t! I4 b/ O* @' o
    Wajsberg hoops
    , @' z" l4 S/ ?2 F$ E$ AWeakly associative lattices
    ' ~/ `. ^/ ~' G/ y0 a+ i2 D0 M& uWeakly associative relation algebras& ^' w. O- O/ A! c
    Weakly representable relation algebras2 ?3 G* ]1 d/ S' C3 d' C
    zan
    partially, category, groups, 数学
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信

    相关帖子
    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05

    • 签到天数: 15 天

    [LV.4]偶尔看看III
    2#
    发表于 2012-1-12 13:20 |只看该作者 |招呼Ta 关注Ta
    阿贝尔群Abel群) I1 u/ [! M0 X) c. ]
    阿贝尔格序群
    3 M. _/ o- C& Q( i1 y阿贝尔下令组. `  U2 h- {1 b# x9 p7 e: k
    阿贝尔p -群
    + s" F, Y" w( i: a3 p阿贝尔部分下令组, o3 Q2 `& Z) u9 d+ ~
    行动代数行动代数' P# L  I1 I4 o
    行动晶格
    " O+ k! z0 t! u6 \代数晶格
    $ v* o7 ]% g9 s代数偏序代数偏序集
    3 @0 I) |' K7 F- F. t代数半格
    ) ~1 U' d% k8 k1 Y' E4 p4 r0 \5 I寓言的寓言（范畴论）- u! @# U; f5 f0 K" v% C, E
    几乎分配格
    ! n& j2 \: d* ^2 K7 B关联代数关联代数
    3 B9 l+ k, U( D' F7 OBanach空间的Banach空间
    * P4 ]0 g) {$ }乐队乐队（数学），有限频带& n  r4 P6 `4 u$ r, T% \1 T; ~( ^& [
    基本逻辑代数
    & g) j2 }& r# s& r( PBCI -代数的BCI代数
    8 U" @. ]" D/ \  D. z0 l; V) B% \BCK -代数BCK代数
    7 b4 M! u" N) L  I9 PBCK联接，半格! {" g* ~( e% w0 N
    BCK晶格
    8 j, a* ^6 S% m& x1 a9 k1 v4 oBCK -满足的半格3 O1 r' x+ p, Z, y9 B
    双线性代数
    9 g$ a5 n$ T) L4 H4 T* qBL -代数# m. `& g6 o: x0 e9 r
    Binars，有限的binars，与身份，身份和零与零，
    8 A. i+ l" B& }- M布尔代数布尔代数（结构）% N$ a0 d1 J4 g( {  L; S7 \
    与运营商布尔代数3 l# ?! g, }6 |4 y8 a  E
    布尔组
    7 Q) `$ o+ n( t. N5 D布尔晶格
    2 I  s; g% T$ Q, d' u8 e对关系代数的布尔模块/ G4 A0 m8 }, A* @) Q7 |2 l; Q" U
    布尔半群. V$ x3 l" G4 y$ H& z: r' |  N
    布尔环; \- |2 ^' }$ @. e5 H& O7 ?' o
    布尔半群
    2 D  o3 P/ O% \布尔半格4 W# w4 ]! R; V  I8 V' V% @; r
    布尔空间% I8 ?! J. n2 J5 v
    有界分配格
    6 T0 J) n. F) q' ?界晶格( v) ^% I, k* a' G" G0 \! @/ u
    界剩余格6 p" p; e' M% c, v$ L
    Brouwerian代数% }) E7 i2 U) b7 m9 Y! @
    Brouwerian半格
    0 S  _6 }  t0 U0 y* iC *-代数: b1 e  F' r+ N1 n. D
    消可交换半群
    , P7 j0 c# f+ X+ ^/ i消可交换半群
    1 ~- K/ b- W( ]' y* Z- L可消半群
    4 G% z7 t% o: x( e" |$ d可消半群
    5 [% L7 w. W& a0 @# d/ X消residuated格. c* [3 N# L6 d4 X* @& h
    分类3 _* o9 x" Z# m! I8 K5 ?
    链5 q; ~* Q9 q. V$ q
    克利福德半群
    " I! p# w/ n1 }- PClifford代数
    & @4 Z' y/ P2 K4 ~; _$ u. ]封闭代数
    0 _& y) e) [8 c7 z- R可交换BCK -代数8 u$ P7 v. M: h/ k1 E
    交换binars，有限的可交换binars，与身份，零，身份和零
    , K" n  V" H9 Y可交换的组成下令半群，有限可交换积分下令半群# X* V& K8 o) p/ S& ^, K/ |
    交换逆半群
    2 O9 n& P' \) F1 e; w" G# T! |交换点阵有序的半群
    3 c9 [3 X  C# }( [; w交换格序环
    3 ~: a3 m4 q8 ~, Y) A交换格序半群
    0 A5 Q: K! b' C交换半群，有限可交换半群，零的有限可交换半群" i6 i8 M) h  Z1 O
    交换下令半群) A7 X1 S$ U3 n8 ^+ M
    交换下令戒指
    8 p1 q7 T! [" p6 R6 v有限交换交换序半群，序半群
    / B6 W- X5 T; T& e; {3 G- h# p1 c9 f可交换部分有序的半群) V, F4 X, Q" Y0 N+ M5 [
    可交换部分序半群/ X4 U  {: w* L2 ]
    交换正则环
      K: i) x- f8 K* A5 ^( V" h2 Y交换剩余格序半群0 W2 |; T; ?* {: C) e
    交换residuated格4 o+ [+ e  |2 H2 f$ t; {9 J( x
    可交换residuated偏序半群
    / P$ ]6 h( c8 p" y+ O1 t可交换residuated偏序半群( T! e1 _4 U% F5 W0 g
    交换环0 Z% X  o. H/ a* f2 I* u' g
    与身份的交换环
    : T' S6 i' O" x3 X9 F" O交换半群，有限可交换半群，零! M3 e) G. V$ z
    紧凑型拓扑空间* Y" G0 a! I$ s  e6 O
    紧凑的零维的Hausdorff空间, k! \$ e% X$ V4 j& k* ^/ G$ _+ ]
    补充晶格- |3 C8 v& Q- G1 m# `' L
    有补分配格
    / ]5 B$ F: }  \3 m补充模块化晶格
    $ g% O2 `% l+ n完整的分配格
    / x3 i1 l2 M% |9 j# z- D( _完备格. h  z$ I8 w& o7 Q( X
    完整的半格$ Q1 V/ p6 c3 Q
    完成部分订单
    4 C/ B2 d0 i: x. ^完全正则豪斯多夫空间
    ) }5 e5 O7 }; ~- F( O0 b, m完全正则半群4 l# A: l8 Y* s' J; M
    连续格
    . F' `2 q6 f% m连续偏序集7 o) J( f2 G) }- O( N5 R5 y6 |
    柱形代数
    9 |0 b8 A# J' t$ }2 X( y. Q德摩根代数
    $ b2 ^; d! D( _0 c$ ]( z德摩半群  q9 U6 F" ~9 g9 ^3 W9 C
    戴德金类别. z' w: o2 [. w  D
    戴德金域, V" {( v) B& i9 T% }
    稠密线性订单. G5 a* `& p, o, Z
    有向图代数$ s" u* Q. k: H3 j2 C
    导演完成的部分订单
    7 c8 I% s, o+ c* \& V+ g, b导演部分订单
    ) j& v0 M; s& q" C: v: ^有向图
    & R  h: F" D; ^Directoids- {) b) I4 ~; L
    分配寓言
    2 Z4 Z! l/ U  T( R4 h) z8 N分配的双p -代数
    0 e) ^6 L, T- ~" a分配的双P -代数" _/ o- a1 d& \3 p+ x
    分配格扩展
    0 O3 ]  j4 B9 |分配格
    ; p+ B5 V9 r5 F% B* l2 v  w7 Y与运营商分配格
    . A6 r* P$ t+ B3 i$ b/ c/ o, H分配格序半群
    , l  W* Z+ W9 J: T& k分配p -代数
    , T' h  f1 q- k0 o/ N, m. n分配residuated格7 B. p( Q' {8 T& M) q
    司代数, s1 L# o0 E' O% O) q6 R+ r
    科环: e# x$ |" N3 o" u8 D6 |
    双Stone代数+ @; D# g5 b+ v" L. Z* d8 \
    邓恩半群
    ; n9 d5 \( j0 G7 e3 Y动态代数
    / i/ w0 f! q3 t* l8 F, m熵groupoids; E, I, Q3 e! g" H7 t7 b
    等价代数% b1 `* ~0 ]! |, s7 ~! U6 [" v
    等价关系
    & \+ f, k9 y  k# s9 Y欧几里德域
    / F3 @# n+ }3 V9 O4 S5 `F -环: X; r& r  H' ?' F: s' O- }
    字段; e, H/ `( m( O8 J
    FL -代数
    ! v+ {0 Q0 m" UFLC -代数4 u( Y' E" i; X. k: t( Y! ?4 D
    FLE -代数3 P* X% \/ R! s" M! u: n
    飞到-代数
    ! Y  y" A8 b8 W) KFLW -代数
    0 o% h8 V* Q+ E0 \; a- J框架, N; C5 ]4 ~( `4 P
    功能戒指
    & F) J# d# T9 w1 O  t9 P3 kG - 组* o3 z! {& S- W2 F
    广义BL -代数
    / H( S# Z2 A3 P0 v1 y" K- _9 ^  M广义布尔代数
    5 t3 g) h7 m! h+ O2 v! Y3 W广义的MV -代数! X% [; l+ h6 m2 d5 h9 u0 n, \
    Goedel代数9 \4 s0 _1 j" U  x% U
    图
    ' ^. C# J" ]) M/ R; j/ ~Groupoids
    3 h4 V- ?0 v3 D# j: x( K. M组4 b/ G& f5 }2 B8 ]3 v% O
    豪斯多夫空间8 I9 D$ k. W' P1 u% U
    Heyting代数
    : h$ ^$ q  o5 ~/ H希尔伯特代数' W. @+ Y& m) a( |6 V9 n0 A
    Hilbert空间
    6 r- o* o; G0 R  y篮球2 A' ~* h: I/ b2 L1 z
    幂等半环
    # {3 A& Q8 [" B3 q+ y; B幂等半环与身份
    7 @: X5 O5 R! }. y幂等半环的身份和零
    7 d8 P) Q. N* G" T幂等半环与零" b, J1 C8 y1 z3 Z: ?: P5 a  S
    蕴涵代数& a6 R4 m1 X; X, ~+ u
    含蓄的格子
    3 h8 ~* x  e/ d( h6 J) r* m9 g2 d积分域0 s0 }9 f- X( D" \9 a! x
    积分下令半群，有限积分下令半群
    8 d  P8 _% i# [4 `8 N积分关系代数0 [! N$ X, J+ B$ q- M! \( o
    集成剩余格
    : p6 s/ {* p: `' O4 O" x直觉线性逻辑代数
      I2 C6 c& y6 k: z8 D' p' d& Y) u7 T逆半群
    . }" x9 S! B. k7 [合的格子5 c$ J* l; q8 Z! o6 D( z, J4 f
    合的residuated格1 H2 ^9 a8 G) i0 `7 a2 q0 h
    加盟semidistributive格/ E* m- k1 l1 M- k7 I" J
    加盟半格
    3 t1 i2 D6 X$ g  t约旦代数/ g" H( r" j# D0 K' e
    克莱尼代数
    ) B$ d* n( s) \* [: E8 ~; ~" T克莱尼晶格. O1 W3 I2 l( {6 e) M9 @
    Lambek代数% _" ~  A  M4 y1 J4 W
    格序群3 q4 _6 T) h$ \
    格子下令半群% J( t  ~% T2 `" v
    格序环. ~9 p+ F$ I/ {/ J1 T
    格序半群
    ; u2 U. k$ n4 Y栅3 d6 j6 _, J! f0 I0 |
    左可消半群
    ; V/ Y9 i% H8 o7 h" v- M& V4 `李代数# V; E) ]( |$ J4 c4 p" ^5 h
    线性Heyting代数
    * |* ?2 |' T# D+ i; q6 N& O& F2 E线性逻辑代数
    * x! B# a1 s9 j5 F  t1 i7 V. T线性订单$ \, u6 H5 y2 ~" p" G1 y" X
    语言环境
    2 T$ Q  T2 u" @7 j( |, K# ?6 T局部紧拓扑空间
    0 `8 f' @( ]# S1 U7 ^循环
      b( A4 g( b7 d/ A6 X, b9 qn阶Lukasiewicz代数
    ' X/ w! R2 Z; JM -组
    7 a6 U' S2 G  d内侧groupoids  i! n/ f7 F4 v
    内侧quasigroups
    & g4 ?4 D! l  f6 p( x( v8 _会见semidistributive格
    ) `3 E, {/ `0 J- t- `8 i. J会见半格4 I8 ^6 v0 C; C: `1 j
    度量空间
    ! }) Q+ X0 A$ ?6 b& g7 U模态代数) R- N7 t3 d. }$ j
    模块化晶格% `' o5 p- g  E0 A& }9 k& ^
    模块化ortholattices) B1 H  s* h: F6 v- ^3 }
    环比一个模块
    7 F3 Y6 u, f0 m单子代数
    5 H" E& [2 ~" j$ \" m9 A; D) o6 NMonoidal t -模的逻辑代数; k* [4 _. S2 _7 |% g
    幺半群，有限半群，零
    2 B: A) ?/ i+ m+ O9 w7 y7 `Moufang循环0 j8 l( V- a9 n3 O( V9 e
    Moufang quasigroups
    + H5 e! P6 {# Q9 G* n. z乘添加剂的线性逻辑代数
    ! }$ y2 @! Q( ]5 _) ^- C乘晶格
    - A2 s5 t5 ], O! k; R) m乘法半格
    ! u1 w. @9 ~: \多重集
    + z& M' c3 t7 @MV -代数# q- l% t, ]8 ]
    Neardistributive晶格( E4 b; y( ^* p0 T2 X3 q- A
    近环) J6 A: N& c- O1 V3 a/ h
    近环与身份
    ; w: r2 n: c" a" `1 y6 U近田3 R9 b! |* z% m- S) \7 x6 K
    幂零群6 _0 @% R  E( a& O" N8 }
    非结合的关系代数
    + ~3 k$ R  N: \5 k- I. @非结合代数* P5 Z6 v% X0 F4 f6 {- [
    普通频段' \- n# I$ X# i1 f0 Y; w
    正常价值格序群0 c4 ^( k. J: V: T1 [, z  Q
    赋范向量空间  Z7 J0 t9 q# d- }1 B7 R
    奥康代数
    2 D, I1 j+ v; v3 E, N订购代数
      f9 i+ ~- v/ `! s* O有序阿贝尔群
    1 w+ x$ H+ i( b3 ]7 W8 j有序领域
    6 o' [+ d. N* n- W- \序群5 e# F+ B- R2 V/ c$ r  m3 s2 v
    有序半群
    4 j& Y3 t& q6 t3 n: G  x7 C  Z与零有序的半群
    & K# n) D& m3 s有序环
    , ~7 q2 Y% q$ `# E' D3 f1 o/ |序半群，有限序半群，有限下令零半群  e7 A8 v8 g0 C2 {. ?( O
    有序半格，有限下令半格# U& O5 l1 I4 r4 h* S1 |% p
    有序集  ^) o: T  R- A6 p4 V  P! G
    矿石域
    5 Z. S8 T. D* T! ]Ortholattices; Q3 M/ v1 ]) F
    正交模格0 A) V4 p2 T' n1 C  C9 u" T$ [
    p -群
    2 Y& a9 F, B" J+ [! J7 _" p% E0 A# M! q部分groupoids6 M: b' \# t8 `7 Y7 @
    部分半群1 d' J; C; `0 o9 J$ g
    部分有序的群体
    & B, c% F. M/ C/ G部分下令半群
    1 q( G0 c3 s& R1 s部分序半群
    & \: B, W' z5 h% n( F+ X. p部分有序集) h, q1 t  F2 P2 P; c8 o; o
    皮尔斯代数) ^: ?) O2 m6 G* W
    Pocrims
    ( W7 v2 |- e0 Y4 O指出residuated格* q4 d6 p( p6 J! z  J3 |8 u# ]" }1 _# q
    Polrims9 I9 O. _( v1 a0 H& X1 V
    Polyadic代数
    - v' U. M. y! t* A4 w9 a偏序集
    , l/ S1 Z1 k3 P6 z  R' ~邮政代数3 b' o+ y+ S: Z8 b9 v5 B* e
    Preordered套4 Q' h+ O$ p% r6 h% m
    普里斯特利空间' V+ g( J6 S' j$ b7 [
    主理想域' ?6 O$ o1 @- k3 X4 A2 _1 m
    进程代数
    1 @$ l5 d9 O$ p$ A伪基本逻辑代数
    4 b% K3 m& B5 D, v( n$ g/ Y) ~伪MTL -代数
    2 Y( G: Q6 `* S9 F# {伪MV -代数
    $ O5 |9 n( O+ t3 h4 ^7 B; p+ X  hPseudocomplemented分配格
    ( t: k: {0 a* q纯鉴别代数% R5 C+ P3 K( I2 b0 g9 K% X3 y
    Quantales
    7 c9 }. t: x: _* {2 @" o" J- j% uQuasigroups2 _, @. I/ W- D- U# I
    准蕴涵代数$ p; M3 I% K4 S9 G0 s
    准MV -代数% C% d1 n+ V/ Q; F( l5 W+ ^  W
    准有序集
    / K# q6 D, V0 y. hQuasitrivial groupoids
    ) n$ w/ [$ A% l( r5 L矩形条带
    6 b! U: h2 i5 ~! w, \+ r自反关系( Y5 h0 ?( f% M, [( b- j& J- N
    正则环: t) t/ h7 w! l1 O" {5 B/ Q
    正则半群3 E# d* D  K( h' h- R. W
    关系代数2 L! ^' g. \9 A) y9 ~3 K
    相对Stone代数% J* z! q  y0 @# K! x" x
    相对化的关系代数
    " \8 [& c7 ~" t表示的圆柱代数5 A; Y+ e! W' q8 O
    表示的格序群体, I  e5 K8 I# W) m# o- _3 S
    表示的关系代数
      r5 Z3 q% i: c( e( C' [7 R- y表示的residuated格
    / v! B$ c0 p8 X9 G( J( E& sResiduated幂等半环/ a6 S4 y' b4 w" M% k
    剩余格序半群
    0 {( q1 e9 j7 H1 _" N剩余格
    4 }1 h) `+ l. r- b; P% [, {  WResiduated部分有序的半群2 n7 t: L% n% X7 f- s
    Residuated部分序半群! [9 C, a/ @* b% s+ h4 d8 @9 M& K
    戒指5 D3 E% o2 o, p
    戒指与身份
      g) E. G1 F) y% P施罗德类别
    ' A3 T0 ]$ R; C, @2 b5 zSemiassociative关系代数. X0 T, A3 l& ^( ~" B$ E; D
    Semidistributive晶格
    ( ?$ h, S9 V! d: v8 S# P& Q/ l$ W半群，有限半群
      G" @% x- p7 x6 N  Z4 V) m半群与身份( |' |$ [: |9 o0 K7 h" H9 L% C8 h2 T) l
    半群与零，有限半群与零/ V7 D, U; D' B4 x3 `7 F1 Z+ H2 S
    半格，有限半格, j* q9 h+ g( F6 h+ k* O" \
    与身份，与身份的有限半格半格, u* ]5 P  b6 O4 W8 ?5 d5 n
    半格与零
    * v% l' `4 N' T( C. U) w- d半环
    $ f5 a! k$ C# ^0 K  @半环与身份% g* U: g6 _7 T0 P7 m2 P
    半环与身份和零2 c' J6 u* y# _5 e. a
    半环与零- l* f* I* |  S+ D
    连续代数
    6 n# e# i) T( X% R集
    - H6 D# u* p) k2 k" A6 ^壳
    4 X! u# t7 Z5 a8 l: |' u! s& \" [! |歪斜领域$ [7 e, ?; S1 Y* z4 ?
    Skew_lattices
    * ?0 c: @" v- `8 F  L小类
    7 @' w3 d4 U/ _, `' A9 @1 ^清醒T0 -空间
    9 T* U' S4 C  F- ?3 [) Q+ \可解群' Q/ f- z" s7 }/ M  g" j0 T) U
    SQRT准MV -代数* d- {0 D, V& r% J* n( j
    稳定紧凑的空间$ M% @+ O* J: T, {8 T6 T
    施泰纳quasigroups
    # ?: T0 Z7 e% \Stone代数2 M% X8 A" p# G9 W+ E
    对称关系
    4 a7 f0 J5 q8 N9 KT0 -空间
    2 d; }9 v) G; `: V. O) {. uT1 -空间( l1 {; {1 F" I' W5 N1 `/ j8 f
    T2 -空间
    3 [; h$ c0 F% U1 w/ Y' e4 z, e1 d塔斯基代数; }3 r) C6 k1 C- _) N: l
    紧张代数
    + N; @4 _/ c! a时空代数. N4 O# H) Q2 e/ G" v% r8 X
    拓扑群; k. N& {* S# H0 z, p( I, U
    拓扑空间; s# Y0 I. E* y' T# t
    拓扑向量空间* O) i3 S$ G" A! }
    扭转组% S9 ]* `6 Q! s% G% |3 x, u: v2 \
    全序的阿贝尔群: g' v# `5 s; j
    全序的群体2 y: U6 ]# C5 I$ T3 C9 {% r; W( [5 z
    完全下令半群+ L6 g+ z) L2 _' z1 K- {
    Transitive的关系
      L, C# R+ F1 L树- r* J3 N, C: E; v0 Z- |
    锦标赛' ]9 z# v) D! N# ^, q. j- R, R) H
    一元代数
    & H% w. y9 e8 W; f+ s* u0 w唯一分解域
    3 b3 F1 e  m9 N& Z4 OUnital环) E. x% R, k) b  j- r# Z
    向量空间* f, `5 K" ]8 G* l
    Wajsberg代数; n( i+ {) o* g- Y
    Wajsberg箍7 o3 f+ ]3 w6 _! u" N0 o
    弱关联格
    3 ^5 U( {) f! f3 A& m弱关联关系代数0 H4 }" x, |& z  U$ k
    弱表示关系代数
    回复

    使用道具 举报

    孤寂冷逍遥 实名认证    中国数模人才认证   

    74

    主题

    6

    听众

    3303

    积分

    升级  43.43%

  • TA的每日心情
    无聊
    2015-9-4 00:52

    • 签到天数: 374 天

    [LV.9]以坛为家II

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

    群组: 数学建摸协会

    群组: Matlab讨论组

    群组: 小草的客厅

    群组: 数学建模

    群组: LINGO
    3#
    发表于 2012-1-12 17:03 |只看该作者 |招呼Ta 关注Ta |邮箱已经成功绑定
    回复

    使用道具 举报

    qazwer168        

    0

    主题

    4

    听众

    53

    积分

    升级  50.53%

    该用户从未签到
    4#
    发表于 2012-2-6 09:42 |只看该作者 |招呼Ta 关注Ta
    佩服你，能发这么好的帖子，厉害
    回复

    使用道具 举报

    ZONDA        

    0

    主题

    4

    听众

    3

    积分

    升级  60%

    该用户从未签到
    5#
    发表于 2012-2-14 14:02 |只看该作者 |招呼Ta 关注Ta
    谢谢楼主啦
    回复

    使用道具 举报

    返回列表 发新帖
    高级模式
    B Color Image Link Quote Code Smilies
    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩

    • 电话咨询

    • 04714969085

    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-8-15 18:52 , Processed in 0.360762 second(s), 78 queries .

    回顶部