QQ登录

只需要一步,快速开始

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

    ' X5 v5 v9 \& J. d( d% y$ F1 d: g: d% b+ n/ p
    Abelian groups     Abelian group
    % H8 \  O$ x: ~5 YAbelian lattice-ordered groups' f7 T( ~  d6 {. d/ h) A4 J/ z
    Abelian ordered groups
    $ q; D4 x" _* U1 Y) F3 PAbelian p-groups5 R1 I0 q  v5 M/ z# {
    Abelian partially ordered groups
    5 U$ M$ {# c+ r# y) Y# GAction algebras     Action algebra
    $ ^1 _, q0 G0 r' c: B% eAction lattices) [/ P* V! R: k* ]1 V  d
    Algebraic lattices2 O  {# {1 B5 r1 b6 K9 i
    Algebraic posets     Algebraic poset
    ) Z; }# c4 g1 X2 ]5 U$ HAlgebraic semilattices" R7 w7 m/ e4 c. [5 N8 m7 @' \
    Allegories     Allegory (category theory), O) j1 Z* A* S9 F! I
    Almost distributive lattices" N, x  W3 D9 g% n' E1 ]
    Associative algebras     Associative algebra
    ! Q. N6 J" H2 ?: fBanach spaces     Banach space1 N8 n5 ?7 _7 \; [# J. H
    Bands     Band (mathematics), Finite bands
      K9 c; P/ u4 }0 ]5 gBasic logic algebras
    " _4 W7 R3 K& b+ u, X* `0 dBCI-algebras     BCI algebra) x2 r4 N4 K8 U) V
    BCK-algebras     BCK algebra" G5 k8 J; J' y8 u  D- I' ]( t/ f/ {
    BCK-join-semilattices8 J9 z) [! G# R8 C- V
    BCK-lattices# E) l% \+ a4 U2 F; ]% _" i0 {
    BCK-meet-semilattices* p3 X: U$ W; G" d, z. }$ X
    Bilinear algebras
    + i) D( b, d5 Q' ?BL-algebras. s$ B# _& F: i  b' A; _9 f. a
    Binars, Finite binars, with identity, with zero, with identity and zero, 4 Z1 j% q% _. z' I
    Boolean algebras     Boolean algebra (structure)
    ( j* Y+ C) S& H) b+ s; x/ g3 O4 J1 RBoolean algebras with operators
      o- ?2 A: b0 C6 z' a, \6 z' ]: wBoolean groups# Q; h% E+ ^. R9 R+ T
    Boolean lattices
    & N3 a! j! k9 y8 @0 J1 pBoolean modules over a relation algebra
    3 }. E7 g1 O5 Q4 n9 V# aBoolean monoids% L0 v/ o. n0 @- e
    Boolean rings; J; [1 F  W" n4 o6 X3 [
    Boolean semigroups3 R  t( g3 Z/ z4 e! ?
    Boolean semilattices
    6 q( K5 @0 d; GBoolean spaces
    ' L# v6 F  R3 i" kBounded distributive lattices
    8 w6 M1 s' ~6 @+ [6 m2 ]0 oBounded lattices
    5 q2 v9 }* ^3 U3 K" z! d- Z( sBounded residuated lattices
    3 J- Z1 w0 p6 a) t; o$ t8 d6 ZBrouwerian algebras
    $ g& T1 s; J, ~: dBrouwerian semilattices( q* b+ B& I& v8 o) N. w
    C*-algebras) D  r  y/ Y' n3 Y5 u
    Cancellative commutative monoids! q% o& P5 @) Q; K! h" L
    Cancellative commutative semigroups
    ' T$ g2 a- ~3 G& ?4 ^& pCancellative monoids
    ; S( n7 V- P  Q0 bCancellative semigroups' _/ y/ b! b- L, X* \4 Z9 c. I+ o
    Cancellative residuated lattices
    $ U- G. A5 X* F6 zCategories
    8 S3 Z' w1 L& z; W/ [3 F( p0 S9 mChains
    3 l- _$ Y- F+ E8 oClifford semigroups; r6 Q- Z/ t4 }
    Clifford algebras* p) c' i  G9 a) k  b4 k
    Closure algebras) ]8 j) u2 t- E: E+ w0 u1 I3 D& l
    Commutative BCK-algebras
    ) k) I2 G8 H9 n$ a! e& lCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero & Z9 m& R! u! t* Y
    commutative integral ordered monoids, finite commutative integral ordered monoids
    " o* A2 w) Q! w0 v$ MCommutative inverse semigroups! ^$ N+ P/ V: D
    Commutative lattice-ordered monoids0 X8 f- i# @& f0 D
    Commutative lattice-ordered rings
    4 b1 k4 w8 ?5 Y9 V! hCommutative lattice-ordered semigroups& M& k7 ^4 j$ d
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
    " f& ?" a; A! }6 |5 {- XCommutative ordered monoids
    , f4 E9 i  }# }3 {( ~Commutative ordered rings
    & P. N) U4 r* Y" N$ S+ n5 v' d; BCommutative ordered semigroups, Finite commutative ordered semigroups
    3 h* r' c5 }5 Y) ~Commutative partially ordered monoids
    5 H: v4 ]$ A  |3 C% n; O0 ^% ]. GCommutative partially ordered semigroups
    # M3 R/ ]. z& ^( q; N0 qCommutative regular rings2 H3 ^- r+ F2 l# g3 }) J
    Commutative residuated lattice-ordered semigroups
    , l2 J" l5 A4 x' r: J5 P' xCommutative residuated lattices
    - q0 B, N$ H. L1 [8 j) f6 _$ S2 MCommutative residuated partially ordered monoids
      y3 `3 Y' [9 ^- E- L; P$ a) ^) dCommutative residuated partially ordered semigroups. D( v- n( B7 x# G* _
    Commutative rings
    - _2 W0 [! h$ Q6 g3 I' ICommutative rings with identity
    0 y5 Y* @( W  a$ d: U4 _1 qCommutative semigroups, Finite commutative semigroups, with zero" m: I6 m* n$ Q
    Compact topological spaces
    ) p( k, R, R# t( y* c- M% r- o! ECompact zero-dimensional Hausdorff spaces
    + H2 M+ h7 j8 E8 U8 u5 uComplemented lattices
    & D/ O* |4 f" ]4 _+ K& A. V- l, R# C4 sComplemented distributive lattices. o9 T6 f- m# c4 y3 a. _7 n" Z
    Complemented modular lattices
    + n, Q1 C% n+ pComplete distributive lattices
    4 w2 {6 T9 B. q0 V* o# fComplete lattices
    * n! `; o- b# L( g2 CComplete semilattices5 t: w0 u0 ]* x! f4 M& x: G
    Complete partial orders! [0 f* |: v4 }; V2 `; R
    Completely regular Hausdorff spaces
    ( E( }; q! f/ g3 a: X9 i9 u0 q" qCompletely regular semigroups) t$ W$ N& {  r5 p
    Continuous lattices/ R' j* E, \5 f+ M4 G7 G
    Continuous posets
    9 C' X2 i& N" D' r2 g5 RCylindric algebras
    $ j. c7 B1 d- X- bDe Morgan algebras
    2 q, [% j) b  W% d; R9 LDe Morgan monoids( z" ]: V. w7 R' _$ _' C
    Dedekind categories
    ; T9 V) R. K! w* _; t2 b. [1 F& f4 k1 eDedekind domains9 M9 u6 b* r( C5 ~
    Dense linear orders
    ' x! J1 p0 Y3 WDigraph algebras! N$ X( {0 C3 E  J. M
    Directed complete partial orders
    3 I3 g3 Y/ s/ j. c: hDirected partial orders$ L. M% H6 J1 Z' j; Q
    Directed graphs) f$ I! }. ]' f, ~
    Directoids
    0 \/ v( K) a% v1 w* O$ oDistributive allegories
    $ G+ T) }: n5 P( LDistributive double p-algebras
    1 g( v- e. {+ O8 S. M0 G, ]Distributive dual p-algebras! L/ m/ s# H+ e" ~
    Distributive lattice expansions
    . u, Q7 @  f  o/ l8 u; B" r  ^, \$ yDistributive lattices
    ) x2 ?" S3 u5 aDistributive lattices with operators& `. h2 h5 n; w2 P  [
    Distributive lattice ordered semigroups' ~$ _$ b, z( S6 @
    Distributive p-algebras
    9 k. E) G3 k/ TDistributive residuated lattices
    5 `4 y9 o; f' ODivision algebras0 }* w' ?8 A6 K9 {; D
    Division rings7 g8 }! L2 `- F$ U  e
    Double Stone algebras6 q% J' R& _5 c7 V
    Dunn monoids+ [5 f/ f/ v/ A8 k
    Dynamic algebras
    3 r/ `' F: }% P$ o8 r! @: m: PEntropic groupoids% ^: G+ K3 M$ ]* N2 g5 r+ R
    Equivalence algebras
    * ?% q; V  p  U4 b" A  Z8 UEquivalence relations- y! m( u4 s6 J% Z  a; D5 o
    Euclidean domains9 d/ U* v- n, U4 n
    f-rings! \& @& C, i( R: }4 L
    Fields: x$ `7 N0 g, |/ w6 ]
    FL-algebras. Q2 y& X7 Q7 B3 s. A5 n8 u% _4 Q9 }
    FLc-algebras" r3 K' y! G5 H+ x/ J5 H
    FLe-algebras
    ( C$ B- w: A; U" gFLew-algebras
    : J9 w  d$ G! y# JFLw-algebras/ }' ~; U; d& o+ R" [7 @
    Frames+ |1 l' K  k- r2 E. C1 J
    Function rings  v! k+ S; ]7 P% J. o
    G-sets
    , ?) P" B" T: j0 j9 L- [Generalized BL-algebras
    7 k5 R3 K  `: R( FGeneralized Boolean algebras6 l$ S, }2 s# D6 o
    Generalized MV-algebras
    3 C. ?6 Y* q- @Goedel algebras
    2 q) k" }5 x2 f7 M  j9 mGraphs
    ) C3 c2 j6 b4 P$ S0 o1 q0 W$ lGroupoids+ r( n0 U$ e  B9 a" f% O9 p
    Groups6 s1 [. _' {3 l# d/ X$ _! a( z
    Hausdorff spaces/ H6 Y1 C9 P6 G5 p" Q
    Heyting algebras
    9 N! n! C4 B. y1 cHilbert algebras' E" T7 r( y" T9 u9 [
    Hilbert spaces
    2 @9 M$ z" J( X9 rHoops9 n, D& {4 E7 ~  q
    Idempotent semirings
    ; i3 ?5 J' x6 O0 DIdempotent semirings with identity1 H. ~: a; R3 C! [
    Idempotent semirings with identity and zero
    , [6 V+ |6 M2 ]% Z: ^Idempotent semirings with zero4 P; G& q: C; t1 U* Z/ ?& J" c
    Implication algebras
    - S9 A. M& L: ^Implicative lattices
    7 H. l/ W% {% }Integral domains4 Z. e- ^) @7 l+ K' d' U. U
    Integral ordered monoids, finite integral ordered monoids
    9 N: W$ R: u, r# v9 s: A0 {6 p4 Q# fIntegral relation algebras
    / I4 H# ]+ z  M0 p$ j( [$ lIntegral residuated lattices# J' }6 h2 j1 T
    Intuitionistic linear logic algebras" d$ K. ^/ S  e8 M1 v7 ~( d& O& v4 u; Q+ e
    Inverse semigroups$ y; ?* Y  t* V0 T! r% P$ L
    Involutive lattices: X8 s* ~2 J) u
    Involutive residuated lattices
    2 b' z5 Y! g& V- O8 V9 WJoin-semidistributive lattices+ X0 c8 L3 Y1 @
    Join-semilattices
    % M* |0 T( [4 ^/ l6 B+ f& rJordan algebras7 F* z# ~6 [% L" {- V) d- p
    Kleene algebras1 n9 G; \' o2 C; A1 ^) ~4 T
    Kleene lattices
    : Q! _- x+ i; `, T% Z. jLambek algebras+ M+ I  k4 H$ Q# F+ u
    Lattice-ordered groups
    " O! c/ g/ O% f1 cLattice-ordered monoids9 a2 e8 e# H1 o; ^7 I( A
    Lattice-ordered rings
    . f& _6 ^; o) I+ g7 L6 J6 V' ?Lattice-ordered semigroups" F, L% J. o" j' |5 S. E% B
    Lattices+ V/ r3 h6 z6 p0 v# n
    Left cancellative semigroups
    + j( Z: I/ T0 V. T$ ]5 z9 YLie algebras
    8 X, J6 S1 t  I- H4 }  ?1 lLinear Heyting algebras) L! i. p+ T2 R1 l
    Linear logic algebras
    9 O% N- y% K8 u3 L# iLinear orders: E9 m, i; G- W6 p5 ?
    Locales
    * q! k, O( P( q! d: iLocally compact topological spaces
    1 L. Z& p+ C. q1 l9 r3 T0 YLoops
      ?' A: g( |0 J% PLukasiewicz algebras of order n) ^+ r" p1 `1 D6 T: E4 L8 }2 r
    M-sets
    7 d& W* d, S$ C2 U# {( K1 a$ sMedial groupoids
    ) [1 Z' Z( w* B+ ^. F# YMedial quasigroups; \/ Z. E( F$ m5 A! m
    Meet-semidistributive lattices
    : {. ]) L( b( i( g$ FMeet-semilattices$ n) C, |  r6 g& \: C
    Metric spaces- N6 a6 [$ J6 J' N  d+ z
    Modal algebras8 B! U, y/ }9 j1 p# U; V
    Modular lattices
    $ x/ h3 W) G- F+ l& VModular ortholattices
    3 p& N& F8 @8 KModules over a ring
    7 D! h6 x2 h8 CMonadic algebras8 k6 v+ D; h4 h& e; `; J
    Monoidal t-norm logic algebras
    7 x* \7 A1 z8 ]: c' q$ FMonoids, Finite monoids, with zero+ ^5 I( [  [3 h8 B: g' n& h
    Moufang loops2 s" Q8 x2 m1 H4 c4 `. ]( V
    Moufang quasigroups/ C2 Y/ B5 o" S+ J, E
    Multiplicative additive linear logic algebras
    , ], Z- {! }; C/ M$ E1 fMultiplicative lattices
    0 q" ?* V: x& l/ j& cMultiplicative semilattices3 ^6 _: Q- ^) S9 o
    Multisets8 u( O9 H2 k# ~4 A! G
    MV-algebras4 f5 b1 C1 Z6 m- M" Z! f& S* |
    Neardistributive lattices1 P7 ]2 @7 c1 f( A9 x- I
    Near-rings6 P6 e0 v$ m: Q7 K+ y7 Y2 i% x
    Near-rings with identity/ n% B8 r) m2 Y9 h! v3 @
    Near-fields
    & b0 H. F6 E5 W  KNilpotent groups9 {0 q" d8 [7 E
    Nonassociative relation algebras
    ' ~/ q- s% h7 l+ Z1 a& ANonassociative algebras
    0 q) P+ A0 A9 n1 s: S2 H0 d$ UNormal bands9 s" S4 x4 O" Q5 H0 t# K
    Normal valued lattice-ordered groups
    ( [' {1 M. j$ L" g! dNormed vector spaces+ c! j* E5 F! q6 T: s/ A
    Ockham algebras$ U  s  Z% U9 C) N: @& o
    Order algebras
    * ?/ D: g7 V4 f* h- i* S  y0 I3 iOrdered abelian groups& p6 i$ H% _$ p) [* a1 X# G$ w
    Ordered fields
    : K$ c8 ^0 k8 n6 EOrdered groups
    3 E. e7 Z. D* z2 @4 L! Z: }6 O4 Q  ROrdered monoids
    : K0 ?! a; N# ~' sOrdered monoids with zero+ H$ q0 f3 S( T
    Ordered rings
    % W! c3 K9 @$ [3 p3 YOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    ! \) t8 H2 g: I1 C8 H. x) qOrdered semilattices, Finite ordered semilattices* x7 ?# C$ c) l4 k# y
    Ordered sets  g4 p+ z  f! E$ Y- h
    Ore domains, b* _8 p& @, n4 Z) P* |
    Ortholattices* }) x, W0 y$ a3 _
    Orthomodular lattices
    " E- t) R8 n/ S: i6 N* _p-groups: n; v  u% C4 b) V" I* N) g3 S5 {
    Partial groupoids
    " A0 j/ z3 u6 [6 [Partial semigroups* I- D$ S8 o* u
    Partially ordered groups
    % u2 ?% i/ v  r/ W. u7 gPartially ordered monoids
    % \3 d9 [7 q1 H. o% i0 I6 w4 uPartially ordered semigroups
    6 k1 l* I) x1 k# YPartially ordered sets
    6 \; S% v' y  O( \, zPeirce algebras
    - u5 ]/ E' c9 K+ P& jPocrims
    + A+ X$ |3 O% D8 S. [6 |# ^3 {Pointed residuated lattices
    8 E; F+ v/ K$ J' a- SPolrims
    + r9 J  k! j( W: }! B' ePolyadic algebras
    . O9 A+ E7 S# v7 T; e" z8 }Posets
    ' d1 V% q1 ^: \3 w! E" PPost algebras
    - j! c' Q3 B5 Z; ^9 W$ }Preordered sets
    7 c1 b/ ~3 g3 e& WPriestley spaces
    : n# q+ s! c% G& F! Y* oPrincipal Ideal Domains
    & i) G. N# _; LProcess algebras; a  `  M; _  T
    Pseudo basic logic algebras1 _  K9 P6 D& R/ G
    Pseudo MTL-algebras  H4 u; _) D1 f1 O  @; ?
    Pseudo MV-algebras
      o* B4 h5 Y4 P6 k) @6 sPseudocomplemented distributive lattices
    7 Y# H! R3 r3 P# W3 f9 z* vPure discriminator algebras
    8 D2 q* v* N8 b: gQuantales+ T9 {& ^; s% V  }$ A+ W
    Quasigroups
    # Y! P  ?- @4 uQuasi-implication algebras
    * O# T  ^: ]' R6 SQuasi-MV-algebra* k) }7 j5 U# s# X: j, R' N
    Quasi-ordered sets3 t" L, T) G( k: G0 E4 M
    Quasitrivial groupoids
    3 }8 O1 w* p4 uRectangular bands9 d0 ?( ]- i# q6 g% k% A  k
    Reflexive relations+ D. V% M) c: Q& `9 g
    Regular rings
    5 m0 E. Y, |5 S8 QRegular semigroups
    + f. R3 M+ g( B9 x, R- U0 ~% SRelation algebras
    : O. ~- @$ p/ P; ~" A% ]2 w9 IRelative Stone algebras! A  v$ G0 i9 C9 H4 R' B' _+ d: c7 C
    Relativized relation algebras
    2 R  \8 e! w* P% E) }' O$ W& PRepresentable cylindric algebras
    1 ^( K2 y1 j2 f& l  u: N) ZRepresentable lattice-ordered groups
    / N* {( e- [9 r0 P5 w; mRepresentable relation algebras# i3 n! i) W4 `( I
    Representable residuated lattices
    . }( r9 y) e, R" A* OResiduated idempotent semirings
    * ]/ J9 N: o* {5 L' H) B; GResiduated lattice-ordered semigroups
      p) I4 S: k3 t& l7 OResiduated lattices3 r+ K3 q$ _/ A7 ^: n- I, i
    Residuated partially ordered monoids1 I. }( d/ j! P. W
    Residuated partially ordered semigroups
    4 R; u8 q" j8 p( WRings! x  a( z  g8 [1 i0 a2 i  s
    Rings with identity
    - ?1 @" s4 B" q# @' C, R" JSchroeder categories
    9 r6 J' _: V5 j% J1 s- MSemiassociative relation algebras5 N: D& O! b; {! Y; c4 d6 ~
    Semidistributive lattices
    : F  D, S4 y0 y0 v/ h9 QSemigroups, Finite semigroups& G5 s/ o# N$ [
    Semigroups with identity& V. F( O- t8 z) d& G
    Semigroups with zero, Finite semigroups with zero! ]5 d* A0 d  M( ^& E
    Semilattices, Finite semilattices  J  |  M8 W9 e3 D0 g. P
    Semilattices with identity, Finite semilattices with identity
    : i* o& ?: u: p! W6 fSemilattices with zero
    $ H$ A. V% c: f& ]: @- x" o- A- WSemirings
    7 T* I4 \3 _7 A: BSemirings with identity# H; C1 o! t5 K
    Semirings with identity and zero
    ( @% h& Z- x: N' e# N9 k6 ESemirings with zero
    . s- v: X9 e0 B$ R* qSequential algebras' @- ]) g# {( D4 H9 ~4 G$ L; z% q; B
    Sets2 l0 Z2 u/ r" ?- U
    Shells: \8 q9 Y+ f) `! w$ T- x  m
    Skew-fields
    2 B( j5 G! V' J' OSkew_lattices+ D, K( p" n0 o  ^7 n
    Small categories
    ' B1 Z; O+ {8 U5 tSober T0-spaces2 E% ]' ?7 R$ A: F, }
    Solvable groups
    & w0 g, T+ x6 s- |$ _; K6 G, iSqrt-quasi-MV-algebras
    + N. P* ?! Y! u. Z) p2 pStably compact spaces8 V! M; E% t# e4 P: X
    Steiner quasigroups& |6 B. G+ k3 T5 R( U! Y! Z
    Stone algebras
      E* k- b% f8 U4 G7 ~6 sSymmetric relations# E, j% q: U% q/ b: G- ^( V
    T0-spaces
    1 m3 ~" P; L9 @, _, O9 u5 ET1-spaces
    / f2 U6 \& n: R7 ?T2-spaces3 P* O8 F% n6 M8 D* l
    Tarski algebras2 I% J+ _& x/ Q  K9 C' g, N
    Tense algebras* n5 [1 }& j( v. B8 ^8 L/ G0 B% |
    Temporal algebras
    1 ?% q0 W: b+ |& w/ S" y2 lTopological groups+ v0 I0 s0 q5 D9 l3 C! ~
    Topological spaces
    % {( k2 _' B- z/ u6 T% J0 k; CTopological vector spaces, g& [4 Z" q, f( c( E6 N. [
    Torsion groups
    2 C4 ^' H2 w* w7 L& h* T, KTotally ordered abelian groups
    1 L( Q& D$ w7 x' @, r! H% ~) ETotally ordered groups
    & L- `! O# {  n# k; \Totally ordered monoids# [5 ~4 ^+ t/ s  G* y$ R
    Transitive relations
    ) ]1 X4 Z6 D9 ?  jTrees5 @: Q3 ?, h$ t. H6 `0 J
    Tournaments
    - _: k2 `4 A: O8 J0 m: _& _' P+ DUnary algebras, X3 N' L) k+ \5 g8 H
    Unique factorization domains) _* e1 T3 O7 _' v! }2 |5 g4 }
    Unital rings2 Q" R+ `, R. m( d$ F1 G  N' u
    Vector spaces1 Y& K4 ^% d5 x  O8 w
    Wajsberg algebras
    9 y) t! i  n) w  b, }4 bWajsberg hoops0 E" k9 j6 J: w1 C
    Weakly associative lattices0 n; i3 t- V. L6 ?
    Weakly associative relation algebras
    ( k8 ~5 T+ Q3 e# r9 o3 L7 Q9 LWeakly representable relation algebras
    2 M4 y6 O2 c$ R& e4 e
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    1 g2 C7 x! |4 t0 s( x4 [阿贝尔格序群
    ' b) I7 u! M. a  b4 t阿贝尔下令组
    & I& A/ r( S" R3 N* Z+ r阿贝尔p -群, z2 i' |) k4 [) h, M+ ]' [8 ?
    阿贝尔部分下令组& X- A; B# x( Q
    行动代数行动代数
    ' N$ X& Q8 L& q1 ]: j( j行动晶格
    3 ]9 f* c3 }- v1 {代数晶格
    4 T" M% ?8 g( U' D' U代数偏序代数偏序集1 J* K5 i. r* E0 m0 ^  x/ Y+ G
    代数半格- X4 p/ x1 v- x
    寓言的寓言(范畴论)
    : i9 e, s5 m# C3 ?1 ~, K几乎分配格
    ! y; D  a3 _% K1 B6 e关联代数关联代数
    : N% T! ^! t& G: RBanach空间的Banach空间& w* t9 Q8 ]! ~* w( @: J$ j  k
    乐队乐队(数学),有限频带
    % z0 \6 k; t; _' W基本逻辑代数5 A5 v4 x- F2 v, {* l" R: p
    BCI -代数的BCI代数& \, W% ]3 w$ `' a
    BCK -代数BCK代数& W% h5 b5 Y+ k8 w8 H
    BCK联接,半格0 m7 E, M5 I( q/ k" W
    BCK晶格% z# A) t0 ]7 S* K) \2 H& x( E
    BCK -满足的半格
    & V6 [& }3 y/ C0 O; x" I  |$ u) Y) ]双线性代数
    0 Q' C! f5 p3 g" f% r/ r. @% {BL -代数
    0 R( ^! [8 v* x( p! K; jBinars,有限的binars,与身份,身份和零与零,
      F! z+ {# h* t. g9 k布尔代数布尔代数(结构)3 b: J4 J. a, [, S# L' T
    与运营商布尔代数, x- ^; ^. I* _4 ]
    布尔组* p/ v4 f$ q# q9 S2 j
    布尔晶格2 `; r- d% p$ y; j7 \( _
    对关系代数的布尔模块5 o2 y2 ?& z! T2 C8 O6 L4 K
    布尔半群# G9 O' ~! v+ D, A( d8 Z8 S
    布尔环; Q8 _2 w! k- V( o
    布尔半群
    6 L" C1 K0 z; [, N( r2 C6 P8 K布尔半格
    $ Y) a# E2 x$ H; Z布尔空间
    ' n0 v' p8 o- W# y7 d  C有界分配格' d; r* k7 a4 t% l) ~
    界晶格
      f9 O# m  e2 B  p: N" f! G+ F% Y) e界剩余格* Z4 }% R, J: _* W" Q: D
    Brouwerian代数; a( j! {& W* o6 X  Q" q
    Brouwerian半格" c- G7 G9 U4 S4 a
    C *-代数: f; D0 s5 e' q& K
    消可交换半群
    0 h' o& {$ `- d& K5 S: [9 y6 U$ r消可交换半群% b+ b5 {+ Q( \1 U* [
    可消半群
    2 Y( L4 V+ o: H+ m* G( J可消半群
    2 X0 \6 f8 Z% [8 Z3 z/ X消residuated格
    " }0 K; \; U: R7 P" h分类
    5 N4 a; U1 k1 [) }链
    % C  H" f# O* v$ W+ C% S0 y克利福德半群
    & d( _* J: V/ B  v5 F' LClifford代数4 M) Q6 H! {/ S" a/ k
    封闭代数
    * f; Z1 }% L% V) V2 X可交换BCK -代数
    4 d( }3 l" f: {* @! y# w! z交换binars,有限的可交换binars,与身份,零,身份和零' g! c) ^, d( n$ k
    可交换的组成下令半群,有限可交换积分下令半群
    1 i. y( Y( I% ~  q: t( y* I3 x$ Q交换逆半群  M" |$ z$ j, `
    交换点阵有序的半群; H$ {  U6 v2 C3 U: D
    交换格序环
    9 z; y. X- [  y, s8 e1 H& D& |交换格序半群% a# d3 n, ]/ K7 d: ^
    交换半群,有限可交换半群,零的有限可交换半群
    ; }2 w( s) _/ X- r交换下令半群9 ~9 L* n2 J# J. l. L; q
    交换下令戒指
    ) z# K/ G, e; |& L+ _7 i5 `有限交换交换序半群,序半群5 [8 p/ N- u' T# B- |" Q( n
    可交换部分有序的半群5 w7 ~9 S2 [- r% J# o; H
    可交换部分序半群
    8 h$ p, B+ Y) |5 r5 I交换正则环3 s) P! t% n( H; S6 Q
    交换剩余格序半群
    / _. r3 M: J5 J# y, q3 M* |: `! l: u交换residuated格; `) w7 o1 q7 K
    可交换residuated偏序半群
    : N. O) ?5 G6 v! l/ y& ]可交换residuated偏序半群3 D9 u5 p9 C* h2 w( }+ Q( P; V. |; s
    交换环# z5 ?9 y( i/ {
    与身份的交换环& T% i/ k6 I* e0 V* P
    交换半群,有限可交换半群,零6 s  W+ x3 l9 B8 Z
    紧凑型拓扑空间
    : _5 ^" z2 x# N6 D紧凑的零维的Hausdorff空间
    ' Q" U; d$ t8 _. n" N补充晶格' G+ @5 U% i5 a& `. i' |3 ^9 s7 G
    有补分配格% o, v* h$ F! w" A0 X' L( q
    补充模块化晶格& ]  O! w& X+ }9 G' Y# Z
    完整的分配格
    4 Z* R5 P# x' W: w完备格
    * |: [9 U" h0 G1 ?2 E完整的半格: K' }% }8 `# X5 z% L! \2 x/ `0 M
    完成部分订单% P) N5 N( j/ b" a; h
    完全正则豪斯多夫空间$ Z  O. T9 Z; C! ^
    完全正则半群
    1 s9 x4 a3 X  p/ v9 U1 t连续格
    # J/ u0 v4 f: c0 j2 X8 U1 }8 Q连续偏序集
    ( I0 g8 X/ g; C& ]4 s# `柱形代数. s  w+ A4 n$ \, E3 v) n
    德摩根代数; m' ^  y. a# Q
    德摩半群
    5 S: Y) K4 |4 D1 K$ I7 V2 g戴德金类别$ `# S; ?' z+ P- h7 L
    戴德金域
    + N2 N0 Z& a  I5 ]8 B稠密线性订单
    % Y; `. O; {+ E* X! f& r有向图代数0 J% R, Z6 N3 @% |4 B. z8 K& }
    导演完成的部分订单& u6 i! k+ T- V4 ?: H2 x# m+ ?
    导演部分订单
    0 J3 U" c0 ?( ~$ `9 _1 S- E0 z7 u有向图
    $ o* c) u5 J$ J) K: b" I* d) kDirectoids/ M+ t; w/ ?) C! S( I- W
    分配寓言/ Q, k0 F* s, {, h9 q+ c
    分配的双p -代数
    4 o7 w6 B/ V8 j( j, o分配的双P -代数* }) y$ O- C0 q2 `  S$ _8 z
    分配格扩展8 j; A/ B/ P2 L& C8 I
    分配格0 _* t+ q9 k5 l) D  @4 _7 x) I  i
    与运营商分配格3 @7 w# m( V+ E+ q' {
    分配格序半群
    % \# y  X4 g" F4 T: X- R8 R分配p -代数
      d/ P2 k1 z9 h1 z# n分配residuated格
    5 ?! w# V, E, H& |# E% H司代数
    " p/ m8 A0 A! t4 Y3 M科环
    8 s0 j; c: W; H* S0 Z双Stone代数3 M. P$ L3 a0 D7 H- P
    邓恩半群
    ; ]; a* a! b: e3 o: ~2 c动态代数
    + J( Q4 _9 }- @( J# y9 P# c熵groupoids
      N( C" E" e7 Y+ \" D. A4 u等价代数6 N; t4 x( }4 m
    等价关系# U  M) \4 Z* n% O
    欧几里德域
    & L6 i- i7 w/ Y) zF -环9 z$ r2 ?# y6 J' _% ?* m3 K  }7 t
    字段8 r% A9 k* e) ]) \' V5 t+ u: F
    FL -代数
    5 R/ p8 r+ A8 v6 ?1 }3 b2 gFLC -代数! w: i# m9 R. m5 M; X* z7 j
    FLE -代数8 O% F! ?0 v" A( v% s
    飞到-代数
    ( @" @5 f# Y( T: G# n2 J/ KFLW -代数
    , y) ^) A9 n. m0 B框架
    8 M4 a# _: b* `' f% ~) a* m功能戒指- |  q4 E( m7 {0 |
    G - 组/ w+ j$ N+ \$ `4 I/ y" T+ j
    广义BL -代数8 N5 r5 e, d/ t# ^# Y$ B" |. s5 I
    广义布尔代数
    4 k& l) P0 a1 Y/ h( _' v3 T: J  Z$ c: }) d广义的MV -代数
    1 h) s  t5 b+ W, t! j) Z; NGoedel代数
    4 w/ V6 K5 X/ ?图1 z/ \1 A/ j2 B6 q5 ]# O, p
    Groupoids: T! Q7 d* @7 L" D/ R
    组% W8 }1 c5 Y$ T! M0 c/ i/ l+ c- N2 z7 f
    豪斯多夫空间! \1 k1 _% j! A$ Z1 @
    Heyting代数: P& R; v- ^; S+ [
    希尔伯特代数  {; j( z. G! a- Y
    Hilbert空间
    8 l. B5 s2 ?6 |篮球" h' V+ q2 p0 Q7 p+ u. }
    幂等半环
    & Q; }3 \' r* v' r2 @幂等半环与身份# w/ L; B- E, \# y
    幂等半环的身份和零1 x) V- D" Z' _
    幂等半环与零/ B& b$ x$ p/ o4 y  Z/ A
    蕴涵代数
    ) }0 O3 f9 n( ], ]2 }含蓄的格子5 \; s3 g! n% K
    积分域$ r- l/ W) [; R* {; I
    积分下令半群,有限积分下令半群  M: v# m7 R3 |: b2 U  O2 b$ z+ @! y3 L" Z
    积分关系代数
    ' W& @9 _4 q4 M$ i! W! f集成剩余格
    : |7 u; H' Q$ s8 |$ s) ~. u直觉线性逻辑代数2 z2 {4 H9 v, W9 u
    逆半群
    . k4 w- _4 K# |3 L0 T3 a合的格子
    9 t: H4 |( U- l8 C* O5 T合的residuated格" E1 y; n5 R$ F, b. i, z! o
    加盟semidistributive格" p2 d* A% M! q+ z9 p; T! R$ Z
    加盟半格
    & S! R) Q; c6 C8 h3 E约旦代数/ u+ m7 e5 [3 h0 `7 ^1 U
    克莱尼代数( g3 F8 }5 v3 y
    克莱尼晶格
    1 R$ B9 t' a/ y+ Q% x  I: `+ pLambek代数
    # S8 J- P$ w9 z) a# Q格序群0 B4 P; r. l- G7 \$ p* l& v
    格子下令半群
    . b6 Z3 X6 E. R7 l) E! H7 {0 V% r格序环9 \0 i6 D; p6 Z
    格序半群
    0 ~, F! _0 w0 `. Y& k栅
    5 _& {% Y4 C( m- ]- W左可消半群
    & h6 D% W4 Y& Q$ Q李代数
    " y: b9 u+ n4 u( W& x  v线性Heyting代数
    , T; ^' c( ]+ H% Y6 u( D线性逻辑代数
    ! y, ?$ ~0 u# P* m5 ^- e线性订单
    9 Q( g% E0 n6 G语言环境0 o1 j, O5 l+ _& u$ i% ?% N" {% g0 [4 G
    局部紧拓扑空间* {" e6 G2 s' P/ S4 r- {. w
    循环
    8 U9 P, g/ ]6 }9 A, I3 m2 Bn阶Lukasiewicz代数3 c' m6 M# M/ s: t. B$ K; s( p
    M -组& R& E8 n& v" d! g* t6 E" w2 M
    内侧groupoids
    ) z5 c$ m( N7 X" ^, S内侧quasigroups
    ; s- n) {7 E5 ]8 x$ Q4 R7 H会见semidistributive格8 q6 ~" p6 x, _. k1 |( L
    会见半格( q( p! R% D9 I# ]
    度量空间
    : p# g/ F  Y4 g" M" R模态代数
    ! e7 G) r8 c; f模块化晶格2 V) f. s9 B' a6 l/ f: `
    模块化ortholattices
    7 C% {# O$ U* n% q/ P- N) l& |环比一个模块
    7 b" {! C" q6 O$ O1 N4 s单子代数
    8 l8 |6 z+ @2 \' b! WMonoidal t -模的逻辑代数" O0 p, q) h1 H: \1 e$ y
    幺半群,有限半群,零
    & U! J8 }( A* C7 rMoufang循环5 O- j: ~* l/ w7 ^$ a* m
    Moufang quasigroups  k- O  }5 p5 S
    乘添加剂的线性逻辑代数+ y' U% u$ m  S. P; B5 w' I* ^. B
    乘晶格% E4 ~8 x7 a- p# P. J( \  s# f
    乘法半格
    ' n# t3 r/ L4 g5 q多重集! [8 @& l% D/ v; O- {6 `" Y3 d) t
    MV -代数
    ) C: p5 i: \& G: W" A1 oNeardistributive晶格
    8 K& I( B. {" r" a: g近环3 `0 M1 Q, ^6 a" r* q9 p$ ~5 i' B
    近环与身份1 r1 w5 z7 ^/ q7 Q5 N1 X
    近田
    # L2 c. i1 P/ ^- Q7 B" Y幂零群. _- t! R' C3 b- [" D% {
    非结合的关系代数
    . Z$ |: Y" r; n, b  G) B4 V/ F& H! U非结合代数
    # ?/ H# J+ k. W' P/ j1 a普通频段" r3 Y7 l- `) r+ x. Z# y
    正常价值格序群
    $ J! I; ~4 @* i& J8 }赋范向量空间, Q. o. n2 d8 `& I" H% C9 a, z
    奥康代数7 ^+ ]" s- G1 i4 D# |( Z
    订购代数
    : }% h4 R9 ]- d$ j有序阿贝尔群& ^" O4 a0 I& d
    有序领域& D- n- }: @! {
    序群& }8 L  W) e3 d
    有序半群/ h! j$ M- h! t% j
    与零有序的半群6 G! Z4 S4 \* z4 E/ P
    有序环5 a7 r/ `* P4 m& d: x/ r& h: p
    序半群,有限序半群,有限下令零半群4 w: C6 x. J$ @% G$ }
    有序半格,有限下令半格
    ! u4 ?1 M' }: D2 c7 C3 E有序集
    - m# ?. P& K0 G: M- e7 R  R矿石域
    & {$ r2 `# }* ~6 ^/ }Ortholattices! M: K* S9 U# b4 q+ U3 K
    正交模格# }% M2 k0 ?' g" D) e+ s& D
    p -群$ j0 D1 i- ~# k: ?( i! w
    部分groupoids
    ' i& R% j( ?8 E: S" U部分半群. _$ x5 a3 ?0 N3 t5 D* P# O" A4 D
    部分有序的群体, w$ ~7 \0 f, X+ x
    部分下令半群8 M& k9 g! m3 U1 R3 q
    部分序半群6 U4 t. t$ W7 R4 R% x$ }+ C
    部分有序集% u0 Z& S0 |1 f# P  S, B
    皮尔斯代数
    / Y! n: W2 L2 T, a" U  [Pocrims  h. J( ?8 ~! V( }) m% r
    指出residuated格  Z$ H3 t7 f/ O% P3 O
    Polrims! |# X! c. F' x6 V. f
    Polyadic代数6 M% [3 e' ^0 ^2 L2 u% S
    偏序集. |) ]) W) A% w& C& ~0 h
    邮政代数
    ! g0 o# a2 @" N. M5 l6 `. ^0 p' xPreordered套
    7 o$ E! l9 T, Q$ N, H% ~普里斯特利空间3 B/ ^+ n) L. p- R
    主理想域
    # D9 }% k% O, O7 y进程代数/ t0 K+ a5 w3 {+ L/ w! Y
    伪基本逻辑代数- b$ Q5 l) W$ \2 L
    伪MTL -代数
    ! k0 N4 H! y6 D! @伪MV -代数1 Y3 S" k- ]! @& d
    Pseudocomplemented分配格
    ; k+ G3 ]( K7 |9 [! m4 a6 X' c) X纯鉴别代数4 M+ q3 M& j& M4 W6 p! W! ?
    Quantales
    7 V) _6 l" ?8 o; L1 AQuasigroups1 U0 l" \7 p. I) L" i9 i  B
    准蕴涵代数
    . q$ L$ i% o) V4 E准MV -代数3 A8 j  W8 i" {6 o
    准有序集
    ; }9 x/ |/ N  t1 i% X* F  [Quasitrivial groupoids* H! Z9 o, }5 a1 e! q
    矩形条带
    ! E6 |8 s- @( T( e6 A自反关系- f  X1 {+ ?5 Z8 X! C
    正则环, B! K) g/ z. R. G0 c, r
    正则半群
    / u; h- J4 ]. k  l. C; T关系代数) b* d1 ?) @0 B- o! h8 u* o# V3 n
    相对Stone代数
    ) Y. M/ k3 k& V8 O# e* _( P" p相对化的关系代数
    ' z& D( d3 E) H4 r% J表示的圆柱代数
    ; j6 c. u/ B$ E3 E- C表示的格序群体! x. ^1 C$ o0 n2 l3 ?* ~5 Y( |, u0 a
    表示的关系代数' N5 h& {. X% P8 {# I7 ~# _- g
    表示的residuated格
    + Q7 j. U3 b7 A$ u& V; oResiduated幂等半环
    0 b1 ^6 @. R  ^* e. s1 Y剩余格序半群
    + p7 b5 L1 j3 k3 U. _剩余格
    # ~' @7 C: l; m. R7 d/ N( hResiduated部分有序的半群2 N# C( t2 u5 b6 W$ D" I
    Residuated部分序半群
    . D, P! G; f) Y5 E戒指6 v9 h8 R7 s* Y' R8 ^; V; f( D
    戒指与身份
    / U8 ]+ Q$ X, l- t: C4 E施罗德类别
    3 |/ e& Q: _9 _4 ]$ oSemiassociative关系代数
    9 ?3 s1 N' S! E( G( P( Z$ dSemidistributive晶格. y: ]; G3 c" K5 O7 V: t
    半群,有限半群
    6 A2 z9 a! {1 o3 Z, h  d$ s半群与身份
    ) H9 g% D1 w2 T( `' e4 C半群与零,有限半群与零
    5 M) n, S0 L3 n) \1 Q! i/ l5 c0 c半格,有限半格
    + ^; U+ {9 @8 c% l; S* s与身份,与身份的有限半格半格- \0 K" ?: }/ Y
    半格与零8 a; `. ~  t/ L9 s
    半环; ^6 F' T/ }) v9 j, Q
    半环与身份2 U$ n4 p. m' _" Q1 K- j/ o/ {  d
    半环与身份和零
    ( f8 `5 P3 K: s1 I' Z3 K半环与零, u* c" k( p/ P2 c, S
    连续代数
    5 t1 L5 `6 b( E  h! n集
    6 M0 L8 Z: k0 _壳
    . F' \; Z- |9 @8 }3 H* }! B歪斜领域
    ) v$ ~# \/ m- r# q2 _8 CSkew_lattices
    . _( ~2 O  s/ i* t小类: V& Y- M* S2 {' T% B
    清醒T0 -空间  j+ A. q9 r, @, d- P
    可解群
    ! g0 ?2 L, h* SSQRT准MV -代数' o  ~$ y5 [- X4 |
    稳定紧凑的空间( e( O5 p9 h% X9 j+ h0 H
    施泰纳quasigroups  O* \! [% C# n2 ]
    Stone代数
    : w4 `# u' X4 N$ Q, y5 p2 u对称关系3 y7 x5 s! {( C8 H* E& |! b0 s1 h
    T0 -空间8 v) Y) K9 K6 R5 ]
    T1 -空间
    * X* s8 V) c7 a! [. ~# pT2 -空间+ C2 v9 r, W1 v% m; I# l
    塔斯基代数7 g! r" C% a( V0 m
    紧张代数3 I. J" ]; v: L2 V
    时空代数
    ; E0 m5 q$ q; D5 b  p拓扑群4 t: [7 j$ L7 a! F
    拓扑空间
    " J' s! i' U- _8 b# ~6 K  J; G拓扑向量空间
    9 p) h+ }* v% @" Y( t/ z扭转组
    & `' Z2 v  N$ h7 e# ^全序的阿贝尔群
    . x/ r( T$ z. ^1 i# @3 }* B全序的群体% v* t2 T3 ?4 m/ @9 G( S
    完全下令半群4 a) y7 \, T0 n; R' z+ }: E
    Transitive的关系7 o1 V' Z5 @$ R5 P2 A8 u' b  l  @
    树- ?4 ]" P  I/ d
    锦标赛
    ; ?4 X/ E7 n% M, P* c; B' ~/ [一元代数
    6 ^& [6 i1 E$ C: x  ^0 M; M唯一分解域9 D6 {0 n" t: `- G/ T; @* A- w
    Unital环
    8 s/ f  G1 D# K+ c向量空间# U. G- L, z7 |+ ^$ [7 G: E$ g7 ]
    Wajsberg代数9 r9 e, J4 [7 m/ W$ D# z
    Wajsberg箍
    ) o" |" D  h6 k0 o' x" X5 Q* b% b弱关联格$ X7 g8 ^! x: q4 O
    弱关联关系代数
    # t! s/ B4 b8 N: U! D弱表示关系代数
    回复

    使用道具 举报

    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-9 03:26 , Processed in 0.430406 second(s), 77 queries .

    回顶部