QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3555|回复: 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
    + H6 g/ X; N5 X+ L+ H5 H* h" ]6 U# l
    " T' `' K  p1 D, J  a
    Abelian groups     Abelian group& X, B0 J6 f' F3 m
    Abelian lattice-ordered groups4 _5 n9 Q' w, m) O7 x
    Abelian ordered groups8 O, O4 R3 q2 n3 Z6 |+ M) F3 W, b3 V
    Abelian p-groups
    ) s! ^9 v) u9 G' z- t) rAbelian partially ordered groups
    ! c! [% L& L5 W/ ]; }3 qAction algebras     Action algebra
    8 _. X/ w; _4 a' }Action lattices
    + R) B' l, {+ V+ o) `Algebraic lattices3 C/ P7 E! O9 }5 ^0 f
    Algebraic posets     Algebraic poset
    3 L& e" M3 j  p: |4 S6 aAlgebraic semilattices
      {' p; J3 M2 G+ N4 EAllegories     Allegory (category theory)( x) h* Q$ i; z6 N
    Almost distributive lattices, v7 ~3 T7 {4 N+ W, M. f- j5 a
    Associative algebras     Associative algebra
    - f6 Q: f5 _8 OBanach spaces     Banach space
    " H8 U/ [- B/ F8 ]' VBands     Band (mathematics), Finite bands4 j0 J/ S% D/ f2 J  f
    Basic logic algebras
    + B3 U/ L2 c1 K6 s8 _BCI-algebras     BCI algebra' j, \& v$ r- Q0 y2 q
    BCK-algebras     BCK algebra
    8 q. t+ o* t0 t7 I/ @BCK-join-semilattices/ Y3 B" X) Q+ c6 w" @  X$ E
    BCK-lattices. i6 i5 U+ I* V- |- Y7 D! b2 Z
    BCK-meet-semilattices
    - D- a- F0 W$ }' X1 X" m5 I9 hBilinear algebras
    5 u) Q/ ?, t5 a, A+ XBL-algebras
    / P0 D9 c6 Y$ I! `+ n3 A4 iBinars, Finite binars, with identity, with zero, with identity and zero,
    0 s9 D- c3 P6 n& C7 E2 _# }Boolean algebras     Boolean algebra (structure)
    2 S! x5 U- U8 k4 `Boolean algebras with operators
    + Q- B2 Y# V6 t, X9 yBoolean groups7 ~5 w. Y! K1 c" E
    Boolean lattices
    : W& r& `; l; W. K9 rBoolean modules over a relation algebra" {7 L$ |+ `9 v
    Boolean monoids3 j* Z, R8 w9 ~9 U# h8 ~4 W6 \# x+ F
    Boolean rings
    . `7 p9 k0 a! x9 Z6 L/ P3 QBoolean semigroups
    & x  h2 o6 C: s4 SBoolean semilattices
    6 M, X! m. }6 _& n4 p# [Boolean spaces/ p" s+ t; T: R
    Bounded distributive lattices, ~3 N  s$ E- Y7 s# C: L  p
    Bounded lattices
    ( q. E2 m; B7 K- j  ^Bounded residuated lattices
    3 d# x0 R/ q* N$ f* P: I; VBrouwerian algebras
    ! P$ N% T1 |+ I; t/ d5 H8 mBrouwerian semilattices( Q( e: a: T; N; x$ V; ~( b; {
    C*-algebras5 p: r1 F% ?  ^# n
    Cancellative commutative monoids
    , K4 ~8 e* i2 D  y$ Q& [Cancellative commutative semigroups
    + O% `. n6 r4 _% ^/ |Cancellative monoids  C; l4 z! t  u3 V1 o2 D2 Z
    Cancellative semigroups2 s& y) G3 S! F# v0 x- o
    Cancellative residuated lattices0 F8 t2 v' w. F
    Categories) S" ]! Y' |, K+ j* G3 h
    Chains
    3 P- k3 u  Z/ \# aClifford semigroups
    ( R& i  K. q# W2 \9 L6 x6 @) xClifford algebras' W. [: v" G" {" L' ]7 j" E
    Closure algebras6 x' a5 k) T1 I
    Commutative BCK-algebras: p2 y# B; C. ~- h
    Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
    $ _9 t! C% P0 S* E2 R" Y6 ocommutative integral ordered monoids, finite commutative integral ordered monoids3 u1 _' s& w4 b8 H, B" L- p+ l
    Commutative inverse semigroups
    % E) C; R( ]# s: a- MCommutative lattice-ordered monoids; }9 @' `7 z+ B) W# G7 X" A
    Commutative lattice-ordered rings
    ( o4 V7 W0 c. i% gCommutative lattice-ordered semigroups
    7 g" h$ c( n2 xCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero" x" g, X6 y2 d, W5 o
    Commutative ordered monoids
    . ~. U0 y* g- N2 SCommutative ordered rings
    ; F: ?: Z# Y6 e5 B: ^Commutative ordered semigroups, Finite commutative ordered semigroups
    ' ?5 M% ^2 {% c# dCommutative partially ordered monoids
    4 L- a. t& Z, V- s" |Commutative partially ordered semigroups
    / g; N6 D( v1 {& @/ u- j! N* ?Commutative regular rings
    % [0 L) j) j. d  ^6 P; ?# xCommutative residuated lattice-ordered semigroups
    $ B$ ^  W9 }% Q9 D4 uCommutative residuated lattices' d  W, X0 ?7 }  f  E% I
    Commutative residuated partially ordered monoids
    0 {, l& N1 d/ `: M, b" _Commutative residuated partially ordered semigroups
    6 K9 c' @* R0 I7 H: J, SCommutative rings
    ( \7 F  b  Y5 N. K9 q: lCommutative rings with identity- Z4 D$ c" u8 p" c' X
    Commutative semigroups, Finite commutative semigroups, with zero
    / w5 ]! V  |8 a- DCompact topological spaces
    - D  f) H  l, q# l+ ]% ^7 Q9 `/ u8 qCompact zero-dimensional Hausdorff spaces# }& ?" u" U8 G. b
    Complemented lattices7 K. Y% F2 W3 H* W6 k8 L" ^7 P
    Complemented distributive lattices6 B- Y. C+ ^9 s$ r
    Complemented modular lattices
    % p; o8 ?& |/ PComplete distributive lattices
    * d- Y8 e! X  r5 uComplete lattices
    & Q# \$ R+ R# p9 K9 h+ W, mComplete semilattices
    4 _8 I: X" K! a& X2 {* P7 W/ y5 `Complete partial orders) S( C( a5 O5 n* s+ l1 \
    Completely regular Hausdorff spaces( f- ^6 s# O" V0 _  j
    Completely regular semigroups
    9 c/ p: V9 [) J& nContinuous lattices2 X) B4 ?. @" _$ j
    Continuous posets4 N) @8 W7 Y' E0 B
    Cylindric algebras
    3 y2 l1 s+ K* z, CDe Morgan algebras
      j# g4 O- _  V1 B. {& hDe Morgan monoids/ s4 y. u$ \: C1 _8 p* e
    Dedekind categories
    4 E! h& C) a/ a4 D2 d* hDedekind domains) U5 r2 {: V0 i# W
    Dense linear orders: M- z# \  b0 Y( Y4 g1 n
    Digraph algebras: M# ]9 b  g9 p) ~8 v
    Directed complete partial orders  V& r4 \8 m* F( U* B
    Directed partial orders. K. S/ P4 M, B6 {6 M4 [, s1 v
    Directed graphs
    * Z3 C$ W; m8 V. @  _Directoids" b3 C; p/ @6 O; L& o$ Q
    Distributive allegories( T8 _0 H9 {( t# T2 ^; W! H8 V
    Distributive double p-algebras
    , c; U* v+ ~, u- Z' Y& s. g3 cDistributive dual p-algebras
    + ^4 R8 L  s9 q6 J. oDistributive lattice expansions
    8 B: d7 a- W( H! a! x0 JDistributive lattices
    2 |* |+ H' ]+ A/ a2 TDistributive lattices with operators
    , E. [# r6 U( E. RDistributive lattice ordered semigroups8 ^2 @' ?; C+ X# u: C
    Distributive p-algebras
    . K9 k, Q7 _# ]. Y; CDistributive residuated lattices! r! p) T; J7 V  ^6 m8 C
    Division algebras
    : Y( `! d; o: [& HDivision rings
    5 t+ I. b/ x3 R- C' d( e. C' J/ ZDouble Stone algebras. L7 F3 y3 _$ T+ b. M! a  S& _
    Dunn monoids
    # r/ T9 y* M' H6 d- QDynamic algebras2 J+ u: o  K; q; w2 I+ h" Y# p/ ?
    Entropic groupoids9 R: l7 o' N4 T7 J& Q
    Equivalence algebras
    ! c- y; `: p6 \& z& ~$ |2 SEquivalence relations
    ; a! C5 N0 Y' G+ \/ }Euclidean domains
    - j7 C9 X6 x" K' H' y) G( yf-rings
    / i* y( a1 H) k& |( D2 f( M1 rFields
    & g* y2 {# N$ s6 \, ?FL-algebras7 R7 g9 G1 h" @7 ?0 @
    FLc-algebras3 u- A/ \0 V# w, R7 G. k7 U" O
    FLe-algebras9 H& o8 k; J4 `; C8 c
    FLew-algebras
    ( m& D' w; g+ R6 E. p0 E% G  |7 ~FLw-algebras, t8 D) o& W3 {: Z$ H
    Frames6 I6 U" s+ q  |/ L# |
    Function rings
    ' H0 l! I" S" f. {G-sets
    ' g& t8 R8 o4 s$ X4 UGeneralized BL-algebras! w7 K5 D1 y7 T2 L% @, F2 y9 l
    Generalized Boolean algebras
    1 O4 L4 I3 s, c1 aGeneralized MV-algebras
    # S! R  {6 @- n+ d+ c  ~Goedel algebras, K( Z/ p( e/ m5 U$ ]& y
    Graphs
    5 F+ s6 k  n' Q' \# J4 ]Groupoids
    + I& l: h0 Q) u7 i4 n  qGroups, X1 d& a; t  H. V# Y* U* I, d. ?4 {
    Hausdorff spaces  c  t* E; [: w, Z. ]
    Heyting algebras4 ?+ Q1 ?; ]1 T; @' c1 M
    Hilbert algebras; [6 S: o! z- U- P/ o6 o9 ?
    Hilbert spaces
    . R* ~& q+ u8 H8 f% UHoops! P; b- x& U. E# C9 ~: M2 \$ R1 N
    Idempotent semirings4 E0 B( m. u8 v  X2 P, C, a
    Idempotent semirings with identity+ G4 K3 h; P+ u+ o4 |! ^
    Idempotent semirings with identity and zero
    : H0 \& o3 s6 t9 r& I) Y, yIdempotent semirings with zero; H8 W: K3 N" d7 m  W3 @
    Implication algebras' f, J/ c7 {& y; X' y6 S+ @" r2 D
    Implicative lattices9 a. M$ W  F0 l* v; r
    Integral domains
    ; h  Y" X: t" UIntegral ordered monoids, finite integral ordered monoids- _3 z) \! w- Y, P
    Integral relation algebras3 }; P" t! |# Z0 K: s( Q
    Integral residuated lattices8 e( e5 e& t- j5 ?, I& T
    Intuitionistic linear logic algebras
    & ^+ H7 w4 @" T8 HInverse semigroups
    $ R. o) O; X2 C3 Q( r7 VInvolutive lattices
    , L) @( C( w7 e& D3 q, OInvolutive residuated lattices
    . v# e" w# B( |) \+ `0 hJoin-semidistributive lattices$ I* \/ x4 k7 X5 }% ?0 o
    Join-semilattices  W/ n1 ]( |8 a3 E4 z+ m
    Jordan algebras
    $ ?: i' t5 o+ l! ^8 b8 AKleene algebras
    # b' [* \; F# V% h: `( x0 p% ]" ]Kleene lattices4 S1 s" ^: B% d6 V( x
    Lambek algebras
      w  v& m4 v4 ^; hLattice-ordered groups" H9 `3 g4 X) _! Z: N2 B
    Lattice-ordered monoids* c- E( V& J: W# A( u+ z
    Lattice-ordered rings: v; q" d3 ]* W
    Lattice-ordered semigroups
    - U3 m8 B, V0 XLattices
    . T0 @" a/ a: m. BLeft cancellative semigroups
    ) Q# E: S% s% x1 m4 k# LLie algebras
    + E1 y. Z9 e+ B" W$ ?5 }/ SLinear Heyting algebras, ~0 n9 y( w6 B4 W( g
    Linear logic algebras, `& F( o% t6 V6 [! j/ j
    Linear orders& B3 [0 p8 z4 Y
    Locales
    - A4 P, V" f) R2 K. x9 u1 f$ gLocally compact topological spaces
    + U3 T" B- i5 B- Q1 r! ~/ OLoops
    & G2 w, n" A6 y2 cLukasiewicz algebras of order n
    ! D0 Z3 u% i/ @, k# @. \  uM-sets
    ' b4 M; Y/ V' G* }1 ~% N/ yMedial groupoids& Y  m8 L+ t2 C2 R# d
    Medial quasigroups
    ( |6 g3 s' k" K$ w/ |Meet-semidistributive lattices  [- I4 J2 E+ E9 S- j
    Meet-semilattices
    : Q, q+ P: n! ?& n* }- B% I7 fMetric spaces
    ' }  X3 r: N9 R: _, v, O1 G/ hModal algebras
    # A4 U" F5 ~: s  P" j) c1 MModular lattices" R9 X8 s& L: d: M6 E. B: i
    Modular ortholattices
    ( b4 _* T: D" kModules over a ring
    4 a5 Z9 J. Z$ M, F. r; HMonadic algebras
      b% f( h; U. M6 L/ yMonoidal t-norm logic algebras
    9 g0 j" b, n: i: s* MMonoids, Finite monoids, with zero# s3 H7 Z% ^8 O% ^# S2 M9 ~' \: E6 \
    Moufang loops
    + J; F! b; X2 |Moufang quasigroups  j5 q' ]/ O, ~" O" P
    Multiplicative additive linear logic algebras+ F: N' c+ c0 C
    Multiplicative lattices
    - e; R* f) ^0 PMultiplicative semilattices
    6 S, v" T: _  w- \5 XMultisets$ e! p/ p  I2 k4 o* W8 @
    MV-algebras
    & Y7 d7 e4 M" MNeardistributive lattices$ Q0 P! v$ C7 i2 C9 A! |6 c
    Near-rings( w* K3 o* D* f6 f2 m: F4 g9 ^
    Near-rings with identity
    9 ^- w0 C  O  W: w5 LNear-fields
    3 n: [4 u* O4 ONilpotent groups
    0 N( r' }% \7 c" i/ H' [9 hNonassociative relation algebras; B% Y" P- w/ k  _+ r
    Nonassociative algebras6 b9 z3 l0 m: ?# E2 o8 O
    Normal bands
    + g1 F( C) w) q' g- u6 e  INormal valued lattice-ordered groups
    % Y5 W% Z0 x7 B: H8 DNormed vector spaces
    + z) v/ q6 ?; I- Z4 uOckham algebras
    " S2 {! b- g& b9 D5 u6 H3 e! AOrder algebras" {8 k2 G0 V" X1 h0 W
    Ordered abelian groups- N# e8 P* p  A2 T3 K
    Ordered fields
    / K  X; I9 {8 Z/ i! a6 L$ U! k& MOrdered groups
    * _1 s/ Z6 P8 @- _# w' ?+ L5 ZOrdered monoids
    ! x) P: W7 n, M# D& A8 T2 cOrdered monoids with zero
    . t. a7 r3 T% k: c  C+ A' t! COrdered rings. Y' R* b, k! Z9 a0 d+ _6 l
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    & P2 p7 p$ W6 E% LOrdered semilattices, Finite ordered semilattices2 g) \& r6 A0 i
    Ordered sets
    3 j1 _& S7 x( R' R1 hOre domains$ E7 |$ V" K: @- I# O/ e6 c
    Ortholattices
    ; s! I' {7 U$ g  w; tOrthomodular lattices" P8 @2 _& T" B" F" B
    p-groups) E6 {& F& u2 Z# d8 T8 G
    Partial groupoids1 m! P0 z7 i4 e. T& }/ z
    Partial semigroups1 a. u' J; l' i0 B( f  f! G' U: M
    Partially ordered groups
    5 c  R8 b3 R  w! SPartially ordered monoids
    8 |6 |9 [. I7 }: GPartially ordered semigroups
    0 W5 S1 j! z$ B9 l+ qPartially ordered sets
    / o& ^9 y; F2 E5 JPeirce algebras
    4 l1 `5 K. ~" v0 s% DPocrims
    7 m7 t1 X" ]3 K9 |. DPointed residuated lattices
    2 V$ ^; \% H: h8 f  p6 ~2 `( ?+ ePolrims& o9 C; a, X0 @
    Polyadic algebras4 t3 k, w$ A) \
    Posets3 T2 l% E! F5 T8 Y* i6 \0 K/ G
    Post algebras! i. a0 Z) i" w7 o9 j
    Preordered sets
    ; A1 O- h& s" l" l/ lPriestley spaces
    % I# g& T9 e& NPrincipal Ideal Domains
    8 ~, P: G$ v$ M8 n- ~7 u# kProcess algebras7 Y7 r) e) @5 N+ z; Y9 v$ Y: i
    Pseudo basic logic algebras
    9 M' D! w' W+ `% fPseudo MTL-algebras5 \1 p: W! ~- y" w
    Pseudo MV-algebras
    % T+ }, q; j# j) U8 X0 \4 S: lPseudocomplemented distributive lattices. K) X, E* [( g- q! c( X1 G5 C
    Pure discriminator algebras
    $ A( F# n  |( N: C% ~Quantales, c: D  t6 b# w& R
    Quasigroups
    & v; v3 \- p+ A, MQuasi-implication algebras9 E0 `& L$ p8 f4 z- o1 x
    Quasi-MV-algebra; O  |8 {7 }$ _! x- R; w' g
    Quasi-ordered sets
    1 Z; m5 f$ M0 z$ B) }1 eQuasitrivial groupoids1 u) Z3 Q5 F  e( E: {  v6 C0 C
    Rectangular bands' u0 F5 [  `- t- A# f% Z9 M
    Reflexive relations
    + _. T, d' r! ZRegular rings
    0 U5 t- d8 ~6 g. C1 t' BRegular semigroups
    " I+ \) P$ ^, F; ^# c8 SRelation algebras
    - @1 P: ^4 Y5 a4 H) i9 jRelative Stone algebras* `& v1 c5 r0 X" R4 p
    Relativized relation algebras
    , @. l5 O# L1 J8 d& m* M2 w1 dRepresentable cylindric algebras
    # L( X8 \# U2 n. W* q2 NRepresentable lattice-ordered groups
    , z- z: Q8 C5 hRepresentable relation algebras
    , A& E! \$ `% W& L- Z& b5 w& DRepresentable residuated lattices8 V; ~1 p7 f2 O3 i2 W2 j
    Residuated idempotent semirings
    ) ?( s& z/ h8 h  L( z4 BResiduated lattice-ordered semigroups# v6 C9 }& {7 `+ ~; Z. q" q4 i3 D
    Residuated lattices
    5 B6 _( Y7 [$ j; u2 lResiduated partially ordered monoids
    7 Z) T1 a8 T$ H5 @  D. p7 J) `; UResiduated partially ordered semigroups1 D, P' v6 l" f
    Rings0 G/ l! b: a/ j0 c, C1 p* w. _
    Rings with identity
    7 h% j. ?4 h) r) rSchroeder categories* u- f- X8 n) X/ i4 H
    Semiassociative relation algebras
    " z% `# m/ N5 YSemidistributive lattices
      i0 H  P) B& y$ z& ~Semigroups, Finite semigroups! A2 V4 X0 v+ q& ^; K" D- K
    Semigroups with identity3 k, \( C. q, s. v5 s% T) y
    Semigroups with zero, Finite semigroups with zero
    " F4 F2 V3 P& w3 {7 n7 SSemilattices, Finite semilattices2 a$ l; R- Y  |9 r
    Semilattices with identity, Finite semilattices with identity
      j- n% y# Y+ Z" ?& n" oSemilattices with zero3 i! N0 r; Q1 H2 i
    Semirings- a+ x9 m+ x5 X$ G: W0 t/ r" k+ q/ f
    Semirings with identity( _% y3 x, a8 T& k% ]
    Semirings with identity and zero
    * {9 w  j9 W$ [7 P7 B5 e0 JSemirings with zero+ U- Q9 G3 M. G# @+ Z
    Sequential algebras1 l, j: `+ g. b. k/ X5 R, N
    Sets
    # a' _$ [5 e( M7 U5 |Shells0 I* s" p( ?3 ^" @/ F/ T& k
    Skew-fields
    5 h" I1 I7 v/ c) W# ?Skew_lattices
    " E5 g' R$ K) sSmall categories
      y5 a" W/ b5 U+ \Sober T0-spaces
    : R; z, e. U" r( {, L7 P/ {Solvable groups- J/ |( i3 `1 m) j
    Sqrt-quasi-MV-algebras8 l/ R" ^7 S- D$ C
    Stably compact spaces/ w1 X6 f6 ?+ B: D+ B9 ]7 I
    Steiner quasigroups
    9 }; y/ t5 b4 A  V$ W: J* gStone algebras
    7 y2 _3 h8 g$ H4 {2 G) @+ nSymmetric relations
    1 y5 h" J6 O5 d" cT0-spaces
    ; T4 U' T( o) R+ T7 K$ OT1-spaces
    0 a+ P3 t' ]2 P$ Q) q$ w; VT2-spaces
    ; k) Q; |  x, X7 [' p  iTarski algebras: F+ h9 r! o! A8 w3 I
    Tense algebras
    3 S3 I* K3 R7 a& ], }. m& F% z, cTemporal algebras- D. |3 `3 i# M9 R
    Topological groups/ `# h3 `) Z( n1 w& t
    Topological spaces
    - F4 [& V  I# Q% h& I) k9 GTopological vector spaces, F8 W! G" n/ Q& C/ l8 f
    Torsion groups
    . j% M4 k6 ~# ]. ]! BTotally ordered abelian groups
    & h! D" o2 M  S2 l3 {Totally ordered groups" m# g- H* z- c7 {6 \) m0 b" k
    Totally ordered monoids5 E; Y% H3 |4 K& C
    Transitive relations
    6 L# J& f- R/ c8 G+ q- STrees
    , m8 O% w7 {1 @1 \! \" w( YTournaments9 G8 _  G! H' A
    Unary algebras
    ) u6 G4 Q8 Z$ o8 }) PUnique factorization domains
    + s# w+ Z  G+ E: O- yUnital rings  U2 P; [8 }3 L
    Vector spaces, o6 y* O1 _% K, B4 I$ [
    Wajsberg algebras4 f( r# `) d) L0 N' Y
    Wajsberg hoops
    2 s) f) j# f5 e" @* G1 {Weakly associative lattices2 h8 w1 h/ M, M& l: T) x
    Weakly associative relation algebras
    7 U+ V" x  Z+ h4 q! a' H/ f  m# MWeakly representable relation algebras
    4 W; r: }+ T9 ~3 ^! H& I
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    . M' {* M) X2 v, x: d* e阿贝尔格序群: I6 {/ O) f6 E: U' P+ F! l$ L
    阿贝尔下令组
    * }7 O1 F" _& `& z$ P阿贝尔p -群
    2 G7 B: E  K% R阿贝尔部分下令组2 Z) T4 i9 Q( h4 F5 H2 e( z
    行动代数行动代数
    / P- t: Z: m6 d4 }1 X/ U+ C行动晶格
    " ^  f; r. H6 {# h2 h& L0 ]代数晶格
    & _$ Y! T7 x1 U- ]代数偏序代数偏序集! u2 @' A4 F0 g( h2 \* c+ c
    代数半格
    ! R* Z! o. Q; V% ?, N4 ?" y寓言的寓言(范畴论)
    1 _7 @# ]5 I% Z几乎分配格
    * e- M' Z4 p  M9 |- z" O, O' m1 ^关联代数关联代数
    . n& ~  [" c& w! V# G, s4 cBanach空间的Banach空间
      T, W$ l/ v/ u5 U1 h# P! |  u乐队乐队(数学),有限频带
    + p9 A* e3 ^3 ^8 I基本逻辑代数1 Y3 a* w: |- n; b1 e
    BCI -代数的BCI代数0 @. z6 P) E' O" t& Y( h
    BCK -代数BCK代数3 K( ^3 E0 v1 n  n! l3 v
    BCK联接,半格: y. C! d2 @. q- v
    BCK晶格
    . ~" K. p# ^- `+ L7 ]0 }. P/ K7 nBCK -满足的半格8 u* R& t+ I+ c) L# V9 Y
    双线性代数
    : ~4 y# ^2 Z  n  \BL -代数, k+ V9 R8 D' T2 I* K
    Binars,有限的binars,与身份,身份和零与零,- Y& Z1 `+ ^4 h/ B' b
    布尔代数布尔代数(结构)) |7 V* t0 q2 ^( D+ _
    与运营商布尔代数9 O- R1 ~6 `- @" H
    布尔组
    & O9 w: \  r1 u1 z布尔晶格
    " [* z. B+ B5 E% |对关系代数的布尔模块8 f& ^/ f4 Q! r! F2 h! I( k$ T
    布尔半群* Q+ X/ }$ m% q/ F
    布尔环
    : `) I9 ?4 q/ p! P) a  p布尔半群0 L( f( }% \+ D5 l1 q9 m$ N
    布尔半格
    5 ~  b$ s& d9 T$ {/ u% C8 G布尔空间
      L6 c  J' h1 F- ?. G有界分配格
    ! q$ E2 w: g* X0 i5 n界晶格1 z  M( ?2 F) N" R0 L2 L" M
    界剩余格
    ; @8 ~* p' ~. \8 b8 |# V  `Brouwerian代数
    7 b, k. n8 g/ d) _5 ^! P& QBrouwerian半格
    # B9 t4 O, h$ D# P4 X4 @C *-代数/ ~& T, P- I- V# V0 l1 f! p
    消可交换半群
    5 l1 y0 q( Z: _; A- r2 e, j消可交换半群, P- N, C2 W2 d! J) ]
    可消半群
    ! u2 ^' C  a  \1 l5 P6 o! I2 q可消半群' K2 i3 V/ {: _6 J, u5 ~
    消residuated格
    : l/ R+ Z0 G4 b  O8 E$ Q0 ^9 T分类- m" i& |" a+ G2 H# K; i

    , l7 F4 L; X( V/ Y9 I9 B7 h克利福德半群  j9 \6 X. l& V4 b' Q2 R) P4 |' r
    Clifford代数$ i0 M* u  X, t  C( S  y" W
    封闭代数# h1 ^; R4 J, {* [
    可交换BCK -代数8 B" @- E# S' m1 X5 V/ f7 z- Z
    交换binars,有限的可交换binars,与身份,零,身份和零
    & E4 h7 @" X* Z0 u0 J可交换的组成下令半群,有限可交换积分下令半群
    5 k5 \1 ^4 i) N/ s: c" e交换逆半群/ k9 \2 s3 h( z7 k
    交换点阵有序的半群
    . u* m8 X& b9 f- y交换格序环
    " ]' X- @& D3 E  p* C交换格序半群
    . k7 ^7 g1 ]! b9 x7 h7 E交换半群,有限可交换半群,零的有限可交换半群9 ]- Y* o5 ^+ w/ @; M; o
    交换下令半群
    ( Z/ F2 c+ \: j/ n交换下令戒指
    8 l. M8 K3 c1 K( O7 u有限交换交换序半群,序半群, [/ L# P' E, A; `. t9 f- h! d' a
    可交换部分有序的半群
    2 H: G5 e" c# p0 A可交换部分序半群+ q" ?: P- x, S8 z0 U  p( |
    交换正则环
    * Y* O/ O& H8 |$ K- x. m; [交换剩余格序半群2 P: Q. u% c; w7 o0 v( y" F# F
    交换residuated格% @" q/ g% h0 Q# l2 d9 i/ M5 `
    可交换residuated偏序半群" r2 R: P' O7 O8 c0 x0 K
    可交换residuated偏序半群2 `  Z8 U2 M1 c4 M" o
    交换环
    . p2 V2 {, d! j, X与身份的交换环7 u# A# w/ q, L- Z2 Z
    交换半群,有限可交换半群,零  L! W- F' ~9 ^7 n! r
    紧凑型拓扑空间
      J+ L6 x0 _0 l; c( u1 j  \3 p# Q紧凑的零维的Hausdorff空间* x7 e; n1 j) j/ \' V' H- S4 R, l$ J: @
    补充晶格3 f2 z# m7 K) }* S
    有补分配格
    5 W. k- ]- c+ u" s4 P7 K补充模块化晶格3 k1 {( u7 M; n/ R: i8 F
    完整的分配格9 R4 d/ e8 ]# G) f$ _
    完备格
    & S* f  U( G* i* b" n完整的半格9 j' j5 q' A5 s, S5 L
    完成部分订单) s& j+ l7 @" p4 Q1 {6 ]+ Z
    完全正则豪斯多夫空间
    + b6 g# v7 f/ j# |3 l完全正则半群8 U% c" H+ |# m3 e4 |
    连续格
    5 C+ t6 |; J  e: }* o+ J连续偏序集
    1 Y& a# t  ]) j; k7 r0 _柱形代数4 t7 @2 a+ ^) q4 E* i+ H9 e
    德摩根代数
    & g2 L2 b% ]; z德摩半群
    . ^' I8 C# N* y5 V7 |6 c$ ^戴德金类别3 W( V+ H8 G" B3 y6 }# G
    戴德金域9 U4 h6 e+ r6 y. X/ p: e; Z
    稠密线性订单
    4 Z4 E" X! i3 _. G1 p- X! J有向图代数. q) O& M8 W, U- ~1 ~
    导演完成的部分订单# b1 u8 k2 ?" D  h: S
    导演部分订单5 ^' r. W7 ^0 Q% E
    有向图
    # c" _( {2 x% a2 p5 C/ y/ bDirectoids
    2 {+ ^8 m6 L! X, V) r9 F. X' B: G- a2 |$ I分配寓言( e. `9 i0 z: i4 h% `
    分配的双p -代数, @4 t% A+ V, k" J9 x" l7 k
    分配的双P -代数6 h. W: _  W; A
    分配格扩展9 J& t: s5 r( t( t  M3 U
    分配格
    ( a: N" H8 j" e与运营商分配格
    ! z  P! V8 L( \: j" `1 Q% h; W9 D. i分配格序半群) X% V" c$ {. J* b
    分配p -代数. S! k, O1 Z- v7 n7 @
    分配residuated格
    0 H) d7 h4 g9 k; U0 ~% O司代数' C! _4 q4 D# J, W
    科环
      C4 v$ G- J" b0 Q双Stone代数) T9 k* F7 L' c# {  s! K" d
    邓恩半群
    * z8 X/ w0 \, ^% e2 `! w; b  s动态代数
    9 ^! ]  A. U$ ?$ e0 y& e/ ]6 ]熵groupoids
    7 j8 p: S9 H6 r+ j' {* E% I等价代数
    / d: K( i, F& @) N' g等价关系
    ' Z8 R7 r  \5 T* |欧几里德域7 g- B7 L. o, G, |5 _
    F -环% ]( T3 b2 s0 m! p, k: n8 _
    字段$ W9 _2 y! P/ |( c, ~
    FL -代数* Y# U0 [/ C* t: T
    FLC -代数, m: d& R: W" ]$ ]( D7 y2 K
    FLE -代数
    ) ^3 M0 O" P# a4 A4 I( u; F, H. P飞到-代数
    3 R$ o# K3 ~6 |; n8 t: O$ aFLW -代数) l' h9 g2 Y6 B7 D# b3 O
    框架: ?' B, a( D& B! ^' N. L/ W
    功能戒指; b# R0 w; g( v2 s" `
    G - 组
    ) B  |' w! J5 `& a5 K; N' z广义BL -代数
    ' a) E8 t+ e. `4 u/ Q% ?2 Q广义布尔代数
    / T) G  r; u+ t+ H, l7 q. K广义的MV -代数
    & [1 h7 O. I, p3 C( p) F. I- [* bGoedel代数
    $ {( }# j' s  i! w4 _  }
    , B! ~& p+ @$ G0 b' g. G4 ?Groupoids
    7 `0 O4 y4 y! y0 L! j' M% y1 N( L2 j5 l9 j* s
    豪斯多夫空间/ o) M' @1 h- i; }$ N1 q! n" R( _
    Heyting代数# `4 M/ A" @7 @; L/ O3 P" M) Q' J
    希尔伯特代数) r1 I9 c# w; @: O
    Hilbert空间
    : M( H% ~/ M5 q; E& C5 _8 d篮球4 M3 F9 t; V* _  w) s7 m% r
    幂等半环
    - t3 f5 L3 S! g% z8 `5 f幂等半环与身份
    3 w/ D1 [* c* @" i8 z. P) ^3 z幂等半环的身份和零
    0 x" y! z+ C8 H; ]; N' ]+ V幂等半环与零  n/ N; L7 C: g7 n  {2 S; P& P
    蕴涵代数8 {! q: C* D/ T! T
    含蓄的格子
    6 Y, B7 k/ J% v' b. i+ M* M/ w6 C积分域* L6 @8 R- Q0 c# R; G* G
    积分下令半群,有限积分下令半群/ T! x6 Z- T* J9 C, e1 Q6 k
    积分关系代数
    3 @+ j' o# I" E, m5 v集成剩余格
    ( R% e- Q# L( b2 @6 n/ o直觉线性逻辑代数
    6 x4 H! w1 R3 Z1 n: [& l6 \逆半群
    . P2 A: _8 v# ]合的格子
    $ R, M* B* n8 \1 i合的residuated格  `' N1 M3 V8 X
    加盟semidistributive格$ I( i% W- a# C% Z% Q+ O
    加盟半格
    ( I9 ]- u9 u/ D6 K) V! n$ M约旦代数
    2 f7 }9 o) n3 P6 r- @克莱尼代数6 d, O" s5 \/ U2 L9 y4 P+ h9 y! ^( a
    克莱尼晶格
    6 b  A; h' ?2 wLambek代数) o* a4 z8 L- j
    格序群0 G8 [, j* s  ~2 }) Q% b! Q
    格子下令半群7 T8 P* s6 u; X5 i9 b
    格序环
    ) r' E9 }; R4 V3 H: n) C& ]格序半群, B2 ?" m5 M! I  t; c9 s$ A
      C" k, O5 x0 a! \
    左可消半群2 A# n) r) i/ r1 i
    李代数2 i3 m6 V; v' N; c0 P
    线性Heyting代数5 \0 i  {! j( p8 j/ Y' t
    线性逻辑代数; s4 s! o9 o0 N3 e0 F: p
    线性订单8 u4 J  m1 E: V+ r, b% a
    语言环境0 @, \' O1 `$ d9 a/ P
    局部紧拓扑空间" C+ Y' E! h0 _! k: H& z
    循环+ h+ s. S$ v) Y$ r5 d$ s, v
    n阶Lukasiewicz代数
    1 A+ x; Y) c7 e6 U6 Z1 B1 k! ?M -组
    2 C: G9 R+ U' H2 g! s. L) x内侧groupoids
    : B# j  P( }3 D0 v  a' M9 j内侧quasigroups
    / [+ U% v( k) @+ z  \* a9 H会见semidistributive格; a8 P- G% ?4 n) N! y8 a7 Y
    会见半格# ]* W2 a9 ~* H, x7 L3 W6 h/ A0 y
    度量空间
    % o9 j( v$ F& t模态代数: D. m) E: s: K. K
    模块化晶格) @/ H+ r% N) H5 s+ k' k0 i
    模块化ortholattices1 \1 j) D3 c" b6 \$ Q
    环比一个模块
    9 [9 D% }$ I; K) ?# w$ t单子代数0 x5 Y* U& i. c3 `9 t5 U
    Monoidal t -模的逻辑代数: }5 t) r. p" y- \
    幺半群,有限半群,零
    , R/ {- t* n0 U2 n* t9 |& U6 SMoufang循环& N5 o1 A. B1 |5 }+ Z
    Moufang quasigroups
    9 B0 ]. N. \* P" l) h) @乘添加剂的线性逻辑代数
    ! Q1 P& x9 G  X乘晶格
    ; b6 H! U) G. `  i8 V6 U乘法半格
    ' ^" t% Q" I& C5 w多重集
    9 i3 z. e5 y. K* O9 QMV -代数
    $ A$ y( i+ P2 ^( a  {% wNeardistributive晶格
    ; R# t8 J, [+ a3 Q/ e" U近环2 u, h" {9 r' S0 i
    近环与身份
    2 T' x  g& X9 s$ m; r近田7 B4 P+ t6 A1 d. l; J
    幂零群
    8 k4 w1 x& f! @8 S: K/ c非结合的关系代数
    . Z- L+ R. L7 q1 b: \非结合代数- ~, V6 D- j# ?  m/ m; ~1 M
    普通频段9 _. @, n$ z; k( P3 K
    正常价值格序群
    " v  f2 }$ J4 j$ O赋范向量空间
    4 H% u- h" O2 H奥康代数
    3 L0 Z* C' p- H8 K5 r% }8 p5 X订购代数/ ^! o$ W3 ~: l6 V9 q4 F$ _
    有序阿贝尔群; E0 _/ O8 r/ L( c3 g# [
    有序领域- H0 o' d* F* X, ^0 w# [: F8 v
    序群# M5 o0 V, v* Z' E. D5 r5 e8 h7 Q9 Z
    有序半群' ^* b$ U/ k6 x1 ^1 l9 P& J5 R
    与零有序的半群& f0 G! C5 a3 Z5 g& w
    有序环
    . ~2 _' S! _$ l9 j+ m, U序半群,有限序半群,有限下令零半群' n7 |! M. A0 f' z& l2 O% ?" W
    有序半格,有限下令半格
    # s0 {5 _6 Y+ n. T* d" E6 Y有序集
    # g3 G) ]/ ~! ^4 u  l0 X矿石域
    : L3 ]6 Y) ^8 l- U7 V0 I8 pOrtholattices8 [; Z9 Y, h. r4 p
    正交模格
    $ M3 p8 B0 }, o; {9 A2 w0 S; Sp -群0 ~$ Y% n; O/ {$ U( n! ?
    部分groupoids
    & q3 Q/ ^1 P/ ^6 [  v部分半群6 s# F. `  I7 B8 s2 G! }
    部分有序的群体
    $ _: a2 _3 `* b5 `' h部分下令半群' o7 B$ i* ~* {$ B
    部分序半群
    . P" _  K( K- r9 e" r* C部分有序集) O. q& p0 K* L$ V+ D; _
    皮尔斯代数- K% }8 d) U# ^( x
    Pocrims
    7 o1 j. _$ ?/ r0 R指出residuated格- i7 b5 _, l- T! B
    Polrims
    7 S% m& w* r$ {: y' B! D5 }/ \' I7 _Polyadic代数
    ! a! h! w2 g2 `' X# [: q偏序集
    ; ?2 q! s! f  P3 ?$ W邮政代数
    9 c. W! Z: H5 kPreordered套
    ( N3 ?" k2 Z& P+ S( M1 Y普里斯特利空间
    2 E! m+ B- V) K$ @$ G. |: X- }& O主理想域. f; D1 k7 \4 g& s$ j$ {; c
    进程代数$ p( n/ X  f/ W$ X+ v7 b+ H% v# z
    伪基本逻辑代数
    . K# n% j6 S9 m7 P伪MTL -代数/ B( O& f4 v$ ~8 \# W
    伪MV -代数' R9 s# t0 C- A- s/ T' t9 m- ^
    Pseudocomplemented分配格9 o) d2 w* B/ {4 i( N3 z$ g  T( X
    纯鉴别代数+ s. r: S9 J# e# _' n9 \
    Quantales, h* o) ^" @1 M5 q
    Quasigroups% r& K* S- U- ^% C/ w! E  t/ Y
    准蕴涵代数
    0 \7 U5 a% l4 q, O准MV -代数
    ! a% P: k( r% z准有序集
    : J3 A- Y7 g* i' I7 V4 U$ cQuasitrivial groupoids
    7 G6 T. J8 S6 j; r0 t( w9 N矩形条带
    2 f* B" \$ s% x% I5 E* y: Q自反关系2 R0 p4 Y+ ]- S  j
    正则环; t- {: \) H9 g5 ~$ G' |3 u& _
    正则半群
    0 R! _9 [+ a, E$ t+ d" ~$ c关系代数
    + c& r0 K' W3 x6 p* h0 _; b5 X相对Stone代数! w$ T6 t5 p, `/ u& Z# _
    相对化的关系代数7 U( k! w9 n( u5 {7 b! g" V, m
    表示的圆柱代数" r1 b. p' t1 y
    表示的格序群体& @: o' x. \: z
    表示的关系代数
    ' L8 y& ]5 j" \9 Z8 X表示的residuated格
    - q. L6 J" Q' y; NResiduated幂等半环
    4 V: F+ K; U/ l3 y/ p剩余格序半群
    ; Y2 G: F1 E, C( R, F0 d5 }$ \! @剩余格1 s( `& }) g* o* A: \  s& G+ f1 }
    Residuated部分有序的半群% v3 J* X1 q3 p) b) |8 i
    Residuated部分序半群9 W1 e+ t$ c4 B
    戒指+ N$ u1 u/ x% e5 O- |4 x
    戒指与身份
    - y' j) E" \% W$ _" b! K9 q8 h施罗德类别8 D  L( s8 t6 N) J
    Semiassociative关系代数
    ' [7 G$ M$ v( ^5 c8 l; ~5 t& y* YSemidistributive晶格
    * ~6 T% ?9 h0 ~半群,有限半群4 ]% I5 Z4 m% b  j
    半群与身份+ L' `9 T! B9 x; {" w# H! A
    半群与零,有限半群与零
    ) p( i- s" v! v7 R, v半格,有限半格
    ( h% e( k" g) m* F; p与身份,与身份的有限半格半格- {9 q' a6 Y4 J; B6 u
    半格与零3 V: e% F+ h  b/ t4 J6 c
    半环, {2 w" F, z2 V3 p. U0 o5 [& y# `
    半环与身份
    8 H- I% G9 s6 R& Q' U7 G& \1 p半环与身份和零. `& O7 R3 |$ h( D' G  b& m
    半环与零
    + j! V+ @6 P9 y5 j# F连续代数0 ^* T" _6 q9 b- ^! v' s

    1 A' s! w1 w) o/ ~- ]; X( ^( i, u6 s$ D
    歪斜领域
    " v9 d- A& c/ ESkew_lattices
    ) p, n+ r2 \4 |/ y1 r9 ?小类
    - J$ b8 @/ t0 I% c3 l清醒T0 -空间# R8 g, G3 M4 }( c/ B, m6 Q; h1 c
    可解群( n# ~6 O  }9 h
    SQRT准MV -代数! j9 a' C) v& {% C+ U& N
    稳定紧凑的空间0 ^, k& X, m/ d9 J1 }
    施泰纳quasigroups
    7 J1 b. G1 \. D5 b. V1 TStone代数) P! E+ b$ w$ ]4 Y+ x
    对称关系- K1 d# H& e9 A5 j1 M; G' W
    T0 -空间
    5 U; n# e) U2 }4 l* x0 l% G, CT1 -空间7 ]2 k( [2 O- S- s$ D- Q0 C2 i/ s
    T2 -空间
    ' k; [1 p! B7 s$ [塔斯基代数
    1 f6 f+ c9 Z! t* ]5 s紧张代数
    5 w/ p3 `/ @, `时空代数6 f1 W/ N! H, x, v% a
    拓扑群+ n- l: s) h: d4 T+ x
    拓扑空间2 j4 u. Q! n" h6 f' Q) Q; w
    拓扑向量空间
    * M* P9 I; q! B& I. {9 }扭转组+ n6 Q7 F  V0 I9 u9 H6 J
    全序的阿贝尔群
    . l$ A- J$ q4 p1 ]' P全序的群体
    1 v! D8 u0 D, f% Z' Q, n  o- g完全下令半群
    $ Y2 |) x# E9 E& U4 KTransitive的关系6 E7 _" p/ \  g% E* T' s

    0 v/ X4 i0 K% _" P4 |# d! N. O锦标赛
    3 y8 U/ ~, }7 h5 V一元代数
      Y& n8 ]6 A0 e2 I# A* h' g  X唯一分解域% D7 v5 A- Y+ F5 s& r) Z9 D3 c- l
    Unital环' O2 [: K- w' x# N
    向量空间1 z7 d9 k: ~8 d# o
    Wajsberg代数
    $ U: `& {' f2 RWajsberg箍( P4 P1 D3 ?8 S# p0 @
    弱关联格
    1 ?0 V, B. ?- |, S- w3 y1 s弱关联关系代数# ]+ \  K" Z+ k- {1 ?
    弱表示关系代数
    回复

    使用道具 举报

    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-7-8 05:54 , Processed in 0.586840 second(s), 76 queries .

    回顶部