QQ登录

只需要一步,快速开始

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

    / ]# s6 y+ `- Y5 l2 G1 F2 u0 p
    7 r5 C" k8 s3 u% m8 k1 l. Q1 mAbelian groups     Abelian group
    ; i, T* O; |2 }4 k0 H4 i. P9 {Abelian lattice-ordered groups
    " j8 c# {0 i" G  xAbelian ordered groups2 r1 C* Y; m: i$ Z/ [
    Abelian p-groups. `1 Q& V: E8 z4 A* E
    Abelian partially ordered groups
    3 Z5 }' C, Q# fAction algebras     Action algebra8 [0 _- m" M# J0 c1 S3 g
    Action lattices
    $ e- x: ~7 l- S/ q2 ]% lAlgebraic lattices
    ( a, \2 }  `; C# D) fAlgebraic posets     Algebraic poset& a) ~/ e7 W4 q. s
    Algebraic semilattices3 m+ p6 b  r+ |0 g
    Allegories     Allegory (category theory). c0 b2 m4 v: T: d
    Almost distributive lattices
    - `5 b8 l4 G3 Q! s9 ?3 k5 yAssociative algebras     Associative algebra
    . w- a1 z* ~7 LBanach spaces     Banach space
    5 _: }% Y" U+ a+ c5 [2 ^3 VBands     Band (mathematics), Finite bands
    8 R. l. Y$ G9 |- f( V- x  JBasic logic algebras
    - y# z- c) t2 A' @/ o1 J' k5 a( qBCI-algebras     BCI algebra
    + B# W) q! Z* GBCK-algebras     BCK algebra
    ) I0 w" Q+ A6 ~' J7 T7 zBCK-join-semilattices5 R! o( J; z1 J% O7 Q
    BCK-lattices
    * g, n) n4 ^. g! nBCK-meet-semilattices
    2 ?: R6 f" d+ D8 H( z8 v0 B/ XBilinear algebras' o- }) {$ I% j  K& V$ P
    BL-algebras
    . |* p- f% g' Z5 Q4 \0 XBinars, Finite binars, with identity, with zero, with identity and zero, ) v* u/ v4 ^. ]7 ^, L2 q
    Boolean algebras     Boolean algebra (structure)
    8 J: I5 c" e- r& FBoolean algebras with operators& e" L: _- ^  `- m9 d8 X# X0 Y
    Boolean groups: [% ?+ L4 X4 I! C: F
    Boolean lattices, |3 h  t- w1 r/ L2 @' N
    Boolean modules over a relation algebra. h0 w  S& L, G% I, z- L) D4 t
    Boolean monoids7 F0 o" i: z; f! P5 N8 I
    Boolean rings
    2 u  b8 L- q, J4 |Boolean semigroups
    5 x# H4 [% }  m7 k7 j8 ^6 N& F, yBoolean semilattices2 Q# [+ m" f: d3 X9 A& A
    Boolean spaces; q) E  G1 C0 D- P8 E
    Bounded distributive lattices
    4 G0 I9 k7 s. o- S  Y; b# YBounded lattices
    + T! S% S" _5 E. u$ D9 ?2 }( ^Bounded residuated lattices
    4 H2 }7 I" d& i$ N) lBrouwerian algebras
    1 _% f1 L3 V1 Q2 m% r, k5 CBrouwerian semilattices1 C# J& V- l6 }3 X: k: Z
    C*-algebras
    " S( \0 V8 K5 |* c0 `# s" ZCancellative commutative monoids
    # @  L) {; v3 J( L) l3 o$ X! v2 GCancellative commutative semigroups
    % b) H( O% i9 }3 }6 R6 `Cancellative monoids
    6 H- X- ?: F2 F- yCancellative semigroups. r1 m& _& ]8 ?, u+ g' [
    Cancellative residuated lattices6 v& [( P( D, m
    Categories
    # D7 D+ t' @0 f& vChains
    , g: I+ m! \7 fClifford semigroups
      J' e3 w0 u' `0 h( M! ]Clifford algebras
    7 P4 [1 S" M6 z9 fClosure algebras
    5 N& \  ^) `; M. c% V" o: d1 oCommutative BCK-algebras( _. s! ]. N7 ^! w
    Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
    4 i- ~" b4 }: e6 K; v' Scommutative integral ordered monoids, finite commutative integral ordered monoids/ K8 g. N2 R$ k. }
    Commutative inverse semigroups
    3 Q+ a3 E& o$ l6 f3 Q4 DCommutative lattice-ordered monoids$ a  Y5 R! a7 J4 r$ {0 T
    Commutative lattice-ordered rings
    1 K: i% P* T4 @8 \# T  QCommutative lattice-ordered semigroups
    6 d3 o' T: C6 J. P: _* _" nCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero) c8 W  m/ n9 |8 t. @' Z) X
    Commutative ordered monoids
    $ [* I" |) ]( H, k! {5 r! RCommutative ordered rings) s8 w) [7 \1 T$ @1 S2 W% ^, O
    Commutative ordered semigroups, Finite commutative ordered semigroups
    $ y5 G  f& `& o' |& x" XCommutative partially ordered monoids
    * p  i. }; `0 d( U$ ~Commutative partially ordered semigroups8 D0 ?; [1 V+ z5 O
    Commutative regular rings
    3 M  }7 q. y3 p' |  e1 l/ Q- FCommutative residuated lattice-ordered semigroups5 [! U# {' \5 ^* @! w( h) V
    Commutative residuated lattices" Q1 `9 w# b, J, x5 V+ _, j- r4 c3 c
    Commutative residuated partially ordered monoids
    ! p7 P$ x6 n' r7 t+ \. X. ~9 OCommutative residuated partially ordered semigroups6 J5 |, t/ Y5 \* l
    Commutative rings
      W+ ^. e: n* _" Y6 GCommutative rings with identity6 K2 z" _8 X. [- p4 ~5 D8 d  f  o
    Commutative semigroups, Finite commutative semigroups, with zero
    7 O% _/ K( E4 n5 TCompact topological spaces
    9 X2 Z8 p4 F% `+ ~7 LCompact zero-dimensional Hausdorff spaces
    ( z& x5 ?" h/ M: J& {Complemented lattices7 L8 ]- i7 d7 d* t* G
    Complemented distributive lattices  n  e+ y: S, ^5 Y  J( h  |
    Complemented modular lattices8 W: j1 v6 W: D5 F2 a
    Complete distributive lattices2 L1 \8 }( s- L- C7 Z, V* T7 i7 [
    Complete lattices
    - P/ q! X# G0 G% O$ jComplete semilattices3 u" l7 k1 `- Q6 Y  ~9 L* Q" ~, j
    Complete partial orders
    + M7 K  ~- F3 KCompletely regular Hausdorff spaces
    ! v0 ^: a  D& Z4 mCompletely regular semigroups
    . \8 N& G( t' s% N  vContinuous lattices# h2 x. ~& M; g( q; H
    Continuous posets0 N; I; W& r; l8 L/ w
    Cylindric algebras5 ]2 X6 [; m! {+ y6 f
    De Morgan algebras5 |7 _7 Z7 r3 T8 ?4 J0 Q
    De Morgan monoids
    6 B4 ~: ^' a2 O  LDedekind categories3 V/ r% W6 ^! e$ P* j2 ]" L# c
    Dedekind domains
    1 P  {. `- @2 H9 I& A7 GDense linear orders
    ) M7 w5 ]* G+ m( MDigraph algebras
    * Q4 b# o/ }- Y- Z" q9 tDirected complete partial orders) e2 |* W$ ]2 K
    Directed partial orders
    " @  E0 ]5 @1 \' ADirected graphs0 e' f+ \1 N8 s2 l
    Directoids# q/ ~3 [' [# Z* |3 P& z; G
    Distributive allegories/ J1 o! C+ i, @7 F% P$ p/ j5 {2 i" ~
    Distributive double p-algebras
    ; H- |4 w; A- l* gDistributive dual p-algebras) }! x0 L' ^$ n. c  Q, {
    Distributive lattice expansions: B3 ?; W2 c7 h, z2 L- M
    Distributive lattices
    5 D2 Z9 c- {, }+ |0 o0 F8 B3 N9 mDistributive lattices with operators% E$ R5 [+ p9 l4 q# f
    Distributive lattice ordered semigroups
    # ?: j( `% m- n$ I( k$ X! `Distributive p-algebras
    ! v( B' L# r7 K  gDistributive residuated lattices
    + |. H1 n0 g  d; s( R; I1 @, C2 XDivision algebras; K% N. z2 ^4 N; l
    Division rings
    # L- S9 C/ `# ^Double Stone algebras
    , V  c" x' g# o; b% a2 x% cDunn monoids1 h# Q/ q2 H) ]' @
    Dynamic algebras- P8 k2 X, y2 s" h4 Y- G  s
    Entropic groupoids
    3 |! D7 w; x7 Y' Q% A/ ^Equivalence algebras& U! x" V! f( ]: F7 C3 x
    Equivalence relations
    - J  b9 v9 \1 c+ `7 L1 HEuclidean domains$ F" J' c0 Y, p7 ^- X. [
    f-rings
    # V0 _/ }$ a) I. g6 l" nFields
    ! `$ q2 L/ E/ O9 [$ J' q# W4 |FL-algebras" P" u- {1 s8 l. c4 X1 F% ^
    FLc-algebras
      z% l3 Z+ a6 Y- Q! q, I: HFLe-algebras
    ) u- l  Q5 f9 i; l0 fFLew-algebras
    1 s! [% M# ?, o+ g1 j  gFLw-algebras3 p9 v! A) T% D8 A! H- U7 E
    Frames
      j/ U. i* e( f2 ]+ `% l1 uFunction rings. s) J( r3 f; _6 u
    G-sets  {) G7 M& ~/ E
    Generalized BL-algebras, P- p# Z) s4 p4 V2 x/ x4 k9 h" u
    Generalized Boolean algebras
    5 r* y. w9 G9 T" [Generalized MV-algebras6 X& e3 T8 r2 Q! t5 B
    Goedel algebras( R* N7 I# a. t: v* n, R
    Graphs
    ! l  ]' V4 T# Q4 D3 MGroupoids
    & h; {% p; d' m; ]3 ZGroups
    ( N/ i# k) }: r0 H, J$ Y" ]/ D4 A( iHausdorff spaces) S2 X- @  J% N
    Heyting algebras9 d5 d% n- D2 B) M
    Hilbert algebras* I3 [6 M7 ?, {$ z, L
    Hilbert spaces
    8 x3 I* r+ I( E* y/ FHoops
    , d6 u  j9 c% q! GIdempotent semirings- W7 Q4 W# Q; R* V; S  @  n
    Idempotent semirings with identity
    9 G) c' r. K7 S) K  N  r2 f4 lIdempotent semirings with identity and zero
    $ x2 t( M9 V" h1 t( Z$ k2 [Idempotent semirings with zero7 S) D/ b3 u) l7 M) J  e
    Implication algebras
    3 [5 ^. n* n! b! s& oImplicative lattices# r" H# h7 p+ C- |8 q" Y
    Integral domains/ E- @) p# z9 B+ k
    Integral ordered monoids, finite integral ordered monoids3 ~- b: Y9 J( r. `; i
    Integral relation algebras
    . f; l8 ]2 v- [; e7 ^0 K3 x6 A7 AIntegral residuated lattices; F" S( V3 z; \$ Q, h! z
    Intuitionistic linear logic algebras/ w. U9 w; P  S  T
    Inverse semigroups9 X3 U: F# o% O- l2 f* p" W( \
    Involutive lattices* [' E, N$ S* U+ Z; V! D4 G6 I
    Involutive residuated lattices3 Q* O3 j/ M9 m8 o
    Join-semidistributive lattices
    5 v7 f' W! L7 O# o) LJoin-semilattices, [" C/ p1 N6 j9 p+ O4 r/ u# Y0 @
    Jordan algebras$ A# f; m: N1 Y0 c+ w& c
    Kleene algebras) Z% N/ @! j% G# _
    Kleene lattices
      T$ |, i, T6 c8 `. T' ILambek algebras
    1 T6 w# G; g6 x, ?. e$ e& eLattice-ordered groups
    ! O& t: Y! G! V4 a( Z0 {* ?Lattice-ordered monoids
    - m5 U. Q  ~0 g- f6 x) n1 uLattice-ordered rings$ M6 I0 {+ ~( B4 ?' s9 H! Z
    Lattice-ordered semigroups
    2 v: S6 @, |. X! h$ \5 u) eLattices
    ! ~; R( R( z8 y' {* d, L3 H: v# i, uLeft cancellative semigroups6 b% A- m! J# r4 V! Z' D
    Lie algebras
    - t2 g* r% S0 f& Y, k7 c0 _3 V3 VLinear Heyting algebras$ z$ j' s6 h/ A3 b5 a( p6 H# }
    Linear logic algebras) \& c$ L4 E# F% [, ~/ p
    Linear orders9 F2 k7 y' t4 s' }3 D
    Locales
    3 }) x: Y$ g- w1 b! c0 YLocally compact topological spaces
    7 E6 t* U; ]' V4 v) V2 v) ^Loops
    / p  c8 @" \6 \* F* CLukasiewicz algebras of order n
    ) W! R5 i% {1 ?M-sets
    7 ]5 m) q3 S' o, Q* n/ l! lMedial groupoids8 ~' c" H8 F0 I* A
    Medial quasigroups
    / n. u) l& t. D+ X! n# MMeet-semidistributive lattices
    ' n6 C: X; ^& ?% V+ JMeet-semilattices9 ~8 k7 T+ u3 B$ e" B4 c( ?
    Metric spaces7 Q' \3 l$ V* H; A6 f
    Modal algebras
    ; Y1 Q9 M' O8 p. \" w* MModular lattices/ f4 ]* f: `; x3 z7 j4 ?
    Modular ortholattices, a/ T  {( C& z# w0 y7 n
    Modules over a ring
    6 @8 f! k8 P* Z/ ]Monadic algebras
    3 [; G$ h. F3 q5 Y/ i5 a; kMonoidal t-norm logic algebras) i9 \/ \+ I9 H' x+ M2 A/ A/ H& x+ o
    Monoids, Finite monoids, with zero! |6 q6 ~/ z7 N, A! i2 ?
    Moufang loops
    & ~$ P1 z* H5 f+ G  g2 Y7 B9 E8 N( pMoufang quasigroups
    1 n- Y. h- ^+ U' {% @/ r& fMultiplicative additive linear logic algebras
    # q: t+ e1 |' b0 r$ a3 }' @Multiplicative lattices
    , ?8 w) M. [9 }6 V& hMultiplicative semilattices
    ( I) J9 B6 B8 m+ i: gMultisets
    ) V( F  ~3 P* H- F) V  o# AMV-algebras
    . X2 F" m8 ~& E- Z' ONeardistributive lattices
    " M8 O8 M, W$ XNear-rings4 f( G+ r" g5 C5 a* D. }9 h1 x9 g
    Near-rings with identity6 }' p' U6 o" A4 F# I+ g; A
    Near-fields3 q8 f, j+ x# P* [
    Nilpotent groups
    & c* G) ]/ c5 q4 K0 lNonassociative relation algebras' N: t4 n9 c8 A- ^4 O! k
    Nonassociative algebras& Y2 h6 C3 J6 I& d& q2 D
    Normal bands
    0 w2 g1 R. N0 r* ANormal valued lattice-ordered groups& t- w$ V& H' ^3 u
    Normed vector spaces
    ( @5 Z/ S9 H" M- A) M2 y) E0 WOckham algebras  a1 o% K) h+ p; F, `0 S9 p
    Order algebras5 l/ [2 V* Q  |* [2 y! H- e
    Ordered abelian groups3 ?1 f; b+ b4 x/ c: N' |6 |/ X
    Ordered fields. @5 y# a6 L2 \! D1 C' P
    Ordered groups5 g8 }3 M, @! M
    Ordered monoids7 H' f7 f8 Z  x5 o* M. q
    Ordered monoids with zero8 q2 O. P; M$ d0 j7 f: e, Z4 s
    Ordered rings: x' O* }& F0 h! c7 n6 ]0 I- u
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    ) Y' \) \8 I! L* ROrdered semilattices, Finite ordered semilattices! N& T+ R/ t6 k+ _* R* }
    Ordered sets
    1 Q" E6 n: {) z* LOre domains+ ?2 {+ b( O9 d- ]; n5 W
    Ortholattices
    ' Y7 d+ F8 K& N9 g( n* zOrthomodular lattices
    ; _5 F% D+ ?$ }p-groups& m: t% m% [0 U3 q( T
    Partial groupoids
    . D( b' x( Z1 F/ X+ nPartial semigroups# ~! P! y& Q" F  B& p$ F
    Partially ordered groups7 O' p: {1 M/ h/ b  p/ y
    Partially ordered monoids( w+ v1 N# X4 m; e, r2 Z) Z* v$ k
    Partially ordered semigroups" L& b% q2 c* r8 U8 J
    Partially ordered sets) c, z; f) Z& ~8 t
    Peirce algebras
    - j! [- V7 q. C1 I( y4 MPocrims8 t% V3 W! \! e: o
    Pointed residuated lattices, r+ R) ~4 E7 ~' q9 U: E, q* q2 p
    Polrims+ {4 U5 \: X- }* E; M4 u. F' H
    Polyadic algebras( r" }2 |) g( n7 L, d
    Posets- {% [+ \9 m$ a0 Q! _1 E
    Post algebras
    # r( o$ X2 t! R2 h3 gPreordered sets7 w4 E$ N2 Y) Y! d7 d7 m. d4 \! \
    Priestley spaces
    - R. m, ]' {6 V: C# e6 U3 `7 V: LPrincipal Ideal Domains
    5 P( i9 v# i. h5 b# |Process algebras: P$ G" {/ a0 \5 q. {& V1 L: b, Y. f
    Pseudo basic logic algebras- K2 L+ z% M% F) x6 W0 g$ U
    Pseudo MTL-algebras$ z% n: e9 [+ ?  g. ^8 Z; B
    Pseudo MV-algebras
    ; q  z# b1 K5 f2 q1 PPseudocomplemented distributive lattices/ V  f+ f$ t7 [$ @0 N3 D) @
    Pure discriminator algebras& h9 e  C7 r' l) o
    Quantales
    6 M+ H+ y& F. T; B& k' @( r6 CQuasigroups7 e1 b+ n+ h- Q5 M$ n2 `7 [8 Q/ d9 m
    Quasi-implication algebras4 z" }) g4 g& p
    Quasi-MV-algebra( {2 h. D3 ~- c* i) G
    Quasi-ordered sets
    ' V) |& d: s- I5 T9 S: eQuasitrivial groupoids
    - X; b9 u4 C8 p2 t, yRectangular bands( h+ `1 {/ d- K6 H4 d/ t1 g6 H6 C9 c
    Reflexive relations7 |, F1 E4 v: A$ z6 n: x5 ]% e8 ]) E
    Regular rings/ ?  R, `% F: \
    Regular semigroups9 l+ b' e, q9 t* d
    Relation algebras
    * D  W& |- {- E- B) }: URelative Stone algebras( D, g/ g1 P4 k& o/ G0 y5 a/ I
    Relativized relation algebras: g6 T; Q. N+ C! C, U
    Representable cylindric algebras: ^: g& O+ }! s: ^
    Representable lattice-ordered groups: p4 |# p0 R" y& O
    Representable relation algebras
    8 K. H1 L' p- BRepresentable residuated lattices6 X' g$ U, X- O" K  J" R
    Residuated idempotent semirings" P5 o0 U) j& l; t0 {; B
    Residuated lattice-ordered semigroups
    ( a7 [. G# v# VResiduated lattices
    . B; |2 l3 m$ w, [Residuated partially ordered monoids: s# l: H  ^) l# i
    Residuated partially ordered semigroups" @. e! f) D  q6 l1 m
    Rings" P2 `; H$ Z1 j$ _/ L; V
    Rings with identity" V2 S% Z/ \* T  [( q1 e1 w
    Schroeder categories# o4 s7 T% l5 n2 A# D& j
    Semiassociative relation algebras
    9 W# L! C9 J* V0 DSemidistributive lattices- N+ e" k$ c6 E
    Semigroups, Finite semigroups2 \+ d7 |- Q. ?9 ^" x" p  ~) Q6 l& p
    Semigroups with identity# o7 t: ?: Y7 T/ |
    Semigroups with zero, Finite semigroups with zero8 q$ D# W9 R9 y, @
    Semilattices, Finite semilattices) t) s* [; E* W  X; |
    Semilattices with identity, Finite semilattices with identity
    3 k# D& F9 v+ R: _Semilattices with zero0 u4 K! N  r0 J; Q3 X1 O0 c* o
    Semirings, x0 ~+ l( G" z* |% y% p# K$ b
    Semirings with identity, l% V- q1 K5 V5 b6 S0 l
    Semirings with identity and zero
    . v7 v, x/ q% k% JSemirings with zero$ U2 l1 G% m+ m4 r7 Z( Z
    Sequential algebras: |8 Y. e2 D: [. U5 D/ M, I6 ]9 Y
    Sets
    3 D. I# X; B" ]) u; O3 Y  p5 l6 CShells" {. H- Y/ g7 Z. O3 U' M
    Skew-fields0 j- b4 ?! m4 n2 U8 D0 I
    Skew_lattices
    ( R. Z0 t$ \. J+ P1 S; ySmall categories
    % T" X7 T$ I5 Q# {) |/ tSober T0-spaces1 W8 @9 J& f  E; ]* i+ O+ x, G* z; ~
    Solvable groups0 Q* U, F; S) z5 j/ r8 }$ ]% F
    Sqrt-quasi-MV-algebras6 e$ V+ v0 O5 k# S: p( d8 a) {/ p
    Stably compact spaces- i8 [4 [" X! i& Y4 B
    Steiner quasigroups
    & }7 A; q0 P( A. q: |Stone algebras. m; L, N% z0 z: ?
    Symmetric relations" a$ j' k& Q3 X# a
    T0-spaces
    ) f& ^0 I; J% }5 LT1-spaces
    : w+ _8 k3 i; Z8 c: Y0 W: NT2-spaces
    $ `  G/ ~, A/ }! {) yTarski algebras+ W9 y& {  {, o& ~
    Tense algebras
    : Y" [; }1 k$ v: QTemporal algebras
      u, h4 M: e! H8 \, `6 c0 |2 t1 yTopological groups( Y0 |. e/ e: Y6 c
    Topological spaces1 g3 T0 N8 a' H( O3 d+ ~' e( b
    Topological vector spaces
    ; l' \' ]% ~4 p2 s7 pTorsion groups
    8 {% b. z& U! n% P7 |Totally ordered abelian groups
    : M' z6 H/ o: F, B; N& QTotally ordered groups
    8 `) E/ a$ J' [. c4 H5 s( F5 ~Totally ordered monoids
    ) h3 W, Q, d3 _; F+ u, F' MTransitive relations
    : f! q' q7 [/ [1 L% U. O$ b2 DTrees1 j4 v: \& F" z4 ?
    Tournaments
    3 Z/ p7 A# j" jUnary algebras
    ) U4 R6 G) |4 TUnique factorization domains
    & j# _  ^# j# s6 J6 i; [* V2 M! NUnital rings
    5 D3 C0 E' ]( N+ b0 KVector spaces( F! c7 A# E) u2 n
    Wajsberg algebras
    % A, q  V# i# P6 ?9 ~! f" k8 ~Wajsberg hoops- G: I6 O, f) X7 f! ~) M
    Weakly associative lattices6 p: n4 a/ O" U% _
    Weakly associative relation algebras3 [' b! Z$ `, ~; x; G$ _# Q
    Weakly representable relation algebras
    9 |4 T& A% M# e$ r9 |
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    ZONDA        

    0

    主题

    4

    听众

    3

    积分

    升级  60%

    该用户从未签到

    回复

    使用道具 举报

    qazwer168        

    0

    主题

    4

    听众

    53

    积分

    升级  50.53%

    该用户从未签到

    回复

    使用道具 举报

    74

    主题

    6

    听众

    3302

    积分

    升级  43.4%

  • TA的每日心情
    无聊
    2015-9-4 00:52
  • 签到天数: 374 天

    [LV.9]以坛为家II

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

    群组数学建摸协会

    群组Matlab讨论组

    群组小草的客厅

    群组数学建模

    群组LINGO

    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群0 B! W( B1 B5 h; s
    阿贝尔格序群& N+ b, [, E) E' ^4 S9 a
    阿贝尔下令组4 r. l- d- D* @: _+ U) }; g
    阿贝尔p -群* q- x3 g! M# a5 @1 ^0 F
    阿贝尔部分下令组
    ' y# w& R# B3 S9 P行动代数行动代数, v9 h. z- N6 O1 I. [
    行动晶格
    7 n' |$ q$ H+ y9 s4 ?# e代数晶格$ A, `5 ?9 f/ y7 T- j& J
    代数偏序代数偏序集' t( o0 T. a# E# M% L
    代数半格8 c' _2 }, t! ~- D6 O
    寓言的寓言(范畴论)
    * j, i. Y& o6 p几乎分配格  o7 p. E" f) [  l5 d3 l  ]
    关联代数关联代数4 i8 L8 o& N- c' t2 Z! V- v5 [8 D% p
    Banach空间的Banach空间
    % S( Y$ n6 R3 J8 x1 Q5 X  H乐队乐队(数学),有限频带2 k( U! b8 H$ I# d/ y. d+ v
    基本逻辑代数2 a  Y; |$ a8 x1 Y* f7 a# {
    BCI -代数的BCI代数
    - ?6 }: T: q1 R( r: s4 u' WBCK -代数BCK代数4 m4 w" S. o% ?/ b2 S( s9 p
    BCK联接,半格/ i, ]* r& H. E7 c
    BCK晶格
    / Y, m9 F+ i( z6 N2 fBCK -满足的半格6 D2 [' i9 t7 a$ e9 l' W1 l
    双线性代数) z! Y1 A4 u5 X: Y
    BL -代数
    6 ]  S! F2 v( J" zBinars,有限的binars,与身份,身份和零与零,
    5 o# x- ~6 [, Y6 h+ l+ [布尔代数布尔代数(结构)
    2 z# H; \# k6 _! `6 c: Z9 X0 m与运营商布尔代数9 M! R9 l0 ~3 V$ a0 E
    布尔组% H1 F% W. T6 E5 q6 B
    布尔晶格
    & d' h+ w3 u# s& n/ x" @对关系代数的布尔模块
    ( W- a# ?* I: K' o3 L; {布尔半群
    # N$ I: _$ b( L7 _  u3 C布尔环) u9 l/ }. ~. T9 m0 ?2 q5 f
    布尔半群& W7 C( \2 J- S, [
    布尔半格; K8 _  Q% b& h
    布尔空间
    5 P% y  n! e- _1 O有界分配格. ?; B) z% O* f) t# Y# N
    界晶格/ c  j  T9 b1 U% z% Q) ?
    界剩余格$ C' ~0 I. P# K* g' w; @
    Brouwerian代数
    8 u7 X/ S4 ]. Y# FBrouwerian半格" q" @8 z  H7 }9 v
    C *-代数
    6 \2 s! ~! H9 i6 A) {消可交换半群
    2 z0 U$ {" i9 q( C消可交换半群
    : U7 W! R6 y5 `, v# \" o* M可消半群. W" J6 i3 k) D: B% c
    可消半群
    ) j% I1 U7 f/ @% ^消residuated格
    4 ]' G2 ]: O. H; O: _; ]分类
    / [( y/ L& D6 k) d+ L7 e$ ]/ ?
      b- Y! P6 t( O0 t5 x1 [克利福德半群
    1 c5 a) l/ b, Z7 W  aClifford代数
    2 \, U0 m8 _( B) n7 {封闭代数# ~3 ~6 |8 W7 ^9 M' e; `1 L6 r
    可交换BCK -代数
    * L8 P0 `9 C( }. Q- q交换binars,有限的可交换binars,与身份,零,身份和零
    . E+ |0 C- T) y/ `# D5 p6 l可交换的组成下令半群,有限可交换积分下令半群
    ) H* l' q9 S0 {5 W* W$ j交换逆半群# k6 R! H; z! o* x0 _
    交换点阵有序的半群# t& w/ E9 w" j/ P" _
    交换格序环' H. s% J  z  a$ m; \
    交换格序半群; s3 \( N" F) l  j
    交换半群,有限可交换半群,零的有限可交换半群- e: ^% E: v0 G4 W
    交换下令半群3 J8 B* V! x/ O0 M6 D
    交换下令戒指
    % ], x8 Z" @2 q9 x4 ^, `$ O有限交换交换序半群,序半群! \% z* c0 z. _, Q. \) s6 v/ `
    可交换部分有序的半群
    # S( g% k% M) w3 w) I可交换部分序半群7 j$ d  i  W- v& X- O/ _
    交换正则环
    2 J( ?3 {# c+ [' [交换剩余格序半群9 g, C! @  V8 L. c* E; k
    交换residuated格
    ; p% F9 |) Q: K3 A* e7 l可交换residuated偏序半群0 [  J+ @, L" f4 b& G
    可交换residuated偏序半群$ Q3 ^, v/ n, J
    交换环! Q$ x/ P/ U8 q7 ~9 o
    与身份的交换环9 c3 }: e; H2 a5 R  y& y
    交换半群,有限可交换半群,零1 n' h! ^& G/ b! J: f0 A2 g  U( K
    紧凑型拓扑空间
    ' L/ B1 n. `6 T5 w  u4 R' U3 E' J紧凑的零维的Hausdorff空间
    : x$ S* q+ A0 m8 P& b! Q补充晶格
    % w, d  _, Q; ]& F3 j# g有补分配格: K  ]+ k0 b) D$ f7 K8 `( k$ }
    补充模块化晶格  E- V7 x7 f1 H( ?& a& [6 k
    完整的分配格
    : [/ N5 y; t- Z4 i: X; e完备格, c: o! ?! G1 b/ Y
    完整的半格8 x/ Z  R8 B6 h, R  s8 U! a6 ~
    完成部分订单/ O6 n- I5 w! x
    完全正则豪斯多夫空间0 \* @: k; G9 B. s" z
    完全正则半群9 c% ~! f! U' I  ~( j5 J; q% i
    连续格
    & \% b% U7 M6 e2 h. K连续偏序集6 C* s8 K" J, O5 X+ C; u1 }0 q6 `, v
    柱形代数
    ( P: b1 d8 H) c: G' N3 y德摩根代数* X: v2 i$ K& T4 t" {- S* S9 c
    德摩半群) s) Q1 k* k4 {" p# h( {) H: L
    戴德金类别2 T" l3 \) Z, Q1 t4 }" N, o6 Y
    戴德金域
    3 C& j# |5 `! s- B" l& N稠密线性订单
    - F( R$ D# j. W1 w5 x0 B有向图代数
    2 V  M% e$ d7 z7 U+ H导演完成的部分订单/ d# t3 y) N* o- s/ _
    导演部分订单* W1 h8 \$ m, u1 x
    有向图
    $ {# n! S2 ?, X1 e/ pDirectoids1 [% `% o  N* X
    分配寓言6 P2 a, q. w- {
    分配的双p -代数8 r2 R6 y- g; g4 p" |
    分配的双P -代数
    . [$ n6 X  F( h& f9 H分配格扩展
    3 c0 g, K- j# U1 k2 M4 @分配格% F* S* ?; S: e) m+ l7 g: [' \
    与运营商分配格; x/ D7 }# J8 k) I0 \- @: O
    分配格序半群- P0 F  j. |1 H6 k/ Z6 ~, `
    分配p -代数
    5 ]( G3 x6 N# X5 v分配residuated格& |  n$ m# J, y: `
    司代数4 }4 i* e  q, k
    科环# [8 U' k# K* ^1 V! P$ c  ?5 o$ k/ N
    双Stone代数
    $ s; N( D4 Y, u% ~6 g" Z邓恩半群
    , `; w1 z( z: D动态代数- w0 |" y4 e% G" T7 L! `; z
    熵groupoids
    . t( \  r  i% Z等价代数- E5 M4 ?$ q4 A* Q* q$ m" T) e. E
    等价关系- R) J! V  s3 s$ L
    欧几里德域1 l2 k( k* @  R8 r
    F -环
    3 h: w  ?) g2 e/ z1 t字段
    $ C) ^  V& t$ V6 R6 c) ^0 Q9 b7 ], LFL -代数/ V, w- t/ N3 P0 M
    FLC -代数. e; |7 Z& i0 Y6 o% [
    FLE -代数
    6 C! P! S2 q6 |6 ^3 o飞到-代数- Z* o1 `6 B1 o/ M
    FLW -代数! S, n0 T5 {7 }2 S- \, t" _& @( _3 S8 c
    框架# c$ q8 c9 z% ?
    功能戒指3 I9 Z/ L! G4 X6 q
    G - 组! o( J/ Z/ z  g& S: C
    广义BL -代数
    7 J' [( g1 P9 Q% {; y7 v- ^广义布尔代数
    ! b0 @8 j% T* \$ D" \3 g广义的MV -代数
      m* Z$ p, G9 L" Z  r! ^9 `Goedel代数
    ; {: E' H" _+ P% a9 X- M+ G9 G1 E  D2 q$ K7 @1 l- `+ @9 m( n! V
    Groupoids7 T+ D% h) ^2 g4 m0 a  t% c

    ! m$ h- Z6 O/ I9 u2 E豪斯多夫空间1 |; ~% `8 @- @$ b5 |1 x* a1 i( c
    Heyting代数
    ; b4 ^: T4 e! h( w: Z希尔伯特代数5 m. H( a! B  m
    Hilbert空间7 s1 z* j- O, s" S! h* j6 @
    篮球$ X" K. F$ H& l  O1 I1 v0 }7 v! H; H% k
    幂等半环
    & ^$ [$ O) v: j9 I; d% @5 c幂等半环与身份2 ?6 p5 l. _+ c3 m& e2 l5 Z4 W
    幂等半环的身份和零
    6 U3 `; j1 N* X$ \幂等半环与零7 l6 \) A. v& c" v" q$ l  u* v; s
    蕴涵代数! H6 }1 {7 G' R1 O# V/ k
    含蓄的格子& X0 A- @' d7 t$ u; ?) q
    积分域2 b" r- Y/ D7 e7 o: h' D4 r) v
    积分下令半群,有限积分下令半群" z4 I' R  U; f- _' S- t- ]
    积分关系代数  b9 d+ M2 h4 v, x$ o3 R1 ~
    集成剩余格
    # z  H' c( a2 a7 }) Q4 E直觉线性逻辑代数
    8 H1 \" J; D: t  F逆半群+ w# n8 G! |6 ~6 b" X6 I0 h
    合的格子
    ; F' C6 ^: u" J: G) }合的residuated格: Q% }7 ?7 o, D/ r# v' J
    加盟semidistributive格
    9 l. z- X  {/ E3 s( ?5 H8 N/ p加盟半格
    : J5 v6 k" u1 g% L" Q约旦代数$ `* N; b9 I4 N8 F7 D$ ^
    克莱尼代数
    : s' c" ]  j! c% Z8 X6 r5 _) s克莱尼晶格- z8 u: Z$ p0 ]
    Lambek代数6 d& e5 S1 s- F3 ]9 E, p5 P
    格序群
    - p! A) a# b& Z; O1 E格子下令半群
    , \5 i) S) L/ [% \格序环/ x0 t9 w6 y, p' n6 A3 I
    格序半群
    & I/ j0 n: P: r* F
    3 {0 g) C$ e' D& R, f! s左可消半群* |! A+ ]( I' s+ f9 L0 T
    李代数1 n; p( m6 a* N! w
    线性Heyting代数
    ( ^! l. t7 J& }' t% q  [线性逻辑代数
    , r% o8 o: i* }" `5 S. C5 g线性订单* A; [! O5 m1 x1 ?7 U
    语言环境
    & t* Q" C# u( S: @$ L+ L9 a局部紧拓扑空间
    $ y3 V- X7 ]6 r1 y9 }( d循环
    ( k7 f. x! H- D! x6 k+ B# jn阶Lukasiewicz代数
    % z6 [5 [* |% O1 ?& b7 y  QM -组
    $ Y' K1 i$ K. x- b/ i7 ?3 C内侧groupoids
    & ]6 r9 w6 X. |) r4 D内侧quasigroups! E+ g4 ?, V* y* l
    会见semidistributive格
    2 @( H3 ?  t* U) Z6 s会见半格
    ) l" {8 v6 N: N/ v! F1 [度量空间5 _4 s. D- A1 |3 [4 R8 P
    模态代数
    1 |% s' b/ f, B5 w9 c模块化晶格
    + a" [- W7 f. H" n模块化ortholattices
    $ b: l7 B2 m% x. l环比一个模块
    8 {+ v& C8 Y! e  ]6 x" m- Z单子代数/ ?; ?+ o5 h" F6 g3 {, V
    Monoidal t -模的逻辑代数' \" p8 @+ V7 }; B
    幺半群,有限半群,零7 u  q$ N7 I) ?9 o& h, p8 s6 N: f
    Moufang循环. J2 d+ E. ], D4 b, P4 L5 L
    Moufang quasigroups( }( y2 e, u0 p2 F" l6 K
    乘添加剂的线性逻辑代数5 X- z7 S" l6 H
    乘晶格% o# c, i) V1 Y1 B1 O/ c' D
    乘法半格
    , e. Q- t2 m" c# C/ _4 O多重集
    5 n" s6 m3 J" x6 d+ \MV -代数& L& h& A2 N& P  P
    Neardistributive晶格  R5 Q* n% x/ d$ h- w
    近环
    / Y$ j: n1 d$ X# G# d近环与身份2 j4 b$ K& F0 `5 E8 J2 @
    近田/ k/ i1 P2 O1 I9 G$ q
    幂零群2 {5 i+ }5 u' h, `7 k" H5 F+ m
    非结合的关系代数
    1 V' ~5 [& v" i) w* H非结合代数
    6 i5 k4 k, f" Z3 r  x4 Z普通频段
    ' v5 A- Y5 b5 U# g' F% @# U正常价值格序群7 n5 {1 I) E/ ?" K: w2 Y
    赋范向量空间' L+ I1 f5 f( o7 q# U! r/ a8 T
    奥康代数
    ( @2 O" H6 z' ^, g" S订购代数2 P7 G  k+ v/ R; u
    有序阿贝尔群
    + e- d1 t3 Y  L* b3 Z有序领域
    : n; I- D- e# c  A& g0 t- Y序群3 x3 B$ F5 s8 [# s* t2 M
    有序半群
    8 j. C6 v1 e0 ]5 y与零有序的半群
    / k9 Q# G, {" o; T有序环  b; e( l7 Y. }+ [
    序半群,有限序半群,有限下令零半群
    ) x7 I# _) ^5 m. D# J6 E有序半格,有限下令半格
    % ]% }; P" \: s1 Y! G3 @有序集
    5 Y9 @7 W- t" v) l: O矿石域* U, j; o/ _2 T3 L/ _  k
    Ortholattices
    % s" S  m) A5 }& b正交模格
    & ~' G7 A" i  g7 sp -群. x2 ?6 l# [7 J
    部分groupoids
    5 T9 I* t6 u# z8 r2 A. M部分半群7 |6 U$ D/ u6 y' G
    部分有序的群体  y% Z0 X3 y3 D
    部分下令半群, a0 a' n- N: {, A
    部分序半群
    % b5 D+ J& g$ E! }0 ~2 j; d部分有序集/ k7 I9 g, [$ i( F0 C
    皮尔斯代数7 a: e7 e/ I: }. j7 ^
    Pocrims
    # O$ P2 A# \+ O6 e* ]指出residuated格# n3 G1 s# O& J
    Polrims
    * ~2 v9 \+ R. I0 r- u4 f# r0 KPolyadic代数% ?3 f$ w$ y* N& b7 ]
    偏序集
    ) m5 u/ K: X. q/ l' P* v邮政代数
    * i7 ]+ ^- q& v4 M8 sPreordered套
    0 \( a' a) d# T  i) y0 \普里斯特利空间
    ( W$ A8 |- @0 K6 E6 `主理想域
    ( z' M3 l( u' v+ |# m& a* J进程代数) S( H9 U9 H+ s; {/ l
    伪基本逻辑代数
    ; n& @: ~, x* P" w6 X伪MTL -代数( D+ P, d- l; k, C
    伪MV -代数8 r) _2 w/ s! h  M3 }9 a$ C
    Pseudocomplemented分配格
    ! T7 Y' _1 q/ P5 s) ]纯鉴别代数# F! Z6 I& f" p5 l1 @2 l
    Quantales
    , X/ B" r- h% f$ l- |Quasigroups/ h- D! m) o2 g: H. w& J
    准蕴涵代数
    9 J( M: n# w9 e7 v1 M/ F准MV -代数( [; i9 {9 d: W& ^/ x
    准有序集
    / F" V: w/ C9 G5 o$ g/ EQuasitrivial groupoids  _- L6 h$ }- Y( ]& l' B# x! t4 o
    矩形条带; @3 f: ]/ g; j, w3 f
    自反关系7 A. s* A- M. A. N, T2 a4 I# v4 m
    正则环
    4 O5 M* Y% Q; r' [/ N正则半群
    $ ]' \6 z, l; z关系代数
    % J+ |7 P! q& [& F' {) C0 U相对Stone代数: ^% |& ?- R2 v9 o
    相对化的关系代数# O3 v  a+ J' C# I" h7 J
    表示的圆柱代数
    - \+ b! N: b. p7 k8 ?$ D表示的格序群体+ ^, Q1 Q4 r! C' e  n3 L$ l
    表示的关系代数
    3 E. I: q1 A/ x1 F表示的residuated格
    & p4 d* c9 f$ i& d) n1 i- kResiduated幂等半环
    5 D3 B- X7 k9 g  M剩余格序半群: h' r. T3 M. B* r* }3 @
    剩余格" q! b1 `' w  \, r+ X
    Residuated部分有序的半群
    ! U, g; [( l8 N2 i0 wResiduated部分序半群
    ; W1 Z  h  P) v) X: {8 [* x戒指" N3 |2 m' i$ @% ^/ [9 \
    戒指与身份& z$ e6 `0 |; E( c
    施罗德类别* P, d) M- u2 p: Y+ ~
    Semiassociative关系代数
    7 m$ u$ ?2 [/ l/ ^Semidistributive晶格0 D3 k* a8 w+ R8 _  N
    半群,有限半群7 y1 ]( `0 ?" @9 x
    半群与身份
    , Z; q$ j& k* o% a1 z半群与零,有限半群与零# p+ C" P5 u; m. i
    半格,有限半格
    ) L/ O1 r+ r0 l4 u7 a与身份,与身份的有限半格半格
    , d8 L/ ^3 u& O! m% S9 k% U半格与零
    ) L$ P& Q4 W6 m" C7 K1 d; i半环! C( ?9 E6 @. R. J# i5 G+ v! p
    半环与身份
    ) I1 [- Y& M* i/ h) @' m$ @半环与身份和零  f% H$ ^& O4 x4 z* J% _7 I
    半环与零
    + v; h8 J6 r  ~1 e2 c5 V连续代数
    - U% X5 S4 z  Q+ ^; j& L, {
    2 X" L0 a+ X5 o9 X. r8 n) Z+ d! @" I1 n# X) M( l
    歪斜领域2 H; O$ k  A$ J9 u" J/ T8 g
    Skew_lattices
    3 @% v+ E+ r) Z, u小类+ Q6 F. y3 y8 r
    清醒T0 -空间5 Y, ^. J6 A3 o7 V  A; x* O
    可解群- v! `- V6 f6 o- [
    SQRT准MV -代数
    # X/ R& L0 x/ k稳定紧凑的空间
    5 {5 Z( s; y% |% M施泰纳quasigroups
    5 l: J0 \  ^: c6 e& [3 XStone代数
    . s' H* Q6 ?; n0 p% L对称关系8 x" {* n, @3 u) E# K/ K9 ^
    T0 -空间5 X2 D5 |2 l/ a! y) c- d2 w
    T1 -空间9 h6 q; ~. k" \! m7 P
    T2 -空间6 s& K% z* N5 F: M3 b
    塔斯基代数" L5 f7 f9 U( i& I7 k
    紧张代数
    3 P! ^  R" p. _$ M9 B/ D时空代数
    - x' G+ B: d# }' U: I" [4 o9 i) F拓扑群, N5 u! g8 S0 ~  D
    拓扑空间% w" j0 o) Z% w. e# k& ^, g4 c
    拓扑向量空间5 M7 E: ?4 {) v- m6 O+ ]
    扭转组
    0 [8 `1 [4 {3 X9 D9 B+ N" K6 V  Z全序的阿贝尔群
    / W% m( h- h! ^2 K  q$ n全序的群体
    ; g9 i* o$ |3 a0 W$ [完全下令半群
    5 p- X! g8 k& m+ b' U2 o, I1 _Transitive的关系' V2 V7 I. y" ^! X7 ~

    / U" \1 M8 \5 I% f# A# z0 z9 t锦标赛
    6 w+ Z- m+ u9 K( p一元代数0 U. j7 O0 }" R" e: o/ `, b8 u
    唯一分解域) ~# D; z) N3 u/ L& F% Z$ _! O" |: c
    Unital环
    6 O4 U+ y' Z  G向量空间
    ( f$ G+ `' G* j8 c3 y$ W9 |; DWajsberg代数9 s7 s# h  |5 M+ t" o1 s
    Wajsberg箍
    . Y* C; N1 \: G  R" p0 N弱关联格, k$ R2 w, @% O. R$ b7 P/ M, Y3 R
    弱关联关系代数
    ! v7 O* F  a5 R弱表示关系代数
    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-6-14 06:00 , Processed in 0.443515 second(s), 81 queries .

    回顶部