QQ登录

只需要一步,快速开始

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

    , l  A8 {9 W/ U+ n1 S: a& R4 w
    6 E$ ?( g1 E% D  l8 [8 XAbelian groups     Abelian group  N7 [5 ]  T5 v/ @
    Abelian lattice-ordered groups
    1 |2 q! h. [; E  d/ \1 ?( [Abelian ordered groups
    + M0 s9 W; G& t) l+ YAbelian p-groups5 V$ r& f1 ~; `1 \; O8 x) w6 C, p! j7 p
    Abelian partially ordered groups
    , J8 c6 O7 t9 t$ BAction algebras     Action algebra
    ) f3 B; H" a/ w6 YAction lattices
    " J, e; n' ]0 X% `  S. J- iAlgebraic lattices
    9 B1 Z. O- s) @5 ^8 P2 s: [" p* U3 jAlgebraic posets     Algebraic poset# ]8 Z4 U; C7 r: s  x
    Algebraic semilattices
    3 p8 x4 {8 ?& L) EAllegories     Allegory (category theory)
    / y( H( N* S9 q- D4 k0 kAlmost distributive lattices7 l+ v6 K8 f3 I, K
    Associative algebras     Associative algebra
    " p* m% m3 @5 Y; QBanach spaces     Banach space! \% w8 F7 z4 |2 A7 j
    Bands     Band (mathematics), Finite bands' s* B4 l5 g1 M: w, ^1 C4 I" @
    Basic logic algebras) v0 {8 `7 p8 \6 I. p/ y% }
    BCI-algebras     BCI algebra
    & g; V) \2 i. s7 CBCK-algebras     BCK algebra
    * [' Y7 Q% I& [& ]8 WBCK-join-semilattices$ b" P2 I  Z) u% R# F: {2 @
    BCK-lattices9 b2 ?9 \" O+ E2 H6 g+ o
    BCK-meet-semilattices
    & l0 }3 R. B4 R2 o" k9 b  qBilinear algebras4 e6 e0 |. S) g8 p; C
    BL-algebras
    + m6 e( z' B4 z7 }* UBinars, Finite binars, with identity, with zero, with identity and zero, ' M6 a  Y/ Z7 N7 e6 X  d& W8 X. t
    Boolean algebras     Boolean algebra (structure)* t. ]9 S1 J( \+ u  w( i
    Boolean algebras with operators! T$ C0 _) j+ o/ o
    Boolean groups& R- r( }0 l* T% U, y: N" k( @0 ^
    Boolean lattices
    . Z: D2 k3 Y3 T* ^Boolean modules over a relation algebra& v$ v" S2 ?9 v* V; ^1 x8 i1 r& ~
    Boolean monoids& |$ P9 A$ @. i% f* E; F; z6 ^
    Boolean rings
    + n/ O' X% h/ c! |: u5 W5 FBoolean semigroups" M0 D* t1 ?, [2 R
    Boolean semilattices! K: [0 z" d! I4 G8 P
    Boolean spaces
    ' t5 ?9 b" |* L: u6 X- cBounded distributive lattices
    9 Y! |3 J' c: `! G% l$ L- yBounded lattices
    ' m5 [6 ~8 y1 yBounded residuated lattices
    " L6 c7 M' y* n& {Brouwerian algebras4 _8 a; x6 r) g
    Brouwerian semilattices
    8 y5 b% h: v2 ~: z% sC*-algebras
    - e1 H: E, y7 Q$ h# rCancellative commutative monoids0 {, A+ E8 k: \2 C( t8 J
    Cancellative commutative semigroups% y( r# F- ], X% o/ t, Q
    Cancellative monoids, b9 f( X! S: E3 @9 M' i4 a
    Cancellative semigroups7 u3 H, A5 z/ e) J( \
    Cancellative residuated lattices
    ) [0 \( G5 y. C3 dCategories
    , w' k) E  ]: o7 p2 @' \( D( uChains
    + V% j8 E% B4 `: [! E8 iClifford semigroups' I; j$ ?) n" V" R8 J1 l
    Clifford algebras0 Q6 q) q3 W6 m2 Z6 g9 a
    Closure algebras
    ( [- v' C9 V# _! w' D4 f4 V; [Commutative BCK-algebras
    + r0 X# f6 u* J4 C6 @2 dCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero 7 ?. x& r; `. l! ]1 e% Q
    commutative integral ordered monoids, finite commutative integral ordered monoids+ w% t. I1 o6 s3 J3 L! Z+ m# f. g: k
    Commutative inverse semigroups
    6 V4 d( E7 V- n) s4 _1 m/ _8 v8 tCommutative lattice-ordered monoids( r1 v, z$ A7 j* S! y# s; t" j7 o( V
    Commutative lattice-ordered rings  @4 b& |( s' p/ p2 `1 Z
    Commutative lattice-ordered semigroups0 T; |) M- Q' P
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero) M3 w5 m2 ]$ Y2 O% i
    Commutative ordered monoids- i! T# _4 i# R  i( o- Y; N" ?
    Commutative ordered rings
    9 T# Y. p7 M" L$ oCommutative ordered semigroups, Finite commutative ordered semigroups
    - v# B' K( y% @' Z% K; T0 U0 gCommutative partially ordered monoids
    8 k5 `+ ?- t6 T% QCommutative partially ordered semigroups
    . [& w! e% e3 F% w& TCommutative regular rings% i! q! S4 P4 v$ E6 M: e) I6 J- y
    Commutative residuated lattice-ordered semigroups$ C% F- y1 j( b3 x5 `' N
    Commutative residuated lattices
    0 |+ M1 I& |, H9 y8 \  LCommutative residuated partially ordered monoids5 J% T$ C/ ^" l4 h
    Commutative residuated partially ordered semigroups, O1 S9 L* x8 Q6 k
    Commutative rings
    $ \' L9 @0 s3 H" k9 t8 NCommutative rings with identity
    , `! ?5 x: H+ u! K; d" G( yCommutative semigroups, Finite commutative semigroups, with zero
    + V, }1 F! T2 Q8 `# I. e5 G: uCompact topological spaces
    / C5 v4 L+ E# v0 h7 y# {5 V# UCompact zero-dimensional Hausdorff spaces
    $ w5 x: O$ R, [, ~Complemented lattices
    ' M) x- A- ?% `9 }. I9 eComplemented distributive lattices
    0 T4 e# n6 h+ x8 rComplemented modular lattices3 C9 v$ ^+ S7 H$ p! o9 W$ \  s
    Complete distributive lattices2 a. ^4 n* b' ^5 [. \, b7 f* K/ l
    Complete lattices
    3 l4 {6 }' J& @3 aComplete semilattices  D/ H3 \( q3 U5 S
    Complete partial orders$ N/ H5 x2 x$ ~6 k+ K
    Completely regular Hausdorff spaces# b! M5 k! }# P0 W) U
    Completely regular semigroups
    ) Z; g/ z) d1 ~0 o! g. c1 S* bContinuous lattices% I& l# M$ l5 a2 K; ~
    Continuous posets
    8 b% z- J4 x) b6 i$ ^Cylindric algebras3 M2 @( A$ a  A/ \0 A
    De Morgan algebras
    $ C  s" W2 o2 I  x& ^1 W+ ]' m7 FDe Morgan monoids
    ' y+ h: y9 e2 d4 K; F  U; QDedekind categories: d/ B  R# G) C7 S( o2 S$ b4 q8 [8 ]
    Dedekind domains& {- K, u# X2 y) E1 l
    Dense linear orders
    # n( v+ m: D0 c$ W. aDigraph algebras4 n: [# H1 D6 P" X# U! ?: }
    Directed complete partial orders5 x& q+ {/ U' G8 I+ i1 V
    Directed partial orders* D& C2 W  f4 J( ?* V6 x
    Directed graphs3 k2 {6 W% f# W, `4 @
    Directoids
    7 j3 t' e- |- x* bDistributive allegories
    $ ?+ i( V8 L' wDistributive double p-algebras
    7 }9 M7 v/ L% E6 U' z* X. hDistributive dual p-algebras# f  l4 F' R$ [9 R/ [( g
    Distributive lattice expansions
    6 p. y, h- ^* V6 c" A  u  d1 w$ BDistributive lattices
    8 W. E8 W' e. C$ BDistributive lattices with operators
    8 ~' n4 S0 d0 Q- P. HDistributive lattice ordered semigroups
    + n) ~% I' ^( E9 |# s  b) @Distributive p-algebras
    0 s8 b8 ~0 W7 h, K4 \2 l3 |6 f5 lDistributive residuated lattices
    ( ^% u5 x. \9 O9 d# G  B) W  `Division algebras4 N- h; g% c; i
    Division rings1 v: ]4 ~: v+ u- ?6 c7 i
    Double Stone algebras# t: t& A  d9 Y
    Dunn monoids& j, S1 J* r+ e: _
    Dynamic algebras% N3 v- [! |/ R) e
    Entropic groupoids9 I. Z0 T2 Z3 {7 f% K
    Equivalence algebras/ `- e6 i2 L# H9 e, S
    Equivalence relations
    * H3 @0 _5 V4 l- AEuclidean domains0 S- |% g7 M; @% J
    f-rings
    6 u7 ~9 ~& q4 ~7 n9 IFields: t4 z1 A5 T$ @
    FL-algebras7 I  W& G- H3 @; ?
    FLc-algebras
    ) |% r. {! Z8 ~7 i0 \7 oFLe-algebras6 j, E) }7 R* k+ E, Z  f
    FLew-algebras% R& T7 m4 D7 S$ ]. L
    FLw-algebras
    ) N6 \# h& @, d# Y7 |/ h) g2 y8 B) uFrames
    7 I+ |" i. Y, L, {+ ]% v* P. W. IFunction rings
    % X1 `/ s, n" y7 D! O+ vG-sets$ L! o+ |, J' r
    Generalized BL-algebras/ q: Z% _# K+ t; N4 B+ x7 |( h
    Generalized Boolean algebras
    0 G' O% I! i9 R  uGeneralized MV-algebras0 v' ?, F7 W$ v% Y2 L* i
    Goedel algebras5 X. S# A% `  j+ Y8 i* d- A4 F
    Graphs
    7 `/ D- q' G7 }+ j" P  @" \Groupoids
      i, p/ N+ S) `$ I- `' y( JGroups2 N7 s# x/ J# ?- D6 V
    Hausdorff spaces, q/ e* P" n+ Y: j! w
    Heyting algebras# T1 {$ I5 s6 `* ~5 t2 F
    Hilbert algebras
    $ K  \$ E* j  b9 ZHilbert spaces' A% k6 c4 R( U
    Hoops7 p% @1 W: F! W. O
    Idempotent semirings8 b! \! c: _; q$ j" [8 G3 N+ X
    Idempotent semirings with identity3 |& o9 P$ G# ~* ]. w: C
    Idempotent semirings with identity and zero
    8 V0 i. A. H! q0 h3 D6 {/ PIdempotent semirings with zero! E4 Y, U3 b) M9 i" ^1 m" l
    Implication algebras( T! h" ]& X, {2 P( v
    Implicative lattices
    7 G9 g  w2 U; \' g, [3 ]Integral domains8 ]& |$ m: o& a7 c8 c
    Integral ordered monoids, finite integral ordered monoids8 i1 z# U3 \9 @4 `4 ]
    Integral relation algebras
    % T' l( z/ F6 zIntegral residuated lattices7 p3 x0 n6 T7 [1 |. r$ k
    Intuitionistic linear logic algebras
    * a' t$ u/ o4 ^1 t8 @Inverse semigroups, p4 ]. v/ b, V" Y( V
    Involutive lattices: W5 G8 {. |* x8 Y" f% K
    Involutive residuated lattices
    ' K  Q7 e# a. D' I3 UJoin-semidistributive lattices5 ~* K& M. {/ ^- W7 D1 g1 ]" }
    Join-semilattices* z$ r. v% y* x2 D/ w- \
    Jordan algebras0 w: t. W' E. j
    Kleene algebras
    9 t& H* {+ D9 J/ G9 tKleene lattices
    $ u7 l2 y. v- pLambek algebras
    2 j7 J( x7 \. m/ RLattice-ordered groups, u8 B0 ~# [# S5 H, e5 D( v0 G
    Lattice-ordered monoids
    & h( |3 ~% c& @6 F6 {Lattice-ordered rings
    % b' ~- L6 T7 N* `4 g4 ZLattice-ordered semigroups, v% M1 K/ o! Y1 ~& ^
    Lattices
    " p8 L9 \) p: j% z/ ]Left cancellative semigroups
    . B  S7 E5 i+ p, \% Z% K* P6 R' g# ^Lie algebras) O9 w; l5 N3 N$ K
    Linear Heyting algebras# w5 f  F; A; H3 ~- j  H
    Linear logic algebras
    & B3 N( \2 ]+ K' N( T" fLinear orders
    7 Z8 B9 \* `* w0 tLocales) D, ^/ h7 O1 l% ]/ R
    Locally compact topological spaces
    * q# r! n/ Y  x. q5 TLoops* ^4 _7 L2 ~; j; R  o+ `* V/ C
    Lukasiewicz algebras of order n+ A- u0 w; W, T3 U. ?1 a; I
    M-sets
    0 H8 r0 E1 t) v8 u) b, RMedial groupoids2 H1 p% I; c& ^3 z3 `) ~3 x7 V
    Medial quasigroups" T$ n+ z. \; C
    Meet-semidistributive lattices
    " o4 i. g0 V' U8 f  u% n0 F# \Meet-semilattices) g. k3 j3 ?+ S7 V1 e$ [2 |! ^
    Metric spaces
    - t7 l- S- A9 J& I( SModal algebras
    / ]" W) @/ y( J! G- z  lModular lattices7 T, v- h% F. _7 K  J
    Modular ortholattices
    ( k1 b" ]! I( q0 W& `, t, U9 w8 ~Modules over a ring% S  X5 B. V8 @+ d
    Monadic algebras
    . v  ]" l5 h# l5 OMonoidal t-norm logic algebras& a* n* g; k% L& k: A5 s
    Monoids, Finite monoids, with zero
    8 W$ [8 Q- k. P( ?- vMoufang loops
    + d# q* ~" k6 l7 R8 ~Moufang quasigroups
    ' j& W  ?& a5 YMultiplicative additive linear logic algebras
    8 I7 Z. o" O& @2 H7 X/ d" @Multiplicative lattices) s% B/ h+ l- K: G
    Multiplicative semilattices
    7 l* m; r+ e4 s+ k/ L% ?+ QMultisets3 y! S' U* d) c. f! o
    MV-algebras
    7 H6 g. `9 d2 W' `  ^Neardistributive lattices+ N0 Y: d- O* _2 @5 D5 P! B# Z2 r$ n
    Near-rings9 ~" }9 _6 T2 z# {/ L0 C5 H! [
    Near-rings with identity
    & C# Q8 f: p9 @* ZNear-fields
    . K4 p, Y0 O, q; oNilpotent groups/ Y* y5 ]5 H. B
    Nonassociative relation algebras
    ) n2 u3 h! c  [& c7 _, bNonassociative algebras
    # r& V1 k( v; w5 @5 LNormal bands# }  t- V/ x% M/ t- b. I9 Q! K
    Normal valued lattice-ordered groups5 X9 P$ U) a& ~" K% Y$ _
    Normed vector spaces
    0 W, T% E  g  e( ]$ [# _  TOckham algebras% t% r4 q! |% ?8 n# n9 J
    Order algebras. a( [, X. s& i; F# s
    Ordered abelian groups
    , j! m  x, [, f) l* \' }! ^7 SOrdered fields* ?  F4 E  W% l/ t3 T2 Q
    Ordered groups( ]& g- K& }  e
    Ordered monoids/ V& o1 k0 m. @! X6 {  u2 b
    Ordered monoids with zero. D3 S% s, d: O" N5 _
    Ordered rings" o- E+ ^7 D9 X+ B1 D
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    ' `% k7 b( H+ U& y9 c1 M' q; T$ f9 YOrdered semilattices, Finite ordered semilattices1 E# Q" K3 V6 ~
    Ordered sets
    6 p" x' L8 K8 vOre domains
    & q% |. f9 W/ R4 W2 g( X2 OOrtholattices6 h4 K  D7 L6 C. V. A" J: B3 A
    Orthomodular lattices
    # z% f6 Q* [" H3 q3 i+ v0 ]3 ep-groups9 P( N: ?8 F  J6 R7 s* T
    Partial groupoids
    - a/ S6 A0 z' }, E8 M9 JPartial semigroups$ c) H9 i  N5 g7 ?* H
    Partially ordered groups
    2 P6 z6 _! I8 p- J' I* S5 ]* bPartially ordered monoids
    - Z& O& x; L* m; Y0 X! O. pPartially ordered semigroups
    * s: k! ^9 F# L+ o/ _Partially ordered sets
    : U( W4 n% k7 p2 P# |0 J6 ZPeirce algebras
    : e/ j1 d$ e6 ]% hPocrims
    8 t) }( s) G" |5 l, J, B" [Pointed residuated lattices
    ' h4 L+ q* E8 }  c. uPolrims
    3 `! `8 h2 C4 J+ hPolyadic algebras6 B" [& B# W/ b
    Posets
    7 X' f  j$ B. H! E: oPost algebras
    % T; R$ g6 h6 xPreordered sets! t: `! }! n+ _
    Priestley spaces+ S6 M6 T& S* t* T% I0 v# }
    Principal Ideal Domains
    + @9 ^2 O0 l* R8 z2 k* I! xProcess algebras- P8 L. J* l6 L+ ~2 Z+ M
    Pseudo basic logic algebras
    ) D) k: j. w6 n+ tPseudo MTL-algebras( B/ `% w' x8 Y. f. l; Y1 F
    Pseudo MV-algebras  N& @( i* A" G* x6 H1 U8 Y
    Pseudocomplemented distributive lattices
    6 O4 f' ]  l- `9 c" Z$ bPure discriminator algebras
      k* U& q3 M7 O, y" Y% N* S% |  x# T# t5 rQuantales
    % \& z7 G$ t/ r( `Quasigroups
    ; B2 e8 G2 |6 _7 b7 SQuasi-implication algebras1 c' z6 K# U) H
    Quasi-MV-algebra
    3 o- R9 r( Y0 Z! i$ W( g- RQuasi-ordered sets
    6 z3 g3 w( a* K3 W( N3 JQuasitrivial groupoids
      @0 }+ v5 Y% L4 H+ W; y3 sRectangular bands1 p3 T" K' E  M2 O) A5 A' m
    Reflexive relations
    4 K7 E. C  {. l- ]# h# L4 P7 h9 sRegular rings4 i" I' p9 D7 q2 d, c) j9 [
    Regular semigroups- `- _+ q* F) T% b
    Relation algebras6 t3 n1 z; o2 j+ X7 ]1 q: m
    Relative Stone algebras! _' Z- A+ S( A# P7 G
    Relativized relation algebras
    : l- ?/ _4 D. Q4 S& }6 V# I1 rRepresentable cylindric algebras
    8 \! U/ X4 R, YRepresentable lattice-ordered groups5 V4 S4 c4 S6 @4 D
    Representable relation algebras; b) W) S- b1 g: v' e
    Representable residuated lattices
    : R* V4 q9 q7 k8 |2 PResiduated idempotent semirings
    ) G' Z9 H. X+ }, l! Q( WResiduated lattice-ordered semigroups6 ]( {+ @. J3 Y: G) m" M4 J
    Residuated lattices* ^  E# _" }& j
    Residuated partially ordered monoids
    + p+ _9 Q1 D$ }$ p: F* iResiduated partially ordered semigroups1 `6 B. a5 m' {$ }0 H0 @
    Rings
    9 C+ y: G$ T7 J. x/ ^8 J7 GRings with identity5 T% P3 w# n5 ?2 X7 o9 `
    Schroeder categories# `2 V5 X, q2 F3 e9 s% ?
    Semiassociative relation algebras+ [9 K) }7 T! L
    Semidistributive lattices- a) s( K# ?! h9 ~- h/ g& z
    Semigroups, Finite semigroups* ^! J$ x/ X  x4 z: G( O; b
    Semigroups with identity
    ! [; C4 J! ?1 P9 t; d8 m* xSemigroups with zero, Finite semigroups with zero
      O1 B" f; s# Q6 n9 hSemilattices, Finite semilattices9 F' t  g( o' P% P' ~
    Semilattices with identity, Finite semilattices with identity
    8 G# n8 z4 P! d) b" \& X# u( H# z, x( {Semilattices with zero4 U* g9 k( u- w
    Semirings' D; J2 P. y4 d4 D# C0 q
    Semirings with identity
    $ _5 n1 ^* e2 \( R/ r( xSemirings with identity and zero
    2 A. q: o8 ]  cSemirings with zero
    % w. e' q3 U0 `7 }9 p- kSequential algebras2 J( ]0 R# j# O* e- O) `. w6 S
    Sets
    " r" [# U8 Q: ~  i& aShells
    3 H. {9 G  M9 g3 aSkew-fields9 O5 N. ~( f- S3 {; `' }1 P
    Skew_lattices2 x0 ?- I& b' y) N
    Small categories
    9 L0 r7 R8 m5 t$ u3 b& L$ DSober T0-spaces. y4 |3 }* o( ]. s) }4 _$ u6 |) S1 ?
    Solvable groups2 ^: w9 M8 Q9 n9 C' I2 A( Y% e
    Sqrt-quasi-MV-algebras
    # O3 e! R' ~2 ?" ?! LStably compact spaces; b; l3 \% f- f  V$ s* q, P
    Steiner quasigroups
    , u6 t. \6 F6 W3 ]3 CStone algebras
    6 r$ L  Y( F; ]$ kSymmetric relations: U' R* k# ^$ S6 J
    T0-spaces1 ]$ Y; m& d: ~( C+ s
    T1-spaces+ k% ~7 y" M8 Y( e2 l- w
    T2-spaces
    $ A3 X, P8 z3 f; u3 G9 r+ oTarski algebras
    4 v5 J1 Z7 ^& Y" D- L, \  j/ m" rTense algebras
    : s. E0 f: P6 XTemporal algebras, y/ w' w5 k' ^( x! r/ N
    Topological groups
    $ E; I8 l1 x) @. i. P# W( dTopological spaces
    / |. d* J+ o( p4 ?Topological vector spaces. F2 v1 m( \! u7 x1 P
    Torsion groups$ F, p2 G; J0 g' L" V
    Totally ordered abelian groups
    8 y) A5 U" X# i& ?! HTotally ordered groups3 S& T' y* v9 ]" [& `
    Totally ordered monoids
    % J) b  M6 _9 @' `1 H) \Transitive relations; {$ h1 |, ~$ N( Y
    Trees
    + V6 I5 W8 _7 CTournaments
    8 S* e8 o4 _+ W0 sUnary algebras
      V+ x' x# Y% a* [0 uUnique factorization domains
    3 @5 ]& Z( o7 B: h! m" s) kUnital rings
    # Z2 ?: Z$ m( A& _6 PVector spaces
    ) `8 Z, @, [( A/ GWajsberg algebras* o% Y" }0 }/ I! u- w9 }
    Wajsberg hoops3 ~; h* _6 ], }3 K, e
    Weakly associative lattices
    1 _; K' Y, T( |- v) d# S7 D: JWeakly associative relation algebras
    7 @- a7 _# v' l2 }1 L  OWeakly representable relation algebras% I) A: C3 b4 S/ n$ Z6 X
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    5 `# Z" y( i) D+ D, \$ {阿贝尔格序群
    3 W( s1 K) D  p& z阿贝尔下令组
    . a/ l) N) t2 g, `4 D8 O9 o$ d7 `阿贝尔p -群
    2 W: t+ r7 C0 Y3 [7 z# t+ F* D# M阿贝尔部分下令组
    ' u8 W- S% P' I' E! E9 Q% r行动代数行动代数5 \1 s; G/ W* O" `# m
    行动晶格
    # F9 ?6 L' f- f3 v代数晶格3 E; a1 h  D3 @/ E! i
    代数偏序代数偏序集
    % l( D. Z7 ~+ N! h3 K& K代数半格7 F% Q7 Q" d2 F, g: U
    寓言的寓言(范畴论)
    + u8 s/ r! U# j' \# S! l几乎分配格
    8 ^! ?! D0 Q$ B% b, x关联代数关联代数
    9 ?8 q7 a3 d9 V2 e% _Banach空间的Banach空间' K/ w" i' U8 @8 J* h( j) d
    乐队乐队(数学),有限频带% |. X7 I1 ?8 Z* J3 n
    基本逻辑代数+ ?) {- h7 c* D7 L: M
    BCI -代数的BCI代数
    1 R, L9 N5 `* T: I  lBCK -代数BCK代数
    / U8 ?4 j% ^; k) B3 o2 lBCK联接,半格
    " w* K; l6 U4 O$ M# Y/ x% iBCK晶格+ ^9 F# G6 k+ @6 i7 Q  N8 K; X
    BCK -满足的半格
    $ @$ v- O% |! K4 g3 `" ^; d4 m" t5 }双线性代数9 Y' `5 a3 r$ U) b: d, B1 ~
    BL -代数
    " f9 u; d. l9 C& O  r. b7 w% l1 bBinars,有限的binars,与身份,身份和零与零,
    ( `8 a/ p6 V' l/ t布尔代数布尔代数(结构)
    1 U+ e5 C# Z) j与运营商布尔代数
    : y" Y" i3 m$ b4 ~9 J# r布尔组6 J$ v6 A: @( m: r# Z1 y% R2 b
    布尔晶格0 q- T5 A2 P8 F* k" d
    对关系代数的布尔模块
    ) e- _& u5 K" j2 ~8 c布尔半群3 M4 B# n; p  e3 ?
    布尔环0 X9 d6 z0 i" j- e
    布尔半群/ z* j" `% S! U) u
    布尔半格
    ( l. {$ v- H( x! F布尔空间. C' z7 a$ e7 r/ Q# u$ G. A/ f/ r
    有界分配格
    2 p8 S9 M( t3 G# T界晶格2 s6 x- J  J% }) @; S; F
    界剩余格
    ! a% @4 |6 h) f4 h. m! `Brouwerian代数9 P  h. H+ ]7 @# G- u, R$ Z! m% E: ]
    Brouwerian半格
    , W4 Q, g. \% z3 c" vC *-代数$ s" H3 W  u! ?' h7 j1 M/ ?: W' a
    消可交换半群! ~. M4 u: b  p2 A6 h1 y
    消可交换半群* }( Z0 v! ~! s
    可消半群/ n6 F+ R# J4 I5 b6 T. G9 t
    可消半群
    # ^8 p6 y8 G* T2 Q+ u消residuated格  \. e6 k3 j- B! y! w& E7 ?$ \
    分类* j. ~( ^+ ~1 R; b5 [) W+ M
    ' _/ _8 C) K9 p; u) y) X
    克利福德半群0 ]  E& x0 A! H7 }7 ]/ I
    Clifford代数6 {/ \) w- W" z' z+ ^
    封闭代数
    * g, l) o' n0 G" u3 @3 H$ D2 v可交换BCK -代数, V: E) i/ \. v  T8 R- G+ v# a
    交换binars,有限的可交换binars,与身份,零,身份和零
    - m! |( h8 l2 N. k. _1 h可交换的组成下令半群,有限可交换积分下令半群
    0 b5 }& ~+ T1 a交换逆半群& m5 \2 R! W3 x" Z3 c
    交换点阵有序的半群3 o4 v" W% b' s( T1 w$ n
    交换格序环- e$ }& V( E; b3 {( y# ?
    交换格序半群
    % W: ~" @9 }# V交换半群,有限可交换半群,零的有限可交换半群
    % z5 l1 p5 `* ]8 j交换下令半群! U" t: c* g2 M
    交换下令戒指
    * L! C. ?+ R# Q+ Y有限交换交换序半群,序半群2 g' v, h* i( |) w5 M
    可交换部分有序的半群
    ( B  [/ Q  S+ f8 N% B$ P# K可交换部分序半群5 p3 f- ?" N) E0 S
    交换正则环4 G9 _; P+ g8 U- k" z
    交换剩余格序半群
    . Y* r7 J( M! t8 p交换residuated格3 `# E  H+ K. Y- S( ^) r
    可交换residuated偏序半群& e: I2 G! L: |- i5 m( o0 {# [: w* Q
    可交换residuated偏序半群
    4 ?. z! x- W8 B6 ]. @交换环
      K& {3 S3 I$ a8 g* N3 @与身份的交换环# t" @3 k4 Z9 ^" b
    交换半群,有限可交换半群,零
    : T: I1 D; I6 ?7 W& t8 p紧凑型拓扑空间
    . l. l9 D% _( A- g2 K! f: U1 I紧凑的零维的Hausdorff空间
    6 U/ q" v; G- h  j/ l补充晶格
    " ?1 n" L8 F$ C$ X) X有补分配格! [& Z$ e6 @- g, J3 G5 w& p
    补充模块化晶格1 B* y0 u# Z3 n! l. k3 ?0 M
    完整的分配格- i- ~5 Q# F6 z% v) X1 k1 L
    完备格+ G' n% X# t3 L# J; I
    完整的半格
    3 C/ P7 A. M: a, j1 Y; b完成部分订单% [4 w. d/ P* a  x# J2 @, P& t
    完全正则豪斯多夫空间
    ) f+ e9 U2 b! O4 V, r完全正则半群3 F3 ^  U* y+ @) v1 U1 k$ C
    连续格
    # ~* u. H4 ~' y5 }0 R连续偏序集( `7 o5 W; p3 a4 T$ F; ^
    柱形代数; b: |# G, ^' J5 f+ C
    德摩根代数; R7 `5 p! Z. {5 [) G0 o
    德摩半群# e& [1 b" B7 z% N3 ?% f3 I" p5 J
    戴德金类别8 i, Y) q5 t4 c/ e% z
    戴德金域/ s, v: S( Q5 F( I- q1 k
    稠密线性订单7 J) j  W4 n; S8 n: k$ v
    有向图代数
    6 z! l4 f. i9 H" \  D+ z) G: w( f导演完成的部分订单0 q: T- d, O! Y" G% W) D' v& D) c# C  M
    导演部分订单) X- r7 o0 Y& N) _
    有向图
    ( }) V  N0 {9 nDirectoids
    + x; s4 a0 U4 O: M+ w: i+ |分配寓言# Q4 X7 P9 `/ v: ?
    分配的双p -代数( g2 U& y2 M( k' O
    分配的双P -代数; n( p6 l' b6 s
    分配格扩展
    1 U: s4 ?, E, W) ^' C* o( \, B+ y+ n# S分配格- [5 j- B# E7 z) Y! F
    与运营商分配格5 {0 I, S$ h4 _8 ~
    分配格序半群
    $ f: K& R  i# G. s1 b分配p -代数! ^6 u$ l: |/ }) S$ f  B
    分配residuated格: B- w" a4 ]+ @. W
    司代数
    ' j8 M- B7 H% |* O% }' I/ p' M5 f, y科环9 ]) Z8 E1 x% A4 ^5 Y
    双Stone代数9 |# l- G; }8 f3 z& L/ m% h
    邓恩半群. K4 j  d1 }: S% E8 S
    动态代数
    0 b# |7 n1 f& q0 D# z7 b5 e熵groupoids
    ; h( U; y2 l4 k. V% N5 }# X等价代数6 X4 n* H- T: p8 _6 c; x, z! K1 U  x
    等价关系
    7 ?8 _$ f3 L* v+ Y! p, [欧几里德域1 E  u4 O) t+ Q2 C6 O. r' ^0 Z
    F -环
    & k0 q% A3 |3 O& d8 A$ d字段, V5 |; D9 V6 a, x% w/ p
    FL -代数# y0 t# _0 ]! J) y3 |9 T
    FLC -代数2 H5 \. K& M: z6 N3 [" B
    FLE -代数! u4 o6 ]& l: ]7 N
    飞到-代数
    " H) ^' e' }' ?. X5 q/ LFLW -代数' j2 b' z8 w* E& Z' n
    框架0 W# O* D3 v. ]6 t  v# Y0 M7 ~" ^: U
    功能戒指
    / T0 P; w: k+ vG - 组
    ! o3 J( y' r. ?0 w1 A广义BL -代数, U3 x# N) [) p* E+ o: M
    广义布尔代数* z8 h9 _$ ]) H' T
    广义的MV -代数
    : d0 C: J  i7 e5 R  o9 ], BGoedel代数
    6 @7 d6 j# B. g1 n& W2 l8 _5 r
    1 j9 m' L" \  t  a4 X: wGroupoids
    & |2 x2 l9 M6 d: b: H; Z0 K  q/ g! ~" R+ ?
    豪斯多夫空间
    4 l: E# s9 q1 }% u3 BHeyting代数
    ( m. d" r: Z! u; P+ c# a+ e希尔伯特代数* K0 j# \0 U" Z) y' k9 u
    Hilbert空间0 m8 M" d) L+ P. Q# a, b/ A2 X
    篮球. Y; v' j! ^1 ]2 ~, B
    幂等半环! S  Q. G9 U; J8 o
    幂等半环与身份
    9 A' C. Y& {. W2 w1 g* R4 Z  N幂等半环的身份和零
    6 f7 `( R7 _" ~3 b9 l幂等半环与零7 v: p% v8 h3 J3 D* s7 ^
    蕴涵代数
    . ]0 [% n1 U: O2 J含蓄的格子6 u2 Z9 \9 i% _* B
    积分域
    ( X$ z( v* ]$ u) [- S1 F) Z积分下令半群,有限积分下令半群2 w6 w' J- r8 J
    积分关系代数6 K4 }8 o7 ?8 `( c4 J- G1 Z6 j( D7 n
    集成剩余格) y7 ]1 t; H. |- h: w
    直觉线性逻辑代数) r* c* u( v+ }. Y3 I1 w6 w
    逆半群
    ! X9 l6 Z' j5 }/ a( l  P6 Z合的格子
    7 ]9 M- i4 r6 c合的residuated格9 i3 U% N% P0 M# C+ I5 @; Y4 h0 @
    加盟semidistributive格; _* l7 Q$ E5 X* _
    加盟半格
    # I% A3 g" I( O约旦代数5 k+ x: ~- I) t' n
    克莱尼代数0 q0 R- `/ T1 W/ j( L- t# O
    克莱尼晶格; a2 h4 f0 {  e+ U; N0 y/ y* l
    Lambek代数
    . J& j0 Y. y" [2 C格序群
    $ A( b" r8 [/ E格子下令半群
    6 k" S; M! R9 z4 h5 {! f7 k7 N格序环
    0 H+ w; r' _) a0 e# {1 i格序半群
    * L1 J8 T: v2 E) U6 L! d
    , Z9 n. \2 b* I$ A4 S% o左可消半群3 z/ P6 C" T( Z" I
    李代数/ w& c' j/ |# z$ `$ m* a
    线性Heyting代数
    4 K( B* x) \  B) Q7 F线性逻辑代数) x$ p! X6 F1 X; k
    线性订单
    ! S3 @+ S* h8 I' x+ Z& h2 U% |语言环境
    ; F; a+ p/ {+ q, ?, J* p( `6 u% x局部紧拓扑空间6 S& N; w' ^) u' \& Q5 v
    循环
    4 \8 @: w' G% t  Cn阶Lukasiewicz代数
    ( E: L2 K3 l6 O# h- N9 R- K  |! oM -组
    # P, a% `9 O  W内侧groupoids
    3 C! \, l3 `% j/ s/ l, @9 `+ s内侧quasigroups; ~' d# y4 c' E6 h
    会见semidistributive格8 I& f$ J" b2 W& Y
    会见半格+ M, H  p6 y& K  h
    度量空间: m  `' x' O) ?5 D5 p8 F9 h& z
    模态代数
    + u, Q' [8 Y( G+ y8 K' j模块化晶格
    / a! }, _6 v$ r8 B, C: ]模块化ortholattices( y$ C4 s( d0 y
    环比一个模块- ~- D8 v$ l3 ^5 o4 Q
    单子代数* i3 w; g+ Q' D
    Monoidal t -模的逻辑代数! X) L: `+ Y5 I# T
    幺半群,有限半群,零2 w. [3 Y3 f8 G% I& W
    Moufang循环% v7 G% }: ~. Q; r6 @
    Moufang quasigroups7 T5 r6 U7 o* x" h- V. v. [  a
    乘添加剂的线性逻辑代数
    + Z  m7 J6 d9 }7 v  `5 n) A7 a8 p9 ^乘晶格
    ( O( i' R$ o( Y& z& d乘法半格/ S, [/ Q) _# w0 W7 ^% ], S5 f! V1 W
    多重集- @+ R# @' f5 P7 x$ y$ T6 y- i; i
    MV -代数* L  _; i& r, u, c4 m
    Neardistributive晶格
    & N5 u3 R$ _: P近环# z8 e' u3 |; `( u
    近环与身份4 l+ j& ]8 y/ C: O4 P/ U* a
    近田$ B* h+ ~+ I9 \- g6 h9 n* i; |
    幂零群- W; E0 z, Z! P" F) b% f/ M2 P
    非结合的关系代数
    ! C, z. S) K5 ]% a非结合代数. b1 j: d. ~, [5 X
    普通频段6 [: Z  r( B' \
    正常价值格序群7 _0 g/ g/ |; f
    赋范向量空间/ x) v, a/ m, q6 @+ w- p3 {
    奥康代数
    ; j! v: Q6 b( B4 A0 y( [+ `订购代数
    ( g1 e, }9 S. z8 q0 a; J$ W  q有序阿贝尔群3 A2 `) E5 }. w+ w& z. q: }
    有序领域
    ' U& D# V$ n, J; f+ `' b6 W  K序群
    6 ?/ o  ?) X- C  \, l; ~6 g有序半群  g- Z* c  O% L1 p" J
    与零有序的半群) k9 D  t5 j* [
    有序环
    . E9 g" \/ B# W( k* U序半群,有限序半群,有限下令零半群
    / |! j& X* j& w" j1 l- r有序半格,有限下令半格- Y) f8 q' _$ Y( \2 L* y
    有序集
    " A# q/ [9 c' a" b9 Q' ~% `$ j矿石域
    # O2 @& R+ n9 [* ^0 o7 ^Ortholattices
    $ O9 V1 W. e) y& l, D正交模格
    3 Y( `4 H- V8 |5 f, l1 E' Hp -群
    0 }0 x( p2 W8 p部分groupoids# f* m8 ~) g; B: H7 Q# f
    部分半群
    / o) o; K" h. I0 T4 ^% y部分有序的群体* w+ U! B" l7 U% x* s. i
    部分下令半群
    3 U  t: n6 B0 V1 {/ G部分序半群
    / k1 \0 z$ e4 k8 J5 Y部分有序集
    4 k7 |* E7 k  n8 @' q皮尔斯代数3 M$ |% q2 {2 G$ |! `! L8 n% K/ r7 g
    Pocrims% A7 u& U5 s% g9 ?$ K* o, ]
    指出residuated格6 K9 }' S, U3 o* _! N
    Polrims% K& p5 ^8 n( w7 i
    Polyadic代数
    . N! j1 q  {  j8 ~7 L偏序集. c; H) T$ m0 k. a) {( r6 @
    邮政代数
    7 E8 R0 j2 x7 W$ b0 Z4 C& H& y( fPreordered套5 P6 A# [: g0 l! m+ F( N* h0 ?
    普里斯特利空间* T& }* y* u1 S7 V% p0 ?, ^4 I! i6 y) M
    主理想域! ]' ^  I+ m  V2 }4 n
    进程代数
    8 _( P' q1 h2 T伪基本逻辑代数
    " m; x' l$ S0 d. E4 A. j' U伪MTL -代数
    4 X! d* A# r. W9 N& K4 ~伪MV -代数
    , T; U  c1 [1 @8 d$ ^Pseudocomplemented分配格7 @. i8 d% X! w9 `9 a5 n
    纯鉴别代数
    ( O2 }' k4 B) R4 }5 d4 G( vQuantales# [2 [! q4 {" _/ h5 x6 d- k2 k
    Quasigroups
    9 X. q4 T5 t5 `准蕴涵代数9 o  }" D3 R4 d1 @
    准MV -代数
    $ |2 P+ x9 d4 o- s0 ~' q- N! q8 B+ n准有序集
    - }1 H2 z, [) o- a0 BQuasitrivial groupoids
    $ f$ R# H% \# K/ z8 G5 w矩形条带
    / t! c' n  g. n. I3 g  Q自反关系1 z8 J' b$ U6 g: ~& K; y0 y7 M$ ?
    正则环- x' R. q7 Y# ]3 e, C7 X
    正则半群( S2 W- b! I! j* Z
    关系代数
    + k  C6 K5 ^: v* Y% u9 b相对Stone代数$ r1 s0 b9 L+ z' E- z
    相对化的关系代数, D; P4 N/ x+ J% @/ u  v/ O
    表示的圆柱代数
    7 V5 U1 j0 f. z+ o8 k; o+ G表示的格序群体1 ~1 p9 \6 Z; i0 P" i! J% P
    表示的关系代数/ [7 n+ s' _9 g4 u
    表示的residuated格
    ( j6 ~3 f1 R% [4 s4 `' wResiduated幂等半环6 Z7 }# I3 e6 I5 i  |
    剩余格序半群
    4 `' V- @( r7 C剩余格* A4 B1 H' m' h+ T' i& K  c
    Residuated部分有序的半群
    0 R0 g  A5 l2 R( F4 P! B0 o2 XResiduated部分序半群9 `3 d  [3 T. z
    戒指4 ]! p( d! |+ S; ]# O8 I7 C3 u
    戒指与身份$ O8 O5 Y/ Z% L% t) A* P
    施罗德类别  G* T) F8 l% R' O
    Semiassociative关系代数
    , r" t% S$ G" k; `3 b% ^1 gSemidistributive晶格
    ' k0 x6 k7 }1 X8 y半群,有限半群
    ( e) k$ i! {6 c- s5 p( a; [  f半群与身份: U3 c9 q6 `" F/ ?1 }
    半群与零,有限半群与零
    + R, R  @; N" {# i半格,有限半格5 x9 A6 ~# s1 n: }
    与身份,与身份的有限半格半格0 H1 E* C* X/ |, W0 m1 L$ J
    半格与零1 E; o/ o* ?2 J: T2 k- E
    半环2 G; @/ x* S$ O: D  ?
    半环与身份
    " l4 @0 V. T# w* @$ o: g0 O- p% L半环与身份和零
    3 O1 \1 C! }" b& X* U半环与零
    - n' G+ ?. d! X7 L% Y1 v2 N! m. `/ |4 u连续代数" A+ b4 q2 N+ Q

    ( o6 k- p- R, T9 A. V$ l# m1 T* q
    % S1 t* u' l- L; S& |" d5 `# ?歪斜领域
    1 q' L) o9 C: v1 ZSkew_lattices
    & O7 }8 \7 {8 d' }+ h小类
    9 A3 w  v  |0 P- w" u清醒T0 -空间
    / Z* i7 O3 Z# U3 M可解群/ E) _) y0 g6 S2 T
    SQRT准MV -代数4 F1 ?1 E7 `+ s1 T1 C' ?/ U1 {3 s
    稳定紧凑的空间
    % C  L2 a7 |3 r施泰纳quasigroups* E  n; a% Q7 p- p* o( v# z
    Stone代数. f' i0 C1 [; N+ M2 }0 B
    对称关系8 c# c, F$ U9 O6 L, R, O( V7 g
    T0 -空间
    2 X2 J0 ~; R4 T; f1 vT1 -空间' a9 p+ V8 M* h
    T2 -空间
    5 O0 K0 q6 y# v6 M0 u塔斯基代数
    3 [; O) n2 z7 E) `5 P紧张代数5 x. F0 }% U! a# z+ U
    时空代数! y* s, z4 {, r
    拓扑群
    " c0 W' T8 |& G2 s6 f& Q拓扑空间# K2 ]: F- w2 M+ @5 [
    拓扑向量空间
    & U% h; N* U# Z  H+ V+ a+ b5 L扭转组
    1 x5 I" f+ P9 r9 B2 Z全序的阿贝尔群
    " o& h4 x0 Y  [, E9 L; k全序的群体
    ) f, n8 _+ D: e1 Y完全下令半群) B3 q& p/ K/ a: D5 \* S$ S
    Transitive的关系
    ) u& y# o5 a4 w: W1 Q
    ' z3 q* q0 j+ P! r/ b锦标赛
    8 b. P7 J1 F/ W, ~: a% i( e; X一元代数
    ' ~* J8 h7 `" ^6 p# q4 T唯一分解域4 {/ o7 A9 C4 s
    Unital环
    0 N1 Y3 Q+ B- a向量空间
    % b% [# y& w" Y& y. P; e/ vWajsberg代数
    ! E+ `- t, ]) F3 t! d7 FWajsberg箍" j% K# v; d" s* Z7 d, d
    弱关联格- Q6 d, @! O3 |$ i3 T* t0 B
    弱关联关系代数; G" x; s) p3 v* m3 z
    弱表示关系代数
    回复

    使用道具 举报

    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 18:52 , Processed in 0.501428 second(s), 77 queries .

    回顶部