QQ登录

只需要一步,快速开始

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

    ! d8 \5 K) j& S+ z2 O& Z7 Y
    $ K, q5 o8 W) k2 h. FAbelian groups     Abelian group- C  m. ]' l9 e5 H: T" B& s
    Abelian lattice-ordered groups
    0 ?* N7 C0 I6 ^) OAbelian ordered groups* t- a/ z, c- U+ o9 U0 K
    Abelian p-groups
    ) @9 I5 ~& H( T; `8 M% F! U9 hAbelian partially ordered groups
    6 y. D& o1 A; L4 N  Q5 @  T; L. R1 dAction algebras     Action algebra" K/ B: h9 J. m" C, B; _
    Action lattices# z0 c9 E! Z) f3 \
    Algebraic lattices1 h! ^+ }# w! a) t, N9 h
    Algebraic posets     Algebraic poset
    + P! i- u' L# ]+ A5 HAlgebraic semilattices, c6 _$ @( _: K3 n
    Allegories     Allegory (category theory)! m& W  j6 r; g* h. e( i) ]! n  _0 a# _
    Almost distributive lattices
    2 q5 ^+ S' d% OAssociative algebras     Associative algebra
    2 d! {2 {/ J  b! Q# \5 nBanach spaces     Banach space
    . k$ Z% f: p& L: x3 I! }  QBands     Band (mathematics), Finite bands0 i; E, a  e% A5 P. w; Y
    Basic logic algebras
    # j, B& I$ p. w0 P) tBCI-algebras     BCI algebra! H0 N6 z' Q" ]/ n% X8 c  C9 V
    BCK-algebras     BCK algebra4 J4 z& S; g( A1 z) R
    BCK-join-semilattices
    % r* C1 f# z! B8 r& ~4 FBCK-lattices
    6 F3 y1 @& [) I' m- \BCK-meet-semilattices
    3 C% b: u- H2 c  p3 }( G1 `Bilinear algebras
    1 ?1 `: A4 v: k7 R8 E' G' T; [5 ?BL-algebras
    1 m! L; ^" t. f8 R% s' DBinars, Finite binars, with identity, with zero, with identity and zero, 8 D+ K$ G3 x* ?$ U
    Boolean algebras     Boolean algebra (structure)
    " I& l6 B) z" W: Q+ R. mBoolean algebras with operators8 X- L& X" w3 l
    Boolean groups$ v1 `( L* D0 Q2 r! v% Y5 Y: f
    Boolean lattices$ L: j2 `0 ?9 n, v  U
    Boolean modules over a relation algebra
    ; I$ G1 J3 A1 ^2 b7 A) M) Z. DBoolean monoids
    . J* P( y7 t/ V+ ^4 V* y6 B  cBoolean rings
    9 B# j# p( f6 t  j* IBoolean semigroups6 q+ i( v  t8 T( l  v5 {! ~
    Boolean semilattices
    , G( I: |7 E- G# _Boolean spaces
    1 G) @3 n3 Z' W# KBounded distributive lattices
    . j/ L0 U7 a3 J. I" LBounded lattices' [: x" d7 |! N# m9 O) h4 s
    Bounded residuated lattices
    ; D7 Q7 w$ Q# a$ |  A( xBrouwerian algebras5 o) }% c. v: }: x- m2 q, U
    Brouwerian semilattices' ?# B0 _! N& w; F
    C*-algebras
    : i) v& U4 n- a7 S7 u% |/ bCancellative commutative monoids+ S4 M" X( b% w% n( F$ a! R
    Cancellative commutative semigroups! o& Y2 _% `5 G9 ^3 r3 ~  A
    Cancellative monoids
    ; m; u$ \8 j  K  t7 zCancellative semigroups" J0 Y+ N& ]$ {! d4 ]3 N/ N! ]
    Cancellative residuated lattices# `) o. J5 b! W' ]7 W1 [
    Categories
      B9 K, |0 ^( Q3 m, O% U8 QChains
    ! b* Q7 J6 V. i1 i, AClifford semigroups
    ' {, a4 V- E9 a. w. ]( DClifford algebras! ]* j3 m( I+ I( N
    Closure algebras! z  F3 H& e" O
    Commutative BCK-algebras
    5 l! T) {! d1 V2 ?- KCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero   }4 q% s" n) @
    commutative integral ordered monoids, finite commutative integral ordered monoids
    / B; {# {+ Q2 t) H  rCommutative inverse semigroups8 L% q" Z3 ^4 e0 i7 E
    Commutative lattice-ordered monoids! q& N  f5 s+ ?4 Q$ C
    Commutative lattice-ordered rings- a7 }4 j3 a7 f3 b* h; ?' t# o
    Commutative lattice-ordered semigroups5 I$ t) t5 O/ l- q- O
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
      ~7 |( ]; ], Y! M( A+ _Commutative ordered monoids
    2 w$ `9 J7 q. l+ ]Commutative ordered rings: R8 x$ @4 {- o  B# S$ V5 m9 z
    Commutative ordered semigroups, Finite commutative ordered semigroups% }2 Z( D+ N" ]
    Commutative partially ordered monoids
    3 e( u. X: E- y) XCommutative partially ordered semigroups
    5 l2 |- a+ m5 o2 S+ m' I4 C% eCommutative regular rings# r- i9 z! T% M: H9 o( ~0 ]1 M+ A' j
    Commutative residuated lattice-ordered semigroups: ?( S) c8 I  v2 Z  W
    Commutative residuated lattices- [* C. _  C) s; D
    Commutative residuated partially ordered monoids% [' U& Y0 _& y3 {& P  q2 B  v
    Commutative residuated partially ordered semigroups7 f! n* ~4 h* d# G6 T6 x
    Commutative rings6 n5 E* }$ @  Q# W, H6 i5 V( y+ p
    Commutative rings with identity5 F7 N0 \1 Y) L
    Commutative semigroups, Finite commutative semigroups, with zero
    " U) Z3 `7 k) [% H/ r( YCompact topological spaces, n: F2 r7 R/ E
    Compact zero-dimensional Hausdorff spaces( q9 _! W7 J& H: n# A+ i. V
    Complemented lattices
    * ]1 U6 `5 ^7 D  k1 V: |Complemented distributive lattices
    2 ~9 ?5 x- ]4 l+ [& EComplemented modular lattices
    7 F6 k  ?+ b* n" a" p+ ?- ^! ~6 JComplete distributive lattices* Y6 }" k8 T* u: N1 M. W
    Complete lattices
    ) V- h. e; p7 O/ {! `0 V  _/ gComplete semilattices) V8 n% H( B+ g6 @3 w
    Complete partial orders. R% g  x: l& Z9 ^& a% U- M: {
    Completely regular Hausdorff spaces  l7 [% Y) L3 w& d+ d* z  d
    Completely regular semigroups
    , _8 N5 A: Y4 H0 f* m; `% N, fContinuous lattices
    # \/ n/ J" s4 w% c& o9 U6 \) fContinuous posets0 i6 r1 k* T3 V9 y
    Cylindric algebras
    & c% t2 P$ K6 {De Morgan algebras
    % H$ j1 j, g0 M4 y; o2 fDe Morgan monoids
    1 E: H% q7 Q; uDedekind categories- U* y, A) ^4 O) w8 ]
    Dedekind domains
    ; Z, K6 k1 l. T0 _4 RDense linear orders( F7 `/ H5 H1 j" E9 S- `* [
    Digraph algebras
    - u1 _% @1 T0 CDirected complete partial orders
    8 }$ y) v* t2 {! X. n. _) sDirected partial orders! w5 Y  l6 p! t, A$ E
    Directed graphs: Z# U# X6 K/ u8 h9 w0 u* k
    Directoids
    2 _1 w: _4 E8 J! [  iDistributive allegories5 x; r& d/ z0 r2 t
    Distributive double p-algebras
    , @. g. i. N: tDistributive dual p-algebras
    ; n/ N6 e& g& h5 `, r$ |8 \* VDistributive lattice expansions
    ; q) D5 S! P/ h/ E/ ], ~) j  i8 DDistributive lattices
    - U3 t: O7 ?1 q  e3 w8 \Distributive lattices with operators
    8 Y9 r% Q9 i) aDistributive lattice ordered semigroups# N- G" }7 J' y2 H% r
    Distributive p-algebras
    ; I# t- z+ B6 J6 [/ iDistributive residuated lattices5 m6 _6 e: Z2 X$ h: r2 ^6 [7 m) d
    Division algebras/ r  J/ c% e! X: U& k( M5 M0 i
    Division rings
    8 j! ?8 J& x  KDouble Stone algebras
    8 \/ s7 Z# j& O# VDunn monoids9 H+ R" D, A$ u* ]2 b- ]  G
    Dynamic algebras9 C+ V( M! e3 d, ]  {* l! |0 ]
    Entropic groupoids$ x9 M$ b/ S" u, C4 H; x, n& U
    Equivalence algebras
    $ b4 E) B9 N5 \! [Equivalence relations8 |  q. `. ~  M) T- s+ v3 X
    Euclidean domains. W& v" U! s5 @
    f-rings
    ) @7 H2 R: h. n: N) p" E: j6 lFields/ B& V" I, A5 E7 Y9 G+ C7 x
    FL-algebras5 |# q; x0 c$ S4 A+ w% l8 [
    FLc-algebras
    8 D$ U: z- ^' V3 X- QFLe-algebras
    , K$ k( t3 S3 u9 t1 f9 {FLew-algebras5 r' p8 X4 E/ @, F2 e6 W3 I4 I
    FLw-algebras5 U! S: H3 c" y# u; R
    Frames
    " b0 @4 ~- x5 a- w: r; R. ]Function rings( S1 W! q0 I! B
    G-sets
    $ J& j, _4 V5 o9 iGeneralized BL-algebras
    / E' F7 H+ S( o6 o" d4 N9 O* vGeneralized Boolean algebras
    % m9 Z$ s3 {( m3 B  f, j5 y: C" OGeneralized MV-algebras# e$ N/ c+ h- v/ i% D# T% S( z
    Goedel algebras* o! D& e: _, d6 ~# Y
    Graphs
    : C1 ]) |* |" {Groupoids
    8 ^, X7 N& d% f! yGroups. A' }/ ]. C4 u' E7 v: D, o! V
    Hausdorff spaces
    6 N3 H( P1 K2 o* y/ g' j' \' NHeyting algebras4 L7 s) K5 N# q; m: F* |
    Hilbert algebras
    / u7 ~' L7 Y# KHilbert spaces; y5 F% H" U, x3 m2 M
    Hoops
    6 E, k  V; }5 uIdempotent semirings
    1 \2 h: a. Q, K% Z8 x# @) ]1 v- MIdempotent semirings with identity
    % i. O! K. s6 ^9 T% W4 F( Z) M! uIdempotent semirings with identity and zero
    / X( S5 z* u) l; f* R- A/ V5 p3 q% FIdempotent semirings with zero
    / X. a9 B2 V( ^" T3 lImplication algebras4 K4 c; D7 |$ A- W# h
    Implicative lattices
    0 Z$ P7 [1 o" E# w# o  EIntegral domains
    5 C3 b$ ~; Y$ u& Q: Z2 ~Integral ordered monoids, finite integral ordered monoids
    : {" x4 Z# {0 l$ o% Z1 D$ D1 ^Integral relation algebras
    ! Q9 v2 {1 ~1 S: p0 @# `7 \Integral residuated lattices6 m: Y# m# {4 l& U: B% x) l% w# x
    Intuitionistic linear logic algebras, o% b4 Z" L1 i5 G) S5 L
    Inverse semigroups
    # @) F4 V( u9 WInvolutive lattices
    $ |1 w$ G! e/ z9 b+ C  m  d: |Involutive residuated lattices; u1 ]5 Y  V5 z0 y
    Join-semidistributive lattices
    " W7 S$ w% s" i1 g6 L5 PJoin-semilattices
    " Y, W7 R" N/ ~Jordan algebras
    6 U( n* F; w5 F# E5 iKleene algebras  G7 p, z$ s5 X6 S- ]& R
    Kleene lattices$ o: b, d1 x3 w1 |; z) {
    Lambek algebras& S8 S. T% {0 s9 _
    Lattice-ordered groups
    * t6 b- @( l3 @8 \7 s( [Lattice-ordered monoids
    : m: \- F) n9 Q' V7 C. E0 X0 ]Lattice-ordered rings" r$ @( R! ^; M  L& G0 c
    Lattice-ordered semigroups) O8 d# k4 P# P
    Lattices2 _% C" f3 B  B9 C7 y3 _
    Left cancellative semigroups
    ' P! {, k- J/ w! D6 h$ [/ B+ [( CLie algebras
    2 I8 T% k% s. i9 w+ y# Z' MLinear Heyting algebras
    3 i1 `* R: e0 \$ vLinear logic algebras
    - }% l: K" [' c4 j% O" L, O  ^Linear orders
    2 \& |$ Q0 {, [( v& uLocales9 s# N" t9 N8 O. M" y$ }! f
    Locally compact topological spaces! N7 S2 f: B7 u6 z
    Loops" b( |7 q* x: ^3 J5 O9 x
    Lukasiewicz algebras of order n
      c0 _  l5 v9 P# o4 G5 ]M-sets9 q8 ~  A/ D0 }: x: g  Y+ t! B
    Medial groupoids
    , f2 k# Q4 T8 y6 z/ X; o0 Y  a3 q; PMedial quasigroups
    7 H) \* s" p! p' YMeet-semidistributive lattices/ Z+ L, S: ?, P3 U1 \: M
    Meet-semilattices1 }' u- l! m0 b
    Metric spaces7 l+ I& m  I- g- t3 Q  B
    Modal algebras- S, i) }* Y' H% W# a$ x
    Modular lattices! B2 M, U8 E! u7 E7 x0 R
    Modular ortholattices/ P+ q: K0 Z' F/ |' t& |
    Modules over a ring  y( i( S5 ^/ h' r8 s3 i
    Monadic algebras
    1 W- ~- F8 p( A1 U* \( I  RMonoidal t-norm logic algebras0 ~4 f3 m( D# ]' x" t0 T6 b
    Monoids, Finite monoids, with zero% c# H7 L& x) {
    Moufang loops  c8 }% s9 J  {( o6 }# P4 y
    Moufang quasigroups
      ]0 R5 Q" b. _0 lMultiplicative additive linear logic algebras
    # o3 ^; V8 V0 Z& tMultiplicative lattices- F+ C4 G- x: \' M+ C1 ^8 |
    Multiplicative semilattices3 J$ q; I" ]. A/ D
    Multisets8 D0 C# v9 O- L1 b4 y  g. L
    MV-algebras  e% W& ?# \2 B+ [' d
    Neardistributive lattices
    # F8 }4 x6 d4 s2 XNear-rings
    6 \$ e% B- k' \' ~! _Near-rings with identity
    9 [3 N7 R8 w1 s  qNear-fields
    $ n0 ~* Z1 P. X/ wNilpotent groups- F2 c5 b' H' Q, [- w/ m; Q, I; x
    Nonassociative relation algebras
    & T# C; o  t5 v# V3 MNonassociative algebras
    $ ]% V& n- F0 |7 m% e" sNormal bands4 d3 n& {* u  F
    Normal valued lattice-ordered groups
    6 k# P) G2 b0 |- B& D, JNormed vector spaces; O% _, E! j; x7 q* m: O/ F
    Ockham algebras1 ~6 b. f% v. x# T
    Order algebras) X& F# V) X0 H) @4 R+ u7 j3 ?& Q
    Ordered abelian groups) B" ]6 j% c2 x- B+ Z1 x% o  k
    Ordered fields
    / H9 v1 t. w3 R9 H) |1 F: GOrdered groups
    ( m0 J% \6 S: S  G2 O6 oOrdered monoids
    $ O' w) a0 W0 F/ j4 w2 F* r" @Ordered monoids with zero) r( A2 ~' ^' z0 Q1 k
    Ordered rings
    8 x* j& q8 R' h0 |2 |Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    ! K2 `9 n8 ^% @' D8 ^) gOrdered semilattices, Finite ordered semilattices
    3 `. A" P: u; _# G2 A: p  ~" UOrdered sets
    + G) k: ?! R, h1 AOre domains
    0 l( d, P+ ~, h+ ]Ortholattices% t# f1 `1 G+ Q6 i4 K
    Orthomodular lattices6 _* x4 y$ X* a' h- @) o4 \
    p-groups
    8 g* X$ J& Q8 A1 h2 N1 [- @Partial groupoids
    + u, i$ B- I$ W% C' A; K- |Partial semigroups, r4 {& n$ Z# |7 v
    Partially ordered groups
    $ ^0 T3 ^7 o1 NPartially ordered monoids
    " t7 Y5 ?) C5 Z6 x4 BPartially ordered semigroups* N7 h2 L% F0 f/ ?9 D7 O
    Partially ordered sets
    - v; f: T; w% P3 f% Q0 T# zPeirce algebras: d8 _0 {5 t" \2 c/ ^
    Pocrims
      B: L6 s7 c% P: T) s9 Y/ [. aPointed residuated lattices2 p  O. ], n8 {( L3 N$ g
    Polrims0 d$ c1 V2 z5 ^" {" R
    Polyadic algebras& c- O9 {- z8 p/ Q
    Posets
    $ ?2 _, z: x1 {1 ~3 q# _# V; i! _Post algebras
    - v5 p( @/ w7 {2 ?Preordered sets5 V! H( P/ ?$ q% Q( \: t' \
    Priestley spaces; t) T6 G# U) U7 U( P( p
    Principal Ideal Domains
    : R* V! f, a+ dProcess algebras9 g, `7 b% |- _* L  ]# f, w
    Pseudo basic logic algebras
    2 e' F' r0 Z7 j# E8 {' ~' OPseudo MTL-algebras
    - _1 ~" b+ B2 f  ]+ sPseudo MV-algebras% i3 e# p: N! I
    Pseudocomplemented distributive lattices
    ( d1 q4 D  c3 l- p2 zPure discriminator algebras
    4 Z' B# s7 [1 x' {- x3 OQuantales( Y6 Y3 ?3 G, J' [: E7 \  D! I
    Quasigroups
    5 F, d8 C4 d9 O" b* [2 |Quasi-implication algebras3 {( O! F+ g) N
    Quasi-MV-algebra
      i; X  g% s: w# D0 s* y7 p" LQuasi-ordered sets2 I" P3 O/ X/ a2 Z; w  w! O
    Quasitrivial groupoids3 o' l1 M; ^  ]# V& W$ ^& G
    Rectangular bands
    % x% _. T9 o) v, kReflexive relations
    ; v1 G  x' n/ i7 [0 WRegular rings
    + k+ m3 E5 U* E/ |+ C1 V4 {Regular semigroups
    8 ?7 Y3 a- m4 x+ b! I% A. mRelation algebras
    % A- x& n9 e8 X- [  {Relative Stone algebras
    9 }& z! }1 n6 Z! r1 PRelativized relation algebras
    6 u" S9 z( `, k' c/ oRepresentable cylindric algebras
    : D, x; z5 K" ^. g/ T- j3 n' {Representable lattice-ordered groups; S' p- _7 b) Z1 @: a, x
    Representable relation algebras2 e+ _. q( @6 b
    Representable residuated lattices
    . M; ]: c6 P$ l4 p2 S% k* i* ~Residuated idempotent semirings
    . h% @* f5 V! u( `; ZResiduated lattice-ordered semigroups
    $ X- L1 o( M1 c& WResiduated lattices
    7 X, F& H, c; J4 ?. b: i! ZResiduated partially ordered monoids. ^+ c4 j& L( z: M
    Residuated partially ordered semigroups" v. t& R/ l8 P$ q9 C/ [+ a
    Rings
    7 P( W: O% @9 p; W# N7 W! \$ c$ v/ [Rings with identity7 i+ D- m& y1 ~: M
    Schroeder categories
    & s, V: m% y" r* f9 ZSemiassociative relation algebras& F7 c5 L% e" H$ I
    Semidistributive lattices
    / \/ Z3 Q* ?1 C: `Semigroups, Finite semigroups* Q4 I+ K9 j. k( Z9 Q$ r1 }* }
    Semigroups with identity
    6 B; B3 ^9 ~: @" T2 c* X' GSemigroups with zero, Finite semigroups with zero3 w) S3 x, }1 `& P
    Semilattices, Finite semilattices
      v' h2 O* ~0 tSemilattices with identity, Finite semilattices with identity
    7 J; U7 P8 n1 i5 }Semilattices with zero$ l" P7 h- a+ J
    Semirings& O  @: }/ ?8 r' }) ~% h
    Semirings with identity2 }1 T* p, f, A- M3 `! C
    Semirings with identity and zero
    , ?$ Y5 h. f0 |8 C& z: pSemirings with zero
    / m5 M+ f/ I* Q4 u7 H: S# R0 bSequential algebras1 T3 H( d- y5 B4 p5 S" b
    Sets0 Q9 v% A1 Y7 E) ^2 Q
    Shells& |5 C% V+ V. {( i- N
    Skew-fields
    : a0 g" b& [, Q& \Skew_lattices9 S$ `& j' y! V" U: j: g5 D
    Small categories% ~# i# k% X, S3 s
    Sober T0-spaces
    ( Q) H% O; p& o/ b7 PSolvable groups
    + }2 p: h  ^' m# g) C7 FSqrt-quasi-MV-algebras
    % Y* O5 y' n! s- VStably compact spaces
    , E$ p( Q( |! ~Steiner quasigroups4 P' y6 E& C1 \* _2 e' Y
    Stone algebras& r, [7 K( [! h
    Symmetric relations- `! {7 w* H# e5 x+ ]
    T0-spaces
    / S6 K7 f/ F+ a- @- y; q: l2 vT1-spaces
    3 v  D* G+ n6 [/ y, aT2-spaces1 O  e% g7 }8 T% E
    Tarski algebras: J+ J+ D; |# Q5 ?: T! v4 r7 @# C
    Tense algebras
    ( U" q+ u) S. w8 t, R* Q% u# B0 cTemporal algebras: ?  s3 w" Z6 v; V- M$ K) x% x
    Topological groups
    7 Z' J$ O. z- Y# C; q' vTopological spaces
    $ z) i1 q- e+ C* Q6 c; Z% iTopological vector spaces& m  z$ ^: {# s( Y
    Torsion groups
    9 c3 M3 D! \/ `Totally ordered abelian groups& t( G1 X2 t4 K
    Totally ordered groups9 i# {8 q% d4 j- N
    Totally ordered monoids
    1 R$ v$ s- L$ d8 C8 L: z( NTransitive relations* p" j6 h& c4 y  r9 F' a4 L9 e
    Trees
    ' z& L( G# U4 ?Tournaments+ |6 j" Q: g" W1 O/ ~2 d
    Unary algebras
    ; |1 z$ z2 \9 d' _6 x/ _9 Y! VUnique factorization domains7 X2 L* C# c$ @) j
    Unital rings
    ( ]0 g# X' p) R- U, OVector spaces
    ' s8 }; @% G7 ~  y8 Y- cWajsberg algebras
    ! P2 i  R8 `$ f5 N1 P1 b' gWajsberg hoops
    $ i. f- u- x. O. hWeakly associative lattices
    ( E/ z6 w4 \  R0 h# e) i6 C9 |Weakly associative relation algebras: B1 [; \8 g- I+ n* W# q
    Weakly representable relation algebras, ~" D5 G/ k! f: O6 l- R; @
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    $ X& `5 x3 t1 A  K* V阿贝尔格序群
    : j4 g2 C& {* E; g: ]阿贝尔下令组0 A1 N2 i8 K- h* ~3 ~6 ]
    阿贝尔p -群
    / r: y" y! m, c2 N9 K  B; O阿贝尔部分下令组' j  D/ O; G% a, E' a
    行动代数行动代数
    4 [1 Q" ]; p" N" V5 B8 n+ n1 E行动晶格
    % q3 L4 w2 J# s' x代数晶格
    8 P" G' B3 F" j( k0 B: W1 i2 X& o代数偏序代数偏序集4 n: @& P1 v4 w: g: }) J# S4 j
    代数半格3 B7 G8 S2 N  C& i
    寓言的寓言(范畴论)
    # ?$ T# K2 C2 b$ N$ |: ^几乎分配格! H$ a' R1 G" B1 d3 a6 c( n
    关联代数关联代数! r+ V; v7 W7 @9 g# J$ \
    Banach空间的Banach空间0 y7 ~# Q/ f( s" |. X8 L* a) w- I
    乐队乐队(数学),有限频带+ ?4 T, H! Y4 u! d
    基本逻辑代数
    6 x- t  k0 l& L: Z: g  o: cBCI -代数的BCI代数
    5 I  N6 t9 y( t2 GBCK -代数BCK代数6 J9 j) M/ x, C; ^" d2 E! i
    BCK联接,半格1 T2 {: ?) i1 Y8 F* V% w
    BCK晶格
    ! q1 u9 [) y9 B: W4 `5 Y5 oBCK -满足的半格( L5 _2 X5 `, f6 b* m
    双线性代数; z' _' Z" p+ ]
    BL -代数% o# J2 x+ b0 U/ X
    Binars,有限的binars,与身份,身份和零与零,
    . |8 S7 C# b+ {& W" v) W$ H布尔代数布尔代数(结构)/ e* j0 V# s; w
    与运营商布尔代数
    1 o/ E. w! N% R1 k" X2 n布尔组
    7 ^- N4 n+ i$ c; D布尔晶格
    3 o# D2 ]/ }7 P) V对关系代数的布尔模块9 b6 M. w) f; k9 U# ]! r
    布尔半群
    & w# B( o& v) _1 s, V, q, d布尔环
    2 ~( P  ]  ]8 K- `3 k布尔半群% W8 I( ]1 X2 f: c$ B& p8 A
    布尔半格+ f' t% l7 [: V: g8 ~( T; f" Q
    布尔空间9 p- [, f  g! k) x6 w0 ~
    有界分配格
    * ^6 ]( q& U+ Q7 I+ w: h! Z6 F界晶格
    4 y/ I0 }7 |' `+ G界剩余格3 l  O& t+ h  t9 n& T2 {
    Brouwerian代数$ y; {3 K/ i; m. T7 y+ n9 M8 }3 {
    Brouwerian半格
    ! E4 d4 ?* F: \7 \. I; z& nC *-代数# m) K0 l: |+ Q' c" ~* p" I, ~
    消可交换半群* P; ?4 S7 s6 A/ _
    消可交换半群
    ) d+ N8 p2 G; m  o可消半群5 w& A* d7 Q7 @
    可消半群6 E. t2 v( x; O% P: g* D4 T
    消residuated格; E- g5 X4 n0 X2 U7 l) v( L3 X- P
    分类  E5 N' I. O% H# B2 V1 t

    # z2 ]- s6 C  g5 O! m! [克利福德半群' F% z& a, Y/ V. j0 G1 q
    Clifford代数% i+ o7 x, n# k
    封闭代数
    3 |$ t; R) [" w可交换BCK -代数  Q6 ]1 z8 r1 y
    交换binars,有限的可交换binars,与身份,零,身份和零
    , b' U4 l2 _2 l6 O+ u9 U可交换的组成下令半群,有限可交换积分下令半群
    / [. n2 @$ W! }8 b- Z! A' ~( }交换逆半群
    ) Q7 E9 n7 c; L' }1 P交换点阵有序的半群5 w% T9 P4 n* C8 @$ Y) h+ c
    交换格序环
    8 a. ^3 h/ ?: H; N* h交换格序半群
      u0 i1 U0 a9 C交换半群,有限可交换半群,零的有限可交换半群5 k" h5 ^7 c; H# \0 j& J7 k% c- t
    交换下令半群' I1 u$ \+ k3 D9 ?9 w
    交换下令戒指
    * S0 ~" h( P8 a1 x1 l" q3 J6 g有限交换交换序半群,序半群5 {4 X/ h' w  m+ u* S6 j* g% x0 \
    可交换部分有序的半群+ k5 M& j8 P/ Z! |% s  l: c4 Y
    可交换部分序半群) k* K4 o6 I  u( N1 z3 Y* D/ u
    交换正则环
    % o  I1 w) H+ k交换剩余格序半群
    ) i& u! }$ g8 e9 r& g4 M+ ^交换residuated格
    6 a4 K# u' q/ J5 ?2 L可交换residuated偏序半群' B+ G+ R; o; h% p& _( x" b- {: W
    可交换residuated偏序半群5 n% ~8 ^5 G; l
    交换环" m1 H: P$ g- k8 h$ T/ l1 k- x
    与身份的交换环
    / B9 y1 M# l5 q交换半群,有限可交换半群,零( G# o, B. Q; v7 ?$ J
    紧凑型拓扑空间' r7 V8 F; E4 u% m0 e
    紧凑的零维的Hausdorff空间  F$ r8 m8 u: I# R9 e
    补充晶格
    2 h2 B1 J3 m& |/ N有补分配格2 n- u5 B  ], `4 s
    补充模块化晶格" V# z6 d+ E- F$ A- n' k
    完整的分配格# a+ V- S1 c  {
    完备格
    8 u# |3 b9 B, \( j8 D完整的半格
    5 l( Y4 \9 Q; A5 `$ u完成部分订单
    ) L5 C: Y) M' ]$ V5 g6 x完全正则豪斯多夫空间: r. I" S0 I6 n. Y
    完全正则半群
      w7 Z) L7 T, h1 M& Z连续格6 }4 J! ~' ^6 ?9 s& V: h' n
    连续偏序集1 s6 V. T$ h3 N) I
    柱形代数- a  y% ^( i# @
    德摩根代数
    4 ^. _0 D1 N, N' e2 z德摩半群5 t' z- I( Z$ z
    戴德金类别$ W/ Z+ n/ m0 D
    戴德金域9 D2 r, i* G! g( j
    稠密线性订单
    - I' P1 Z  l3 n6 P* Z有向图代数
    ! f$ D2 B# |4 q4 I) _9 b导演完成的部分订单7 Q' }, w, Z: y/ T. V4 z+ ^
    导演部分订单+ u8 `6 p3 N1 A$ ]3 N! @1 g. g; h
    有向图
    + O+ O- }4 G6 t* oDirectoids
    1 N3 O9 P5 O5 a. k/ [; v: X1 s分配寓言' O3 \! X+ l0 n1 F- L; h4 `
    分配的双p -代数! K- Y4 C" a: a, C
    分配的双P -代数1 G+ ?( x( N! m" ^& d
    分配格扩展
    6 a0 T' Q! }$ Q/ {分配格; l8 w* t8 m2 x6 |6 Y
    与运营商分配格
    ( h8 f& s+ t8 u7 `2 c; u7 V" L3 j分配格序半群3 Y4 l" k9 `& t, j+ q5 W
    分配p -代数
    : M2 K5 s, X! k/ v8 d  K分配residuated格5 W' z- a+ J2 @8 p0 ^
    司代数
    8 r0 J8 d! H9 D" k% m0 ^, ^科环  z' V/ F- c3 ]6 C  \6 K* r
    双Stone代数1 `+ `% P6 ^, e0 |6 G% w
    邓恩半群
      V4 V1 I1 T3 z! k8 B动态代数3 Y4 s) P$ k5 M! _+ P' m: P
    熵groupoids& S: M7 c3 ~- ~0 M
    等价代数1 O- r" ~6 Z* @+ H5 I, M8 Q# V4 B
    等价关系
    " m- g$ p9 W2 @. |1 n- W" @/ h$ t欧几里德域
      c% w' U; h  G4 d6 ~. B% \" f6 N; Y# OF -环
    - s1 @) n* M; j- v, u& d$ A5 u6 I字段
      w: u  v1 b! ?5 YFL -代数* S+ p& P. f- H' R
    FLC -代数
    + s' {" h* j  U8 Z. HFLE -代数
    3 x) C/ f$ Z, s飞到-代数
    & B2 c- _  A5 G) J. @4 C  x; QFLW -代数' T  l$ i& k! f' B, v# }9 F7 H( z
    框架" S& k% X& D, p+ B8 i9 r8 c# p8 {
    功能戒指
    2 y$ ~  p) X. o8 T4 `G - 组4 x5 t+ Q. }# W7 x. D
    广义BL -代数
    2 k* m& S& y, t5 P% K3 x) @广义布尔代数
    : z7 T% T6 F! c) B" e! J8 l广义的MV -代数+ X) k* r) Y- K" W" n
    Goedel代数1 n6 G9 y% f7 g) Y
    ; r+ m$ S3 g2 V8 n& K8 B+ a; P
    Groupoids, r. \. X! b  j! n
    . ?2 i9 M  i2 x/ v+ z( e: P6 ~7 N
    豪斯多夫空间& u1 n* q: @& R& i5 Z, D$ J8 `
    Heyting代数! \; C  G( B% H
    希尔伯特代数$ ?& I8 m1 B2 X; m5 S& Q2 [
    Hilbert空间
    , H+ X% h3 X# b6 b篮球6 C# |+ i0 F+ L$ _3 {4 T2 I4 T
    幂等半环
    8 X0 P6 ~2 j. x3 @) l# j( W6 r幂等半环与身份# n% V, X1 s6 b6 ]0 }' K
    幂等半环的身份和零) x' a$ D! M; C! B: L
    幂等半环与零. D/ U+ m0 [4 E/ P# y' n/ T
    蕴涵代数5 X. |! l/ ]& K! Q) N
    含蓄的格子
    " y# K; s8 n, e2 `/ M& l积分域
    : ]8 p0 P! N& M) p3 j9 R# W积分下令半群,有限积分下令半群" }0 p7 ^9 _) x5 P& V
    积分关系代数) N  ^& P1 o" K9 X
    集成剩余格" B- E4 A7 _( H* P8 L2 v
    直觉线性逻辑代数
    9 h6 u5 d# P/ ~5 C  g; \. g- O逆半群6 m* s  H+ F( h9 J
    合的格子
      f9 h. e( E" E2 z2 E5 f合的residuated格
    % E: S! K; J. z  [% F加盟semidistributive格
    2 n0 W- |  @+ a1 m% R加盟半格
    ; l% ^" }3 N$ l. F* f, z约旦代数5 E7 j8 [: ]( r7 ?) a
    克莱尼代数
    9 E, [9 F" F' }% s克莱尼晶格2 X) P# z; D! u1 X3 Z# y. l
    Lambek代数) E, d1 J8 a4 O- _0 L
    格序群
    ' i; p& r# [) Z# `* O4 r8 o5 R格子下令半群
    & W+ D( c) Z0 _/ W; o格序环) P% ~4 l7 O7 d0 B# ^. ?
    格序半群" u1 i! O- x  Y1 U% V3 @( }

    / K$ _: ]1 Q: j+ P左可消半群
    3 L1 o- x6 x3 Z# F! O& A% U- [李代数
    $ I) C0 x0 `& i* R. d线性Heyting代数
    9 F# }+ P! ?3 q8 i9 v9 t, F) C线性逻辑代数7 L# I" a& F9 v) ?0 a" \
    线性订单
    2 a; M6 A  M* Z* u' \& b, X0 c% r! L语言环境
    + ?; p. I! }6 R9 \局部紧拓扑空间
    : _# Y9 x. @3 x! V! o循环6 _  M" i9 g+ N2 }& g: q1 u; M. d
    n阶Lukasiewicz代数
    " ]7 c% C" x9 Q4 x" |M -组
    1 g+ }! P& Q+ C* P; y内侧groupoids6 I8 S6 B( U9 |9 K
    内侧quasigroups2 c+ Q. `8 A  ~  H4 }3 F% Y
    会见semidistributive格' h" n  U$ h5 d. z$ Q/ K: K( [
    会见半格- {: }. n5 i' {! o8 w
    度量空间) ^% J) N: p9 u" g8 I) b. P8 L
    模态代数
      S! {7 A" V; |/ s# R! @/ v模块化晶格
    + ^. a1 C/ d, X# v! v# R- s模块化ortholattices
    8 P8 K1 ~! ~, q( M) f环比一个模块
    . n7 W1 }5 N0 p; N" V单子代数
    9 [( l" P. I! p/ B9 v: RMonoidal t -模的逻辑代数
    2 m" x) X6 p! q! l. S5 |* a幺半群,有限半群,零1 t7 W8 T* q0 `, K. v- H: l4 O
    Moufang循环4 S2 v& E" G* E( `, h0 ]
    Moufang quasigroups
    ( w4 m) n. {0 Y( I7 J$ ~& _1 T乘添加剂的线性逻辑代数6 }. ?" O" k% ?  a9 r
    乘晶格
    4 i/ N4 P7 o5 O2 l乘法半格# w9 I' L0 D7 d. S; m: n- M( l
    多重集; ]! e! D  Y1 Q7 u
    MV -代数
    4 l7 f. K5 ^4 A3 E  s+ N6 Y; iNeardistributive晶格
    2 J7 D3 `+ |# ^, g; Z7 t+ m近环- S3 n9 G& x# j' k( O5 {' Z+ d
    近环与身份
    9 I8 _; l! K$ N7 T6 i近田
    7 \; w' x" b2 @& B% q  A3 ]4 E$ C& U幂零群
    ; D* Q+ v. s5 o! B" k5 \非结合的关系代数+ o* _# t! \$ [
    非结合代数1 F6 G: h+ H' r  N4 w; ?* ^( }- H
    普通频段
    8 |5 g: N, X& Q正常价值格序群9 R5 K9 K5 r! U5 `2 m5 H
    赋范向量空间+ ]0 J/ K- U- A# Y! w1 v8 s
    奥康代数& B9 ]$ H7 D6 C3 v( D2 {+ a& v
    订购代数
    7 L0 l' f5 f- r5 a有序阿贝尔群
    ; A. }8 X' N2 f5 T- U* u有序领域3 R8 O6 A% g, a' S1 P
    序群/ }% v4 e9 p  ?
    有序半群$ x* e; `9 r+ q# G! c. J% w
    与零有序的半群- y+ a/ z( _3 ]7 C) _$ C7 {1 g
    有序环- X! ^2 _# ]" D% D$ G; U
    序半群,有限序半群,有限下令零半群
    % B0 R) \/ J& S7 d: O# l4 s有序半格,有限下令半格+ ^6 ~. C% N# l
    有序集
    0 {- i" r9 I/ k/ p2 k矿石域7 u: `2 C/ f- P8 b" H
    Ortholattices; g3 K5 a7 ^8 s3 o: |' }
    正交模格; ~" V6 Y0 Q/ C/ ~' R7 d6 {' I0 @
    p -群
    ; G5 v# m3 j9 ?部分groupoids: }1 p  ]( U' N2 k+ k
    部分半群
    ; e) _7 W) J) _9 h部分有序的群体
    0 x; l! O; W+ V1 n部分下令半群
    % }& z; y2 I# i9 W- f8 ^, h部分序半群
    : n' @6 \; O1 x# P部分有序集4 V* a$ i: v. e9 q7 `* g
    皮尔斯代数
    5 u. G( n, q* E8 qPocrims8 @; F( C# ]/ m# s  X/ O5 j5 r) D
    指出residuated格! j, m4 u- H2 x# J" P. S6 J! x
    Polrims) v& U5 \( A+ \- N( _& d) @# M# ]
    Polyadic代数9 b+ D. B4 r, X; ^+ m
    偏序集7 k$ w. \# E0 ?, g* X2 U
    邮政代数
    5 I9 M) z* k3 Z: d7 q: C3 N8 PPreordered套. p/ A) M$ {  p9 r
    普里斯特利空间- q2 F6 ^9 W) I" {0 X
    主理想域% F' l7 t8 I; J
    进程代数3 P8 _6 ~( x5 q3 f
    伪基本逻辑代数
    % u- ]6 P: t0 S4 D$ A伪MTL -代数5 p1 u/ W- P* s0 P
    伪MV -代数
    : f3 T' m% A) j) SPseudocomplemented分配格
    $ T0 E; m# ], Y% `. D. y纯鉴别代数1 w; M. N8 M4 p. b' }6 K5 D( J9 Q
    Quantales
    ' l0 j( |1 U  F/ D1 t5 Q, ~/ fQuasigroups
    4 X0 x/ N; \0 u1 y( S% K/ ]1 b! X准蕴涵代数. ]% E- }5 ]1 T/ n
    准MV -代数
    0 T: B. a* V1 a1 d准有序集
    7 l- ]! a* P6 ~; e, cQuasitrivial groupoids- x' ~! D& P9 M9 |# ^. x# p. l
    矩形条带
    # p9 Y6 r, F( Y# ?8 ~1 k9 q8 w自反关系; ?+ x) @( u/ y. x0 e0 y  j! |
    正则环
    9 u# A& R4 U8 b; v# J- n- i  i* {+ E正则半群
    - S+ A6 q- }) L: Z关系代数* j% d! h" f3 Q5 R# x4 E
    相对Stone代数
    # P0 }4 E# {! y9 W  O6 E相对化的关系代数- S# r4 y% x4 I/ ^
    表示的圆柱代数  N3 V, `4 O/ B/ Z* Y: W9 d* @
    表示的格序群体$ C2 m6 u5 l5 m  Y, w1 O6 s' x
    表示的关系代数
    8 x$ P4 v6 J- K8 K表示的residuated格
    ( |$ M1 G$ E/ ?' z8 CResiduated幂等半环* n5 Z9 O1 y. e8 W
    剩余格序半群4 @7 T; Z; a7 {& _' b) I& y4 M0 \
    剩余格, A3 ~1 W: }7 L& b( q! Y4 E3 R
    Residuated部分有序的半群# y$ C5 l# ~' ~; W: e, j3 G9 `7 y
    Residuated部分序半群
    3 _6 e) t! q# H, v戒指. E; D9 B/ P# V' U
    戒指与身份
    5 S8 @  L, [. X* h" e施罗德类别
    / P5 s5 ]# _$ P. mSemiassociative关系代数* E- A1 q! s+ d/ d1 p9 n
    Semidistributive晶格
    2 x6 J% d4 w8 S' g半群,有限半群
    2 A2 w" ?$ t3 T+ }$ @半群与身份
    # G- D# ~' k/ c6 `" ~/ I半群与零,有限半群与零
    " T/ O; _% T& B半格,有限半格, Q1 C# F0 x7 N; B7 X
    与身份,与身份的有限半格半格
    ! {! m; {# k$ j$ Y* Y' q5 T# @半格与零
    & e& T7 F9 ~. q* ~3 t0 }半环
      B  ]8 C* Z! k* N半环与身份
    + r# @6 _7 ~! g; a' g, ]半环与身份和零
    + K# P& p' @9 {; J- y8 V3 M. D半环与零
    3 o' \1 q( }; v; N* n& \连续代数
    % P5 c6 ]* e) d8 l: w% }2 E2 S( s# J

      N4 \2 n! L+ T. {. l, m' ]歪斜领域
    & o( z& x( W5 w4 [Skew_lattices  R# h, l, E. U/ y& D/ C4 D
    小类) J: q  b* w& Z( f, F) }' k9 {
    清醒T0 -空间
    0 }  X' g1 u  l8 [! `; x可解群5 F- D) V# [9 x7 q  c1 x
    SQRT准MV -代数4 M  N- G) ^- r1 C
    稳定紧凑的空间9 `* q' a# E/ @
    施泰纳quasigroups0 H! L* g: z8 t% F
    Stone代数/ K- \* Q8 S, x* _
    对称关系
    , g7 ~# d$ t8 B7 q$ a, fT0 -空间- Y) e5 {' o0 s  M1 @! k3 ]
    T1 -空间9 i2 i( L+ t+ C
    T2 -空间! W0 j- z" H2 D' N1 Q2 C4 q+ W
    塔斯基代数
    9 ?# W) f- ^1 p2 v; S. f) l紧张代数
    6 a5 S5 a5 \* ?时空代数3 _: @. U) y  a/ \2 S0 }0 r# S
    拓扑群% l# G0 h$ @+ R5 h/ R
    拓扑空间
    , s9 W% P7 G, O' K/ x拓扑向量空间
    % R: B5 n1 [' }1 u5 o8 `, S# k3 |, s扭转组
    8 W6 m. @% b5 e$ B  u全序的阿贝尔群
    . s! I) b# P6 ?7 C全序的群体
    5 c2 H& y* ^8 Q' J: O4 H完全下令半群
    # W2 s( e6 t8 e; p4 d( n6 K9 ZTransitive的关系
    ; r" p/ j8 h! u6 z/ S: d) P- n% [9 M$ c2 G0 N. Y; |# U
    锦标赛9 z7 F; T; J! M( H
    一元代数
      l- J4 g) s. ~0 ~% J8 A9 M唯一分解域, V+ q5 U5 `! D5 \8 S/ r8 q( @
    Unital环; O+ }" b: I* H! ]; ?
    向量空间$ q9 }; B9 k+ [0 G+ j# e# E
    Wajsberg代数
    7 i( x+ w3 h& g4 d# J% l! fWajsberg箍- V2 ^  i+ n) [. |
    弱关联格
    7 O) `' M. j7 r8 V弱关联关系代数
    8 `. _1 k6 {. [9 Q) B0 X弱表示关系代数
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3300

    积分

    升级  43.33%

  • 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-4-21 09:08 , Processed in 0.680515 second(s), 79 queries .

    回顶部