QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3540|回复: 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
    ) T7 O8 B# p( P
    0 |* v+ F. Q  M* x7 j
    Abelian groups     Abelian group0 Q. `0 W4 D2 X1 G" G% V: s
    Abelian lattice-ordered groups
    / A- d+ b" [0 U! m; ~4 W! {Abelian ordered groups
    - M* S/ b% M& p% O) xAbelian p-groups
    / G2 E" D' I. ~9 ?. `. iAbelian partially ordered groups* A+ V+ Q2 Q9 X  _
    Action algebras     Action algebra
    , T# e+ R: c; X+ Z& a$ b* YAction lattices0 r; b" ~: \% K/ b2 V( k
    Algebraic lattices
    . ?4 g: B" {/ f, T: C2 hAlgebraic posets     Algebraic poset: `, d  u6 s- j, t
    Algebraic semilattices6 y6 o+ `! a9 G) ~$ z
    Allegories     Allegory (category theory)
    4 w' e/ m$ |5 H1 W- L3 RAlmost distributive lattices2 V; t% [0 Q% J+ h+ e) e, |
    Associative algebras     Associative algebra
    ! ~0 w) q4 x; y1 {' l, J1 fBanach spaces     Banach space, `6 k) ]7 _, X  V" o
    Bands     Band (mathematics), Finite bands
    0 r% C/ v2 ]9 a: {1 }& f) KBasic logic algebras2 N7 s, ?2 e3 X7 @
    BCI-algebras     BCI algebra/ K9 i9 i( v$ S  G% P4 w6 }. ^! l
    BCK-algebras     BCK algebra* L9 m' c8 o& Q- c
    BCK-join-semilattices/ d, G0 b% \* j" Y+ N" U
    BCK-lattices& ~, u  k' Y0 x( ~
    BCK-meet-semilattices
    4 ]1 U- L5 R9 A0 X! HBilinear algebras  |8 ?% v9 G) L5 B  T4 v3 L
    BL-algebras
      e( @. g. V" G3 [- f. O8 h- EBinars, Finite binars, with identity, with zero, with identity and zero, ( @5 @, r0 o1 a# ^
    Boolean algebras     Boolean algebra (structure)
      m% [) ^% t  V! }. X" gBoolean algebras with operators
    , `7 W& x6 V( a8 x7 T  bBoolean groups
    7 Y2 L0 H: F9 U) ZBoolean lattices
    5 G$ x- v/ {" z( @5 I# o1 ABoolean modules over a relation algebra
    , H1 u- O: ?- R# F8 J# v0 WBoolean monoids
    5 i! N$ I& i4 m% m1 a% p' hBoolean rings
    ! f) o& O% p0 L/ l/ W$ {Boolean semigroups
    + i" _/ f, k( g" Q1 dBoolean semilattices1 U& B/ G" X5 j% @5 x+ Y0 B( u  t
    Boolean spaces0 f1 C# z3 {! O/ L: U( I) Q6 ~
    Bounded distributive lattices. V5 ~, z, ?- D
    Bounded lattices' T0 \8 x1 j( y2 `2 r1 U
    Bounded residuated lattices$ B+ y+ o9 c2 h0 s6 t" _# _
    Brouwerian algebras
    , h& U+ @, T( QBrouwerian semilattices  |9 |3 ^+ Z8 w. H) J. v
    C*-algebras
    4 i* w' X1 Z; ]6 g8 c: n2 ACancellative commutative monoids) B! s& @: g( q; R
    Cancellative commutative semigroups
    9 M; y# @# q# s' bCancellative monoids
    4 J8 c# ?" m- t" u, ~Cancellative semigroups$ h/ s+ `( z7 h% w% k
    Cancellative residuated lattices
    + X9 U3 _: L6 jCategories
    " H4 O  z" ^- UChains
    . `$ W( _6 @; O: |6 Z+ b, SClifford semigroups
    9 W2 l8 T& |/ a! G* RClifford algebras
    ( n5 \! }' S5 l% kClosure algebras$ u1 d" N; O! o+ d
    Commutative BCK-algebras
    3 ~# L0 B3 C) K) y6 M$ A3 f, A4 ICommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
    4 ^) d' [) }: h, b) m" A- |7 Fcommutative integral ordered monoids, finite commutative integral ordered monoids7 n. k* m2 B, E3 f
    Commutative inverse semigroups, N  T+ T, f! P, h
    Commutative lattice-ordered monoids
    2 |2 Z5 _1 I* W3 nCommutative lattice-ordered rings& i! V2 V: u2 E* Y5 Q3 z
    Commutative lattice-ordered semigroups
    . |' h" p  Q" H$ ~) i( qCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero
    & m! H: }5 n5 [0 uCommutative ordered monoids* w8 u' ^) u7 n1 U" r
    Commutative ordered rings
    - g% t. _' r9 e# [/ c- ~# \) GCommutative ordered semigroups, Finite commutative ordered semigroups+ P6 O$ @4 m, z2 K
    Commutative partially ordered monoids6 W4 b3 l5 ]  q2 g2 j
    Commutative partially ordered semigroups
    $ H5 q8 d( r4 f; CCommutative regular rings- D3 x" E  U2 y. l) h
    Commutative residuated lattice-ordered semigroups9 S( p# b2 K3 z
    Commutative residuated lattices
    ! I- U* N+ l9 WCommutative residuated partially ordered monoids5 p' {% x2 P7 F# P  d: k& B
    Commutative residuated partially ordered semigroups
    1 B6 E; ?& r) v+ }- }+ H% f& OCommutative rings2 q& A7 M1 {9 U& K: M
    Commutative rings with identity
    5 b( ]1 ~( i6 T0 ?Commutative semigroups, Finite commutative semigroups, with zero/ i5 W% M# M4 _! `) W/ X) E* u: _
    Compact topological spaces9 O. b, }* H4 H9 x2 E4 `
    Compact zero-dimensional Hausdorff spaces
    * t9 X& H) R- d2 f# v. h' ^Complemented lattices% d2 j5 ]. s' C
    Complemented distributive lattices
    6 [/ y7 r1 Y% n2 v" EComplemented modular lattices; ?; f$ n0 v! u1 J( O* S0 d
    Complete distributive lattices5 U& c2 P, \& w; S4 [3 R/ T, ?
    Complete lattices. {& T4 Q! @7 c( _7 o
    Complete semilattices+ i) _, I) u; I& J3 a
    Complete partial orders
    0 M. N4 z1 V6 _0 E! O* yCompletely regular Hausdorff spaces
    % j# R; f! j2 V4 I# E. ?# `* }0 hCompletely regular semigroups" T/ A6 E# L5 R% f5 c0 v6 |
    Continuous lattices" ^  K2 c2 F4 _3 u, \
    Continuous posets# `4 X6 ~& i8 Z3 D6 N! o( R# S$ U
    Cylindric algebras
    ! h1 l$ @0 j) V3 F9 gDe Morgan algebras8 }* y9 {3 s! l  R) F! S7 e" {
    De Morgan monoids
    6 |9 Y5 t9 q! c! p& q. VDedekind categories2 p9 k3 v: J. W: u
    Dedekind domains
    * ~$ i1 c# p" l- o) ^Dense linear orders
    , t! D  W6 C0 D3 qDigraph algebras
    8 @/ m7 M+ y: LDirected complete partial orders
    ; N. g( C& g2 O5 q( r& T  ]* QDirected partial orders
    $ Z+ e- l/ C3 G' l' [Directed graphs, ^, c* i2 E# g$ A+ |, ]
    Directoids
    , k9 e0 @) j0 D3 C7 q/ e) vDistributive allegories
    " K9 f9 z! X# V+ F' yDistributive double p-algebras# N6 ?' b5 P2 d1 ?
    Distributive dual p-algebras! L0 ~3 x6 D; ~$ T! ^9 h
    Distributive lattice expansions
    ( d" U1 Z# @3 X! `) e. I: DDistributive lattices$ W% K2 f. _& Q* d- f' h9 p
    Distributive lattices with operators
    ; n  {: [: B/ E# uDistributive lattice ordered semigroups0 S2 k  n! e! C4 w2 \
    Distributive p-algebras: H8 E3 ^; m% R8 z
    Distributive residuated lattices6 g  [' d0 K  M1 A( N2 s
    Division algebras
    : a$ P/ J# i0 K, B' [Division rings& z# }0 p2 [" }
    Double Stone algebras( N7 D- ^8 j5 ?3 I& b" r2 N
    Dunn monoids
    - m+ L. P, K7 B8 q$ t- _2 wDynamic algebras( a  k7 U$ n% A6 ~4 ], @' s! ?* k
    Entropic groupoids( c% n% c4 l1 p( a8 y. J: S
    Equivalence algebras8 I! o) z* L2 Z/ C0 A
    Equivalence relations& k" _8 h0 l3 z' R' y
    Euclidean domains5 Q! h5 ?0 i& @% {4 F. m4 v
    f-rings$ V  i5 v2 ~/ n4 r$ _* J
    Fields
    ) E+ l3 ~6 S7 l4 s% w! t' s" N) iFL-algebras
    , E- O. g9 l' p% e8 BFLc-algebras4 u5 ]: a4 M# E# w" M, V
    FLe-algebras! r' y( \( y3 w! x' S8 [
    FLew-algebras# J( B1 X) r! ^2 `8 k% k
    FLw-algebras
    7 z7 `" x( H! `/ fFrames! Z2 x5 B$ @& q) o
    Function rings7 a0 M, l( Y+ W4 C- e; Q
    G-sets
    * P! |# Y% Y0 B  Z( u! F* I' hGeneralized BL-algebras
    - o3 y0 b  k. T1 ^Generalized Boolean algebras4 }7 W/ C8 V4 j1 a" [5 w
    Generalized MV-algebras
    * P' }! z' g1 O  y7 |Goedel algebras* q$ H0 j8 h2 {, X+ a" _/ o
    Graphs8 w# F- U  C* M  L! O
    Groupoids
    & l7 a* J' `' `Groups
    3 Q1 `& k1 A# A; k7 m" Q6 aHausdorff spaces
    % a7 M  u  \7 M9 ?! V8 h6 SHeyting algebras
    9 e) m  i4 l$ S3 h, `4 PHilbert algebras
    ) v  S8 S% ~: t; LHilbert spaces
    6 ^( ^) V, [& ]1 Z* P. cHoops7 P4 o$ X7 D9 T
    Idempotent semirings" n- M1 U! v0 y
    Idempotent semirings with identity7 e. z4 ]8 l4 a5 A( d. L- G* H$ U
    Idempotent semirings with identity and zero5 ?1 R6 o* b3 d' P; V  I2 _
    Idempotent semirings with zero' t8 m. p2 E6 J9 e+ ]$ O6 s! L
    Implication algebras
    9 W6 U; @6 m& P* ?Implicative lattices2 P0 Q, I4 }2 A/ G. F# e
    Integral domains
    0 K9 m- P7 p3 i& L) kIntegral ordered monoids, finite integral ordered monoids$ W- R& d9 q4 f6 h
    Integral relation algebras7 m4 |  j- h5 N
    Integral residuated lattices2 F. p9 a. M) \: a
    Intuitionistic linear logic algebras4 x" p6 g" _4 \; q# j
    Inverse semigroups
    . t- a; \/ P5 l8 Z4 ]: mInvolutive lattices
    : g( C: B" B4 BInvolutive residuated lattices$ J! R% w2 _+ M, L) u7 y
    Join-semidistributive lattices
    1 Y" J' A, a/ L9 D, W* q0 lJoin-semilattices
    7 M1 K3 O$ R/ i) Y7 D: I. C2 ], ~Jordan algebras- N! \* s0 \/ G6 Y/ O
    Kleene algebras0 x+ O9 E* `6 G. U  \1 r
    Kleene lattices
    , ^0 W9 Z: S- E* `1 j' W' ~Lambek algebras
    * n0 @* M! x# k$ V, k0 |- dLattice-ordered groups% ^, P5 Y2 Y- _2 W, O' }
    Lattice-ordered monoids
    - K  k6 B# I8 ~2 j5 O* f: c. p* S. PLattice-ordered rings
    & C  e, @1 b) v& {- cLattice-ordered semigroups* q, ]$ [0 k" e4 \9 C0 X
    Lattices8 n' J* O* u" `, B; g
    Left cancellative semigroups4 f2 T8 h+ `7 a# v& \1 U
    Lie algebras$ e! ~* s4 Y1 i/ ^6 H" X
    Linear Heyting algebras" S; b- e3 m" i4 h' j; H5 M
    Linear logic algebras
    + _2 J. X( ~  Y) K% ]9 mLinear orders
    . j# g* g& |$ I' \5 O1 eLocales; d6 i$ b' }, a
    Locally compact topological spaces0 G9 Z9 f8 L% ~9 ~* \4 u. F( b
    Loops
    0 l. x" d9 A! Q9 |7 c. BLukasiewicz algebras of order n2 ?) B6 u4 h7 z  {& a
    M-sets
    ! O* f3 H# ]& \; l7 BMedial groupoids
    ; \+ Z. r; O+ y7 S. p8 mMedial quasigroups
    $ B& d! i% W+ X8 l1 m( |  e& mMeet-semidistributive lattices
    * z) L, L8 f% @. G! N7 _2 ~8 t, r* vMeet-semilattices3 q! p  T( ^# k4 f7 A0 G
    Metric spaces
    & U& z9 f/ `: V* b% q/ HModal algebras" |1 j5 [5 [# `  Z
    Modular lattices* S; S* O& Z/ D  n7 I" g
    Modular ortholattices
    ) n( j3 K6 b6 v6 b2 mModules over a ring& r! P! r5 Z" d8 j  R8 M# U! ?. y
    Monadic algebras
    , |+ Q3 _5 u" q2 {& ^Monoidal t-norm logic algebras
    1 T' K- q( ^* y4 z, G7 u3 x9 `8 \Monoids, Finite monoids, with zero1 O; G9 G7 _6 ]
    Moufang loops. Z7 a" b  z$ ?3 R/ G
    Moufang quasigroups
    : I+ g/ e8 l/ |' A' o5 mMultiplicative additive linear logic algebras, c1 W2 v4 z  I6 E7 l* S& `
    Multiplicative lattices0 U. j; w5 h) F0 p. C
    Multiplicative semilattices
    $ }$ J! y# P& h( S- }Multisets" n3 z9 s7 A5 E2 ~
    MV-algebras
    7 M* D" V- t. ~- J" bNeardistributive lattices+ n# u' n: e" A! h# M
    Near-rings
    6 ~' W2 W1 ~& @; W4 FNear-rings with identity
    3 D& }) Z8 f0 G7 T- F9 W0 hNear-fields
    7 l3 [5 e1 J+ f$ Y& K, k: R- o" |Nilpotent groups
    $ ?  I& \& m* x+ I1 a9 SNonassociative relation algebras
    6 P% O1 m! y! ]Nonassociative algebras
    ' R! `5 h. A: K# {8 L8 z% BNormal bands; o5 v/ Q. l- Z
    Normal valued lattice-ordered groups
    : A% |8 t+ m! v) NNormed vector spaces2 ~9 k% F0 |" |& T8 {
    Ockham algebras
    2 {; k0 Y, u; R) v% d) NOrder algebras  u/ a& ~: [8 T6 ?
    Ordered abelian groups* S" o  w' L( k, V! s
    Ordered fields! ?4 q8 d! f( z
    Ordered groups0 b* S# A: U' W+ W7 w$ O! j
    Ordered monoids, S. F8 G+ e- s- N7 F  j2 C- ]* ]9 Z
    Ordered monoids with zero4 t5 b! D; t: g) T# ?" q9 [2 v
    Ordered rings
    # j6 |% ^" a2 HOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    . E( u* A4 m% c* x" a; E# sOrdered semilattices, Finite ordered semilattices( x; P' w2 t7 ]
    Ordered sets
    . ^. u, `5 I) E& ?& E6 UOre domains3 ^4 @6 i- F$ [  U4 o7 \) K% |* X
    Ortholattices* q. I5 N  w; G9 K% `
    Orthomodular lattices1 y* f6 j1 ]( Q' J9 [  x( _7 x
    p-groups' s: I8 z# y/ W& _5 Y
    Partial groupoids
    * e4 E6 s3 j4 B) ^$ x. \" TPartial semigroups
    0 h9 m, L, t% t$ h- a* g7 B9 qPartially ordered groups
    4 _5 {0 @. [; f  {1 A% P! W0 k+ NPartially ordered monoids
      @7 V' }& w8 QPartially ordered semigroups
    6 W  u  m7 Z) d+ ]: `% lPartially ordered sets' j' b9 y: U- o
    Peirce algebras: B  @6 R( h0 Z1 b; P, r
    Pocrims
    ) J# ?7 B% P' A* cPointed residuated lattices6 _& s( m+ ]5 K" U- p8 T( h/ p
    Polrims
    " B3 J; X) B- g  r6 I% L0 dPolyadic algebras0 Z5 I0 l) j5 ]( i* v
    Posets
    1 T# w3 a$ F: r) b. bPost algebras9 @. D1 |6 C" R- S1 M+ |9 E" }
    Preordered sets$ J2 @& @9 }6 ~' c4 K
    Priestley spaces7 ^8 u# D! ^3 J$ V( u0 S; g
    Principal Ideal Domains9 Z0 w# g* D. n2 B- V3 k
    Process algebras( g& t, U4 [8 A& n' a$ G
    Pseudo basic logic algebras
    ) @5 L- ^, ^$ Z1 EPseudo MTL-algebras: n: o) d% a% ]. J3 Y
    Pseudo MV-algebras
    ( m' p' h& [3 L" S+ [7 M5 H  y* KPseudocomplemented distributive lattices
    + g  F5 |) ~1 X; \5 hPure discriminator algebras0 T4 N6 K7 P* L5 f2 S& V, \6 z. V
    Quantales
    9 O3 P+ Y% J% Y  Q, C, ?  sQuasigroups/ O! w  T# m4 o$ v
    Quasi-implication algebras
    - f" W" N4 U: D4 @Quasi-MV-algebra/ _4 H3 d: f) p" A) B
    Quasi-ordered sets3 W- |6 c' {# j& I& h- \
    Quasitrivial groupoids2 I' W" J; I9 S2 c8 [, ?
    Rectangular bands$ E+ y( o6 x2 h; ]
    Reflexive relations
    - }1 l! r( Y  s  m% j1 @Regular rings8 H3 I9 s( ^# `. b. Z
    Regular semigroups
    ' ?4 p& u9 R: g1 p, yRelation algebras
    , _+ q% o( G' V" J& s9 jRelative Stone algebras, f# P+ {5 ^; z" M' `; M1 w# F
    Relativized relation algebras
    $ R# h! q; x7 a4 H) k0 Z: `Representable cylindric algebras% G' c$ x3 c" m; S$ r5 T7 B
    Representable lattice-ordered groups
    $ W  X0 s" S& B2 f4 XRepresentable relation algebras
    0 P2 t& x6 l; l6 O6 `Representable residuated lattices
    ! i: K% [0 n  j: C; p& C9 G' UResiduated idempotent semirings
    ! H4 F! V  J7 T  m9 t6 r8 SResiduated lattice-ordered semigroups
    , @! R7 f6 f# M3 {  V: Y* MResiduated lattices
    + J' y. ^' [! i# Q  M# JResiduated partially ordered monoids
    % S9 v8 s" _" j; U- VResiduated partially ordered semigroups6 b, h  C- Y) I4 J! D- H
    Rings9 L7 O7 J* T7 n& b
    Rings with identity4 u3 C. ~/ r3 E
    Schroeder categories' ]0 c2 v8 @. T* j+ m0 U
    Semiassociative relation algebras
    + S/ d% M% c( ?5 l- X6 DSemidistributive lattices6 ^0 o  d# D, g  d3 E
    Semigroups, Finite semigroups
    ! v8 H2 S5 \$ {6 ]Semigroups with identity& d! ]! U5 f* k  j2 d6 @
    Semigroups with zero, Finite semigroups with zero, r0 R2 v$ v1 _. n' I- a' m
    Semilattices, Finite semilattices$ B6 f5 N" T8 r$ b: {
    Semilattices with identity, Finite semilattices with identity
    9 _; H. s; x  H: s5 {5 G  wSemilattices with zero
    % o9 w3 K$ t9 U: ~6 M8 HSemirings
    3 V( i1 t; {" V/ Z/ oSemirings with identity
    4 Q) c9 E2 _: G+ g8 t- H* SSemirings with identity and zero8 R# O! B$ E6 w" T
    Semirings with zero
    4 V' f6 g( f0 hSequential algebras) X" _& b! m5 Q- S. T, ~0 A2 f0 q
    Sets
    ! q1 q; |8 G, X2 {: FShells
    9 f* [& T' U% X; a1 l1 ^Skew-fields5 K/ o. ]9 Q8 s8 \; H
    Skew_lattices
    5 T* h8 x' f; C" g" M% Y% SSmall categories! X/ f$ d+ z  ]- h" {
    Sober T0-spaces
    3 T: V/ r1 @+ |$ K% C  vSolvable groups
    & x! x; C+ ~, v- Y9 ZSqrt-quasi-MV-algebras
    * h7 t+ ~" T4 U' Y7 a! pStably compact spaces
    # @7 v7 x( C. L, @) kSteiner quasigroups
    2 L/ d! S( D8 j2 gStone algebras6 ^; R$ J0 d% @4 P5 M/ i
    Symmetric relations% W3 U) S! a  T# k- B- s5 w
    T0-spaces
    6 X4 B6 B$ e& q# B/ \T1-spaces
    # c& S. f5 w2 j) G  @) vT2-spaces0 i; d1 u: `$ @$ M5 S
    Tarski algebras
    & b. c# _3 f+ O4 r" sTense algebras
    ' i5 z5 i. a% {3 l; \Temporal algebras. @" x; O% J% Y3 J
    Topological groups
    / O) [$ m1 v! E. T5 UTopological spaces2 a/ u# b/ r* b1 o1 f3 x  e2 U
    Topological vector spaces8 I( b; X( e6 y0 w
    Torsion groups
    ! K# t4 P; v$ l4 s& K6 f. A6 STotally ordered abelian groups/ R% V/ ]5 x4 S% F
    Totally ordered groups% s  j! W, V3 v
    Totally ordered monoids
    9 r3 e! o$ y3 W7 w3 ?* ?8 W: ~Transitive relations
    ) x5 x' V3 u% ATrees$ w6 K8 d# ?* f8 d1 G( G5 q
    Tournaments
    + A" O5 s9 C. _Unary algebras! C- |- V+ j+ E( p
    Unique factorization domains
    + c/ M* e! M" l% A" S: [Unital rings7 d# _+ M7 N9 m6 k) Q; }- Z
    Vector spaces5 f- i; S, D. D% U" d6 t+ ^4 t; H$ _
    Wajsberg algebras+ r- M# F9 d0 a  @
    Wajsberg hoops
    - v" P9 H! s$ M& h6 r" `) \Weakly associative lattices( {" }, s) H& ^2 \8 F& ?. L9 X; {
    Weakly associative relation algebras
    , \# l" r1 Y: \+ f/ U/ v8 ~Weakly representable relation algebras) j# I' D  n2 x5 y
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群7 r4 t$ r' C  J  y5 l5 @3 L3 @2 Y9 D& z
    阿贝尔格序群
    ! Q$ B- S8 h; N3 V阿贝尔下令组
    . ^: ~7 q9 t) D% h3 }阿贝尔p -群6 x/ A. T6 y9 |! b& C3 f" D: ~
    阿贝尔部分下令组5 v3 q" e& }2 H6 ^6 R4 k
    行动代数行动代数& l# L  \( F! c$ L: U# Q$ ?
    行动晶格' E- G4 X& |: l! l* [' o; N3 u2 o, P( A
    代数晶格
    - Z  _" P8 V7 p8 [代数偏序代数偏序集
    : J/ N: d+ S1 {( v& h( [( ]- f7 A代数半格5 c4 t* }9 H5 P0 H1 A8 g! L
    寓言的寓言(范畴论)& i% p1 s9 H% S! L
    几乎分配格
    + ~/ h7 w8 E5 z6 F关联代数关联代数
    ! n( _9 m! f! j; sBanach空间的Banach空间
    % m" ?+ b7 C% y% T乐队乐队(数学),有限频带2 N# J3 p* P6 }- e! d
    基本逻辑代数
      p5 Z& z7 E+ ?  Y" A, dBCI -代数的BCI代数
    8 H" y' \* J+ X: `  @BCK -代数BCK代数+ O. d4 u+ k% y& {& k# G9 E
    BCK联接,半格
    % C  }7 q% h% x2 H) n3 R+ PBCK晶格; C) k$ L/ Z) y4 L
    BCK -满足的半格
    ! x4 G. X# a- y( K% l/ e双线性代数
    " \0 F. L4 y* `% zBL -代数. ]6 K& V5 n! d! ?' p) q! F
    Binars,有限的binars,与身份,身份和零与零,* x* z+ n0 @4 E' J/ \: K$ \" C5 s
    布尔代数布尔代数(结构)  M6 ^6 I" L: o% O( P4 I3 `0 W# M
    与运营商布尔代数, D  ?: ~* Q" V- J8 A6 g
    布尔组
    % M4 S0 E6 w2 N; T/ h% q0 r布尔晶格" H. O; W* `; b$ |) D% i+ W. S
    对关系代数的布尔模块# q8 S1 ^! C0 j
    布尔半群
    + s! T% ?  Q. |9 a; R布尔环
    ! ]4 }1 _% e/ _7 F- B布尔半群
    7 J8 l8 B7 \/ q; j5 |' E布尔半格
    " w' j, l' y2 B& k布尔空间
    1 R- D% X( A1 G! ^, H+ P) T& ]有界分配格) d9 l' l2 y' Y3 i& w
    界晶格3 a6 S3 d, Q+ Z2 c
    界剩余格
    % x8 c. m. }4 m' Q2 i# |Brouwerian代数
    1 E: ]6 I" ]: a& cBrouwerian半格
    " U7 b: n+ T" `! m( i, OC *-代数
    8 D5 o' O9 g+ m0 c" A5 u2 N5 b$ V  ?3 a消可交换半群! n* q( {6 \3 c$ o4 F- d/ i
    消可交换半群
    3 `, t7 ~! ~+ t8 ~" i可消半群, E$ ^3 _& }" T
    可消半群. c  ]" ]9 [' k6 {1 ^+ b
    消residuated格
    ; c$ z' W. T; C5 ]. f4 c分类2 Q) w8 F0 n; ?, R7 G

    , G) h' v8 |7 n9 x克利福德半群2 J9 k: b& k0 Z) T1 B! I' p. m6 W
    Clifford代数/ M7 a* ~9 E% R5 r# Q8 v2 H
    封闭代数
    1 D1 H6 P' r4 X5 I可交换BCK -代数! j; v% \5 M$ k- J; ^+ c
    交换binars,有限的可交换binars,与身份,零,身份和零* I5 s; g' S( y1 V' \. Q
    可交换的组成下令半群,有限可交换积分下令半群+ e$ u; n! y5 U" t4 {- {7 Q, n
    交换逆半群1 V1 k2 X6 R. n  E
    交换点阵有序的半群
    . |/ u8 t! h# }  x1 M0 O8 j/ Y交换格序环2 f+ |- \% ?) l6 X' b" S" [
    交换格序半群/ c" K- x" u) p1 h1 J/ O
    交换半群,有限可交换半群,零的有限可交换半群
    / n* m  }* H2 X8 z, e交换下令半群
    8 h; d! E  ~/ l7 e; |# |交换下令戒指: _/ x' m; p! a1 n2 S9 l
    有限交换交换序半群,序半群6 W  i8 ~9 Y' T( R5 B  c) ^2 O3 G: i
    可交换部分有序的半群
    2 r( w  f3 S5 [! {$ N" d9 @6 \+ W可交换部分序半群
    6 I; b8 v9 k' r* Z5 l0 Y( U( v0 S交换正则环6 n; _. w8 V$ ]
    交换剩余格序半群5 B+ d( q9 n7 W* d6 C
    交换residuated格, B) h1 s4 G3 |; B( H4 |) L8 F
    可交换residuated偏序半群4 n% J( n+ W4 e8 K1 I+ Z
    可交换residuated偏序半群, z! A, }; G8 R4 V! R9 V! W) V$ b
    交换环8 `$ ~! a  \" K7 U5 P0 F9 u+ v
    与身份的交换环
    % y; t; g; Q* I$ a/ q" Q- Z; P交换半群,有限可交换半群,零& B5 l" F+ S+ P. b5 `1 h8 g
    紧凑型拓扑空间
    ' D# H4 _& v: q* p( N3 W紧凑的零维的Hausdorff空间3 g. R2 K, b5 I) l9 G3 x4 e
    补充晶格6 i" q7 u$ h  i
    有补分配格
    : i3 S& h. a8 Q- e' T补充模块化晶格% ^3 k' W) }2 Y! j8 I6 Q
    完整的分配格
    ! o# R2 E" y) K完备格% k% u! T$ k$ W0 Z5 m$ J: P9 P
    完整的半格
    ( I+ d4 q3 f( a1 W& [完成部分订单
    " v1 k4 E3 y1 D( n! w完全正则豪斯多夫空间
    2 x& }' s4 Q) w  Z; ^完全正则半群  _. x. T: k2 Z, s
    连续格( y& P* D* w3 d+ X+ i- b
    连续偏序集& T+ Q0 W7 X+ p+ h/ p1 @1 K# I
    柱形代数
    1 c0 f9 m. J% [德摩根代数
    2 p$ r0 d# ?# d! Y( {德摩半群: e0 g/ ~5 Z4 `& D+ E
    戴德金类别9 P& A' T6 i& c1 }0 U1 }& v
    戴德金域. A! D7 f' A1 O$ K* v/ x& m: Y
    稠密线性订单
    & {- I; H$ ~/ A5 w" {有向图代数
      {# a% Z- z+ M3 L2 r导演完成的部分订单
    : p. h+ S; v& o5 u6 l9 R3 @/ b- X导演部分订单
    $ T1 R: ?) C) j( s有向图0 }& u2 t5 y) l; X' ^7 ~) M
    Directoids- z( C6 S' _8 t. o" P
    分配寓言
    + Z7 P/ K! _$ f9 s% S+ U+ Z* d" u7 F分配的双p -代数  K8 Y- `  s; [+ \6 g
    分配的双P -代数
    6 M0 t5 g! M8 Y( [0 y( a) Q8 ]7 s分配格扩展
    9 s6 x1 }& O& ]0 [- H) p! V1 O, J; I; K分配格
    2 ^3 p& M5 X. s* f0 e) C5 W& G3 {与运营商分配格, `. \" X" |7 Q$ A* {- I( O! `
    分配格序半群4 x3 v* h. w. K- G6 v" \, r* j- P
    分配p -代数
    : `# k4 ^* ]# p8 P# m分配residuated格/ G, {( v* p( s' D7 l) Q
    司代数
    . b8 g  @4 T( Z5 R7 x科环, @; q  a. y7 J  t) d* ]8 F* [. E
    双Stone代数6 N1 o+ m, M$ K8 h5 a+ j4 m0 P
    邓恩半群
    $ j- C# s5 v9 L7 ]' P2 A( E: K* Q  Y8 M动态代数5 E& H8 s2 G7 Z$ C4 ~* S% e
    熵groupoids% g& ^* R/ D9 p
    等价代数8 h; ?& x7 t) _. E3 o- ~
    等价关系
    1 B5 H# @% p0 m1 V0 ~# l欧几里德域/ q4 K. J. d/ y" D# t
    F -环
    . E) f! b2 L  t, s* c$ d' J/ d字段0 }4 t6 L+ B4 ]. y+ t7 b
    FL -代数
    2 N" m6 Q4 v% @, G, `+ F1 t( c, FFLC -代数/ F6 [2 L5 C0 X% }% W
    FLE -代数( K% E: V* J9 [: l: `9 J. A, J9 }
    飞到-代数
    0 f% H/ B1 Y" ~4 yFLW -代数% i1 u/ S4 {3 c1 B5 Z
    框架* _' B# O% |. R, x8 Q0 r5 _
    功能戒指% m$ [) s7 r  ?  B
    G - 组2 I* E0 Y# S, t- E3 E- U
    广义BL -代数
    $ J2 J! z- K# h6 i6 L4 }广义布尔代数
    % I* ?% Q% ^4 {1 @广义的MV -代数
    # v2 }# s2 ~& [4 c( ?Goedel代数5 b; u% c6 E5 M' d
    . z4 B8 Y* [) n; l
    Groupoids
    + g, u! Z6 A1 C$ Z4 g  A
    ( p! d, _+ A4 C9 }+ E* a' P豪斯多夫空间9 a& \" O9 c6 E+ d5 U' ~/ s/ `
    Heyting代数
    6 j: [2 q" ]" T希尔伯特代数- w- \' i" s5 @9 d. V; M7 s
    Hilbert空间
    ( ]% F( `9 Z2 N. K& r" x% f篮球& d. T, e3 Q% ?2 k( l
    幂等半环
    5 _7 T: ]8 X* C. P幂等半环与身份; d' z- N! W7 W& Y0 l) R+ t% ~
    幂等半环的身份和零+ A4 U$ G- |& R/ }. B- l, L
    幂等半环与零
    ' J8 X: I' |7 P. x0 x+ H; M6 r蕴涵代数
    / a. D8 t( o4 ^" ?& p4 D含蓄的格子8 a# L' t( R" F- c. a% u
    积分域
    + ]9 h% l( |# p9 L+ H积分下令半群,有限积分下令半群( D6 K0 W9 ^& F. K) {
    积分关系代数" J: v4 D/ |7 w/ p' v5 V( J  `7 w# [
    集成剩余格- Q; A1 A: V9 S* _0 R, {1 f
    直觉线性逻辑代数3 H: M. ]4 t' Q8 g9 L" t( X
    逆半群
      b  o) E+ H1 K3 @% d合的格子
    + \/ A7 Q( |1 ~& ^# Q. c合的residuated格
    # d1 X3 Q$ T1 {加盟semidistributive格
    4 J* l% r) {( ?$ `4 L加盟半格+ {, X3 D+ @  q; V
    约旦代数
    . b2 |! C5 b( v) }! a( [9 |克莱尼代数+ ?+ |2 T$ y4 N5 o+ z: r+ ?
    克莱尼晶格9 S$ W" ]; O1 }' q4 H2 h
    Lambek代数
    $ Z9 d5 Q1 j3 b# n$ C/ c格序群
    " A# P  t. o" N8 u! r格子下令半群5 i+ U0 `0 W3 K8 |9 p# C  |! R- e8 F/ A
    格序环
    5 D7 [; Z9 S' P8 O* H5 _6 }格序半群
    3 r# t* ?8 C& J8 J: d: X, t+ o6 T; ]6 j
    左可消半群
    8 _: S7 J0 |1 i! y* C4 L/ |李代数( }" V3 S7 S4 Y
    线性Heyting代数* E: |7 E9 e" e7 J7 S: I9 f# ?
    线性逻辑代数
    ( a) p* c- m( ~; @4 c) O线性订单5 z6 B, }2 ^5 U  K% T; C4 H
    语言环境1 C# J- P: q4 {( U3 J
    局部紧拓扑空间  W7 Y8 A- _2 H9 y
    循环
    $ w" Z; P* j# s# Q  l" |" Vn阶Lukasiewicz代数* [+ B( y2 `) s8 o4 F8 B
    M -组
    2 y! y6 U( h9 b7 X% n内侧groupoids# {% y+ H2 A) P/ f8 S) h% x, @8 T
    内侧quasigroups
    1 g) C- u# Q; A会见semidistributive格
    * {8 a) K" S- H5 N5 L( @3 {/ x会见半格
    & I4 t; N! T6 m  H' ]) g, `4 A度量空间
    + ]5 P% e, x  d8 v/ z7 q9 ]- N5 y模态代数
    # \# q6 ]; ~3 S- V模块化晶格' S- r0 B6 v% U# m
    模块化ortholattices
    % D2 }0 K: \) U5 b/ i( |& F环比一个模块
    ! y; d; m  Y: [' S单子代数
    5 G( q" p+ ^9 ?6 W) ^- QMonoidal t -模的逻辑代数# \' ~2 K+ C% w, }
    幺半群,有限半群,零
    5 b( A, ~3 K' D& Z) D0 CMoufang循环& E9 m1 a8 C( I- B- i/ a1 R6 c
    Moufang quasigroups; S; X2 g, K4 f; ?) I
    乘添加剂的线性逻辑代数
    / ~" ?. R+ S$ z乘晶格
    ) i: H% b/ y" j! p* ~# z. R乘法半格) w* w" B2 d1 Y) K) F  d, _: ]
    多重集
    * q  y' v  e, d9 }MV -代数6 B9 m& g' A. M0 [
    Neardistributive晶格
    ! u, f/ G/ c3 F3 t: [( t' f3 v近环
    8 f* M4 K/ W. R3 m, [& \近环与身份
    ; p$ L5 ~' p$ S  \近田; P0 w% l, ~7 L) [/ o, l2 l
    幂零群' ?, c8 j  D9 S# P7 g) b
    非结合的关系代数9 T$ Q* u& {( R/ Q$ \; o
    非结合代数0 \/ A5 E, ^9 Y  O5 o# f
    普通频段
    / J1 Z! e0 |8 T  Z: t正常价值格序群
    / m+ E& b  X. y4 C+ n' H赋范向量空间
    5 |' b5 E! [/ E' q( a奥康代数
      f- C8 t9 w% Q$ V0 k$ w订购代数
    % E0 m  z6 w) r6 y4 z8 {; B有序阿贝尔群
    / m2 V- N0 p' y7 l有序领域
    9 i6 W! s# h; X, ]1 v* z* |序群
    9 k6 F/ W- [9 [) i  ?5 p' O5 z( c有序半群' I( t- A( T: j) W
    与零有序的半群
    % r6 h" ]7 T  T5 l: l: ?有序环
    6 F' E! K* R4 r! O3 F9 }8 d序半群,有限序半群,有限下令零半群
    ' y$ |  q  A3 o5 z+ d: ~. c8 g有序半格,有限下令半格
    5 R7 w5 y$ R  B: D0 T有序集
    ( W0 t8 A# a; ^; A" z  e矿石域: E5 B: U) v0 ?" N2 P/ o) x7 Q6 X
    Ortholattices+ S6 h+ f5 N' J+ c/ p9 Z! B. t
    正交模格' e8 q5 V4 [1 s; C/ a- a. M
    p -群2 ~$ j+ g: q1 P/ V2 L
    部分groupoids
    * u. l+ D( v3 k: f1 K$ K7 W部分半群0 I. c3 ?' o- p5 A
    部分有序的群体
    5 f5 Q/ Y4 P1 ]8 Z部分下令半群
    1 I! X& @: b, u- H9 Y& g部分序半群
    - Z2 T6 l* L' H2 p; J& G# U部分有序集
    . S8 ~( ?& ~$ c# }  K3 C皮尔斯代数
    . n* m" d9 J3 }7 XPocrims2 Z& u% \7 ~- {, t6 M3 ?' Q& r9 z
    指出residuated格. R* i4 k+ x# U# E1 h
    Polrims0 M: }  _1 q- E" d, A3 N9 F
    Polyadic代数* O3 Y! s/ g5 H6 _  ~
    偏序集# H, c; i) x% v+ h) y6 ?
    邮政代数) w; a  z; S& S4 g* B0 N9 b
    Preordered套
    ) y/ S) H5 Y$ m7 F4 O5 N8 l( k$ s, [普里斯特利空间" u  N. j- Z+ ?
    主理想域
    & u% F& {( r' O( s5 R. A; ~* n/ a进程代数
    1 g/ Q. A+ n2 x0 {伪基本逻辑代数
    4 ^* O1 V$ q) R9 ]3 ~; I" x伪MTL -代数2 p4 }" l- h( h1 R/ w* ~% j
    伪MV -代数
      a4 E* d4 R2 g* D& ?; RPseudocomplemented分配格5 i4 H# ?' V* n0 d; o2 L" e3 F' G
    纯鉴别代数) b- [, g- V. l- n$ H$ D
    Quantales6 i$ b- Z. P$ e
    Quasigroups2 D5 k+ M% @& R& [& v
    准蕴涵代数6 `, l5 \4 a! X
    准MV -代数6 W0 N4 N( z9 g& \% ^0 Z
    准有序集9 U9 F* z" |/ z  O
    Quasitrivial groupoids
    ! L) u" r+ j$ v矩形条带
    ; `% s# v3 n% U( I$ s; @  q自反关系/ ^8 o8 e. N' }9 T! G7 A! T
    正则环
    + l! b. w5 x- \+ M: s( R) T正则半群
    6 R. e0 ?6 S) r关系代数; ?0 Z& q& J- f6 d. V0 J
    相对Stone代数
    & L% l( R* Z9 t; k4 F$ s1 w2 J相对化的关系代数( ~) N( l4 X# a6 @( V
    表示的圆柱代数' W- q, o: ~& K; a
    表示的格序群体$ u( l* m$ C- c! r! ?. a
    表示的关系代数, J5 Z; R! e; T# ~- m
    表示的residuated格
    # V3 Y* |: ^9 `5 u' K  t9 ^Residuated幂等半环
    , O5 u' a0 @& g+ P6 q7 h5 Z剩余格序半群' G6 T/ D0 Q6 k/ k1 n
    剩余格
    ) Q3 ]3 D1 t& ?9 Z( n% `Residuated部分有序的半群/ O. r5 r* o/ n1 Q; c
    Residuated部分序半群, ~/ p- m7 b' N1 o% A$ A+ j
    戒指
    , J; e0 b$ K' ~戒指与身份# l+ V5 ~6 C2 W5 G2 u& x7 v1 P
    施罗德类别
    / ~4 M4 Q1 A9 E" u+ A) `0 s- w: fSemiassociative关系代数
    . q( I/ }. v% \5 VSemidistributive晶格
    3 g7 V$ F6 P2 E9 ^1 Y9 p半群,有限半群
    ' d, Y& M* J$ }3 _: H半群与身份; @( w8 B, k# @' l" a, V/ n
    半群与零,有限半群与零. C5 K; t/ j% u5 Z6 N1 s
    半格,有限半格* }4 A. t  @6 M# ]4 A+ M; r
    与身份,与身份的有限半格半格
    , R6 w" g& P: t  b9 f+ t半格与零* D8 Z2 w  ?1 R% `* z
    半环
    $ P" G2 Y2 u* r1 b, l% H+ g/ O半环与身份* ~. H$ ?. w% S
    半环与身份和零* |, k0 H1 ~( E) g5 @4 W, S
    半环与零" r6 X" i& D. V0 `+ J4 I
    连续代数
    2 }, |$ i1 n6 \5 b: F$ a7 ^; r- Y# z- d- O: q0 c! [7 b+ V- H* F
    : g/ q6 Q* F/ x5 O+ M
    歪斜领域0 ^+ W$ i) y1 L
    Skew_lattices0 Y9 k% P% h9 e/ d5 L+ y9 a, c9 j5 J
    小类, b* w0 e+ K/ b* k( V* n
    清醒T0 -空间
    : Z) ?5 O7 o) Z) O& b7 i可解群
    $ t$ D4 q# A( k+ U2 U6 ^SQRT准MV -代数8 Y; N# {0 I7 K/ I9 }
    稳定紧凑的空间
    ; w) `; G4 L+ G! |; c7 Y  y施泰纳quasigroups4 ]; o+ A/ s: u
    Stone代数
    2 z& J( R7 ?, Y4 `对称关系
    3 c* C# e. @1 y1 mT0 -空间
    2 D. J. ^$ S4 v: ZT1 -空间
    - X6 q) u7 P9 j/ ZT2 -空间
    , Q' m+ N* P# k塔斯基代数
    ) Q& f) d& }7 e" H紧张代数3 L" p7 }7 @. `' a
    时空代数
    3 B* i6 O4 B& l- ^4 U: W拓扑群5 u$ \: `; Y+ f- L: q' a
    拓扑空间$ x( y5 {, w) T% S4 S' [- }  r7 p
    拓扑向量空间
    5 `0 q1 w& Y" F, z( T扭转组
    . K# s$ B5 ?8 `. F3 A. f全序的阿贝尔群
    ) }/ O( z0 S, Z8 T' G$ u# Z' i全序的群体
    * M% r! u0 O1 F! s/ T4 v9 n3 g完全下令半群
    $ X& L; D7 H+ B5 TTransitive的关系
    9 a; ]! [/ ~/ N
    # P3 p3 {% b: y8 I8 f$ {& ^0 m2 c锦标赛5 R2 i8 z  ~  m
    一元代数
    5 ]) Q$ O7 f1 F1 z$ ]' u唯一分解域
    3 A' G6 x- Z1 B$ k6 r" |/ g0 _6 WUnital环
    7 _! |3 r, q! l* W向量空间
    5 V" T8 A6 V* J( U; ~! |9 vWajsberg代数
    1 I: ?2 r% c, ]2 [" _Wajsberg箍
    0 a6 E; y1 H2 o5 c弱关联格  D) P# d  h7 e- y
    弱关联关系代数$ s/ Y! z2 P: p+ e! |' p2 n
    弱表示关系代数
    回复

    使用道具 举报

    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-6-14 04:16 , Processed in 0.846690 second(s), 79 queries .

    回顶部