QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3519|回复: 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
    ! f1 p: T7 R1 @5 j* [

    ; i; @' [7 C: FAbelian groups     Abelian group* y3 }* F7 C* u2 ?
    Abelian lattice-ordered groups1 y* [' {, T! ?) C0 W
    Abelian ordered groups2 f' }8 ?: y5 `* ^
    Abelian p-groups# T2 G' f6 o# l5 h; A9 z
    Abelian partially ordered groups
    ' [7 T2 ~( q- A0 oAction algebras     Action algebra. w7 ^5 b  L* B, a$ x' v
    Action lattices- h& |7 o$ \5 A
    Algebraic lattices1 q5 L7 X( {0 I& C5 ?5 R
    Algebraic posets     Algebraic poset
    % L3 e+ w" D7 O- Y( pAlgebraic semilattices$ [: j$ u9 I' d  K
    Allegories     Allegory (category theory)
    ( S+ J: T' y9 o( E5 F+ Y( n5 pAlmost distributive lattices
    ' \& w* K- k/ ~+ WAssociative algebras     Associative algebra
    ( ^+ y  \$ t0 e9 qBanach spaces     Banach space
    " ?8 }$ [& E6 p" P, L5 k4 |Bands     Band (mathematics), Finite bands
    - D# _/ |3 y# A# X! d- fBasic logic algebras
    4 R1 Y/ y7 |, ^BCI-algebras     BCI algebra8 L  ^5 j* Z% R/ L) z! c& m
    BCK-algebras     BCK algebra- G. F- |& y, r0 \
    BCK-join-semilattices4 S% F% S8 o; v+ R% |& ^& h' T
    BCK-lattices
    5 D+ i5 ]( d: kBCK-meet-semilattices) S5 Y) s- w2 y% Y2 ?6 c  n$ K
    Bilinear algebras
    # L! Z- v* q, o: F- sBL-algebras: c: U! E& F* i5 _, k
    Binars, Finite binars, with identity, with zero, with identity and zero,
    , A4 a4 U; ^# Y, \  P* h( GBoolean algebras     Boolean algebra (structure)
    ' G0 g3 p8 r5 {2 W  E' vBoolean algebras with operators
    , R& a9 b5 h9 F0 [, [$ W8 F  CBoolean groups  h! M- E( V+ S, _
    Boolean lattices5 f1 S: P" ?  G
    Boolean modules over a relation algebra$ {% L3 Z/ ~, s2 ^+ S
    Boolean monoids7 A$ L. M' `, I) G" U3 Y, g
    Boolean rings
    6 Q. o6 E3 J& J% J/ o  EBoolean semigroups
    . j0 I. ^5 ~* N' [" XBoolean semilattices( L% Y2 O. M: U- G" _" D
    Boolean spaces' q9 {$ R) X8 E( M  n& [* F6 C3 f4 b
    Bounded distributive lattices. ^$ m2 \! ]7 @" y" L; x2 o8 P
    Bounded lattices
    4 M; J& A- C) O6 z: V8 bBounded residuated lattices) N2 h" I; v- K1 z, @0 m
    Brouwerian algebras
    # _8 e' R* P# x$ q- O0 ABrouwerian semilattices
    / @. p: O$ k1 U8 q, G1 B5 ~C*-algebras
    0 Y  S4 {; E$ m$ w% ~- P7 w( |* _Cancellative commutative monoids5 p7 X" w4 f4 Q
    Cancellative commutative semigroups
    ) y% R" C, \: \6 m: E: l4 W6 oCancellative monoids8 _; W4 q9 Y" X9 w) n
    Cancellative semigroups4 w9 |$ z2 U0 G6 z* g1 A) ^" i- `
    Cancellative residuated lattices
    4 _- Y4 F. ]9 U1 x* NCategories8 P/ l1 ?- @. a$ E! X0 V
    Chains- J' `$ E2 K5 Z: s
    Clifford semigroups
    : x4 X5 W* K. U9 yClifford algebras; J* L% M4 c/ c1 e/ [
    Closure algebras
    " e4 u5 Z: Q3 |! ^1 xCommutative BCK-algebras1 ~" X* x1 n; F" D- K
    Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero + V+ l' J2 b1 I' X, {  b
    commutative integral ordered monoids, finite commutative integral ordered monoids
    2 _& d0 l* E0 g; p+ F& }Commutative inverse semigroups/ X! a6 {% B9 K3 L
    Commutative lattice-ordered monoids6 m) o! t% k  X5 l, ~! R
    Commutative lattice-ordered rings7 X" w! V3 H" K! ~& I" z5 `
    Commutative lattice-ordered semigroups
    % A, B; Q, z5 o7 CCommutative monoids, Finite commutative monoids, Finite commutative monoids with zero
    9 b* z* F4 }% I3 pCommutative ordered monoids
    8 j+ \5 r/ ?( T7 p3 [0 \$ CCommutative ordered rings
    9 ?4 x$ f6 ]% x" V4 i$ ]Commutative ordered semigroups, Finite commutative ordered semigroups: _( w2 A! l# n' C. U" l0 X
    Commutative partially ordered monoids
    . m0 J8 F: C6 J: w: xCommutative partially ordered semigroups
    ' z  K5 o: s1 T! TCommutative regular rings  f, h* w( f. X( k
    Commutative residuated lattice-ordered semigroups! v$ Z  O; A- f* |) E/ H* o  x, M
    Commutative residuated lattices
    4 d3 {! h. {) n9 y- E  iCommutative residuated partially ordered monoids
    0 i+ k" r2 E/ S5 K8 q; j3 BCommutative residuated partially ordered semigroups
    2 J0 n# X& @* Y( z4 [Commutative rings1 {+ u: x. s. D( c3 j
    Commutative rings with identity
    & w3 [& T: [3 Y, L" I) P/ @Commutative semigroups, Finite commutative semigroups, with zero
    & e/ U* m9 z& _: u* H5 d0 c6 wCompact topological spaces
    1 R: _. ?( {0 \: [' b8 cCompact zero-dimensional Hausdorff spaces9 g% |9 q' D6 D' f, B
    Complemented lattices
    ( J4 ~" k* {6 ?8 Y3 f4 ^. kComplemented distributive lattices+ U9 C6 F7 T) T4 q
    Complemented modular lattices4 D  J+ T; K' P& A' ~
    Complete distributive lattices
    % ]0 X# F) ?% V) BComplete lattices
    - a3 }* X& P; u7 g9 M: O- A# G0 x' cComplete semilattices, o! R/ f  A8 d  a3 N) Q" B
    Complete partial orders
    8 k2 T* B" W4 T# qCompletely regular Hausdorff spaces9 n# M# W+ q& H  h
    Completely regular semigroups  U6 z, x5 _* i) m& d% y) m
    Continuous lattices
    $ T; U( D/ S& ~& jContinuous posets
    + o& c  C$ s! ?, W, UCylindric algebras
    7 l2 e# a& c$ D' tDe Morgan algebras
    * w/ c, w  {0 d  d3 L1 Z) `De Morgan monoids8 U. f: A% s8 U/ ~. u" R
    Dedekind categories
    $ r4 r0 m1 p% X- ^4 rDedekind domains
    7 ?6 U2 y- O+ w$ e2 W+ @Dense linear orders
    ) U, W; Z$ d5 g) t' D; ODigraph algebras4 w0 z! U+ U4 r, S
    Directed complete partial orders
    7 b5 c' f! h% _# R# U7 g: kDirected partial orders
    ' m$ p# p; w3 p  e: uDirected graphs9 N* O' A2 P  `8 j+ Q
    Directoids
    & I/ e; T) c) k. a+ @: NDistributive allegories8 y, w! Z  }+ S  K7 ?$ P( G, y
    Distributive double p-algebras
    , O8 _4 Z8 z" bDistributive dual p-algebras5 ^$ T0 [' g6 a  Y" T5 |
    Distributive lattice expansions
    . m! }1 \) E, K  `  WDistributive lattices2 Q( v# Q8 _, }. r+ H! t5 q
    Distributive lattices with operators
    2 h2 ~2 ^) v6 m3 v6 M) r1 q! y7 lDistributive lattice ordered semigroups* A6 R& P0 K5 s  u8 Q9 f( B
    Distributive p-algebras3 r( |  ~% i% |' }
    Distributive residuated lattices7 Q0 V- j. A2 n$ ]
    Division algebras
    9 D0 F8 M; H" ], x# M0 }Division rings( q2 a1 K9 L- j4 e/ j
    Double Stone algebras
    $ o" m# i" K& \3 RDunn monoids
    7 b! u9 j4 ?. i0 m8 \  k- lDynamic algebras6 |* h$ g3 u+ p0 I' k  b* w4 Y6 C9 z
    Entropic groupoids
    - O( V, R$ L. U, P+ O/ c# o4 hEquivalence algebras( g( O7 u9 n5 R( X$ N7 `  Z
    Equivalence relations) y8 _8 b$ Y% a' h, U
    Euclidean domains9 z7 C$ j4 z; p( u  v0 q
    f-rings
    5 P$ f, j3 _6 w  lFields
    & M4 O3 H! v: F! @3 r/ l' Q1 CFL-algebras5 ^; E6 ~8 K* k+ z/ u) @& I
    FLc-algebras
    : u* F5 t# w# a" H% `) P: B( W" wFLe-algebras
    ) [& t7 x5 e. o  d8 qFLew-algebras- a  u+ u7 Z* J
    FLw-algebras( {& I: t1 j" |5 `- U
    Frames
    9 Z- h) \1 X- Y9 k9 S+ AFunction rings( Q) {! ?. ~; S2 A" r5 r( d: Q
    G-sets
    ) N# r" a6 l  r" y% @/ pGeneralized BL-algebras" U, J3 ]- g- `( U9 H. j1 J' w9 O
    Generalized Boolean algebras. q1 y; }' u8 q! p
    Generalized MV-algebras
    " ~4 L* ]+ T; ?8 D" I9 F  eGoedel algebras
    ; v# s. k- c5 [1 AGraphs
    % X  `+ l" m. U4 u1 K0 MGroupoids8 O3 w9 [. Q8 W. i
    Groups5 [' N- v9 e$ B6 A
    Hausdorff spaces) e4 r$ m4 Y: P& [
    Heyting algebras. E) I/ }9 V- ]5 N$ d
    Hilbert algebras
    6 ]# k' f5 v8 b6 E8 qHilbert spaces
    $ k- U8 `9 j& T$ |, x! m7 jHoops3 t' K/ ]9 y0 {& x8 c7 D
    Idempotent semirings$ m" _( C. H/ q7 \/ M- Z, @! ~
    Idempotent semirings with identity9 Y+ L) F" I( L2 o  A
    Idempotent semirings with identity and zero
    ! R9 L4 D8 s! ?! H2 n- c2 _Idempotent semirings with zero
    - e3 i* A3 {2 ^, \/ Z* `Implication algebras- \- `7 Q2 p! D/ m+ P$ X7 ^
    Implicative lattices9 i) t! K; i3 k' \5 {9 w+ Y
    Integral domains5 f. V0 Z* o, H" _6 y1 E4 L" L
    Integral ordered monoids, finite integral ordered monoids
    ! y$ N0 v: R( i& rIntegral relation algebras
    , m; O9 H) I$ n/ x4 u3 QIntegral residuated lattices
    0 _1 w/ ~" p) lIntuitionistic linear logic algebras0 v2 I- C' Q0 m3 N: Y  a
    Inverse semigroups5 q+ i' N* _! R6 I  S
    Involutive lattices
    8 W3 k! }$ m( s; cInvolutive residuated lattices
    8 d. S$ M  v7 qJoin-semidistributive lattices6 [% r: ]9 e. [2 P! A9 i8 W
    Join-semilattices6 n9 M! V% C% f3 }' O- k
    Jordan algebras
    * ~) A$ Q$ Y# Q' MKleene algebras
    & D" Y5 I, g  Z/ \( ?: b7 B4 P/ NKleene lattices
    % V1 X1 h3 M0 N) p' @, ^0 K6 a% [Lambek algebras3 [7 T2 ]# ?* o) P4 O% n- Q$ a
    Lattice-ordered groups
    2 k( C  W' h$ ~9 H6 s! [Lattice-ordered monoids
    3 a, k3 D0 H& f# l2 p6 |+ nLattice-ordered rings
    , T# s4 l0 \8 _Lattice-ordered semigroups# T5 {1 Q4 d& c3 {
    Lattices9 E0 O! v2 S5 L: M% n
    Left cancellative semigroups
    ! d1 W0 A5 d8 Y, ELie algebras6 R' {- y  O) ^$ g  v- |  E9 e' @
    Linear Heyting algebras) z2 P% j: Z! M
    Linear logic algebras* l& y% r8 I8 l0 g
    Linear orders+ l7 w5 E- i6 a" _4 Q
    Locales
    . q; ^* D" l1 ^! I  p6 K: ZLocally compact topological spaces  g3 N5 A9 a* p# B7 p
    Loops
    1 Y/ F: p! R7 E, H% u# R+ QLukasiewicz algebras of order n
    9 \) ^5 O# y4 C$ P# aM-sets4 v1 R+ Y. n5 V9 ?2 N8 B8 u; v. d
    Medial groupoids# P: A5 }, U% b: y; [
    Medial quasigroups1 F# I: o+ p& b3 g* [* l
    Meet-semidistributive lattices
    + R3 U" k5 U6 P! tMeet-semilattices1 s. x3 v* f! [4 x' {
    Metric spaces( {4 m3 t4 b. p2 P# v, I6 \2 B& k
    Modal algebras2 |9 _$ a5 P. U& ]( h# d
    Modular lattices: P. Y6 Y1 g. }. ^. a4 i: Y
    Modular ortholattices
    . i, {8 t3 w" T" _5 ]5 c8 ^9 @Modules over a ring4 M; Y% C/ i  S' G$ S% h$ P# |2 ?% ?" e
    Monadic algebras1 y, \8 ?, R! X" e, f! G* C% N
    Monoidal t-norm logic algebras+ N) m( S- t$ T3 w. d0 I5 R9 A
    Monoids, Finite monoids, with zero
      m, A2 z% B% g' p+ R; fMoufang loops# |8 E% x/ |/ o: b+ @( M
    Moufang quasigroups& b" E# O3 ^9 ?8 i7 p& y) t: g3 U
    Multiplicative additive linear logic algebras2 B2 [( R7 q3 N
    Multiplicative lattices
    * @- q0 e/ h4 p  f' R: ]$ k" j% |Multiplicative semilattices+ B* j  d$ H# w2 A4 V% }7 r
    Multisets
    - k7 w4 |' |  A% LMV-algebras
    2 w6 G, H* R9 v7 d6 uNeardistributive lattices
    % Y. _7 G+ O7 @: j6 A4 }# ]. CNear-rings
    ( P) V1 E3 Z9 x3 o) n* @  L  |1 M, |Near-rings with identity
    4 Z+ J2 V( I0 y/ @4 }Near-fields
    $ x3 j6 _/ [0 \3 q, t8 Y& @Nilpotent groups
    . v, V3 g* a7 T2 G3 N( ZNonassociative relation algebras, K6 {0 ]2 J0 G
    Nonassociative algebras
    ; |7 u: R. Z) m. l, R% S  CNormal bands
    & q3 \7 J2 x2 GNormal valued lattice-ordered groups
    0 Q9 t% V  O5 zNormed vector spaces
    3 ^; [9 S5 n( K* E4 |Ockham algebras1 n3 W# N2 Z9 ^5 Z( g
    Order algebras2 p6 _) s/ n& p/ x0 v% t6 b- X
    Ordered abelian groups
    * J8 z$ @* a% l) Z" g7 K. ]Ordered fields
    , f3 n+ b0 s3 w( m6 E' GOrdered groups
    $ Y& F( p) _$ ]8 Z1 }& n  QOrdered monoids7 a# M5 E7 R3 }1 I6 @0 H
    Ordered monoids with zero0 b; |* F6 B, I# M. Y
    Ordered rings
    4 m( @" l2 t3 }Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero* ]# S' f& V, }
    Ordered semilattices, Finite ordered semilattices( z8 w8 Y  N' P8 X$ C
    Ordered sets
    8 P2 P% D/ `( G9 }, u% EOre domains1 b5 S2 w. q5 V1 ?% m; t: ]
    Ortholattices
    ( P! G+ F. [! K" G* r- w2 C# r" LOrthomodular lattices
    , z5 ?; h! r, m5 t( wp-groups
    ) B& I4 k% t/ H+ ~3 jPartial groupoids
    & ~, o% R) ]# s  FPartial semigroups
    1 Y. [$ K( T3 APartially ordered groups
    3 K# n* H8 B# {. kPartially ordered monoids% J, x9 f) A4 j. I8 Y
    Partially ordered semigroups
    + U+ r" M4 Q6 `5 A8 W# JPartially ordered sets
    " z, n9 S  g4 e4 U# Y6 F9 H! JPeirce algebras
    / k" {9 H4 R$ [, A/ E( pPocrims) |! c+ [: K) z5 v
    Pointed residuated lattices: g5 f: U; D* H) ?0 P0 [
    Polrims* T4 E, H/ v" K2 ?" y
    Polyadic algebras' e2 Z( q) r2 N# i
    Posets$ G+ F- V3 E: y& [* h. @
    Post algebras
    ( \4 O; x' \5 x2 K* ~$ ?$ hPreordered sets
    ( b( w& H2 u1 O6 WPriestley spaces$ c- H* [$ l' `4 C, i
    Principal Ideal Domains
    , g1 b9 d8 d0 |' z' \  SProcess algebras
      l: k' [: d( g8 x2 zPseudo basic logic algebras
    1 a8 g0 x% [7 ]! f# W6 _/ j( yPseudo MTL-algebras- u8 m) E5 f- B" ?+ F$ w
    Pseudo MV-algebras- X6 _' ^" q( V% B  K3 {- ?7 q
    Pseudocomplemented distributive lattices) q6 K# d4 S4 B% T- }$ n, P
    Pure discriminator algebras
    7 N5 p. X9 c9 I- ZQuantales5 H' _* F/ ^* e+ d$ h1 X
    Quasigroups! A" G( r) G7 F( L; W
    Quasi-implication algebras
    8 X/ E4 D1 [# E6 d% |Quasi-MV-algebra7 {  b. f5 r6 [( t
    Quasi-ordered sets# v% m0 l2 S5 ]5 H0 M: |% M
    Quasitrivial groupoids; a8 ^5 U5 T* B+ p/ d# V: x; m0 g0 r
    Rectangular bands* ]& ?- `) ~' {
    Reflexive relations9 p' X, O6 r- E5 ~$ p5 a1 q
    Regular rings0 \6 P/ z+ ?5 ~, g
    Regular semigroups+ B4 a$ X; [) g
    Relation algebras3 ?+ w! K: A/ Z8 e6 q( m# w
    Relative Stone algebras* ^/ K2 K6 R# i, y
    Relativized relation algebras
    , d7 h  p4 [& ^/ A' R* v$ x, nRepresentable cylindric algebras3 Z; h! ?, v1 j' I3 y7 C
    Representable lattice-ordered groups0 P& F4 x6 {; p" i$ q
    Representable relation algebras
    9 F- A2 ^9 s0 f& R7 b# v# hRepresentable residuated lattices2 y. c7 ]% r( J. i0 T6 U* o+ P" k
    Residuated idempotent semirings
    & x0 @' a; m2 Y9 U: H2 {0 U+ r" SResiduated lattice-ordered semigroups* d! ?+ c& b9 h: i  X- J6 X
    Residuated lattices2 O1 G- x, A! r
    Residuated partially ordered monoids7 N/ o$ {; R/ Z
    Residuated partially ordered semigroups
    1 Z2 L( V1 k% Y6 a* R6 o+ ^/ VRings; u3 [5 C1 F8 ?$ F. K: S
    Rings with identity; Z1 q0 U8 {: {* s
    Schroeder categories) g* p1 e4 B5 s
    Semiassociative relation algebras
    - }# Y3 `+ J  _# xSemidistributive lattices/ ]) k9 \7 J* ?; a" V: s! [4 P1 R
    Semigroups, Finite semigroups  {# e- L- Z! P4 u
    Semigroups with identity
    . h+ b8 z# g+ V% ?Semigroups with zero, Finite semigroups with zero' g% @) I3 e; z# l# {$ n
    Semilattices, Finite semilattices+ e# h4 c; d* M% Z; ^& D
    Semilattices with identity, Finite semilattices with identity7 C0 c$ E! U7 [' o5 Z$ J
    Semilattices with zero) D& X$ h( d" r" A/ ?
    Semirings
    9 W+ D, j! e+ V( f" g: qSemirings with identity1 N+ a1 G* |1 U1 Q% N# }0 S# t
    Semirings with identity and zero5 E; N# _" j" a" F# ]1 Y! X  s  n
    Semirings with zero
    ! Y  j) e# K( h8 h3 @Sequential algebras% k; {0 [2 q4 h9 T( c5 K
    Sets7 V* |8 L% L3 F: B# t7 R
    Shells
    ( o4 o! l3 P! g3 S" ~% m5 DSkew-fields5 r. e: m2 H% K8 B
    Skew_lattices2 }7 P6 `  e3 U6 K3 ]* \
    Small categories  |# [0 m% q( H) x; Y
    Sober T0-spaces* I; M4 W, F, I) Y' C7 i; V3 x
    Solvable groups
    1 V# s1 M) V( b# b! qSqrt-quasi-MV-algebras  \! h$ X8 L! H: m+ o
    Stably compact spaces
    6 Y$ j' M. B; v/ h! Z8 U2 bSteiner quasigroups
    : [. B. S8 P* U' k1 e" mStone algebras
    . Y4 A7 t* _3 w( ?5 O2 OSymmetric relations! D& E- L5 M" J- M4 @# |& O" v
    T0-spaces0 r% k3 z+ g+ i  ]: Y6 f
    T1-spaces+ J- \; h/ c0 z, p# Q& ~0 \% ^1 }
    T2-spaces1 z. U  E: M7 y; x9 l6 ~4 _
    Tarski algebras2 o1 |: F$ D0 M4 E& L  z7 r
    Tense algebras3 c4 O7 k- Q& U  t
    Temporal algebras2 @% g3 B; [# z. J2 p
    Topological groups! f/ @4 U6 |3 }1 {/ u: R4 O
    Topological spaces  K. B5 Q, w- Z+ a, j
    Topological vector spaces) U: i4 j; ~0 z2 h1 O3 O
    Torsion groups% K# _% U- f# x6 o9 L4 T( T
    Totally ordered abelian groups% U; P* d4 d4 [6 h/ T
    Totally ordered groups
    2 B1 e( K& |7 ?# k  W& W2 w4 FTotally ordered monoids! {5 j8 _, L( X) i* k; C
    Transitive relations/ `, r/ n1 H- Q( G' v
    Trees" {5 @0 m/ w/ [/ I9 e
    Tournaments
    6 a7 ~. _6 l  Z, g0 Q6 _. e5 GUnary algebras
    " [, k4 [; |3 C9 ^7 P9 fUnique factorization domains( ^7 {9 ^+ u, b( Y
    Unital rings
    + [* \6 X3 m5 _2 n4 n8 aVector spaces
    ! U  I  M6 h0 D# V4 dWajsberg algebras0 c0 d9 k" C* n" n4 ]! m
    Wajsberg hoops
    # Z/ P; {& ?* ?% HWeakly associative lattices
    + |' v* K3 t( IWeakly associative relation algebras4 S* d( q- K% R; q& i
    Weakly representable relation algebras1 ^1 V. p( O0 D9 x* b. ~6 ~
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    / o2 K3 i( t) u阿贝尔格序群
    " v$ d/ z3 p" P阿贝尔下令组* P* T' ^4 x; r/ a: U: f, {2 j
    阿贝尔p -群
    / D$ W+ b& o9 m. M/ _阿贝尔部分下令组
    , F1 x( Q7 X+ h' s2 Y6 s7 `行动代数行动代数
    * ]5 h% K, V  ~- r行动晶格4 C" p2 V( J* R4 L6 J. b: |" V* h
    代数晶格
    2 R% A# ?/ C8 ]( K! d0 `, n代数偏序代数偏序集* g. _5 y* {5 W- h
    代数半格! v; `0 z( t2 W6 B$ _# T
    寓言的寓言(范畴论)
    & e7 N, `* ~$ \7 F几乎分配格
    ' P$ }- t0 _. L8 R8 L8 x# ]关联代数关联代数
    7 P2 F+ P5 }) n: v: j3 bBanach空间的Banach空间/ R+ s- l  y' D/ v7 V' m' v' J
    乐队乐队(数学),有限频带% A* _* p. c- K& i5 y. H: |
    基本逻辑代数
    % U( V& b& `; ?# ?2 QBCI -代数的BCI代数. F$ H4 l( x+ F2 W* }( u* {" E
    BCK -代数BCK代数
    4 [6 \' B# L5 k# ~1 @) K5 iBCK联接,半格2 L% r# S! C  C" V3 U
    BCK晶格
    ' @4 `9 d' y5 P, m7 ^BCK -满足的半格
    ( m. h( x5 B2 G0 f( N! @8 F* X& Z双线性代数4 F, a/ y+ O, N3 D4 @- h5 a
    BL -代数; S9 l+ ~' m6 K6 V# ^
    Binars,有限的binars,与身份,身份和零与零,8 G- j6 p. {7 D; W+ W  ]( E/ t
    布尔代数布尔代数(结构)
    / z5 m( c1 x! |) ~# N; @- Z与运营商布尔代数
    , _4 `9 Q* y2 M2 L' P4 X2 B0 M" {3 g布尔组
    - q8 D7 a9 v5 Q! f1 X5 c) D8 [布尔晶格4 s. y# f, ^1 l8 A2 N3 T4 \* M
    对关系代数的布尔模块
    ; \! ?: e- B8 C  b" v8 l& O布尔半群9 ^: T- d7 i7 S% n" Q- ]( k
    布尔环8 `( m' I: B3 S" ^9 e
    布尔半群6 q/ l( M, q7 r; p' n  v
    布尔半格
    - k! f4 F9 s6 y  J* R6 C0 v布尔空间
    ; U0 \/ _3 A( l6 J# `: v9 g有界分配格
    , g& a+ R& X2 H界晶格
    8 Q' X/ y( ~% O2 i. m界剩余格2 \. \5 c$ u8 I) _: T
    Brouwerian代数
    * q" N' C" h4 d  c1 LBrouwerian半格  }( q1 f5 P1 K, ^
    C *-代数. t( a! ^* w/ H8 g
    消可交换半群  d, |9 A* E4 i% a% s, f4 C) }
    消可交换半群% T1 f, l2 I, Y0 x8 l8 h, ^
    可消半群* U. d9 A5 z- ^0 u# t9 S0 C$ K
    可消半群
    ; ?( G) w  x! ]- Y) u消residuated格
    4 h- G0 |3 n; {0 k分类2 }5 K% b6 a! |' b

    9 V$ B( z% b) d" O- s克利福德半群1 g: z" H2 |7 q) `/ d% m# F" Y: _5 P2 K
    Clifford代数4 U; g9 j* U1 {5 t; o9 R, w
    封闭代数
    & F0 T8 F7 c3 ]/ d( V, }可交换BCK -代数, a3 T, z2 N2 a3 H+ T
    交换binars,有限的可交换binars,与身份,零,身份和零& u! p) G" B' x0 j) d
    可交换的组成下令半群,有限可交换积分下令半群. s, e0 C0 c, C6 N, Z4 b. X! ~7 _
    交换逆半群
    7 ~$ u0 y! x# z' Q交换点阵有序的半群5 o2 y7 _) n' }2 `) ?9 l2 Q- l
    交换格序环
    % \+ ^8 a! D8 X5 Y% a; Y# t# g. a# i交换格序半群
    ! A$ J% j) N3 o交换半群,有限可交换半群,零的有限可交换半群
    $ {! O& {4 N# r4 j+ g* z交换下令半群! e( F, z$ J- E4 D; F$ K
    交换下令戒指3 k( u1 g, y4 U$ l
    有限交换交换序半群,序半群+ D& Y) W+ @9 }9 s3 o! d# Y
    可交换部分有序的半群; I! \  d9 \1 ~$ ^4 m; Q
    可交换部分序半群0 j- _+ n6 f/ n1 w5 c* h& G' G
    交换正则环" m7 i6 Z% v8 Z# @) r: P4 K3 k
    交换剩余格序半群
    $ S+ Y7 w( g6 H' N; V2 N7 O交换residuated格
    # I7 S% Q6 ^7 \4 e4 _# _% I可交换residuated偏序半群1 v8 N9 ]1 D- k8 r5 l7 o" X( I2 W
    可交换residuated偏序半群
    5 g( F/ H. ^% R7 s# e交换环
    $ W" p" \6 @: c" \# h2 B与身份的交换环
    5 I' g% X5 F  F0 \0 E' X交换半群,有限可交换半群,零9 _' e) O* g+ K: K
    紧凑型拓扑空间
    # V, v4 S. [+ Z8 J( U紧凑的零维的Hausdorff空间
    3 c9 ~0 E0 [; c# x7 E补充晶格
    - B* C) s! G  e/ J% k- j) _有补分配格
    2 w& l& p' d9 t' M补充模块化晶格
    8 L* m- `' a" |* e% Z; A完整的分配格
    5 }  Y* {- c( S: M" k完备格! b: j/ U9 m& W3 P- ^
    完整的半格8 j% Z. p* l$ o6 n
    完成部分订单
    2 q& S4 V6 h6 {$ w6 @完全正则豪斯多夫空间0 y9 L( ~: D* [) \
    完全正则半群- Q7 p# K: Q: v# M8 B! h+ E, n
    连续格8 K2 I$ {6 J, Y# r' E
    连续偏序集
    4 B+ M1 P3 o  N# x; f, u8 o柱形代数+ }5 {% I' z! Q4 p1 C/ E- [
    德摩根代数( f. Q' w* c; ^7 C5 J" e9 K9 n6 [
    德摩半群5 S' E% M6 o: F( x! H9 ~8 Y4 U
    戴德金类别6 a" R' B# i+ [7 P7 u, @" L
    戴德金域- I+ S8 h3 d8 |
    稠密线性订单
    # }! u6 S/ _  N& H9 L* ?有向图代数( I# s  Q( m- ?+ s  Z# G, N# X) q
    导演完成的部分订单
    6 b' h& L1 d% H: X导演部分订单9 e& [% l! E5 j4 a. d, \- x* D
    有向图
    % }& |3 e9 x+ x2 J: gDirectoids
    . i5 y* p8 j1 L分配寓言
    4 _/ w3 X. _% y分配的双p -代数
    ; S5 [5 b1 Q; K) }分配的双P -代数
    3 K7 h6 [& d: i" N4 T3 N5 e分配格扩展
    , D8 C* @) D0 v% C; Q分配格) l4 o; |% b9 Z
    与运营商分配格
    - r& U9 J+ J  _6 w! A1 s: k$ q分配格序半群
    " \- H) I! j* n分配p -代数
    ' e0 c5 u+ K# I4 V3 }# K" q9 J分配residuated格
    ' h/ I! S/ `" w& P- M8 N' N8 o司代数; Q7 ~, B- }8 B' u, ?9 a. G/ _
    科环5 w; X! p7 r  n+ O9 ]8 W) ~7 f
    双Stone代数* s  q% c" ^0 f# h
    邓恩半群
    & D5 x2 {8 X: t; N- |; _0 @$ g4 N  {动态代数# b" Z9 M9 [9 T, N
    熵groupoids
    " i/ Q6 T8 O) I4 K+ q. e8 @等价代数. I2 E0 R8 n* O0 `* f. u$ a! E0 m
    等价关系
    : d. B( C6 T- ^1 w+ Q+ H2 v, I3 D欧几里德域9 ?. d8 s- x& I& W+ P0 ]; H$ U: \
    F -环/ E4 o6 X) {5 b" [3 e
    字段( r! X  }. B" B3 B# U4 Y
    FL -代数
    / X/ n/ m4 k$ c4 g/ g0 Q+ s) lFLC -代数* Z' ?8 O# ^) W: s
    FLE -代数8 C" B8 @+ |5 w
    飞到-代数. C* V5 m" y8 q2 C  U6 l" L% q
    FLW -代数
    2 X8 {/ z- J, ^框架5 p" w: R# k- Y
    功能戒指
    6 R$ i4 [( Y# g6 _0 LG - 组
    9 b: ]7 f  L, `广义BL -代数/ X& [3 a7 ?, p" Y8 G# F1 T5 R
    广义布尔代数9 J! |/ F2 Z& ?4 j
    广义的MV -代数5 C" e, [/ O- y
    Goedel代数
    3 t) @, {( ~. E
    0 f( m3 i% i8 F5 X9 {9 t% LGroupoids
    2 O: I, f; m% y$ f/ E2 k3 c; [
    2 f' b) }0 p5 n% E, S豪斯多夫空间- T. q1 A- V; e9 y  ~6 _$ `; W: ^
    Heyting代数3 @4 W# \4 o( P4 e0 B- F
    希尔伯特代数
    2 K3 w4 _3 H# H7 D$ nHilbert空间! u- k5 F4 V  d  ^
    篮球
    + y# B5 i8 Z/ v1 C幂等半环; r( v  u2 D6 R. R: R( g6 Z
    幂等半环与身份
    ! Q3 \4 X" C8 F% C! P0 J. H幂等半环的身份和零
    ! c  W% X, f' U" y/ J8 M幂等半环与零
    " X0 {; m& G/ {9 V蕴涵代数) r; L. A4 J; o. P; g" g
    含蓄的格子
    % R8 w. F  v* {$ `; m+ l- O积分域  ]- V" B6 f' H. e: _) A2 L
    积分下令半群,有限积分下令半群
    1 V% q: h. p. F* a积分关系代数
    ! ?' L% f/ U; M9 C% [集成剩余格: R7 }, m  w$ Z3 z5 ?, c1 f' w0 f
    直觉线性逻辑代数
    : r3 B6 A9 P( u7 b1 y; {逆半群1 ]5 Y2 v. ^1 f$ t7 `/ O( W
    合的格子, o: |4 T2 S: |3 g) P
    合的residuated格
    # A3 v& p3 T* ]0 F加盟semidistributive格
    8 w5 N" l9 ^4 G* ]( X加盟半格0 N: q; u( Q5 W- e
    约旦代数& {' }  D, c2 t* E
    克莱尼代数2 I  N9 t9 B. ?
    克莱尼晶格4 _2 b. ~+ |9 N. o& @! Y
    Lambek代数& D4 L, R8 a4 B# o5 G
    格序群" _/ N8 A  j4 s" A, {
    格子下令半群
    6 ]7 F( O3 a0 R- y7 h格序环
    + N& N1 W1 p5 Z格序半群
    + c" U9 p) x2 L& h4 T! V* r5 _/ t1 l/ _" k! R$ j7 C
    左可消半群; Q; P2 o, `/ r& L5 T$ s
    李代数- a, Q9 U  B, A4 k
    线性Heyting代数
    . W+ r( m5 x2 R: B. l8 b% p3 x线性逻辑代数
    7 r  z0 M. u$ S9 p8 U4 L' x线性订单
    8 ?1 h. z' b# \) T8 C5 }语言环境
    + E. O7 P( w# ^9 v局部紧拓扑空间! J3 X* C0 S' {% }
    循环
    , B( s$ g( l8 ~, {0 N. hn阶Lukasiewicz代数! R. f4 j+ B3 _
    M -组
    9 X5 ^0 @* V+ @! {$ L内侧groupoids0 h/ H6 A; u( c3 }6 M
    内侧quasigroups
    ! ]/ I* m' M- h会见semidistributive格
    - z* j; N& T, u" {" a会见半格. H% E* z$ A8 r5 e* Q7 }
    度量空间
    0 j# A  h  E3 q2 K& J. F$ P模态代数+ K( _! c* M$ l1 k" K% A) a
    模块化晶格% y9 W% T3 n$ V) f; X+ ~/ b4 N
    模块化ortholattices
    ; x6 P8 k, _, ]3 Q0 a, C4 M环比一个模块1 u5 f1 F* ~5 }1 w) q! K
    单子代数  b8 j" G: Q% q( U9 S1 C! S9 N
    Monoidal t -模的逻辑代数
    + ~" R5 i; _! T" L: w: d1 q幺半群,有限半群,零. Z' `( i1 c+ K7 T, e' G- g
    Moufang循环2 K: {  V" u7 ^- X5 B
    Moufang quasigroups( |) F# F. z+ _2 C
    乘添加剂的线性逻辑代数4 o0 @3 B0 E: v4 n8 ?! y* l
    乘晶格" ]. \) L5 I, L4 z; y) }
    乘法半格
    , G( `2 e) G" m5 T  |9 i多重集3 }' O2 N4 A( u( `6 `( ?9 @
    MV -代数
    . y& k9 Z5 R6 {9 z, a  pNeardistributive晶格
    * x0 z7 c; b! _  f6 @近环
    ' S3 ^4 o! d/ D近环与身份3 i1 @" [4 ]" N$ p9 R
    近田
    5 F$ }( d" K/ C6 A幂零群
    . H. h, }9 @% u; w% t" o4 F非结合的关系代数
    : w  T. \/ E* N  E, s- `4 ^非结合代数6 x: U7 o$ W, T; U1 `: F
    普通频段
    5 r9 }8 b3 P1 g* ?# A正常价值格序群
    . j+ u' e) e! X+ J2 S% H" U赋范向量空间
    8 S- W' F& U8 w! ^, U奥康代数
    3 H6 ^" z- ?/ k+ e0 q; u0 t订购代数
    $ Z, U# X4 g+ |! p- L" M有序阿贝尔群7 `* E$ o; T, x9 P
    有序领域
    - W) H* E4 `% Y  J& H( \序群; y7 j# x0 h% r% }  b9 A+ \$ s& J" v
    有序半群0 K; c0 ?  {* G: G5 R/ U
    与零有序的半群
    $ S7 T) ^# A. t7 r/ d. z有序环# \: W6 N: x) Z
    序半群,有限序半群,有限下令零半群* _/ M( s2 \# R2 t' C
    有序半格,有限下令半格
    0 E1 q; |, r9 ?9 W; U; X有序集$ ?  x/ C# `2 O" @$ d# G* s
    矿石域0 h% x# S" v9 z# u8 i) `
    Ortholattices
    / a' g% e. x7 s( D1 `6 J' J. P' I2 b正交模格$ Z- P' _7 J/ c$ N
    p -群
    6 p# o# I! f4 ^- I& P  y部分groupoids: B) d7 Y+ P! A' c  P9 b  s* Q
    部分半群4 C) k2 r( G/ F8 y/ R0 l' H% b
    部分有序的群体6 d) e* n/ }  H* Q; [- ]
    部分下令半群2 ~% n( l3 n- @) O, |% j
    部分序半群
    ! x$ O" v/ j9 r$ w7 k) m部分有序集; ]/ o1 \  r2 @, n' U
    皮尔斯代数, S# S; u. p, r. ?3 [
    Pocrims: J$ m: p, p/ c& F, c7 u
    指出residuated格9 G1 k& s" o4 d) {% |. N
    Polrims# ]! p3 a1 ]( j6 d( ~
    Polyadic代数+ k3 |7 v( t( B" D# t
    偏序集
    " b7 c$ z! w% t/ e. f邮政代数
    2 I0 b7 I2 z+ Y% h* l' {' KPreordered套
      x5 c2 k, D) z$ G普里斯特利空间
    ( G5 D. y" H3 b8 J6 H9 ?! ]主理想域
    # m- z2 q7 d4 k1 b- q进程代数
    5 @% W2 b( ^2 w, ~  d" c伪基本逻辑代数
    & q# R& S% r% G5 i9 x伪MTL -代数0 k# T# ?) h  B' {2 Q% ^
    伪MV -代数
    # p& ?3 E# V& b0 e! X5 _Pseudocomplemented分配格
    ) N1 k% x: k/ H9 M, @5 U7 `+ c0 s纯鉴别代数' {# q: W, v; m% O
    Quantales- |8 d* ?! {# I" [7 Z) ~
    Quasigroups
    ) {' D. Z' Z5 h6 l9 e准蕴涵代数8 K8 S& Z* e5 |) s1 n
    准MV -代数
    * |4 ~1 t/ V( N9 L2 R) m准有序集9 r8 g. Q/ a1 @9 P9 o
    Quasitrivial groupoids0 |/ I* _$ ]& Z2 r4 M+ M4 @
    矩形条带
    . A- s7 F( `' y自反关系7 y  G, R) {/ ?% K) u9 N, {1 [
    正则环+ m+ ^$ J: n1 Y% T" q% `% z
    正则半群
    - ?' M3 U! v. S关系代数4 y0 N& |, k; C) s& f% C
    相对Stone代数6 s4 _& H+ x( G/ ~; f/ E. b0 c
    相对化的关系代数8 @! c' k5 \& Z, k( o
    表示的圆柱代数
    1 g1 q# @, ^4 o2 D9 Q" d表示的格序群体
    4 C) V4 f) |" s' b+ m' G3 _表示的关系代数% {# d$ S* [  }
    表示的residuated格% A2 E8 T1 M, O5 \: M
    Residuated幂等半环
    * q: J, a/ v; y* S4 N3 M, D: Z, }1 X' |剩余格序半群# r: y! v  e1 G$ S2 A# E5 s# `8 z
    剩余格: y" |. O! E3 p& |4 i6 Z) a
    Residuated部分有序的半群
    3 T3 U. B% D8 z% h7 s( RResiduated部分序半群
    - J$ K2 f: D1 v戒指7 S+ a8 L  ]; }2 \6 \6 @* c' K7 D
    戒指与身份% k6 p; i: U- ^5 K/ ~1 E) s
    施罗德类别* k0 L6 X% a& r- ~4 w
    Semiassociative关系代数
    ! F; v% `: g& ]5 B% C0 e0 eSemidistributive晶格; h# P; D  k# }) }( o" @" z
    半群,有限半群1 X3 e$ D* j) p# F
    半群与身份
    # k0 m* U6 L( \! l9 c9 j半群与零,有限半群与零
    ) j$ T% M: U) H& f' L% K  g半格,有限半格' I0 E4 e, ?, C$ @( e
    与身份,与身份的有限半格半格
    2 f$ o& c+ e9 P- f/ n4 [6 _半格与零4 n: f( n+ ]3 j6 }# y
    半环
    # e6 E8 i4 m3 o  k半环与身份, v6 p6 N% E2 g( {4 i
    半环与身份和零
    7 @2 E8 x  e" x4 e8 B/ k3 c, }7 x# j) b半环与零1 w3 l- z# X% j: K+ u
    连续代数6 W3 B6 _- K2 E6 c
    ; k: E) e8 \& x) p9 n

    # I3 [/ u. t* I9 b9 F歪斜领域+ q& Q7 ~3 [2 P4 F; L: `3 N. b# r
    Skew_lattices  d* I9 {; E' @* K! ~! v
    小类' I4 ?9 t0 v9 v, ^& j) n
    清醒T0 -空间
    0 {3 M4 x+ T& m0 R- v$ ]1 c4 ~可解群
    ; A- f4 _6 Z3 b: l8 |' P& NSQRT准MV -代数2 g' R& l" e9 [$ p( E
    稳定紧凑的空间! j% H9 D% u5 P4 c7 N
    施泰纳quasigroups+ v  r6 L- v# @9 w, J
    Stone代数
    0 X- E( j5 t% v, V: l& S- k5 @# O对称关系0 J7 P- e8 p2 t3 R9 \5 K) [
    T0 -空间0 u; V% ?, X# U& n  e$ U
    T1 -空间1 T, G, M0 s7 ^2 @! ~3 A% G
    T2 -空间# J, Y% ~- \9 @1 L' K
    塔斯基代数
    " M/ W: S. _% |+ S) ~* q% t% h紧张代数: q/ t7 y5 d' P* C
    时空代数
    . i( p5 @2 g% k* c$ M6 _5 E( D拓扑群
    + S- c9 ~. \) T拓扑空间. ]1 [7 w. X3 O+ d" e4 n
    拓扑向量空间+ t* ~1 g* d& g7 |# T
    扭转组
    . @/ p: c( [) Z0 a( A1 g( l' e全序的阿贝尔群  a# `. V, Q8 e) X! M
    全序的群体
    # u. _/ R! H6 K4 \完全下令半群
    9 D- A5 L* {: P) H5 a6 wTransitive的关系
    ! ~7 Y' u3 K- G4 t0 A; o
    2 ^, G. G7 W; S5 G6 U1 ]锦标赛
    " W9 O0 Y. E3 g) z( X; l一元代数
    # {4 e9 c2 y; h- t' Q8 K) z唯一分解域; n9 {$ M/ ?- c) |" l
    Unital环
    9 [( ?7 R( @- e1 |! K( h向量空间; ^( J" C0 u9 p1 [# k
    Wajsberg代数
    2 A, A7 E8 c/ G9 W8 @, nWajsberg箍* ^! F7 h1 y% ]" s0 X3 u  r
    弱关联格, U1 k" z' Z* h2 P% V# e; c
    弱关联关系代数
    5 |( P9 C' a1 D5 L) B3 n* Y弱表示关系代数
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3301

    积分

    升级  43.37%

  • 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-5-5 19:56 , Processed in 0.374364 second(s), 79 queries .

    回顶部