QQ登录

只需要一步,快速开始

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

    ) k; K  g- z1 Z1 {2 H- t+ o3 r& a
    Abelian groups     Abelian group
    $ a  M( @. u5 r2 ?' L4 H! f7 bAbelian lattice-ordered groups
    * ?+ }: e5 d! J. E6 U" ~Abelian ordered groups
    $ c" e; V% H* o4 K4 U$ ?Abelian p-groups
    " Z7 {. N: ~3 T( T, }" _Abelian partially ordered groups) N5 k4 D. j( `) K1 S0 i9 C4 ~* V
    Action algebras     Action algebra( ~7 _# b" u, L% x& j3 d# t
    Action lattices; }% L  N) Z8 H
    Algebraic lattices
    5 ?1 D6 K5 t$ Q. b2 \% ?. cAlgebraic posets     Algebraic poset$ E$ E; s- z/ n
    Algebraic semilattices1 }: a" G7 |# S
    Allegories     Allegory (category theory)
    ) w7 u9 h0 f3 r( QAlmost distributive lattices
    $ ~* J5 b  d! D5 g/ Z5 j& J% fAssociative algebras     Associative algebra- G8 K/ z: L, w5 P7 g+ p. P
    Banach spaces     Banach space( b/ i& |$ l" r7 }
    Bands     Band (mathematics), Finite bands$ j$ O, C7 E" K5 W
    Basic logic algebras
    5 M, b3 \5 ^! D; K1 D* }/ ~9 QBCI-algebras     BCI algebra
    5 u+ u, D5 w5 h$ ?( `; z" B# dBCK-algebras     BCK algebra; e  p4 f' d5 C8 u; g
    BCK-join-semilattices$ k4 U( A" Y  f
    BCK-lattices: b9 w& u5 U; [9 S
    BCK-meet-semilattices
    & I6 E4 `! I5 |7 rBilinear algebras; g9 R9 i- s0 ~- d$ A" _
    BL-algebras% [/ n! ?( `  O5 n2 N7 P
    Binars, Finite binars, with identity, with zero, with identity and zero,
    , Q6 d9 k/ Q/ o9 M" fBoolean algebras     Boolean algebra (structure)
    8 L% `1 I: }$ p" r* D) V/ sBoolean algebras with operators5 |8 {2 M5 j( z, F2 a
    Boolean groups
    ; }, A+ C: @5 R6 I$ |- J/ lBoolean lattices
    , ?1 N% {' T1 I( p* d! BBoolean modules over a relation algebra; N4 f3 v! [4 q) Q" T7 s3 N' P
    Boolean monoids" @$ D' u8 P2 ~
    Boolean rings
    , Y8 W2 E$ Q. U* z! B4 nBoolean semigroups
    : f: z! R' p* @! t, ~& h" IBoolean semilattices
    5 J+ w' Z( }3 n# D1 v1 ~Boolean spaces
    : J+ q+ D3 A& q6 o: g  ^5 ?; d+ PBounded distributive lattices3 R9 j, q; F* o- ~& ~3 b) Q
    Bounded lattices+ a, {3 Q4 _6 H9 C0 z8 S! w
    Bounded residuated lattices
    / D8 Z8 x0 \/ |3 a1 E( y" QBrouwerian algebras
    " s$ `9 Y0 l$ {$ g& ?Brouwerian semilattices
    ) `( H. P: ]0 a8 V6 q8 tC*-algebras
      d$ J# m  d( U% {9 tCancellative commutative monoids1 e1 y" r+ N& \4 N  N
    Cancellative commutative semigroups
    " M0 n: A; ^# P/ u2 [! j" h& WCancellative monoids: A. U- v4 o9 A! I2 J3 I
    Cancellative semigroups
    . a: h2 s5 K: ^8 ^Cancellative residuated lattices- S( [9 G7 i: T
    Categories
    5 s; r8 o& u! @& G; C1 d; uChains, c+ c1 y6 n  [
    Clifford semigroups
      U, z0 |, h/ D6 {Clifford algebras. W: Q4 D; x. V) b8 `0 o
    Closure algebras( X. Q# l: A" r4 Q3 \' y
    Commutative BCK-algebras
    . a$ A- N( V( M# K8 k0 tCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
      `! G# g5 C$ X& b' qcommutative integral ordered monoids, finite commutative integral ordered monoids
    / [! E4 L5 S  @2 L9 u' Z. DCommutative inverse semigroups9 i* A2 z: N! B
    Commutative lattice-ordered monoids
    " U* \" V4 x6 i5 C' A" q9 J3 p9 nCommutative lattice-ordered rings7 C0 p/ `# e! T/ |+ l
    Commutative lattice-ordered semigroups; ^) U' V# o& [5 l; H
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero) ?& S$ s- J. j/ _. G
    Commutative ordered monoids5 Z$ i  h6 U8 X4 G
    Commutative ordered rings
    6 Y6 C" j* N+ T, \( \8 uCommutative ordered semigroups, Finite commutative ordered semigroups* ]3 h2 `( M: B/ }/ D! D6 W
    Commutative partially ordered monoids
    % A/ u" X4 a" E; R  Y" U# UCommutative partially ordered semigroups& ^& N( o# B( _
    Commutative regular rings
    ( K1 z  I2 c5 N8 h; i: j5 rCommutative residuated lattice-ordered semigroups8 T6 C4 M5 o& q) I  g8 Z" R
    Commutative residuated lattices) c+ L) b9 I5 W  w3 B  f3 P
    Commutative residuated partially ordered monoids
    ; H: l1 o8 o5 x3 vCommutative residuated partially ordered semigroups
    $ L. u5 h$ w& e* l& E, JCommutative rings' \8 P# |/ `5 K1 ^2 u
    Commutative rings with identity
    + Z: ?4 T4 k& `0 h* A$ K) ]& MCommutative semigroups, Finite commutative semigroups, with zero( C. E+ R& E( B1 Z& k0 h
    Compact topological spaces
    7 K# R/ [0 F+ o7 kCompact zero-dimensional Hausdorff spaces/ ?) b: D1 S! l$ H
    Complemented lattices
    5 \4 r) d; @4 IComplemented distributive lattices% D+ t4 S6 A# F/ {* N
    Complemented modular lattices; I) {2 d$ k- g6 x5 j
    Complete distributive lattices
    8 W, X: a' L, S' [2 eComplete lattices
    2 ?+ j! t+ [$ K* k" rComplete semilattices$ ?* Q1 V9 D. E0 @( e
    Complete partial orders# K& F: |. I2 U) z" m* ]# F
    Completely regular Hausdorff spaces
    4 b& A9 O5 o6 e' KCompletely regular semigroups& R3 ^8 x  O+ R
    Continuous lattices* f4 P" h% J7 [5 }3 x2 [, Y1 `, D! W
    Continuous posets
    $ E$ z( ?! I. ]% ]; F( _7 u/ GCylindric algebras
    ( H- o/ W6 U1 M) @. s, x8 e' }De Morgan algebras
    ( Z2 w8 f3 |- |, r' f1 h$ t" CDe Morgan monoids
    5 u8 T$ R- U/ E) j! B/ CDedekind categories
    . p. W3 Z/ l/ ]4 d9 k# wDedekind domains( g" ~. a" C9 g' N1 X# r
    Dense linear orders
    ; C' ~' B/ [/ t# Q6 gDigraph algebras' h! x$ I0 @1 M
    Directed complete partial orders6 R5 u4 k" V$ o' Y
    Directed partial orders  Y5 s  S% [( p0 t1 Z" N. F5 g# x
    Directed graphs
    7 D/ F/ \" k" N2 V9 s* t- SDirectoids
    : C! R& I' A1 @- z1 ZDistributive allegories
    * q2 x. \* c+ MDistributive double p-algebras
    " z( x7 l  }/ L8 F- I3 @Distributive dual p-algebras
    8 E# \9 t" x1 |9 c/ ~& g3 ZDistributive lattice expansions9 L' O2 v( @) m
    Distributive lattices5 K% s, |, [* ^- I& R
    Distributive lattices with operators- `: U8 z6 Y+ ]' |& y( m) @
    Distributive lattice ordered semigroups
      G1 _- V# w  D" g/ WDistributive p-algebras* V/ F% ^0 z) E" y% ]
    Distributive residuated lattices
      f1 N! u8 {' m& |7 @2 U3 rDivision algebras
      V+ S1 E" d+ F3 w5 B; EDivision rings
    2 a/ K5 k9 F3 E: ~: G* KDouble Stone algebras
    $ l! O" r8 K4 a) hDunn monoids
    , t6 v3 L, C- E! r6 ]Dynamic algebras
    ( D/ F1 c8 ~( c# V' k* I* Q6 {' REntropic groupoids* L& ?% d4 x6 S( E  L. A
    Equivalence algebras( `6 B% D! g4 u( m8 t
    Equivalence relations
    1 H- z/ f$ R" H8 M. O  C! ZEuclidean domains- |0 I! K. W" m1 |( @
    f-rings) a# _3 T3 h& R1 Y2 s
    Fields
    3 H: b' q( u' OFL-algebras2 g" Y' g, _8 z) y1 n5 k8 m
    FLc-algebras
    1 H4 Z9 Y: Y3 ^3 u9 M9 oFLe-algebras
    ( |; |* \8 A- _+ e, jFLew-algebras
    0 _% X, \7 M+ bFLw-algebras
    + f' }- z% |" ~/ u( bFrames
    $ W$ b, y4 F9 ~# ^5 @! jFunction rings% V( O) U( n$ M& e3 }
    G-sets$ \) X) V6 E3 l8 i9 S4 r
    Generalized BL-algebras
    4 n2 S; N" h4 J/ r2 K2 uGeneralized Boolean algebras
    $ y9 W6 R+ C2 ZGeneralized MV-algebras% S+ ~5 g  h$ q$ h5 p
    Goedel algebras
    1 F* `; D5 G! R. ~' EGraphs
    . t% `2 _6 d2 x0 m- MGroupoids
    9 w% H( o, v' L4 t2 p1 H8 wGroups% p3 x. r% \: }4 S
    Hausdorff spaces. _7 i6 P4 {  }; ?4 Z1 Q# T+ B
    Heyting algebras& m; V, c& N# K+ p" ~
    Hilbert algebras  v  Z, ]! Y' B9 L7 W
    Hilbert spaces( g# n2 K* X/ v0 ^2 p/ ~
    Hoops: k% ]) t1 u7 D( N. T
    Idempotent semirings, S, \  ?' d6 Z6 S9 K( R& x5 r/ c
    Idempotent semirings with identity
    6 L3 S: ]+ w) OIdempotent semirings with identity and zero" D9 `/ ~1 X9 Y/ p3 |1 S9 ?
    Idempotent semirings with zero
    / f( B, o( K8 SImplication algebras
    ' a! b1 ?7 Q, o  f& vImplicative lattices
    ) |3 C6 O+ c* b8 `Integral domains: t8 e5 b) W1 T9 S0 ]8 c4 p
    Integral ordered monoids, finite integral ordered monoids
    + D  c# \/ n4 Y, [6 }: _1 ]Integral relation algebras& B! R/ q/ h3 ~* h! S# G& Y) }  B
    Integral residuated lattices
    + M6 S4 K, C# q1 X2 kIntuitionistic linear logic algebras
    & s, i6 C  L) h" h3 vInverse semigroups
    ! L0 t% K/ N, C- Y. [Involutive lattices
    . {7 f) z" L3 {0 X- iInvolutive residuated lattices" b" d. A  e7 U8 R% Z8 v# U. P8 u
    Join-semidistributive lattices! L9 n, ~+ Y& T1 S. b
    Join-semilattices2 {; j. X5 H4 P9 q/ I; ~
    Jordan algebras
    & h% K) O- c' q- x8 D  x% KKleene algebras
    ) N. m  L( Z# g9 sKleene lattices' c5 P) C  Z) j# w2 ]4 i
    Lambek algebras; x! @0 u0 `# ]4 Y% Q9 H3 b  V
    Lattice-ordered groups
    1 T9 M! U* ~0 }0 J6 ^. ILattice-ordered monoids
    ; E4 N2 v6 z- o8 f: e- rLattice-ordered rings
    7 H$ R$ d1 e) w% X! |' CLattice-ordered semigroups
    $ K$ U0 s! s; f+ W9 u5 T, nLattices
    3 \" ^4 Y& Z! c3 I- ?" D* ULeft cancellative semigroups
    3 O; t$ K9 x) |! bLie algebras
    ) ]% N/ N' [9 _9 ULinear Heyting algebras9 h5 h. E# E6 I
    Linear logic algebras/ q. B' ^' M3 B' R& F' p
    Linear orders; H3 D, V4 {4 }5 P
    Locales3 G! Z3 [) g. L, M6 C" O
    Locally compact topological spaces7 y3 q/ e! f; d  d" U0 x
    Loops
    9 H  ]- @, c! W% i7 kLukasiewicz algebras of order n
    % X2 t/ E. g' x- RM-sets1 N; Y& M5 |, g% e. w2 t. L" s
    Medial groupoids; ~6 W# ^9 b. F5 T# }2 [
    Medial quasigroups% @- D6 x3 ^& F! E
    Meet-semidistributive lattices( H) T0 N* _$ r% d
    Meet-semilattices
    ! g8 A% D3 C" u- A! T6 N, yMetric spaces
    8 Q2 V% C* T* c2 HModal algebras
    ! c3 J3 V# I; P" g5 Y! O1 Z9 HModular lattices
    * K, M! `& \) G  y) y: qModular ortholattices! A! O, K, m1 t5 C
    Modules over a ring
    5 }. [$ U5 b1 ?Monadic algebras
    ' [- A( Q8 D# d% \Monoidal t-norm logic algebras3 t) U* s) S) b; D8 @/ _8 ~' `
    Monoids, Finite monoids, with zero
    7 c. v4 W1 S" f4 |Moufang loops
    7 h2 f8 r1 q9 \' sMoufang quasigroups& S" t! p( P0 p9 ]
    Multiplicative additive linear logic algebras' `( t, P  k- M* d3 s: Q2 B
    Multiplicative lattices
    2 O  W, V! K/ A1 P3 u% aMultiplicative semilattices0 i% y7 |' N6 [$ k
    Multisets7 q9 @2 z( I. q1 B* [
    MV-algebras
      `- a; d$ j( y$ U7 s& {3 LNeardistributive lattices1 L4 y& R& p+ @5 f  J( F0 K
    Near-rings% N& s4 e* M0 i/ t7 i0 Q
    Near-rings with identity; e5 `6 W% Z2 G* L
    Near-fields2 y9 a0 m, m" w" F) o3 R7 Y/ F+ a/ `
    Nilpotent groups
    3 Q5 k8 L9 u8 U! Y0 f% \5 ZNonassociative relation algebras
    ! c. X/ Q% E; \9 ]7 j: ^Nonassociative algebras$ j3 J* H& D/ A0 O7 `4 j
    Normal bands
    ) f; Q5 |8 M$ w: YNormal valued lattice-ordered groups/ R. ^' l  F. ~2 z# A* x. U: n
    Normed vector spaces
    & {5 J+ I2 J6 [6 `Ockham algebras
    ( w1 O/ j! ~* X& j- q1 k* s% b1 q( \Order algebras
    8 L$ J+ a) C$ b5 h$ hOrdered abelian groups7 G; N/ b, ]: Q+ u' x
    Ordered fields
    1 ~+ v) k- _' i( b/ x6 wOrdered groups) o; i$ o1 |  e* m4 ~0 ^7 _) g+ O
    Ordered monoids
      `* O* ^& f- f* DOrdered monoids with zero
    3 H; o+ l) B( j6 X3 A# P/ ^Ordered rings
    9 m* D& }& ~8 K9 C! oOrdered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero" S2 K. W9 p- r" q! f
    Ordered semilattices, Finite ordered semilattices
    9 \2 h2 M4 I7 v5 u2 GOrdered sets5 {9 n) K+ ]" C5 K( `; v
    Ore domains7 G4 X8 ^/ Q6 j7 P7 E# r
    Ortholattices2 ?& \9 Z; X5 V( k) S2 M: q
    Orthomodular lattices
    / D& y6 e5 k0 S  D; U; C& @; g$ ip-groups, f9 c/ C' H3 U" w; Q7 B- ]8 R1 V+ U
    Partial groupoids
    ' _4 H( ~; d# _: \Partial semigroups% M1 {& d, e+ {4 m( s# q
    Partially ordered groups' V. w1 b5 z$ q2 }5 t
    Partially ordered monoids
    5 `3 O, t" T2 dPartially ordered semigroups
    ' H6 T# E0 T0 ]$ t5 p( b  hPartially ordered sets
    " h5 B8 b# T, e% x$ HPeirce algebras; r: S' _6 ^" l4 }/ C+ J3 y- P
    Pocrims
    9 e, x, E" a9 P& y# r# GPointed residuated lattices, @& t; P- V: G" R
    Polrims
    2 j: c% `" `. S% KPolyadic algebras" F. V" o. j% ~' _; o, z
    Posets& E/ v2 d2 `; W, a
    Post algebras+ z/ i! L, ^: a, C$ r" o
    Preordered sets4 i& |7 ?/ G- C9 n5 S
    Priestley spaces% B0 D9 K( @! Z& ?0 h8 r2 y0 a
    Principal Ideal Domains
    , t, j+ X: K* d1 S' _  l& rProcess algebras& E7 L" e  R# l7 h* m; a+ V* P2 n
    Pseudo basic logic algebras% M" G' Y0 V5 K, e8 z4 x
    Pseudo MTL-algebras3 b5 Z& f' w( i, w
    Pseudo MV-algebras9 f. L, U) h! g4 q* x
    Pseudocomplemented distributive lattices
    4 R" Y/ Z) m0 EPure discriminator algebras  I  \' Q9 x0 J/ t. Y3 |
    Quantales
    8 z* m. g, q- u8 y0 G0 yQuasigroups/ h7 z) Q; P# A4 {
    Quasi-implication algebras
      f9 o& V9 z& nQuasi-MV-algebra0 [# s5 v2 I5 i3 u' I& f, I
    Quasi-ordered sets/ `7 F7 s0 r- m
    Quasitrivial groupoids! b% i6 a+ ]6 U) Q6 h) G
    Rectangular bands- Y. h7 Y$ t. x+ i7 I! ]( L. x
    Reflexive relations
    9 D* l: a8 e& v* sRegular rings" M7 o6 i8 \/ j2 F1 }
    Regular semigroups/ c" f. H# s$ ]1 z+ |
    Relation algebras- m+ q! S2 {5 H4 p" m
    Relative Stone algebras
    1 ]7 \4 i" j3 k! r6 u+ y: IRelativized relation algebras
    9 ]. C5 I" K/ ?5 }3 r. D; W; R/ SRepresentable cylindric algebras
    1 ]) i! C- ]6 f# I/ `Representable lattice-ordered groups
    , j, n* ^% k# Q& e; d! CRepresentable relation algebras
    2 E8 L* V, u5 e/ i3 z5 \3 V1 qRepresentable residuated lattices
    ' j# H8 a5 `1 J' U8 }+ x" t  @/ x& mResiduated idempotent semirings$ {2 ~  ^( B" Q% j
    Residuated lattice-ordered semigroups
    4 g( o4 t! o* S- T7 KResiduated lattices/ p2 j' t* J' H9 `" B$ J; q+ \
    Residuated partially ordered monoids
    " s" M* a2 r7 L+ N% j2 uResiduated partially ordered semigroups4 ]+ h  E' g: U1 V6 e
    Rings; A5 L9 X2 r5 T* I9 q) v
    Rings with identity
    6 P) T5 d" M. P$ H& mSchroeder categories
    ! f% P4 \% S- K: U4 w& [Semiassociative relation algebras: [3 x4 g; [2 I1 w5 h* U
    Semidistributive lattices4 q2 [: J/ j: x' {6 M& L; Z. m
    Semigroups, Finite semigroups
    ( N& O  o( x6 h1 o9 |0 qSemigroups with identity
    1 \" J3 B* z2 JSemigroups with zero, Finite semigroups with zero3 j9 o6 R; Y) F; U6 p& h  O. E
    Semilattices, Finite semilattices
    + ^8 V6 c1 k+ [$ J8 kSemilattices with identity, Finite semilattices with identity
    ) b1 u/ G  q" I& y. {' HSemilattices with zero
    + `; }4 a& q/ {, zSemirings
      ^8 R7 D" Q8 P6 n/ F- {8 |7 J; U3 RSemirings with identity" S5 O+ W+ {( n! X( H# [5 p
    Semirings with identity and zero+ L; G, v  x( Y% u1 R' d
    Semirings with zero
    . U8 W) `. v! G! |2 T% ~Sequential algebras
    * ^. M! A+ _* ASets! |& Z/ q" B  _% a$ H
    Shells
    , d0 c- z6 h9 O4 Y5 H3 }0 X0 nSkew-fields5 c0 C; d9 n- Q$ H! g% F
    Skew_lattices
    9 e% y4 j, ]6 Z1 {1 [Small categories
    / S# N5 ~6 ?) M& g4 oSober T0-spaces; f& c5 b3 [" _* j4 V7 ~2 D/ j
    Solvable groups
    ; |8 G5 P. l* ^- lSqrt-quasi-MV-algebras* w4 J( p3 v. C( y' z$ j: ^/ x8 h
    Stably compact spaces1 G3 A& S$ p8 T$ `
    Steiner quasigroups
    8 L$ A1 \  v* p( h1 ^$ U' X& K0 x" qStone algebras4 {/ p' u2 X2 O( |- W% \. v
    Symmetric relations
    7 f9 B! Z1 z" B) X+ C# W1 ET0-spaces9 H* b3 ?; ~8 |4 v. }- a
    T1-spaces
    & `0 r5 t& X+ w0 G4 ]. Q$ M9 IT2-spaces
    . S4 ^7 g. C7 J1 y4 @1 JTarski algebras
    ; L9 C7 L' N- ^9 f/ Q2 U) y* PTense algebras1 D8 o  J! w/ ?- i% ?3 w; B6 ?
    Temporal algebras
    : Q( d" x, N* P9 Y2 ?# v/ HTopological groups& ]" F4 w- {( i1 c& A
    Topological spaces
    9 o" _, c, V# U8 C2 c$ [Topological vector spaces
    9 a1 Q& o, O, l+ z' \Torsion groups
      k6 a, L! R6 ^( W- V+ z! YTotally ordered abelian groups
    , ^5 J) \/ f! `/ u( i" s- ]- G; MTotally ordered groups3 \6 y- ^, q0 }  T0 }7 c! e2 y
    Totally ordered monoids1 V) \& D3 i) ]7 _4 ~
    Transitive relations
    & q( t" B' d. s( d7 F. t& s! Z( CTrees5 f# {- {9 D4 K  V! R( j+ |
    Tournaments
    & Q: d1 A9 \5 iUnary algebras% g2 Q8 r' I* v, C. q1 v
    Unique factorization domains# t: v" A! ^7 T2 a2 T/ W. k, ?
    Unital rings! W0 J2 Z& g  F+ T0 E, J8 n* h
    Vector spaces
    + }7 c! h2 @! r( S1 sWajsberg algebras
    ; m0 L- D- w1 {" {, q' RWajsberg hoops- x8 O" y% l7 m
    Weakly associative lattices
    2 V( ~7 M7 V3 rWeakly associative relation algebras& @) G/ y0 O7 w; z& M: I
    Weakly representable relation algebras
    7 ]' d& U. T0 ^7 U: K4 o
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    - Q- s' U: ^8 X& `! l* @阿贝尔格序群
    1 F# H% a3 Q* T7 ~" O7 r+ V( t阿贝尔下令组
    * e  v9 g3 K- B- y1 @/ |3 C2 O阿贝尔p -群/ ]: V: \+ O0 q$ q
    阿贝尔部分下令组
    6 {! r, E7 t% d! [2 E' D5 ]行动代数行动代数
    $ j& V) m+ B2 d行动晶格
    . P' g' F0 H  U8 e, J代数晶格
    7 x  G: [3 {# w代数偏序代数偏序集" [8 J9 i) q; e# p# J0 ~/ ^3 k) Z* j
    代数半格2 X* h# G9 M9 F7 ?$ p
    寓言的寓言(范畴论)' |+ x" _2 d( p8 G+ T
    几乎分配格
    & K. D& w1 X7 a) p$ ^4 @. u9 F+ G关联代数关联代数# \/ `5 ~! B6 l
    Banach空间的Banach空间
    3 p4 z9 w: w% z乐队乐队(数学),有限频带
    $ J* R- n! ]* u- n5 y1 }5 y( G+ p基本逻辑代数3 a! W/ {: e/ L5 {% \, ?9 g  f/ v+ t; o
    BCI -代数的BCI代数
    6 z0 p5 ^( `* F* F5 b/ v  F6 BBCK -代数BCK代数
    5 w+ e+ r7 e4 z0 Q4 M+ l- ]: QBCK联接,半格
    4 K8 z  H4 u( ^0 c* D5 qBCK晶格; P9 o! b$ ]; m4 z" f+ q
    BCK -满足的半格
    4 P# T) U* f4 `; B, ~& \! r+ l. n双线性代数2 `8 o- P. a$ i+ k1 _5 ?( Y
    BL -代数
    + }+ o% Y( I8 q0 oBinars,有限的binars,与身份,身份和零与零,
    . G/ z5 s9 {1 O7 M布尔代数布尔代数(结构)
    2 I+ B6 N5 L1 T3 `" g* }/ V  p+ v与运营商布尔代数$ {& z+ k1 X6 D, B
    布尔组5 @" I" S& X' A6 S( }
    布尔晶格# C/ F3 N$ r% W
    对关系代数的布尔模块
    * L, @# ^# ^% {1 S. ^& [布尔半群, `& n' X* Y# X' r. @: f
    布尔环9 U/ f5 V) p) A* f( o
    布尔半群
    $ _2 V3 ~# o- U+ b% _布尔半格" O3 \  |# X( ^% g: [4 ]
    布尔空间
    1 b5 k+ h: ~: t' S4 L) i' a* A6 ?有界分配格
    9 e1 w1 ~: G- R6 e. N) i; R界晶格
    ( S+ o9 ^* E+ O% p5 n7 ]. O界剩余格
    * K5 r3 [+ ]) P/ \Brouwerian代数
    ! z" F% B+ Y/ A$ A( x0 UBrouwerian半格
    2 w; {! X7 H9 [, N8 o' XC *-代数
    1 @; j; ]$ Q1 ~5 g. W0 M/ F消可交换半群
    , _7 k0 c. H) z) H, Q; w+ J消可交换半群$ B# m- D5 j3 Y# z" Q( d
    可消半群
    1 B. w& I5 l8 R可消半群
    ! q, y) h8 c2 U4 I- h5 U8 x1 j消residuated格
    " B) ~2 E4 Z3 J. k: I" O0 W- r分类( t  K6 ]0 s8 D( N+ a

    * G9 p1 |) e9 b. N7 [克利福德半群8 p. S5 H5 l+ m$ A
    Clifford代数
    1 f3 J1 S3 P; |* i! }' v2 S  g# y封闭代数
    + U) ^* @$ _; D" s% R! x' i可交换BCK -代数
    ; D; E; a6 w$ }1 J! Y2 W交换binars,有限的可交换binars,与身份,零,身份和零; ?9 k8 @! D! `/ a
    可交换的组成下令半群,有限可交换积分下令半群6 J5 }, `& R( A
    交换逆半群5 u9 W! E5 X; \9 K( ?$ y
    交换点阵有序的半群
    : \- k# V* a- w3 G交换格序环4 `% n1 W5 B: l3 `7 V
    交换格序半群
    . r- }7 }5 ]. `( f交换半群,有限可交换半群,零的有限可交换半群+ d# h/ `, P" X% g. X
    交换下令半群$ b8 w: b: m: j- H/ S
    交换下令戒指- Y) ~8 h1 f: Y8 q6 D( `
    有限交换交换序半群,序半群. X1 v7 S% m; ]9 C' W" N
    可交换部分有序的半群
      K' ~4 Z, K8 y1 g( t" ^+ k可交换部分序半群+ v3 K2 Q; \, D1 F7 i8 X/ i" Q& a. L
    交换正则环. R& G: n* E4 z8 V
    交换剩余格序半群
    $ h+ ~* V2 m( @  c/ d4 K交换residuated格
    - t) L- ~; B; M" s  k& A( y可交换residuated偏序半群
    ; u- D( [( b' Z& p2 d  E4 Z7 Q可交换residuated偏序半群
    3 G- ^( X# D# t  _! Z0 l交换环
    2 T- v% X% x, V+ x% P0 _与身份的交换环$ @! R5 P+ ^& F5 q3 _
    交换半群,有限可交换半群,零
    , r, r: ~& J: F& R) W1 p# I% f: _紧凑型拓扑空间
    6 f+ I3 g* G2 b$ P6 g5 s) o紧凑的零维的Hausdorff空间2 m: b' m5 ]( b1 {
    补充晶格
    . C# Q+ Q" i3 K有补分配格& t/ X5 j2 y. w
    补充模块化晶格
    : a0 Y( o- a. n1 K完整的分配格! Q! x' o2 I; ^+ u! L8 j: q( l
    完备格/ e& V3 D/ C8 ~9 P* E$ m
    完整的半格# j; x4 \! s; |- z( f( U
    完成部分订单5 Y; M8 f$ o7 g  L
    完全正则豪斯多夫空间3 T. U' ^3 c+ Q
    完全正则半群
    5 D  P1 i1 D7 }! n3 b3 S# F8 l8 M# E连续格
    # R# z7 C: F2 i- I, U# n连续偏序集  r# M) w. r  i; U$ g
    柱形代数
    * e, E& _2 [3 I德摩根代数
    ' L  V# j) I( W' J+ [/ T& j' @! z7 A德摩半群
    - J) n8 A  k. c& P戴德金类别
    7 u4 T" A2 S6 s戴德金域' {. J( @6 Z6 r* @4 p
    稠密线性订单
    " I2 F; T# s2 _1 |有向图代数
    - F% H/ z* C( h导演完成的部分订单3 d! S8 X  W" R" d  v: b  L
    导演部分订单
    ! e3 x9 r9 \  W  S有向图
    - K# S7 X4 V9 o3 IDirectoids5 a1 \; Q4 O" V: s  q0 K
    分配寓言
    0 O8 f. o5 x% P. R/ d/ X4 A; D分配的双p -代数7 D+ l' l! _  m, T( b' w/ u
    分配的双P -代数
    5 w9 K% O& }$ F( _1 D2 q% ~, B5 W分配格扩展0 i; f8 T/ \4 K% B
    分配格9 [; L6 p0 ~' r1 Y6 N
    与运营商分配格3 t+ E. ?+ H# c' S# [  e& x
    分配格序半群
    1 j6 G& P, z6 @5 |8 n- {" h2 V; Q* \分配p -代数
    7 G4 n# C( o7 K  G; X6 v分配residuated格
    - F4 Q" p! s8 b司代数
    , [2 q* ]$ G0 ~- v5 D7 }5 W! d% v科环
    * @5 P- I9 x' G8 U, t& W双Stone代数6 L! U7 ^* X, p. s. d
    邓恩半群% l! ]. _6 |8 K0 y  a
    动态代数
    6 s: |. a6 L  J$ a% Z! c7 D熵groupoids' }% h* T- m2 p5 K  u2 [
    等价代数  \* P; n% e$ [4 E; V( U3 r
    等价关系) }6 `2 v9 }& Q6 ~. A/ |
    欧几里德域
    " ^; H3 t2 h8 i" _. J: I9 ]F -环! L8 A' ]5 Q; Q3 c& O
    字段) s6 u1 t" G: a: g  a1 k
    FL -代数( B. |2 _) W, j: I
    FLC -代数6 Y, u  \& |, w) p9 a* _
    FLE -代数3 H5 Y% c$ [4 ]
    飞到-代数6 ^8 [: J) E9 |' J; A) \
    FLW -代数2 }  H* P9 j1 O/ ^! c
    框架
    ' [2 @- m1 [" z3 M! L/ W4 U4 P; B功能戒指
    1 E7 G% K# z1 h6 f; MG - 组
    5 ]! O& a) J8 G. K广义BL -代数
    & [0 }5 ]" @, [% R7 a$ g% h! J广义布尔代数
    : Z" e- Q* L! }  D3 G$ `* @4 D: I广义的MV -代数
    ! ~9 A# N) X; t+ W) YGoedel代数/ Z+ z) W1 O; i" C0 X4 {. t% B

    ' I! y( \& I: Z( rGroupoids3 V$ ]- t% S& P4 A3 [1 B& l( w
    : L! {& i% e7 s4 G! _' G( S# h# c* W) E
    豪斯多夫空间! M8 D* c" n7 U' n6 t
    Heyting代数
    4 v  F9 I, Y5 K希尔伯特代数
    / ?3 c+ c* z* L; e  r/ Y* m7 mHilbert空间
    3 G1 s# b8 K' c4 Q( `" p篮球5 E: W' X5 Y0 V" t2 f
    幂等半环8 A* @% l+ h! T5 f
    幂等半环与身份% t! z% g7 X# t% S$ X7 y/ R" d
    幂等半环的身份和零' o% o$ L6 l3 i
    幂等半环与零
      Q2 U$ y2 F' ?蕴涵代数
    1 `! |5 D$ [6 C: y4 Y& h  `; O含蓄的格子3 X  H0 B. L! t4 B, n
    积分域
    3 K+ C- D8 s3 i5 G积分下令半群,有限积分下令半群
    ; K. n. H* U; g' v1 g: g积分关系代数" H1 R$ \" z+ _6 l8 F
    集成剩余格* L4 Y2 w; a) Y, a
    直觉线性逻辑代数
    + |0 m4 t; r  V+ B% J逆半群4 p7 U0 }% r' u1 N0 x  l6 S
    合的格子
    0 z/ z: R1 m( ?合的residuated格
    # L0 _! Z& ]1 o9 F5 z加盟semidistributive格
    7 r8 `8 \2 \9 f0 M8 q. i加盟半格
    " a9 O3 @- ]0 S$ Y3 {! g约旦代数
    ) a; c0 [9 l: G克莱尼代数  w6 ]9 x& w  b6 u
    克莱尼晶格1 ^, X) H+ F1 _$ S# b+ ?7 i$ V* R
    Lambek代数1 K3 {% n3 U1 j/ O" j: j
    格序群2 i9 w7 k1 e, H; o- e
    格子下令半群
    2 h( Y" Q, H. C. Y8 R" Q$ ^格序环
    7 s, t' a4 Z: i: @6 o$ {格序半群# [% q( D) U: l; F& J
      m+ g, D6 i; D& k
    左可消半群
    ) L; ^- X& k. L7 C  X李代数
    ! z2 Y4 P2 e6 e% p; m/ O+ Y0 t! `$ [线性Heyting代数
    8 G/ Y1 U. ?6 j* S! d/ X3 n线性逻辑代数) D; E: v2 J4 [9 ~
    线性订单
    : ]$ C. I4 a$ z; [语言环境
    ' f& O% X, A# ^/ _2 Z8 y2 Y1 t局部紧拓扑空间
    - U7 A! P  W4 ^( m4 g3 @循环* r4 m5 o- X+ r! N$ a
    n阶Lukasiewicz代数8 l& p: b8 s$ y( y
    M -组
    0 ?# [5 H$ a  j0 D内侧groupoids1 z& B0 [+ u1 Y0 I; Y. b
    内侧quasigroups
    . m$ y2 l2 m8 p0 D会见semidistributive格
    9 T  L- U( E% O. C$ |会见半格
    / _+ G6 e$ Y; l" Y5 _8 h度量空间
    5 r  k, R1 ~9 n/ u% W% y模态代数
    + y! M4 Q7 a6 G! b, Q" F- I模块化晶格
    . R1 w5 v' k) e! h! R3 A0 ^模块化ortholattices( C/ m% r; T. t7 d, ^% D+ X
    环比一个模块; q! P0 d* x; s8 ]2 j
    单子代数. ~" k: v0 u' X' p
    Monoidal t -模的逻辑代数
    % ~9 i( e6 Z- Y1 m# |) H幺半群,有限半群,零% _1 G) B, [/ P0 A
    Moufang循环
    & u2 C1 |1 T2 M8 R4 FMoufang quasigroups
    ; |% W& j0 H/ G/ e7 @: I; V- C乘添加剂的线性逻辑代数
    4 z# f: w9 F6 B! q7 Y( C乘晶格: m; Y  \8 [. S' M  {
    乘法半格
    0 h3 k! K9 F  u$ H! c多重集) y  V  U, A" q9 O" ~
    MV -代数
    ) y6 a1 D( J; |* D. q3 s3 qNeardistributive晶格
    ' Q+ i) c; t" Y0 D近环
    3 W9 w! F: w8 Y% |- D近环与身份
    5 I* n% T: F, s* k( Q: R近田, [+ p2 n. m( n- J0 P
    幂零群
    / o3 A2 s/ W  H% n# A7 Y非结合的关系代数: i7 k1 I7 _4 t5 c
    非结合代数: R& i* k; N/ h4 c8 z3 j
    普通频段- `; C  o4 K# W
    正常价值格序群! E5 ~/ }8 C9 K8 @% i5 G
    赋范向量空间6 k1 X, q; R, t6 `
    奥康代数% x! @8 ^% Z& @9 G! }, z
    订购代数
    ' r( [5 o! l' ?* K8 Y/ y* N' n有序阿贝尔群
    ! T, T3 m( V- j5 z) A有序领域0 O1 x" y; n+ h- e3 r) l
    序群
    $ B  f# a& r) M) N9 A% |( J5 G有序半群
    4 s; [0 G/ K  {. z. z2 U与零有序的半群9 I( T) B% U$ z  e4 T' {
    有序环
    / M" X1 [5 W; p4 Y, b9 v; D: u序半群,有限序半群,有限下令零半群
    6 K, H& S' m3 ]% N% B+ Y有序半格,有限下令半格8 C  }- j0 ?! F9 y+ q" e# T! i: a
    有序集
    6 i% G7 s& U' p! r$ w3 M5 _矿石域
    ! p- t0 r* M5 N2 {Ortholattices! y: {: D& [% y) Z) o
    正交模格; G& ]; R3 x6 n
    p -群
    : Q+ F# D2 A# ~5 x# \1 ^, T1 \" P$ i部分groupoids& p7 @! b& E: b+ m7 _  o! Z
    部分半群+ B8 e1 J4 s7 q1 t# q% a$ I2 N
    部分有序的群体0 T, w0 Q' [: [! I
    部分下令半群
    ' h" f% r- |* `3 ~/ [部分序半群7 ]# ]" J- `/ s) X# w6 h
    部分有序集
    + S, ]* L5 M9 T" C皮尔斯代数
    4 [* _1 M' j. d+ p2 fPocrims3 c& V) K+ ^+ ^9 }+ x5 D& {
    指出residuated格
    , i7 y4 _6 |* LPolrims- I9 N$ O4 |4 ]+ F4 g/ r) ~
    Polyadic代数, C1 N  B. d* u, v8 s& N1 _. V
    偏序集0 I9 r' {* }% @/ ~/ D
    邮政代数& _8 T0 s( V/ m, p
    Preordered套" ~: z- V! r6 t* C# a5 o6 ~4 N
    普里斯特利空间6 K1 R- c. s5 p) b# r% E1 I
    主理想域
    ) P9 R4 w; L: R! t, c9 ]进程代数
    # P: y# W7 w7 `# ], X2 N伪基本逻辑代数9 W  ~( u* C/ x2 M! G' w1 @8 z6 r
    伪MTL -代数+ h" M* _! e$ J) _0 |/ J+ z2 R
    伪MV -代数
    1 e* A5 ^9 m2 P0 lPseudocomplemented分配格
      M4 f) J5 s* J, ]4 R, I, l+ j  `1 R纯鉴别代数
    " t5 I7 u* t# Q& Y6 s9 }Quantales' u* l: p8 i3 v6 j
    Quasigroups
    - m  o$ F; y6 d- w准蕴涵代数
    & V, k+ I: X. ~) w3 a% @& Q7 o准MV -代数
    " Z/ @  ~0 G! q准有序集7 j. K5 ~% O% Z  J7 G# N! v+ V
    Quasitrivial groupoids# V6 F9 F) V' _& d4 a
    矩形条带
    - N# B1 b1 \/ w1 d; x8 |# ?自反关系
    . |4 ^: V1 Y: p正则环- U0 z( B: D2 @8 O( F9 `
    正则半群
    " q. e5 T6 P- i关系代数, l* l! J* k( h  p4 p; b3 U( g
    相对Stone代数
    - D7 a1 N* t+ ~+ @+ d$ z: _相对化的关系代数
    - \/ W& v8 L, R9 {7 V" b表示的圆柱代数* A: F8 d, f+ [# R# N3 m$ o2 A+ Y+ N7 x; q$ |
    表示的格序群体' z3 b1 _6 @/ B+ v- w$ J# ]9 r
    表示的关系代数; j# ?; a8 @9 K  w; w
    表示的residuated格
    $ Y$ Q, C+ W& h8 E8 k2 D. q# LResiduated幂等半环4 D' T$ {. \9 _( _; x
    剩余格序半群; Y$ `' n5 i/ U/ J- V
    剩余格
    + a! T5 y8 E- M) |) i1 Y8 Z0 L) E4 pResiduated部分有序的半群
    ( J( b& {3 P4 c3 o/ E  j- T) WResiduated部分序半群5 b/ ^% o3 |: _( B; [+ B5 X
    戒指" Y/ p( g8 F9 @) ]5 J( C1 d: m
    戒指与身份
    9 w# }7 J! Y" w施罗德类别* l8 n) G# Y0 K; J0 j% K. m: R( b! J
    Semiassociative关系代数
    ; v- C4 T/ h1 ?8 `Semidistributive晶格
    8 P* k" D6 [( K/ A4 B' }半群,有限半群
    ; n) V8 L) v1 q4 N: ~2 i半群与身份% n) g1 _5 E# P! H
    半群与零,有限半群与零
    # ]/ N" C# o, m3 L& i8 g. ?半格,有限半格% ]5 h: d- k' {# c2 b3 H  ]% d
    与身份,与身份的有限半格半格
    % k$ a! n# T3 O半格与零
    + M! E4 L8 {3 r% n半环
    : c: X; `: d& b4 q# ^半环与身份
    ( t9 J# J9 e* O" q, d半环与身份和零0 [% e* c, p  g  \, f8 h! x
    半环与零! Y  I4 W8 I5 v( H
    连续代数8 D) Z% ~' z+ M4 C' x: e" P4 k8 p
    . m9 M6 K7 ^. L+ J; W# a: W) w

    5 \: M/ a* y" h2 J( v1 n+ Q歪斜领域3 A1 v# z- a+ X, r
    Skew_lattices
    6 U9 K3 Z$ M4 e小类
    ; O$ ~" q. v+ P0 e& v清醒T0 -空间
      ^4 H4 e+ c4 W8 g可解群
    , m, ~: t4 f) {0 K$ FSQRT准MV -代数
    8 x- R; }# V) G  s# I稳定紧凑的空间
    7 _* J1 e! g; s- @施泰纳quasigroups
    # a( \. C# {2 X8 yStone代数
    & m6 r" V( b! ?* O, r/ C% k- k9 _对称关系6 t( u1 f( A1 n3 c2 j
    T0 -空间
    / ^0 w8 i2 a3 cT1 -空间% e% r( E  d( K- N  e& Q
    T2 -空间0 t0 @6 S2 J- r: Z  }! a8 H5 s
    塔斯基代数
    . f( F- Q" S0 p% _紧张代数
    ) {$ h/ g+ J+ p: @5 s; c时空代数4 s8 x) M( w+ m  X0 A8 q' f
    拓扑群+ |5 c0 w2 K2 J6 x
    拓扑空间: k5 q2 B, Z0 _/ Q" b
    拓扑向量空间% o0 k9 b6 E  |
    扭转组
    ( D) `( l6 w3 _9 [1 J3 Y% `5 M1 C全序的阿贝尔群
    ) t, t* B2 V1 O7 A# l全序的群体
    - {+ n7 e9 q' D3 z& w; p完全下令半群
    ) s3 m& \$ b; t6 C: y+ LTransitive的关系
    4 \# x3 C7 y1 |, Z# N% ^# s% B/ Z! @  q
    锦标赛" i/ V7 ~& E0 I6 Z
    一元代数
    8 P, E7 B/ Y/ n1 }5 }3 d8 R唯一分解域
    7 h9 U  K, Z. Z) l# TUnital环
    ! G  A/ c$ ?. l向量空间
    0 A4 Y3 J% G0 j/ a7 R( j1 z) M% N% BWajsberg代数
    + R: e  O/ _; d8 T- i3 w" EWajsberg箍& N; C- ?6 x' F$ X* x! A- W
    弱关联格* T! A; Y' G8 h* M1 j' B
    弱关联关系代数4 `' F- h( j1 M' Y
    弱表示关系代数
    回复

    使用道具 举报

    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 07:39 , Processed in 0.489959 second(s), 78 queries .

    回顶部