QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3598|回复: 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
    # l1 U3 ]- S- M( I3 l

    / m$ X) o$ W7 Y& V4 `Abelian groups     Abelian group7 A& s) R, p2 m0 F& u: b* s
    Abelian lattice-ordered groups
    : g; r$ \) C3 a# r" i" n& `Abelian ordered groups
    # A$ z4 Z( W7 R5 K+ VAbelian p-groups
    * ]) S' n: {; x' PAbelian partially ordered groups
    1 B( P. g- R7 I4 l! m2 AAction algebras     Action algebra; @: Y3 Z  i! T, S6 |
    Action lattices
    * t* Z- j- E' v  ?! SAlgebraic lattices
    4 S" Q9 |# r& rAlgebraic posets     Algebraic poset6 b( b8 G' G& y# C
    Algebraic semilattices
    & Y6 I: M* }: a$ h9 UAllegories     Allegory (category theory)6 r; D6 S0 m8 t( `9 g8 h
    Almost distributive lattices9 s& Y7 u) g: U. l8 Y" _
    Associative algebras     Associative algebra* B( ~' [7 y% Y1 t7 \( h
    Banach spaces     Banach space' k1 Y5 Q- [1 }
    Bands     Band (mathematics), Finite bands
    3 s: \1 T( N: y4 `/ \Basic logic algebras4 r9 r6 g1 B4 `9 ?
    BCI-algebras     BCI algebra
    % V, }6 P9 F' X) e4 Q! L  {BCK-algebras     BCK algebra
    ' p; U4 d# q% q6 B* {7 pBCK-join-semilattices
    4 s- G; I( F/ ~5 W6 O: A! ?# J: JBCK-lattices. w% v& ?  [, E# K
    BCK-meet-semilattices1 ^2 e+ s, ^# @; f( |6 d: A
    Bilinear algebras
    " z: s$ u- w9 VBL-algebras/ U* S1 B2 x8 e! u
    Binars, Finite binars, with identity, with zero, with identity and zero,
    7 ?2 X, m2 G. Y5 i( |9 m+ VBoolean algebras     Boolean algebra (structure)
      ^8 F9 C5 T# k7 C' v; k% a. bBoolean algebras with operators
    5 `! r, T/ N5 ]$ t' Y) U: UBoolean groups' O; Q3 |; U: h& a( ]" L) \5 g& P
    Boolean lattices3 f' `5 Y- R5 N! O9 g
    Boolean modules over a relation algebra1 X% `% V" J4 N# q) U4 n3 E
    Boolean monoids
    , T) x6 A% ~" e6 l1 a2 W  vBoolean rings
    1 Y# t. d# `( a( y8 @! EBoolean semigroups  |2 O; s0 o  _9 J- S: s
    Boolean semilattices0 z8 F% K' ~  L: p4 p
    Boolean spaces; v. o- L9 `- Q: ~9 _9 z, n9 i
    Bounded distributive lattices
    3 S* V/ G. \9 E3 _Bounded lattices) f0 }/ @/ G; A. w4 S
    Bounded residuated lattices; M# Q) x4 d. [) d0 E
    Brouwerian algebras
    & {8 c/ w% ?% W4 T, q' C/ wBrouwerian semilattices
    - m9 F. L$ Z' v, k6 uC*-algebras) S/ r1 x8 Q, W- I" S; V) u
    Cancellative commutative monoids
    3 v' p& T& @( K' M  w0 n: `Cancellative commutative semigroups
    , E  F. O* o. T4 [0 oCancellative monoids5 F' w, _, f! n  K
    Cancellative semigroups2 W8 _4 m# k# d" S2 K# y9 X! j
    Cancellative residuated lattices
    + S4 b7 J( p1 |9 u3 RCategories# p% @8 `' z) M
    Chains
    ) K  j8 c5 {& r5 AClifford semigroups! H) T7 |& ?& E& c0 v2 ~
    Clifford algebras8 _+ U; q" O& i- I
    Closure algebras
    1 a- @5 a( b4 C5 BCommutative BCK-algebras" M) J9 D3 i  C& l/ Y
    Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
    # Y: y$ R& L/ N- I" R4 scommutative integral ordered monoids, finite commutative integral ordered monoids
    - X) L/ X* E% v7 ^# k; ECommutative inverse semigroups4 |) P9 e! O( [) @, z
    Commutative lattice-ordered monoids' a- S0 R" y# A  _" S3 q; r/ v1 _2 ^
    Commutative lattice-ordered rings
    2 Q% {& |9 ]/ C" wCommutative lattice-ordered semigroups4 a+ B- B8 m& }2 `+ J9 b, L
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero
    ; c, X- I1 W5 N: lCommutative ordered monoids
    3 W4 X! o! d$ j# z: O3 T# mCommutative ordered rings# `( R0 u8 E. r' V5 @6 u$ V0 w' _+ {
    Commutative ordered semigroups, Finite commutative ordered semigroups; J  @0 s2 N! B
    Commutative partially ordered monoids
    6 s. @  @" s' n" x4 iCommutative partially ordered semigroups( q$ ~  j8 k1 P! O
    Commutative regular rings
    ; Q: n6 ^. L$ N, [) xCommutative residuated lattice-ordered semigroups- E& U" F* g) ^, @
    Commutative residuated lattices& B# r& L0 r8 a. d0 e
    Commutative residuated partially ordered monoids
    0 K& k4 ]1 A2 F& H$ W2 G. cCommutative residuated partially ordered semigroups
    * T$ I7 P7 I* G$ WCommutative rings
    4 }2 G1 `! w4 f- G5 V; LCommutative rings with identity
      G1 ]0 ^- L3 R  I3 r; dCommutative semigroups, Finite commutative semigroups, with zero
    & n) u+ Y' g  t8 ^Compact topological spaces
    ; B& f, B8 h2 H6 tCompact zero-dimensional Hausdorff spaces$ v1 M& Y( V$ ~3 a) w8 G& r' H1 D" T1 ]
    Complemented lattices  D$ O# y2 ]: G( }; k' D
    Complemented distributive lattices$ a1 u0 m# G5 z* K9 m5 y
    Complemented modular lattices
    ' u6 S( d8 y) I& W# S' UComplete distributive lattices& H$ Z9 ^0 l- w2 P! C) i! C
    Complete lattices* e% A2 ^3 d5 ]
    Complete semilattices
    6 v4 n0 i, ^$ ]- ?2 ]. O, TComplete partial orders
    8 Q: `* X, `4 WCompletely regular Hausdorff spaces. f% c" X1 h8 L  }( @6 E; ~
    Completely regular semigroups
    9 i, T5 J1 Q* x; }. W# T- nContinuous lattices
    " N2 _) @! t$ G. I" o" n/ n$ hContinuous posets
    ( T2 x5 f3 L  ?. s. @Cylindric algebras; F! |' H, B$ s& |# y
    De Morgan algebras
    ! `1 P4 J- i4 p! T9 W0 \8 T$ y8 FDe Morgan monoids8 ?6 s4 q- @. [& p  A
    Dedekind categories
    ! O2 M! N8 |% c/ oDedekind domains
    3 i, D" ]' c; y' Q& MDense linear orders# \. y1 g! _9 g7 e; [
    Digraph algebras* @% V5 l  c* U7 F& B1 C- ]
    Directed complete partial orders% P  s; F* s/ S( x) s7 b- L+ P0 a' O- u
    Directed partial orders. z( x7 I/ F9 e' }* p, t
    Directed graphs
    ' n- q& h5 {. ^' |* z2 u4 z8 \Directoids
    6 @$ k3 w' b/ l2 R2 NDistributive allegories. N5 N2 H' {8 i  x
    Distributive double p-algebras
    * }" A/ z0 c7 s2 E3 B4 y3 uDistributive dual p-algebras, Y' ?8 j% t& C0 _- i
    Distributive lattice expansions; t1 p' i7 L$ z' t# ]! }
    Distributive lattices
    9 D8 u4 J3 x) v9 `- K1 O! J% F0 y) mDistributive lattices with operators
    + w# U  ?; w0 FDistributive lattice ordered semigroups5 K" ]  u' S9 V, n+ N) }
    Distributive p-algebras
    : z; I# J" K+ b2 V6 ]: F5 TDistributive residuated lattices8 K: n/ e, @. s# C
    Division algebras
    & s) l) Q' e1 q$ @8 J0 `9 N2 fDivision rings
    5 O2 Q+ V& K$ t! {# qDouble Stone algebras; z% X$ ?' z; R% k7 X
    Dunn monoids2 H" L( T% P5 a% {: F; F, i* ]
    Dynamic algebras
    2 K/ r; i- i' j* s2 EEntropic groupoids( J0 H5 r4 D2 U. e. Q3 G
    Equivalence algebras; _% ~% U9 u+ R2 \! T8 a- C- _
    Equivalence relations
    1 _9 ^5 y6 o5 R) h% z) E# s; AEuclidean domains
    ; A% A+ z- {! ?. O" t7 A: q$ cf-rings" F- G. W* _+ W# d* M
    Fields# ?( H9 I! s  a: Q0 I1 O, x/ |
    FL-algebras/ V5 Q7 E+ H/ E& {0 ~- [9 A
    FLc-algebras2 c! n$ i2 f. z: |4 C% N( M2 n
    FLe-algebras! T, q6 i' T* Y
    FLew-algebras
    : ]6 N/ W/ z8 b5 Y) zFLw-algebras0 g1 k% M+ a  [) a5 K) W  b3 n, Y
    Frames
    9 }# Z3 U2 v5 y5 |/ ?8 l: R8 XFunction rings- T! X) i) B8 ^- O0 l  o
    G-sets& Q& K1 h' l# C: Z2 b9 k2 ?; T. O
    Generalized BL-algebras$ I# m' l& d! ^& j
    Generalized Boolean algebras
    7 O4 H1 n; h; i0 LGeneralized MV-algebras
    & A2 C$ P7 i+ `. H8 G& K( |Goedel algebras/ C$ L% H3 U0 U0 n9 |+ r  g
    Graphs
    , I/ q: H! t6 X3 _' Z0 H! @9 YGroupoids. Q$ k; n: G. d  c6 _& R) s* N
    Groups6 [4 L7 c3 n: q5 S# V0 \
    Hausdorff spaces6 j7 r$ W. t4 N3 [7 g
    Heyting algebras
    ' F/ E; E  a2 c+ P7 _Hilbert algebras* o/ i6 R+ A: m! C
    Hilbert spaces
    ; R+ }$ f& I/ j* \% v8 N% e: dHoops1 }, |3 G( ?! T+ \5 M
    Idempotent semirings% U& J; G8 a; b% A
    Idempotent semirings with identity& k& w& |6 B4 p+ X
    Idempotent semirings with identity and zero' n9 k4 x1 X0 m0 f; v
    Idempotent semirings with zero
    1 @+ |$ C+ ?+ P4 Q6 i% ^Implication algebras
    " |0 Z& P+ ]# A" hImplicative lattices
    2 }8 T* Z. m9 Q  I' d) JIntegral domains/ |" B0 s4 W) h" a
    Integral ordered monoids, finite integral ordered monoids: l% L: `# a2 `/ }
    Integral relation algebras$ a+ Z% z' f  ~% J' B9 Z1 l3 D
    Integral residuated lattices! C( q* e1 V/ Y) G9 J+ n. l
    Intuitionistic linear logic algebras" A, Z/ k& M3 d0 G$ @6 B9 I; h3 D+ H; g
    Inverse semigroups. U* w$ L8 ~4 e4 j+ `
    Involutive lattices
    3 i2 a0 J* e$ ~( x# n9 |6 F6 fInvolutive residuated lattices; f0 g5 C$ |' l# {$ ?3 N# X' {
    Join-semidistributive lattices
    % G* U8 |# P$ @Join-semilattices
    $ c/ m8 U+ s1 M' yJordan algebras
    6 o- Q# |8 z0 _; a/ M9 }6 z& `' w, IKleene algebras1 o; Z- v1 u) h  `8 b$ }
    Kleene lattices
    % ^8 V. G8 w- H. RLambek algebras
    / D- L" j" C1 b4 r1 r$ H& X. ZLattice-ordered groups+ I& s" L, ^. o6 ~; W, A
    Lattice-ordered monoids2 L  x+ }6 w* k% r
    Lattice-ordered rings
    ( q' O4 t# S9 |2 Q0 a% U- o, ILattice-ordered semigroups" w9 f2 G- \/ k/ j6 {
    Lattices
    8 C/ U- \% ~+ M4 C! d! [6 h" qLeft cancellative semigroups
    : R2 r- k, k; L2 @6 V2 I4 |Lie algebras% W2 _# R: W6 Q( }- R
    Linear Heyting algebras
    " _; g- j! I5 N* m- l+ n2 TLinear logic algebras. V: N  l' h7 x0 s9 I/ E1 l7 C
    Linear orders
    + `) V/ J* e* L6 s: E9 TLocales
    * X! V/ Q5 r) vLocally compact topological spaces
    9 z. W" S/ v: e# o$ C7 z. d  I: Y6 zLoops" v/ d+ J+ U. u5 k" ~1 f& j
    Lukasiewicz algebras of order n/ U5 j2 @& s% z
    M-sets0 V$ e6 b  U( z3 X+ [
    Medial groupoids
    8 x# s; T: |- u6 K( {% nMedial quasigroups2 F, X: F: L4 y8 k- C. a7 t# m
    Meet-semidistributive lattices. a) N3 S  ]# w/ s
    Meet-semilattices
    2 K0 q8 R0 S* o" m" sMetric spaces
    " R% K2 D' Z+ Q/ t6 R1 I6 T7 H+ P/ ]' |Modal algebras; l* V3 h' u$ k" |
    Modular lattices, k, Y( M2 x' M8 H
    Modular ortholattices
    0 w4 G* y# ]  O7 j  {7 p6 zModules over a ring7 b6 `+ ]) Z% g& F5 F! n; ?
    Monadic algebras
    ; U7 p, s; M% R- t( ~  [Monoidal t-norm logic algebras
    8 L5 e6 y1 o- K" rMonoids, Finite monoids, with zero' e0 ]% j+ r. v/ O8 \4 c5 S* {
    Moufang loops
    . Q' |5 \9 E9 @2 I: `- N# Y* aMoufang quasigroups5 a* W' q& E; p# L+ L+ Y
    Multiplicative additive linear logic algebras7 _7 q; g. j" x( o
    Multiplicative lattices
    3 e8 v% `- Z: VMultiplicative semilattices4 L! m) R2 q6 _+ T! V
    Multisets
    , X2 m5 g5 q3 b- UMV-algebras
      g" m. t; P4 p* a& ?8 u5 a: oNeardistributive lattices2 L* p$ Z$ s, w. e
    Near-rings
    3 Z0 n5 T+ p" |# E$ ?/ `+ wNear-rings with identity
    & K( k; b2 n8 CNear-fields3 C5 {3 s& B1 T) e
    Nilpotent groups, z( u( b. }. r9 o
    Nonassociative relation algebras# N2 ~4 b# x+ S' w- d  T8 U
    Nonassociative algebras: e+ h7 q$ E  W( H. l
    Normal bands1 Q" j+ t2 p: E; b# V: l1 {1 t
    Normal valued lattice-ordered groups
    ( I$ C$ n; y8 [8 U/ v' XNormed vector spaces
    / ?9 c* p) y% I# V+ m4 a. ^Ockham algebras
    * W. E; X9 j" t: nOrder algebras3 H5 D/ x: ?# v, z) ?
    Ordered abelian groups* H4 ?, E) O# j+ x
    Ordered fields3 [/ Q3 o; Y5 ]& \! M4 W
    Ordered groups
    7 @, a3 l- X/ R1 w8 oOrdered monoids
    - {* B7 h& V- F6 v4 w  a3 FOrdered monoids with zero
    ( Z+ k; H2 M' S  i: s) y' e- W/ ?5 L0 ~Ordered rings. J; U  ?  e* n: h, B
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero) K  M5 o0 Z7 q8 Q
    Ordered semilattices, Finite ordered semilattices
    & `& y5 e8 _' \+ E/ R0 ]Ordered sets3 M  U2 {/ O, ~0 g- ]6 J
    Ore domains
    ; ]5 K! S5 h5 Y& E0 _# I1 `Ortholattices
    & J/ ]" R$ M" y# ]" X( yOrthomodular lattices
    6 |) i0 o; b0 l# q9 S7 gp-groups6 x& i: S0 l$ D
    Partial groupoids
    2 t: t+ W& `  W& YPartial semigroups
    8 G- `6 G$ w) k3 \Partially ordered groups
    2 D% h3 b0 ~/ ^$ D/ ~4 X. TPartially ordered monoids
    / R, b5 _/ C8 K& A: SPartially ordered semigroups% p9 H2 @. e, {) g. F; F& I
    Partially ordered sets7 \+ d4 ]: m' j2 s" t% R
    Peirce algebras- G* X: B$ ^& `% Y' C5 |7 ]
    Pocrims
    4 O8 D6 C7 E7 {8 J9 @; F0 g. UPointed residuated lattices( g. O+ u' ^  y0 t1 a+ h& Y3 c/ h; P- b6 a' T
    Polrims  p) Q  Q& W$ E/ r; q* T3 M/ E
    Polyadic algebras6 L4 `  n' R: V: {( R- K
    Posets+ r$ v# t3 w: }5 y( M
    Post algebras1 }  d% E* u' T' e
    Preordered sets
    . p+ `: X$ q( ~1 kPriestley spaces) `: p2 ?8 u* {" V9 c: Q4 {9 I
    Principal Ideal Domains: l" R3 x% O" L( i% k0 k
    Process algebras
    $ ~1 C5 X* S0 FPseudo basic logic algebras
    $ {3 _, w! f; e* P& G6 s" p$ ]% PPseudo MTL-algebras1 q4 ?$ |5 Y, |0 M) F
    Pseudo MV-algebras" s& F8 r5 }  Y) p4 ?6 D3 J  c/ W  j
    Pseudocomplemented distributive lattices; T1 T+ }3 y5 k. _
    Pure discriminator algebras1 B) m- A! h! U; Y7 R8 {( i. i7 B
    Quantales* l9 u0 T! X* s) r5 j( P
    Quasigroups$ N4 p; I$ d$ ?1 C! i
    Quasi-implication algebras
    * z: L$ ?' F+ X+ c7 C" _Quasi-MV-algebra
    , u- M1 a) `- _: w5 i, WQuasi-ordered sets
    & t3 a9 \1 t( d6 X* x( XQuasitrivial groupoids- W5 m4 W. }9 t4 B9 Y1 o
    Rectangular bands' z0 Y3 p- U& _" X4 P+ w! U. T
    Reflexive relations
    / r3 X$ s- D6 i$ A9 |Regular rings
    9 I" g. `+ c$ `9 w" zRegular semigroups
    ! \5 h, |2 D4 J' a/ Q. }' NRelation algebras
    $ G5 n* `0 F5 z% aRelative Stone algebras
    ; ^, `  E) M2 \Relativized relation algebras
    5 Z& E+ d7 l/ t: B+ L! ~1 G" fRepresentable cylindric algebras
    ' \/ u/ X2 ?$ ]4 T+ _- g+ Y0 X% ARepresentable lattice-ordered groups: ?. K! I& Q1 c( G
    Representable relation algebras7 P* T( a4 e- X% R4 `
    Representable residuated lattices
    2 n( j( Y- u( b! J6 r8 T; _9 d* mResiduated idempotent semirings% B+ T2 C. E9 k, J0 T
    Residuated lattice-ordered semigroups$ y/ {6 ~, u6 j
    Residuated lattices5 j/ o+ M' X) r* L
    Residuated partially ordered monoids
    1 C) y5 J! {2 n, k  G: WResiduated partially ordered semigroups
    , c# O2 h& z2 ]; QRings6 b6 i5 E* k( M1 D, i2 s" S
    Rings with identity/ q/ s7 Z; \6 Y& P- H& p; f
    Schroeder categories
    ) o5 w3 C; W! a. |5 U7 A9 U2 zSemiassociative relation algebras
    0 C+ U/ S8 U+ h2 ]9 hSemidistributive lattices
    4 i" R; N) v$ l; a9 y" CSemigroups, Finite semigroups
    2 |) k9 v- T( H2 k1 ?, @. VSemigroups with identity, ?3 w1 `" u+ E+ j- o
    Semigroups with zero, Finite semigroups with zero
    / X. l: D6 r8 U( gSemilattices, Finite semilattices% M6 [* [5 D6 @; [
    Semilattices with identity, Finite semilattices with identity- {% {  [) t7 G( Z) a
    Semilattices with zero4 ?9 T. \! f- @* n& g# G
    Semirings$ @" b) B! ^2 @' Z
    Semirings with identity, ^: r) {, ^- B; `2 Y
    Semirings with identity and zero
      n3 W9 \5 D! nSemirings with zero0 e4 G1 c7 {+ \7 K
    Sequential algebras, n, s0 M) q- s, g8 w. H2 F5 m
    Sets; H2 m0 d3 Q- `6 w, g( O8 {  F
    Shells
    " Y) k9 V7 u2 t: @Skew-fields
    2 v& w+ s* C: a. f0 F7 D0 HSkew_lattices  z3 \- f% U1 N2 G# c' t
    Small categories) y' p2 z6 C3 i, y  @% W
    Sober T0-spaces
    : `( R0 l3 D8 SSolvable groups8 p! P" M) q4 q" G! C  s* U$ D/ y
    Sqrt-quasi-MV-algebras$ i6 @& E  f- Z# W! P
    Stably compact spaces
    ' _3 R% y* t3 O; ~; c% FSteiner quasigroups
    ! W' P( K/ c! t) o/ wStone algebras
      w3 w* C: Z- Z0 P+ M' A5 z/ _Symmetric relations
    9 y  o* E& L) X; U0 GT0-spaces, }( I5 x4 B* K4 H# g( b
    T1-spaces0 O2 S1 X3 ?- a  B
    T2-spaces% C9 o* h; u* y# [4 ]2 o) {& j
    Tarski algebras" R. r7 v) g% ~( U" h) Z, w
    Tense algebras
    9 q( o# z, m& S* vTemporal algebras9 K! X/ R+ G+ \# \
    Topological groups* l( g7 b- y8 n% j+ @6 u
    Topological spaces, W: z* j+ W6 a, T8 C1 k
    Topological vector spaces
    9 ~0 |5 L: O) g4 F$ l7 Q. f0 {Torsion groups
    6 w: b" k! |+ _Totally ordered abelian groups
    # }6 }* {- ~2 X0 a' e" |Totally ordered groups
    ( O) V/ R" u; a' P2 G, ^Totally ordered monoids# F4 F" \4 [3 d# \1 M( u. r
    Transitive relations
      \/ Q& `8 |9 c! T* JTrees* N' G0 U+ ~- X! e* M
    Tournaments
    : H& ^8 g4 [1 H% S. kUnary algebras! Z3 E& b8 K! N& e+ s4 z4 A) }
    Unique factorization domains" l. c3 V5 Z; w3 A- ^6 x
    Unital rings
    1 c/ g" q% b4 z% }" V0 `7 iVector spaces
    . z. z* O% d  N/ `" g6 v7 r" yWajsberg algebras
    6 y. F/ }9 Y+ }6 TWajsberg hoops; c2 f8 T5 w8 M' r3 v
    Weakly associative lattices- V& Y+ ?7 h; w: b. I7 @
    Weakly associative relation algebras- F! r( n8 K, R, p  u5 d9 k
    Weakly representable relation algebras9 [  s- a, x% m/ e) `
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群# o9 G. G! M. D2 }4 _
    阿贝尔格序群
    0 c, A) n5 t9 v" E, k6 m: m阿贝尔下令组
    # O* s  N9 v9 `1 C, G阿贝尔p -群
    * `1 r) }5 p9 H. P' Y: ~阿贝尔部分下令组
    $ v7 w, i, U4 Z! N" C+ _. y, o行动代数行动代数8 l/ m! J0 K: q3 u0 V- F! y$ |
    行动晶格
    ; Q/ K# H* m! k9 V代数晶格" B, {* M. ?9 c" {- F+ G$ b$ S
    代数偏序代数偏序集/ B! k$ p% U# w3 |5 P0 |3 e
    代数半格4 r3 m  L; M- ]2 Z3 ~6 t# n; x( \
    寓言的寓言(范畴论)* G, S4 d, O& ~9 [
    几乎分配格
    2 g3 F& b" Y* Y: g关联代数关联代数2 w' [0 D- q: W1 g! X+ g. M
    Banach空间的Banach空间7 s' p3 h' I  s% _1 ^
    乐队乐队(数学),有限频带
    8 i! i( l- T  R基本逻辑代数
    & S/ v. X9 k' y) T: J" B7 CBCI -代数的BCI代数
    / {' C" V4 Z6 ?4 N, h  Q9 EBCK -代数BCK代数
      I; U5 K. {4 t3 w: g8 l# [1 ?BCK联接,半格
    / y7 _4 X$ u. f8 j! E! R* DBCK晶格
    0 s- ~, {( C3 U/ d  v5 S* \BCK -满足的半格/ A% Q% I# v& q" I
    双线性代数+ p( o2 `+ p5 \( J8 y# n9 l/ c
    BL -代数
    # ~# ]3 K: r0 R1 ?" LBinars,有限的binars,与身份,身份和零与零,
    7 Q) l; @* {% j. k: w布尔代数布尔代数(结构)
      j5 p! w/ Z  V7 r9 I3 B: u与运营商布尔代数
      K. z' F  u) j' d# |. P布尔组0 b/ c8 z) o* W' @8 R  M+ U; {, r% }
    布尔晶格% }/ T, H( \* q' N& c  r
    对关系代数的布尔模块+ l( K8 H: q4 H' r, P
    布尔半群
    4 K& N  X4 n6 H: p) E布尔环
    ; {$ R& c# \5 s/ {9 o布尔半群9 l6 W% P) s  W, G: D$ v
    布尔半格
    $ `1 W6 _& L1 K  K  [5 C4 \0 o布尔空间- ~( r' t0 O# x) R! T% O* `$ s
    有界分配格
    + r2 `* T  f# n9 l* _. K界晶格+ ^! c  F* z. L/ E" \% `  Z
    界剩余格
    5 H8 F7 l; ~+ E+ S4 z. LBrouwerian代数
    1 k$ k9 g$ i; I3 d5 v$ ABrouwerian半格* Y: o. \: r( e/ z+ [1 }3 s
    C *-代数2 R7 l  _  ^$ W0 C' X! z! y
    消可交换半群
      N# A! Z. _( v消可交换半群  f4 l( g: I  A/ u" F
    可消半群& R" ]& x+ ^7 U% L) Z
    可消半群
      `: J9 A7 t6 l! o" P- @& J消residuated格* E5 o! W( [4 `$ A. \- F7 e4 Z
    分类: O. K9 l0 l, }
    # r" y9 R2 X( u3 d) ^
    克利福德半群- \2 ?% X% z% s% V4 @
    Clifford代数
    5 |$ p$ _8 J4 |  q) F. l" f封闭代数
    " w+ D2 ?0 v$ {8 D6 o可交换BCK -代数) w$ h' w* K4 q1 m4 U& f+ q$ g
    交换binars,有限的可交换binars,与身份,零,身份和零3 W3 i) Y, v1 q
    可交换的组成下令半群,有限可交换积分下令半群
    ; f! [9 W, D) W5 X# H6 z/ e$ I7 z. f交换逆半群" P' m4 M" k4 K
    交换点阵有序的半群
    ) f/ F; k4 y9 `: I$ O3 A- P! F交换格序环# K6 y; s- Y* O0 u% r4 ^
    交换格序半群
    8 R: V- Z9 b6 b5 v) U% R/ C交换半群,有限可交换半群,零的有限可交换半群5 K$ X1 D) O5 h  O; x  O
    交换下令半群4 }- H% Y0 S# a8 I7 K" |
    交换下令戒指! s8 F, G2 a5 |4 ^+ j3 Q( M
    有限交换交换序半群,序半群
    5 I0 a. g* z3 s$ W可交换部分有序的半群$ D% q8 I" V" w- i; v1 j, H9 f
    可交换部分序半群
    : I; a0 W0 ?# }9 Z4 C4 }交换正则环0 d5 a+ K% \1 K# D/ S- D
    交换剩余格序半群0 h& Q) ^) `9 C, ?0 s  v
    交换residuated格& E) z3 V  n: o* i0 H
    可交换residuated偏序半群* m1 D) s; u% q, C! ]3 h# p
    可交换residuated偏序半群* H; w! b2 a" G
    交换环
    $ x" g# H& M9 T" K与身份的交换环$ Y, q2 j& Y& |7 s: U8 r! ?
    交换半群,有限可交换半群,零
    / g; [; z- y: J' ?9 @7 `4 g$ ~紧凑型拓扑空间
    - E# }- J/ {2 {) L1 P/ C  G, u" w, Y紧凑的零维的Hausdorff空间
    " w3 n- `1 d4 w& d- p0 S补充晶格
    ( r9 R# |3 l$ ]) M! p# C: E有补分配格8 J: J: l; K( V* c! n
    补充模块化晶格
    - r. O- [! M& ]- Z, D完整的分配格
    : m1 H3 p2 T1 n8 K完备格
    ) b' E- l  z) o4 a# u2 G完整的半格- F' _+ e# L7 X( j
    完成部分订单
    3 M8 s& }, Q9 I8 l6 U. ]9 {完全正则豪斯多夫空间& `8 x7 h) ^7 q4 W
    完全正则半群
      X7 {+ q/ U" I( p+ P* @+ ?连续格$ ^; X5 w* i( U6 Z0 t% u6 A) K* X
    连续偏序集; J; q8 C& Q7 C# u/ J- S
    柱形代数7 P: h( w* H( H7 i! F: ?7 f
    德摩根代数
    " F4 R4 R+ ~( l7 M! j$ E+ v德摩半群, z% y- X7 Y9 p& J3 g/ L
    戴德金类别: C* L+ a; X" s$ Z% s5 X, m4 D3 L# |
    戴德金域
    * K* t) O! N2 w! k( u稠密线性订单
    * f- R. |# M# v8 W有向图代数/ |" ^' u  M; C9 k8 K
    导演完成的部分订单7 [  L- m* u# l
    导演部分订单
    ) c. A* G& s6 N3 S- X有向图
    7 p# [# W( m0 g0 }* Y0 |2 u: uDirectoids6 {4 g$ N, Q6 f) N
    分配寓言# d$ I) r) [5 E$ w' {
    分配的双p -代数1 `& F+ E& \4 J& A9 I1 K: [
    分配的双P -代数9 N7 \) g' |4 l7 Y: A
    分配格扩展
    8 M8 y8 Z8 ~! K0 K' a2 ]1 a分配格
    5 g, V; N! v( Y6 r1 Y) E  e与运营商分配格! [) ^/ P" m9 \4 I6 L, e8 v3 U
    分配格序半群
    4 C* K) w" d) G1 z! s1 E分配p -代数
    9 ^& Z0 k% A# }- I7 W8 u& Z. \分配residuated格
    2 L9 W0 u6 b9 w: R司代数
    ) G( Y! t9 m& N. n! x: m5 H% L( G& ]科环
    0 r$ H3 d  S& _( i& p, m双Stone代数$ C2 \- R- Y0 t9 @4 b
    邓恩半群
    & K/ N: q7 k' Y# z( [: A动态代数" K$ F  y( r3 w2 U6 S
    熵groupoids; L. t5 K4 Q" e7 o3 g# i
    等价代数
    + z6 h- U! |, V5 ?等价关系
    - B4 p8 l3 T, H1 p1 r欧几里德域0 \, I- t0 j' q: n
    F -环7 T( Y( a" ^; q5 L# J7 [) C
    字段8 r- N* }. E" d
    FL -代数
    0 K# j; x5 g& v" I$ J1 b4 aFLC -代数
    . Z" T; L3 W) B6 DFLE -代数
    2 t0 M5 |7 `5 p+ K; A% Y2 X( o. r) P飞到-代数) f' v  Y  Z1 n7 B( D$ [
    FLW -代数, ]; y3 t# ]& ?0 u
    框架
    + Z1 ~5 }3 @! o6 I功能戒指
      O' I2 L+ E2 ?7 vG - 组# n( W6 Z/ U1 F! `1 x8 w
    广义BL -代数
    0 s1 t3 _+ l5 j& e4 |8 {+ D2 G广义布尔代数: [( |# x+ a0 u. S" p4 r1 k
    广义的MV -代数
    , `9 R. m  [  b& M  |- nGoedel代数% J# ]9 v* x# Y; m* C( u' B
    1 w) l: C/ W. u. e. k; o5 \: d! I, [
    Groupoids
    ( R3 F4 ?/ K; ~# o5 ], x- o
    2 I. `9 t# f$ ^- `豪斯多夫空间
    6 n, ^5 L3 ~+ U, WHeyting代数
    ' w, E# v% W5 }% e希尔伯特代数6 M2 Q; ]2 _6 p5 `9 M
    Hilbert空间
    - r. h0 f% A3 `# ^篮球& z; ?9 ^/ {$ r4 U
    幂等半环; T3 M) _" K: D  R# U& Z8 s  H
    幂等半环与身份# x5 k) g  K( Y
    幂等半环的身份和零
    / ^! S" y; ?2 P, l+ m) W3 G% z幂等半环与零
    - W$ y! s; \+ R0 m1 h- t- h蕴涵代数
    3 p; \! X/ U6 Z( L. {含蓄的格子
    2 z7 F; I! Y  H" @# O- p0 i积分域
    " q. j: R4 W0 M6 g! P, j积分下令半群,有限积分下令半群
    0 x# w3 E: f" l1 R3 ~积分关系代数
    : p, w+ I2 o0 K6 T" S4 r集成剩余格
    0 p* k+ }' B$ t直觉线性逻辑代数
    9 z. |4 a5 B, n; a& H# e( v逆半群
    $ Y8 b' S  L9 E+ ?$ G. k+ K% |: L7 b$ y合的格子
    6 t& V1 q( y, t- `, k4 w合的residuated格2 @0 T, M/ k' M6 r; L3 Y
    加盟semidistributive格5 w" i! n  x2 d& m; L3 G7 W
    加盟半格
    9 Z5 m% v  k  E2 X& Z约旦代数  a% E* p1 w; o; r- G- E( w3 h2 P" |
    克莱尼代数
    5 |$ O- m4 w" u0 g克莱尼晶格
    ( Z% J9 I) I9 h, X6 S4 fLambek代数
    . S) ~! b- ?1 l格序群
    ) s7 C; X- r# N4 z格子下令半群
      q7 ~1 L- f5 U格序环3 Q8 N' p& [; A& q( n1 A. J
    格序半群0 c4 K, n  ~" p8 K8 A

    ! x' ^+ A1 I7 i! @3 F左可消半群
    1 g# R$ D. r/ I5 C李代数
    " L( U& _' h9 g, h' u% O线性Heyting代数9 I# H: X. l4 m( p: e
    线性逻辑代数8 Z* O; j* Q3 h, R
    线性订单
    # c9 r' S6 f* ]# t* Y. @+ d) Y; G( ~语言环境" A! a$ @5 E& Q6 L
    局部紧拓扑空间8 N5 c# n7 w' `4 K! B% a1 d; H
    循环. G' d# w; O1 p/ w; R5 u3 `
    n阶Lukasiewicz代数! t* z! g7 {6 f) u7 I
    M -组
    & V8 e" n7 W7 S% D+ R. ]+ c内侧groupoids
    ! B' t, U/ C2 ]; Q# K内侧quasigroups/ `/ W& c0 r) V: d& y1 Z) N0 y6 M/ \% R
    会见semidistributive格& L' {8 g1 L) o7 ], {( ]# a
    会见半格
    * U9 o7 G0 P8 w度量空间- i7 V1 k3 Y4 h
    模态代数
    # |  p5 h8 z0 \# b/ ~. Y9 M模块化晶格
    / z5 w- o0 l( |3 h) w模块化ortholattices  D2 p- l3 F+ a9 o$ ?
    环比一个模块
    ! ~% B7 a$ J+ l8 ]$ r6 H; A/ K单子代数
    , x7 w! p, c+ l  A" HMonoidal t -模的逻辑代数
    ! F+ r" V" R' e" T3 |* T- r幺半群,有限半群,零( d. Z( N8 U4 m" E! x. I
    Moufang循环1 R. Q9 z& E+ y- j$ Q
    Moufang quasigroups& y* J8 F# Z& @8 }! U0 s5 [
    乘添加剂的线性逻辑代数  p+ J# |0 x8 N' H3 W! K
    乘晶格
    ; b% ?* q, |  G2 d2 a乘法半格, |1 Z0 s( ]; |( r: T; e% P. w, [
    多重集7 f4 P! C; @# e% b0 T, u
    MV -代数
    ' q/ K' a0 M; H& W- J8 }Neardistributive晶格8 I: x" l  S! h/ F; ?
    近环
    6 I; V% Y+ u3 X, b近环与身份' O# r/ `1 a9 F  V- j& M) A- _) H  ?
    近田
    1 q  E3 h7 T) E& n- ~2 O- T幂零群
    # e: p; x6 V4 {; P+ T$ Y/ S/ J非结合的关系代数$ @: p4 [9 {: H* O5 |: ~
    非结合代数
      j) U2 U4 m1 e7 E) d普通频段# l) b( m( G& l! a2 w0 X8 a
    正常价值格序群
    " e4 n: L" ?9 V+ K, q  m) |赋范向量空间
    7 X8 W- X% S8 o5 q3 W. R$ ?( o* ]奥康代数
    0 L7 W4 \6 v) M3 x订购代数
    ! Z+ u1 r9 |2 G9 l: V) ~有序阿贝尔群" R1 G* \! C" F' X  U/ T2 i
    有序领域
      m( ?" `7 N7 P( W) x& a. z/ z序群
    " G- M# R" i+ ]( ^有序半群7 S$ S: s! ~5 y
    与零有序的半群8 ?! b* T. D( k  B9 ~
    有序环1 O! |2 ~9 z# N; Q+ v
    序半群,有限序半群,有限下令零半群, e. F: C6 H5 E
    有序半格,有限下令半格
    0 R* T' l4 W" `; T9 j  h. ~有序集
    * ~% V+ q% k* g$ h/ A% e  k. V矿石域
    / U9 K: }/ v! ]Ortholattices& @0 n6 o0 O. B
    正交模格
    " p( O/ M& f/ @) Z0 u0 e& B( Lp -群
    ) Y1 ?/ Q2 d6 @: J! ]部分groupoids
    2 A/ k) ?5 u9 T部分半群
    / b2 Z7 G3 ^3 w2 |: ~& C/ l部分有序的群体
    ( ^/ l! K8 g6 `/ E部分下令半群
    1 [7 n3 |  _3 Z4 y+ e部分序半群
    - ]* e' b8 t0 j* n5 s# z部分有序集( P# j3 x, e8 k0 M0 p: n. [
    皮尔斯代数
    : w9 d1 A$ D2 B, h- A0 oPocrims
    0 y. m0 ^6 `3 ~; W7 z: M指出residuated格
    ) y% |0 j6 o0 y3 A8 Z* y+ T6 C2 tPolrims0 E. ^7 j4 T/ e! c: b
    Polyadic代数
    1 j8 ~* u7 V9 h' u偏序集
    # s* L5 l- m0 O( P邮政代数- I, e$ \8 \: `8 B0 C
    Preordered套- e  M$ u, e; u  W7 u
    普里斯特利空间$ v* L3 c8 m' X8 Q7 ]
    主理想域! h+ V9 X8 g  V) W. A4 q
    进程代数  p, g8 [" p! ^
    伪基本逻辑代数% k/ O: _6 h; p- o
    伪MTL -代数
    : H( a, t1 P$ {# N8 M. D伪MV -代数7 V( B% b1 Z' z9 e  ^4 r+ h* R2 g
    Pseudocomplemented分配格# @; ]# u$ p: s% h- Z- b
    纯鉴别代数( F- o  }2 R* m- Q2 U5 I' g1 Q) {
    Quantales
    : |, G2 m) P4 x+ A+ E3 E. yQuasigroups% Z' C, c9 x+ x" I; `: r0 C
    准蕴涵代数$ }$ {+ H$ l6 r
    准MV -代数
    4 B* D$ |; v, Z! r准有序集3 c2 R" {# r  |' f' C
    Quasitrivial groupoids
    " ^4 x( J- b0 ?0 ?" B  w! _矩形条带
    ! q/ m# Z0 ^4 _, }* R' ]8 }自反关系
    ) D+ x6 h0 W& \& N! r+ h正则环/ @1 _, W' a  \
    正则半群
    9 D% \* p! r0 {2 w0 t. ^; |关系代数5 ]' q. Y5 O- d% l
    相对Stone代数
    . ~2 w( _3 s4 _" X, k( H- o相对化的关系代数
    ' j8 y8 t: m$ {表示的圆柱代数+ |6 f) E; W# `  R# m* ~
    表示的格序群体
    % _% k- z/ o7 `$ B  n表示的关系代数
    * D; R* u. ]( |  r- w4 `$ C" C2 R' B. P表示的residuated格- B+ U% y* F% H- e9 O
    Residuated幂等半环
    1 t3 K6 m- B  w! {剩余格序半群
    6 y( U' [3 M( C4 R; m3 n' e; u/ \剩余格
    # v% w+ K2 K: c1 n8 pResiduated部分有序的半群) @+ ]" u3 w4 ^5 R& R# A# G
    Residuated部分序半群
    ; V4 ], c8 N' t/ r% z0 T" g戒指7 z. C& u8 z, F: p
    戒指与身份
    : U" W6 A+ g+ Y3 t施罗德类别/ d* G+ v: R3 \' S- f
    Semiassociative关系代数0 N% _- T5 R+ l& Q
    Semidistributive晶格
    9 {1 I8 `% M( r- T" b半群,有限半群! v3 [, A  r, q- K- A4 ~
    半群与身份
    7 q# \3 t4 S6 F: u半群与零,有限半群与零
    : N' V, f% h7 e* i% r半格,有限半格
    5 f) J" d2 V+ R与身份,与身份的有限半格半格
      T2 o- g) E/ k; f: x半格与零; E1 ~0 q" z& Q6 |3 b
    半环7 c* J# I. e. u/ n" C( ~/ r- {+ f
    半环与身份% Z7 ?- G- [* J! z5 l. t# b; T
    半环与身份和零# r, J5 j+ y- \: Z! B4 P3 u$ l0 F
    半环与零
    $ s: C& u; m- C$ m( N3 g. `连续代数' w2 l0 ~1 d" O! w5 X: ^
    & f  m2 i) i8 B: B. Q7 B4 z

    ( ]# L/ ^9 P% c9 S5 _8 H歪斜领域
    - p1 t% L% F; |$ cSkew_lattices
    % ]; ]; L1 n4 u* F, O+ g/ T2 R小类
    + P  {3 ]. w8 e* Y+ M; U) y清醒T0 -空间
    4 M7 A  T5 }8 N2 z6 s4 i) M可解群8 e& ?$ a1 b# m9 _; j" e* K
    SQRT准MV -代数
    2 H( A4 J: _% h( o2 {2 L8 V稳定紧凑的空间" M/ E0 d8 `( X8 s
    施泰纳quasigroups
    / v( z, t7 g- b1 o9 f! [+ L- \6 BStone代数& ?1 W# G4 {9 n8 [6 E
    对称关系
    . u+ B$ I& |4 o. R6 i: Y  [4 j, _  ^T0 -空间* F" i. V* Z( k- w3 e
    T1 -空间" s" q# o( m: U1 R0 A0 Y
    T2 -空间
    9 F+ K: b% i% ^2 J* A3 J0 s% |塔斯基代数* w4 j2 f- P) E: A+ W( k) s, A
    紧张代数' y/ s+ y# {; w6 j6 C/ |( d
    时空代数; r5 G3 E7 L3 w8 q
    拓扑群
    4 I5 x/ T. \- m6 E. @2 _' J% d拓扑空间
    7 g9 R# D7 k0 S  Q& m% c) s- V* W# i$ W; @拓扑向量空间
    + M1 R; f" Z. v, c! h扭转组
    / ]( H. x! L  `7 L# b7 R全序的阿贝尔群
    6 ?' t  w3 x7 e  E! ^" ^全序的群体) `; B( J5 r6 E, Z% c, U: H
    完全下令半群
    : B5 u* }+ X' x) `; u" bTransitive的关系5 W4 r4 _, {, ?! H. V* D3 G, ^% [0 H

    ( ]- b# n) S: G. ^0 Y* I8 G1 o锦标赛
    9 f$ g2 |/ `5 m5 v5 S/ ^+ B一元代数
    7 a, i. G4 q0 F( D唯一分解域& X" S% e/ Q8 w+ j8 x0 M
    Unital环. V; r$ \* g) A3 ~5 }. m+ T  ]+ P
    向量空间
    ' V# ^9 r- V$ A0 \& ~Wajsberg代数
    8 Y+ B3 D/ H9 d7 O( |3 r( aWajsberg箍
    3 ]1 \3 G- O" n( i弱关联格. I1 F; S4 t* B
    弱关联关系代数
    5 u1 n5 j1 ]. K5 Q9 ]; n% F弱表示关系代数
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3303

    积分

    升级  43.43%

  • 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-9-1 06:40 , Processed in 2.038630 second(s), 79 queries .

    回顶部