QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3517|回复: 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
    + x4 u5 y% U: x: q
    : v$ ?' S9 t4 d% x& ]7 _( ]
    Abelian groups     Abelian group1 ]' f) C7 `6 V' y3 H
    Abelian lattice-ordered groups4 l* B4 b5 a( k* C! H
    Abelian ordered groups
    8 J/ Z2 A" e# XAbelian p-groups
    3 A9 a' S3 n0 w- B# o- Y3 rAbelian partially ordered groups
    8 z( x& s6 X! |, M7 \- HAction algebras     Action algebra/ d" d/ {% m) U# D6 Q' Z
    Action lattices, r5 X- f0 T0 ]6 b/ R* \9 Y
    Algebraic lattices" d0 ]: O% H2 j# p7 h4 l( m/ ~
    Algebraic posets     Algebraic poset
      r- i% Y5 \0 S8 D1 n" V8 C" `Algebraic semilattices9 D$ |+ Q5 G8 G6 r/ Q* W
    Allegories     Allegory (category theory)) ]4 y  q( x5 m# M' ?
    Almost distributive lattices
    7 w( [2 t- t2 |  l/ }: Z- qAssociative algebras     Associative algebra* b  v. o4 W5 U3 n. ?/ x9 O& H
    Banach spaces     Banach space* k6 V" X& r$ m+ I) t2 F9 z
    Bands     Band (mathematics), Finite bands$ _& x8 L1 @% `& {) }
    Basic logic algebras6 _/ k  g) q6 H% F) n
    BCI-algebras     BCI algebra
    ( ]$ @7 R, x$ M" I* P. _BCK-algebras     BCK algebra
    1 \( L* W/ m/ C0 h7 FBCK-join-semilattices$ m! V1 F$ p. J
    BCK-lattices
    3 r) E; @9 c" a5 t" T! S: @BCK-meet-semilattices3 g4 W. U% {& }% O
    Bilinear algebras. D$ U5 n. H  X3 [
    BL-algebras
    ! J/ R9 Q+ Z$ q" EBinars, Finite binars, with identity, with zero, with identity and zero,
    3 B) h: ?2 z" V2 x1 G! b9 H" w" oBoolean algebras     Boolean algebra (structure)4 H0 r- W% b% O, \. D. D* a! Q
    Boolean algebras with operators
    , m# a4 p0 {2 F( P6 z0 a$ N' o( yBoolean groups
    0 Q, ^. ?) Y3 D- x8 F9 |Boolean lattices
    , c; P+ t( X  q4 S; M3 yBoolean modules over a relation algebra
    0 s7 v. n! Z0 S/ S3 K0 gBoolean monoids5 E2 E5 I( t0 B4 k* H& c
    Boolean rings
    ! o4 A; K3 D. ^0 A' ~Boolean semigroups
    7 X* D! Q) |5 [Boolean semilattices. Q0 @: X% M! p' \; w3 e
    Boolean spaces# b& `0 Q& @& k$ A
    Bounded distributive lattices
    % `: ~" M  y& C) _& OBounded lattices8 W$ X( B5 @) F6 L
    Bounded residuated lattices% [/ Z, z( O1 q  T4 V
    Brouwerian algebras6 n! k, ^2 p' H9 r# f5 S) S
    Brouwerian semilattices
    * E5 V% J5 k5 N0 D  ^" G7 ?C*-algebras
    1 [# t8 r" m0 i6 u$ c4 c! FCancellative commutative monoids
    ' d, z" n( P3 KCancellative commutative semigroups2 I" f" x# i' Z7 k/ H' b- q
    Cancellative monoids
    ( n' A1 j- a2 I% O' m8 W: M6 z/ {Cancellative semigroups
    * ?3 _" d" ]$ e$ ?2 \Cancellative residuated lattices) p, U# K3 o/ S8 O! o, a
    Categories# H, D' a' j) t
    Chains- Q. w" }* u! W$ h6 f' r' s  Z2 {
    Clifford semigroups& ^7 P$ H1 E' u# [  `) t* j6 K
    Clifford algebras
    - [: j, f3 l7 ~" D9 L! ?" xClosure algebras4 E( Z: K) g, k" i* H: }
    Commutative BCK-algebras. a0 z3 ]& s% _1 Z* @% y, [) q7 ^
    Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero
    + e/ i; ~  D  H1 Scommutative integral ordered monoids, finite commutative integral ordered monoids( g( {  ]; ^5 S, A
    Commutative inverse semigroups
    3 T# {* A% V* K: X5 ZCommutative lattice-ordered monoids
    2 a* z# e. J' q9 t: p7 aCommutative lattice-ordered rings
    * K' P- l+ L9 U/ MCommutative lattice-ordered semigroups' T$ v1 R: U& b! e- {
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero/ n4 f1 h$ q9 e( @  e
    Commutative ordered monoids9 Q$ o/ y1 M9 y* W; s+ d* G! E
    Commutative ordered rings
    - q$ [* T" @( HCommutative ordered semigroups, Finite commutative ordered semigroups0 j; d3 z6 s' ]( R1 Q3 g
    Commutative partially ordered monoids, x- q9 t  U* v* F
    Commutative partially ordered semigroups
    # z! w' n2 q" Z, i& W+ k1 O$ eCommutative regular rings
    " d, g# d) @* u7 ^8 y% nCommutative residuated lattice-ordered semigroups
    $ u! n  G5 C, O/ b7 OCommutative residuated lattices! c0 Y; s% G) M) \% l0 k
    Commutative residuated partially ordered monoids! R; O% U6 ^& g+ Z) l# s
    Commutative residuated partially ordered semigroups
    7 j2 O0 j4 d! z; t- ]: X8 J1 H3 N; [Commutative rings
    2 s" s2 ]9 G# D3 W: }Commutative rings with identity$ w; i  N$ V1 V; I8 c
    Commutative semigroups, Finite commutative semigroups, with zero/ l# S' t/ b& e8 x: R! v$ s
    Compact topological spaces
    " o' n3 S2 S0 tCompact zero-dimensional Hausdorff spaces
    ; ?; X+ d* q2 H" O2 @% ]. VComplemented lattices' S" D4 J* x/ V. g+ q' @
    Complemented distributive lattices
    ) U2 j8 U7 k  w. ~3 d" K8 b. a1 kComplemented modular lattices0 T* p/ n$ \' F: R6 K- n$ y
    Complete distributive lattices
    ; Y4 ~, [+ }2 T) H- r6 ]Complete lattices* m2 l0 X5 e$ K% z$ }
    Complete semilattices
    8 B5 v5 W& T+ O- J. ?+ P8 ^Complete partial orders: b: J" i0 P% w9 ?* f) m
    Completely regular Hausdorff spaces
    1 F; V  h* m4 BCompletely regular semigroups( L* C& w1 M8 m7 t7 O0 r- W' ?
    Continuous lattices
    4 o! E$ k$ K. w: P$ wContinuous posets
    / P/ l! s: m* j4 RCylindric algebras
    ' O/ w; C- }4 }" p, yDe Morgan algebras6 p, z2 m$ c6 u1 v: S
    De Morgan monoids
    ' S" p& x9 R3 |" [Dedekind categories& H- `* u- r6 f  |* }9 {" i$ u2 R
    Dedekind domains
    . P, T. D# Q2 j& \5 U- v1 GDense linear orders3 t% f1 t* d8 \  t9 @3 F8 T
    Digraph algebras+ w" N! L$ ~8 v9 A' W3 {/ z
    Directed complete partial orders
    4 d; a$ @; {' Z; CDirected partial orders- J6 w. h6 W8 b: p
    Directed graphs
    % ^* b4 r; c  t8 R6 k8 `2 oDirectoids3 h' [- E9 f  I2 q$ ]7 S7 B
    Distributive allegories
    ; Q8 E# Y! ?2 z! q6 x: VDistributive double p-algebras) c; O9 u# e% a! z
    Distributive dual p-algebras2 c& U' `3 O) H8 u4 k. j+ d
    Distributive lattice expansions
    / c. w5 S. a! `/ O* ?; V! w! nDistributive lattices1 \8 b6 S. |" Y* D
    Distributive lattices with operators
    , n. c+ M* n# ~Distributive lattice ordered semigroups3 z7 K8 O5 w+ D8 f
    Distributive p-algebras
    & K( v* f! }/ z" r$ U9 e( q# DDistributive residuated lattices
    ; c3 ]( A! ^/ v% M- C. H0 Z* R4 a3 {7 vDivision algebras
    & w: u! O* i4 M2 B% qDivision rings
    ; ]3 k5 K" X* H6 o5 Z# _% \Double Stone algebras
    / g9 g" G& X4 r7 hDunn monoids( ~# w3 n# J0 M* b( \
    Dynamic algebras
    # |& _$ b; ~7 N' Z2 [# dEntropic groupoids) X$ N9 j' n3 e; T1 ^+ F
    Equivalence algebras
    ) |! O$ K/ t! x) ]) rEquivalence relations7 ]8 v2 }' P3 g! I1 s. ^' ]; _8 w
    Euclidean domains: Z/ x) u6 B# L. K
    f-rings, U' ^$ b: q+ ^9 \5 `2 x9 h- s% |
    Fields; X1 Q- K9 J* D# ]) s0 _
    FL-algebras$ O5 r' P8 [! p5 C6 q2 M6 {$ }
    FLc-algebras5 i  i6 e1 H. r2 r
    FLe-algebras- r+ p1 r0 C: p3 w
    FLew-algebras2 M, t5 U3 u6 B6 [, H# ~9 V. j; I, x
    FLw-algebras' B- r$ `# V! H& \( e
    Frames
    * I  _* b0 {/ w, L8 Y: uFunction rings6 s( T, Y' G" \5 C9 Q
    G-sets
    + G/ L2 \" k1 JGeneralized BL-algebras, z0 H) N7 B4 V' P: u
    Generalized Boolean algebras
    / }: S7 V# [7 K9 D9 |Generalized MV-algebras
    4 W& P# A, ?$ W. q# y& u! BGoedel algebras
    ; |0 O! w: u3 N" g3 L. V; }3 kGraphs
    4 T+ b( U* f4 a/ B! tGroupoids
    , t- a1 q5 Z  C( t9 s- YGroups
    : b: q6 a  B7 FHausdorff spaces
    ! Y, B1 I) {& @Heyting algebras% B( W7 `# C$ B) W& X9 z2 }$ y, Q& x
    Hilbert algebras
    1 F' g2 v' L: w+ ^, xHilbert spaces
    & D  L0 [3 p2 `Hoops: x% u+ d7 q0 ]7 L5 ^) m( k0 M
    Idempotent semirings
    $ j: L* U  c& [) ?% l( H2 c9 D5 pIdempotent semirings with identity
    * S2 k9 I" |- t0 p" f. [Idempotent semirings with identity and zero! U8 a; B3 K7 F1 Z- S  Q5 Q
    Idempotent semirings with zero* a2 q+ ?2 M4 O" w; Z" m. T
    Implication algebras
    " c5 Q2 U; ^' c5 Y6 ]Implicative lattices) o: A+ L% I8 w- R& _. f' @5 F
    Integral domains$ J. x" q5 s8 h% c8 B  V. K
    Integral ordered monoids, finite integral ordered monoids
    % ]6 I: p8 x: {, Q- WIntegral relation algebras
    1 m% H# T/ z$ L4 G% |* W! pIntegral residuated lattices
    + l3 w3 x* m# DIntuitionistic linear logic algebras4 q( n, X' ?+ f) I/ Q
    Inverse semigroups
    + a' X* N1 d" ]+ a: jInvolutive lattices
    - r" U# G4 U& P  p* C* L, U0 ^% _: ^Involutive residuated lattices
    4 k' L5 ]/ O3 k8 NJoin-semidistributive lattices
    6 L) y2 r% P( A, k" g# ?Join-semilattices
    + b0 z" b) x% s- CJordan algebras& N% l! a6 D9 _3 ?
    Kleene algebras7 V: b8 i% [+ x, U5 W+ L/ f
    Kleene lattices' z6 I1 L& m: n: W# K9 S
    Lambek algebras
    9 \6 g9 v! k( h5 tLattice-ordered groups
    0 u' m- k9 H* V" JLattice-ordered monoids" c% R( s: n) D. p$ p
    Lattice-ordered rings$ o$ Q: E5 k' E4 n
    Lattice-ordered semigroups
    * Z# |5 u9 }- ]9 W1 p1 iLattices" N1 j! a( e$ n4 L
    Left cancellative semigroups6 W6 U  I- L! C8 s: T) H
    Lie algebras% u- y- A* p0 H" L* s
    Linear Heyting algebras
    8 u  X" {' D$ F" r8 JLinear logic algebras7 U1 B8 w- P$ U3 ]- m$ ?
    Linear orders
    9 j% n" x: j# a8 h" P2 Z3 V9 s  tLocales) W4 n# Z. @6 Z
    Locally compact topological spaces2 y7 C3 s+ F% d6 V1 M! A! q% p
    Loops
    # g) c% S7 ?! Y% k3 F6 [1 A7 cLukasiewicz algebras of order n1 g% Q4 ~- p& a/ `! r! ]
    M-sets/ D: E' ^4 Y* }* E
    Medial groupoids
    3 c. w4 m: w7 ?2 t$ e% ]Medial quasigroups
    , a5 R  Y- G# I2 W) a' O$ cMeet-semidistributive lattices) I5 I  L$ a7 \! z  E/ _# B" }  R
    Meet-semilattices
    7 J6 f# T7 q  k7 SMetric spaces
    $ u: I; J) z2 w7 Z- }Modal algebras
    ; C6 s, B) G5 b( _. F6 z/ N; n" D! WModular lattices( n1 A9 v  H# b' D4 d. n
    Modular ortholattices8 C% s+ f" I' D  t/ V
    Modules over a ring1 T* c# [, r0 R7 w
    Monadic algebras1 _. U  s) z& L
    Monoidal t-norm logic algebras
    + E3 A! d; r# n5 NMonoids, Finite monoids, with zero
    * T4 ]5 ?" r3 B( t/ t2 [0 SMoufang loops5 a. p# r! O+ O
    Moufang quasigroups: E* w5 q# Z: l
    Multiplicative additive linear logic algebras, f0 {6 K% ~  }
    Multiplicative lattices" l& l; b$ Q8 z; x3 }/ O2 l
    Multiplicative semilattices
    " B0 W0 Z7 B/ q" l( ^2 aMultisets- g/ S5 P7 M! n- e
    MV-algebras
    & Z' G6 R0 `4 w* r7 x3 dNeardistributive lattices( X* _6 x6 ]3 H4 |) K8 |
    Near-rings8 K6 @" g8 w" e" M
    Near-rings with identity
    2 X% z7 B1 b: ~7 ?  k! xNear-fields
    1 r4 B# P2 p5 S) i5 l. c5 |8 {Nilpotent groups4 _, j& T: i/ M. r
    Nonassociative relation algebras
    1 E& k& h6 q* ]2 J+ N3 B/ pNonassociative algebras
    # Z+ j5 J( n) J1 v& h* ]Normal bands
    & @. ?5 |/ O$ Q0 L0 aNormal valued lattice-ordered groups% x7 r9 v1 o6 Z" q
    Normed vector spaces; J. o8 n  K7 T
    Ockham algebras- h( m2 }9 L+ a$ T: T9 Y1 y
    Order algebras
    1 Y; x" ^: V2 _& W+ }  p$ SOrdered abelian groups
    7 q! a7 ~% m5 a7 sOrdered fields
    8 [2 x2 k4 s# R% jOrdered groups
    , R3 {5 e7 ^5 H0 i2 C; j2 g1 i; @Ordered monoids
    ( V; e+ x+ G& t) N& b# ]: s' c  qOrdered monoids with zero
    1 b1 f* Z; _& `9 d0 D, wOrdered rings* K2 B) @  _3 t# J9 m: r
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero7 c# i1 I3 N: e+ r/ d9 H5 |
    Ordered semilattices, Finite ordered semilattices9 K7 I) x( G  z# |( G
    Ordered sets: H3 f8 ~( [% a7 X; B
    Ore domains6 h- J+ s- n& P8 s
    Ortholattices
    2 h  v! ]$ O. z& U; g; c5 ]6 H" ROrthomodular lattices
    ) Y, Z# v0 |: ^% Q( T/ s! B9 k# A, yp-groups6 o2 x3 {5 q! ]! E8 @
    Partial groupoids
    # X( k; {) o/ o8 D9 i( ^2 VPartial semigroups- p8 r. x* |$ I8 N, Q' t
    Partially ordered groups; Y" S8 g2 _! g7 y# t5 |
    Partially ordered monoids
    6 i" m) v+ Y" X1 V' j5 ^/ J% ]: @Partially ordered semigroups. n8 I& Q' {2 }7 d* ~+ u+ S
    Partially ordered sets! i8 v6 K& I# t6 X5 _0 q: A. F
    Peirce algebras5 f" U( a( k: ^" l
    Pocrims
    1 e- `) z% r! O; _! x; o7 o1 u6 ]Pointed residuated lattices5 H, }' ^: d) W, F
    Polrims% T1 j) ?& y+ M; b  s; I& E
    Polyadic algebras( G  }6 [+ E; x5 O* O
    Posets+ K) t9 ]! d. t1 |7 Z
    Post algebras
    ' n! Q6 s* g& q8 \5 ]Preordered sets
    4 U3 k$ X$ n4 k) ?Priestley spaces, G( Q  a+ w# x& P7 {' w
    Principal Ideal Domains" X# i. N; |- u) Y) J7 y) h. s
    Process algebras" v% ~1 K1 n2 T
    Pseudo basic logic algebras9 S7 P& H8 n8 M% S
    Pseudo MTL-algebras
    ( _- `# R, L8 `9 jPseudo MV-algebras
    # p$ Z7 d7 C  ]. H% d, iPseudocomplemented distributive lattices
    , M% @  ]. X6 y7 o% O% QPure discriminator algebras! o/ |2 z1 z. F
    Quantales
    6 w/ w- b7 b# R3 g! b" x$ {Quasigroups" H" M# o+ g# H1 l, p1 i3 ?
    Quasi-implication algebras. q: U& c+ \. U2 M. g5 ^
    Quasi-MV-algebra- b. v/ H' E7 q* m+ Q
    Quasi-ordered sets: h( N+ d6 V3 \& y
    Quasitrivial groupoids* e' R/ \) H6 f3 G
    Rectangular bands7 f1 P) j" J, ]- E8 \* t
    Reflexive relations
    9 e5 e) O+ m+ i1 b1 a2 K' RRegular rings+ x2 y  ]2 H7 Y& ]# ?
    Regular semigroups
    . |+ i: ~9 h0 l* u+ I' s) r& Z8 _Relation algebras
    ' t& X( G! x& |9 NRelative Stone algebras
    " T" J- }. r4 O, J! kRelativized relation algebras
    & {1 V$ L# z" q/ i1 r! [9 [Representable cylindric algebras: U8 {+ H+ T$ E
    Representable lattice-ordered groups/ Q1 i- l6 w% v! ~9 K
    Representable relation algebras9 `6 }- ~6 N! O3 b) ^/ g6 d1 B7 D
    Representable residuated lattices7 I6 w0 \; }: F* m6 r8 i/ P
    Residuated idempotent semirings! @$ |+ x  U8 ]1 k& b; O& U
    Residuated lattice-ordered semigroups! I+ f7 a. l9 i' m5 I
    Residuated lattices: C' n9 A8 q$ ^* U/ w- ]! P% `# R: u) Y
    Residuated partially ordered monoids
    $ ?. R. \2 b6 C' Y- z9 d) JResiduated partially ordered semigroups
    6 I, H9 o5 ~$ l& n2 k" q* y' mRings
    ! }' Z' A: S  KRings with identity+ w( W" G; ~  g6 P
    Schroeder categories' y; G$ ^7 L3 X- z" e' }; j
    Semiassociative relation algebras0 q% f; f. l: s8 h5 n
    Semidistributive lattices+ e3 I" x+ X# J2 q: Z# I+ B) X( c
    Semigroups, Finite semigroups
    % Z; U( R; x$ y  ISemigroups with identity
    # M0 b; }' |3 j% F! s& ZSemigroups with zero, Finite semigroups with zero
    $ r: n& X! f4 l7 }1 ]Semilattices, Finite semilattices
    $ ]- n& L- W3 x' n; R  gSemilattices with identity, Finite semilattices with identity) N. Q  C! a6 M5 c: E
    Semilattices with zero
    7 n0 Z  v' O( O4 F4 ISemirings/ }( N) p# o: j+ a; h/ z# o
    Semirings with identity2 H# m, b# E1 t& l. b# D; o# n7 s1 w
    Semirings with identity and zero* a: d5 r% p& A: T4 G! ]
    Semirings with zero# ^& @' o+ r3 ]
    Sequential algebras( J# X$ t1 u1 F# A, l
    Sets- z# i, K+ y/ Z  ^7 l3 ^) V
    Shells7 e2 D0 J2 v% ^# c+ U* b8 k0 C
    Skew-fields
      H" u0 K$ l; n# A( m2 p" h  KSkew_lattices
    9 P( r) t5 Z6 kSmall categories" _4 u! v6 J5 i/ h
    Sober T0-spaces  X* s* @0 {0 c* S
    Solvable groups
    ( [7 ^9 `! K  P* z. G# DSqrt-quasi-MV-algebras7 {4 H+ V0 J! P0 h
    Stably compact spaces' d! a8 L9 E2 x
    Steiner quasigroups, v" n, d1 f. r! l2 x. M
    Stone algebras
    1 |9 p9 e1 n' t) k' nSymmetric relations' T' d, D# f7 v; V4 d8 q8 y
    T0-spaces
    6 M% Y2 Z: F% {6 F. e. }T1-spaces
    / V3 y' w* i% u1 [+ R/ A$ b( {! U3 MT2-spaces& F: P% a& L9 x  y5 ^
    Tarski algebras
    1 A3 q- G2 y: X) C  O! Z  FTense algebras
    % |* z% h5 i; |/ mTemporal algebras
    4 L& U3 K# y& T+ m( [+ }Topological groups0 |- E2 t! N* ]# l+ ~
    Topological spaces$ e" s: v: r; u$ n& N/ F' y* L/ H
    Topological vector spaces
    2 ]8 o" l, q% p9 XTorsion groups
    + [& F6 }- w1 ]' H1 w+ e1 R5 ]Totally ordered abelian groups
    7 o9 B& Z. C) a8 @6 _$ o1 E3 M1 r% FTotally ordered groups
    7 F8 v0 P: v$ {4 xTotally ordered monoids
    1 n# i! n/ c2 p& M! x% ?Transitive relations
    " f7 u# V, c+ o6 MTrees, g  `7 ~5 N: }$ q. q0 P6 M2 j
    Tournaments1 u% E) D! o6 ]: g
    Unary algebras3 M4 m+ L# x* @
    Unique factorization domains" Q9 G+ V' X; X; l" ~7 [
    Unital rings
    - F4 q! w! Q) G1 Z% WVector spaces( Z, Z- D. c- M( a6 s3 B7 F
    Wajsberg algebras1 M" _9 P: @4 H+ x
    Wajsberg hoops+ P* r* E; x  O
    Weakly associative lattices
    4 F* `% H* P6 l# V$ H0 P" U. qWeakly associative relation algebras+ L% J. n, Y. r4 G. }& N( `4 O
    Weakly representable relation algebras
    ) A4 z1 h/ B. Z- ^- j9 |
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群  ^: Z6 T/ R, y; W& m' D# d
    阿贝尔格序群
    , Y6 {# ~4 U+ l8 b阿贝尔下令组
    - [" T/ F1 U0 F0 N" i8 X阿贝尔p -群
    3 h! N& l4 T3 x* O# r: X' N阿贝尔部分下令组
    ( N2 S  M, U0 c  G! C4 A行动代数行动代数
    6 Q6 T8 @. P) ]  N行动晶格$ w1 s; k2 d, z0 `
    代数晶格
    0 T$ ]( e. x( s- D: g+ T, {5 q3 n& G代数偏序代数偏序集
    ( W  _, H/ a$ E) z# Q代数半格* [6 X# t7 E( _
    寓言的寓言(范畴论)
    ; V9 \4 V9 P! o9 }几乎分配格
    * ~! j! `. l6 m) F; {关联代数关联代数& a2 r5 o6 P( W; D; c
    Banach空间的Banach空间& n1 s; n6 N, {" |2 L/ x
    乐队乐队(数学),有限频带& u3 ?  F5 B; L4 X7 A2 Y
    基本逻辑代数
    : U: }! E/ q$ P# x% pBCI -代数的BCI代数
      J/ ~% `8 z3 e/ B3 K3 Q  UBCK -代数BCK代数
    : B* ^  }0 U$ P4 JBCK联接,半格
    8 G8 j# Z5 w. c6 bBCK晶格# b) {, B! o; ^3 X* q/ E
    BCK -满足的半格
    ' |- N: z4 d, P7 w双线性代数
    ' }, Y: K! B% b3 W) G& qBL -代数0 L8 ^& B  a' Z2 i; y/ S
    Binars,有限的binars,与身份,身份和零与零,& {5 a4 y* e0 m1 k/ q
    布尔代数布尔代数(结构)
    ) E- `5 T- d1 F$ F0 g5 x与运营商布尔代数5 P& W; N* @: p8 d( B
    布尔组/ q2 g1 a5 L8 [( \% ~' f* K# J% M% e
    布尔晶格& K7 X8 g! P# x" c/ J# |
    对关系代数的布尔模块' i, n- p7 ^4 {* J( M1 Y$ s
    布尔半群& N- B+ B% N% Q7 J
    布尔环7 j0 Q7 h1 ?$ S# b' a
    布尔半群  u8 E5 o4 a+ o) P+ q1 l* |
    布尔半格2 R& R- G8 q# o8 k# z' R  B5 `& B
    布尔空间
    ( y( f! s# q3 S1 u( x+ C有界分配格, [4 Y$ W  M( b; z/ V
    界晶格
    9 n, \. |) G* j5 U界剩余格
    * \9 v, Z2 ^- l% }Brouwerian代数
    8 f9 X7 |4 O" M) |Brouwerian半格
    ' s$ m2 [5 E- R+ P' XC *-代数
    , \% y' _- u# @$ d) b7 Q" W) D消可交换半群
    1 a' Z( U1 G/ Q& U1 f2 Q消可交换半群
    + O6 \1 @, b2 q/ t5 X可消半群
    8 I3 J* k: D& W& O2 P6 e6 p可消半群
    1 J* h' R0 a8 A! N消residuated格
    4 c) n& {9 k: f分类9 C5 Y; Y, q+ P0 |

    6 m2 C3 s8 X* {" y" J8 |  P克利福德半群5 u3 h+ t, y5 C) p+ b4 A2 A7 V
    Clifford代数
    4 [8 [, R" \: j( a, ?5 Q4 ^封闭代数# h3 H. ?; S, `
    可交换BCK -代数
    ' d; v0 Y& m9 ]* z  R' e交换binars,有限的可交换binars,与身份,零,身份和零- e: i7 k+ X: R4 K6 j3 R" e
    可交换的组成下令半群,有限可交换积分下令半群% c0 _. j, l0 ]
    交换逆半群5 z; D8 Q! V7 b+ h9 B  P+ ]
    交换点阵有序的半群" g# b% s3 d+ T- X$ x0 h
    交换格序环
    0 i0 O* f$ S1 k1 c0 C交换格序半群
    . z, @1 @8 U( {6 v# O+ ?6 N交换半群,有限可交换半群,零的有限可交换半群
    * H& t$ N6 N0 X, m交换下令半群' R- L- `8 K6 N) I* t
    交换下令戒指
    - K+ r/ J6 J, I. l0 y2 S- x' z6 x/ x有限交换交换序半群,序半群
    , S) U, n9 W" }# B" b& i, ]2 H2 i可交换部分有序的半群9 [8 T2 g% h1 W& j
    可交换部分序半群
    ! w% Y5 c: i4 r: K7 s/ U/ V1 m. p交换正则环+ u+ D1 _9 `! L4 ]
    交换剩余格序半群- |# j" i; O; ]$ ?& @
    交换residuated格. x5 |% e! s7 E3 u: W, q9 n
    可交换residuated偏序半群; r# o) Z, z* v% ^+ ?
    可交换residuated偏序半群( l- T6 @$ q1 C% D+ U9 }9 H
    交换环
    " t1 i6 U! Z* D2 d! y" {与身份的交换环
    , f5 W) K8 d- A* B$ }2 P交换半群,有限可交换半群,零
    2 L0 X4 O% \' s9 l8 s紧凑型拓扑空间
    % T) I. `" e& R6 u9 X2 i紧凑的零维的Hausdorff空间
    + U  l8 m9 x& D% u补充晶格5 X9 f+ M) P/ M3 A; {+ Q
    有补分配格
    - g; y2 [9 l# S补充模块化晶格" Q2 m6 d! c% a; C( f
    完整的分配格
    0 z6 g( J5 @; y7 L. {7 {) k完备格
    # d3 [! s6 b& {0 I, O" t( {" n: W完整的半格
    0 `6 m6 _; S+ ^( @0 j完成部分订单$ ]' ^) W5 |5 M/ m# S
    完全正则豪斯多夫空间
    & P* r1 j. c0 v! L; u# e+ a完全正则半群. r+ k( J1 D9 x% _3 l0 Y
    连续格. r* q/ ~9 [0 g& q+ \* j( x
    连续偏序集5 A0 S* C2 h' D# ?9 M/ B
    柱形代数
    ( e( D' W+ D) B& a, n& P- A德摩根代数
    % W( v* W0 N/ `# S, J$ C4 ~德摩半群8 @4 f0 Z. _# Z  m7 H
    戴德金类别. R+ f! F- [; O; }5 t1 n: N' k+ ~
    戴德金域
    * c; y: F! y, L, J+ X( O稠密线性订单% g4 W" p- F7 R( }* ?
    有向图代数
    * _5 P" `4 h* F1 |导演完成的部分订单
    7 m  P: h& J$ H& t- V4 }导演部分订单- K$ n8 V) s5 f9 y( K+ A& u
    有向图
    $ k( o3 L' p) f2 nDirectoids
    3 Z! ]4 z& v5 g' _# {% @分配寓言
    % h0 s2 Q, N4 Y3 t5 h& U分配的双p -代数
      H2 a' k6 L+ T8 u0 O- I  g" U分配的双P -代数
    ! m. n- u! M( ^3 B& t分配格扩展9 H0 P, ?0 O. {) C% q. J
    分配格9 ^" @0 O/ @- {! @
    与运营商分配格! c' J" s: Z1 X& }) H$ @& J$ F
    分配格序半群
    5 T8 Z! b9 m( |( j# Q1 i, I( Q分配p -代数
    3 S5 T9 ?* V+ ^2 p2 e分配residuated格
    : g( U' y% J& u5 L' H司代数! F: T* z  y$ q$ ~! [
    科环
    ' @" E9 o# \1 P( P. H* @& s双Stone代数
    ! {$ ?4 b5 z& x: ?% n7 B5 h* Q3 ~邓恩半群
    . \: V6 E6 @) R: b1 r动态代数$ N" T4 f! j8 F2 k& v" o1 t# H; b
    熵groupoids' H* _+ \" Q- K: C9 b
    等价代数
    ( S" z4 |; |4 [等价关系
    - L5 ?& d9 l9 K+ b5 W, ?: _4 d& s! M9 a欧几里德域) \  c  n! I( q# E" c
    F -环
    / f0 j' R1 g9 N! \3 V0 d- k字段
    . d; P' H: g& [% H/ RFL -代数
    ; M* b3 R& v9 @6 l) d7 m3 {FLC -代数6 Z/ h8 m" u. c5 o) t  |" l
    FLE -代数
    7 U8 Y9 K8 g; x7 U0 m" J飞到-代数7 V5 M% Q( r. l2 w
    FLW -代数$ Z9 o- Q: e9 e8 ^  H* C+ }
    框架( S3 |: g. b5 O; G
    功能戒指. ^" q1 G7 X& J
    G - 组
    - W5 D8 W* s7 Z广义BL -代数- W, G- P" \: C) V: L/ l/ D& [
    广义布尔代数
    7 h1 N0 c( X9 z' B3 j广义的MV -代数4 E, ~% [' H; H1 v) j0 G: ^1 K* y
    Goedel代数8 Y' j  l- F" n8 X! s6 J8 g
    7 z: T' z9 f# U' |$ y
    Groupoids8 f% h& C2 U% o" X; z7 T+ n, h

    ! P8 c1 b1 f: M) w豪斯多夫空间  \. W  N& S+ g5 |4 v
    Heyting代数
    % T9 I1 Q* L/ j9 a( \希尔伯特代数
    6 f' l) Q, q7 g6 BHilbert空间" ~3 `3 _* {/ Q; f; ?
    篮球7 ~% A/ @/ q, e2 @/ P. q) R( r% q& U
    幂等半环; M8 V7 ~) d" h3 z2 C% f, O4 J+ V' n3 b
    幂等半环与身份$ ^" n; K7 K. H; Q9 ?" R
    幂等半环的身份和零: K/ \) K3 e! m1 k
    幂等半环与零7 L) {+ m* N5 F' L1 j
    蕴涵代数
    9 B& p$ @5 H' l/ ]含蓄的格子" U% A: d7 S1 O. e5 g; ]
    积分域: ^4 w$ c1 |! \5 S: V% T+ E
    积分下令半群,有限积分下令半群* j" s5 _9 ?/ j! N
    积分关系代数
    8 x% J! F7 L$ _3 N) V$ y集成剩余格* I0 w& z+ V" _
    直觉线性逻辑代数
    & D3 D- D* h  Y( b逆半群( c9 q" T3 P5 R- p6 _. _
    合的格子
    ( E& \" ^( j5 A! k8 V合的residuated格" ^' s1 p7 ~& r, h* v
    加盟semidistributive格7 H1 G! b( `0 N7 q& r& f3 ^
    加盟半格0 U, h9 m6 b  I! P5 D1 \* T
    约旦代数
    ( a! f+ ~* M! k4 A5 g. F5 E4 i1 P克莱尼代数
    4 Z1 g$ i6 D: e" |  g克莱尼晶格( d8 Q6 N' y9 s2 x
    Lambek代数
    : a/ \5 d  U0 l9 a& J5 h格序群
    ! m& X& F. N  ^' t格子下令半群* M- p' I3 K( L; M
    格序环
    - q) K, N% a0 a9 M" [5 k/ W3 l. |格序半群3 V/ q8 Z: n; G
    0 z6 z" v2 K1 J
    左可消半群; i6 s6 p/ \9 M
    李代数
    + K. d9 X8 I; a9 Q- X线性Heyting代数
    5 G4 U$ R9 P& X$ E线性逻辑代数- I( l; K! y7 a& M5 \8 R2 k
    线性订单
    " J$ V% E8 k( K( L+ N; j& V语言环境
    " o# b. M! @5 r: g局部紧拓扑空间
    5 ?* {! w: A( {7 q; A( A# x7 n6 s: L0 m  e循环7 ]) X7 S+ w* }8 J: e
    n阶Lukasiewicz代数
    6 g6 |6 L2 U" l) x0 e" [M -组6 j5 Y$ \: N( _2 _: i8 h7 e
    内侧groupoids) z/ j6 Z/ r2 U5 h
    内侧quasigroups
      Y( Y+ ~# a% p; _0 C- c会见semidistributive格4 i& Q7 R! M$ J, \
    会见半格  T+ s# i$ A6 J" x7 w7 M- v' N
    度量空间
    / @  s. u' H: a" R模态代数2 z' I- h0 ^; M# t* p! K: y8 D
    模块化晶格
    , ?( ?& D4 M, k7 u2 b9 l模块化ortholattices
    , [, Z! R$ d/ k. I* g# B9 N' n环比一个模块
    ( s4 U  n6 ]1 u$ k, _  H" T3 c: R单子代数
    5 i# F% q- Z4 wMonoidal t -模的逻辑代数0 R9 ?) h6 s, s: P( Z, h
    幺半群,有限半群,零  w' ^  R7 d$ Q$ W+ |1 C
    Moufang循环
    7 t! C7 ]- B3 d" o7 I. i5 p7 u. Q* ?Moufang quasigroups
    3 }4 E8 w. b0 N# S8 t乘添加剂的线性逻辑代数# |5 K; m2 [" L/ E5 A
    乘晶格
    " C/ [: f5 W, T2 g+ s) m, |乘法半格- r1 F  u: b8 r3 I: I6 o
    多重集) @+ h1 \, u# |% P
    MV -代数
    ! p  c' \: x+ n' ?Neardistributive晶格
    % d& J; b! B/ W% q5 |" F# N! _6 l近环
    9 `' j3 B6 e$ A" w; m8 b2 Q0 q3 x近环与身份
    : l' i, S: K4 c, g5 i近田, s( W/ E+ Z7 }$ B! k, M& m" t9 M
    幂零群+ A. L: o9 g5 E% E
    非结合的关系代数
    * q3 B0 c5 D1 P# b8 A& l4 y非结合代数$ w1 N% O) w- _- K3 Z
    普通频段
    " @9 D+ m, y. g+ }( _" N+ {正常价值格序群, |/ J# J) X+ F, X5 a5 B' ]% d
    赋范向量空间
    1 j; a) V. t& r奥康代数0 D* y* B" }$ I9 E9 _4 N! R  {
    订购代数
    2 `: Q* u" d) N2 |  e  ^) u有序阿贝尔群
    : W) g- O3 K4 R+ A有序领域
    0 ^- l' A, n2 X! j3 G5 v序群- f; y; H. R* ^- i: v) m" Q
    有序半群
    2 L: d- k+ l# C4 M! B0 Q- s% e% e' j与零有序的半群
    / r3 a: \3 P! Z有序环: |' L# J, Y" m( V
    序半群,有限序半群,有限下令零半群" t" H5 i; j+ l: L' r7 Q' G2 u  C: {
    有序半格,有限下令半格; a$ Y  Q& k/ c3 S4 J3 h
    有序集' U; P+ y, l% e  Z/ t' ^% _
    矿石域
    6 f1 \) z: F" W1 [Ortholattices
    6 p* k2 u$ k1 B) b+ Z( v正交模格
    8 b1 c7 T/ v2 Ap -群! j" N- b5 u, _) O3 U9 }
    部分groupoids& p) L4 d- s5 U7 O  t8 Y
    部分半群
    + c, L8 b/ [  v. G" P/ `) p部分有序的群体3 f1 n$ }* d! @/ f# g: K7 A8 X
    部分下令半群8 W: E5 I- F7 c9 N
    部分序半群
    . G* [+ t; R/ M, l, ?' Q部分有序集3 ~" z, V/ C, H) ^5 W1 F1 m$ |
    皮尔斯代数" e/ \; d; w) ~
    Pocrims) x/ @/ W) u5 H1 y7 S$ `
    指出residuated格
    & v1 r" v/ K! ~/ w; [8 tPolrims; Y! r$ D& [7 X8 Q; X# F: v. }
    Polyadic代数
    4 Z8 b; T: h# W1 a6 v# W. a; S偏序集
    + A; [) _8 Q3 r3 n+ N) r1 W7 l" m. F邮政代数
    / f! Y7 j% A9 V% V6 T( QPreordered套
    5 c  S( {# ]6 E$ g3 H普里斯特利空间
    & Y0 Y/ Z- y5 K# t) U! V8 v3 Z* B主理想域' L- g( J9 q/ r" S) Q
    进程代数
    . K+ c& C5 [' M5 {, u$ S9 {8 y伪基本逻辑代数) q# O9 N6 h( I* u# f/ ~( _
    伪MTL -代数
    ! V- _$ s$ }$ E5 g伪MV -代数
      V( @( g* t! o4 M6 T* [$ pPseudocomplemented分配格
    $ @  [, J0 s- ~2 r$ A5 m纯鉴别代数1 H! G* K3 o: v4 y9 @
    Quantales! o; x% t/ [2 V7 G1 @! [+ B0 G1 z
    Quasigroups
    3 W+ K9 G7 r9 q$ j6 H% |4 T0 b准蕴涵代数
    $ F% y4 _2 Q5 I8 K$ B准MV -代数$ n% J, o4 P. @+ L1 V
    准有序集' A# Z3 `, _2 Q
    Quasitrivial groupoids2 x' H3 d, K. ]% v+ x
    矩形条带
    6 [9 Q( J! F, @! t  v; O自反关系9 Z, M- _# `! _
    正则环
    4 E$ U8 j5 t5 t6 E& X% ]正则半群! Y/ T5 {: J. `: {
    关系代数
    - m* X, u  C, x. R- B. U- C相对Stone代数
    ( W6 D; j/ R! g4 l0 D相对化的关系代数
    ( m6 U1 i( a+ E: Z4 b表示的圆柱代数8 f  M5 J& L9 q" T
    表示的格序群体! s( ~' }  f! r5 ]: n" [3 b/ F
    表示的关系代数; W9 m7 W& j  S# V" V
    表示的residuated格
    / ?) t; s7 j3 A3 X% U8 jResiduated幂等半环
    % F9 T/ H) f5 u, o7 e剩余格序半群
    ! |# S6 \) |3 V, v' `7 q剩余格
    / n0 ]! o7 N; @, h2 H$ TResiduated部分有序的半群
    ! G; |# d- r! q: R: G; H5 x( \Residuated部分序半群! Y% m/ T" |6 k4 P
    戒指
    7 q) r* y6 O% V. _# X. X戒指与身份7 A9 z6 G  w" n9 W6 s$ y* Z$ w7 ?
    施罗德类别
    - s' Z0 R( K) Z1 D: h2 K3 ySemiassociative关系代数
    $ u! w: [9 R6 z! U5 ?: s+ g6 vSemidistributive晶格  {. a: d9 e2 L# k, A
    半群,有限半群. i6 l# Y4 S3 }
    半群与身份- M$ S+ p. y0 B0 t9 }
    半群与零,有限半群与零
    3 d2 Y/ {) s9 I2 q半格,有限半格( f8 e6 ]; g9 b6 v. g
    与身份,与身份的有限半格半格
    7 b& ]6 a- g. l) z- R; J半格与零
    # `4 C; k/ x; C9 N- d半环
    : V, X  U! Z. L! k7 L( j半环与身份
    # y" e  k) S( g( v& t7 C7 G半环与身份和零4 W( d% |- S, E* }
    半环与零+ ~2 ~8 A. w! y8 E8 D' G1 G, I
    连续代数
    # ~' B: T0 F7 ?( r  B$ c, _
    # h" j0 z# o( N- A, V9 A$ t5 @7 c& Y/ R9 K
    歪斜领域( Z. e1 Y" R' i. ~& X
    Skew_lattices
    1 L8 p4 x; _1 F$ p* j7 N, f小类
      I) n% O1 E9 Z( m5 ~& i! y清醒T0 -空间3 B0 Q: [  Q5 N# Q2 \3 T
    可解群' n. }% Q. i, d0 k. V# Q& m* }# Q( i9 ]
    SQRT准MV -代数$ C, @! n4 @4 k0 b
    稳定紧凑的空间
    # |3 k2 T+ ?& J9 u% A( O. e' _  r6 ]施泰纳quasigroups  @) M% x* o  h
    Stone代数& M+ z+ g) ]1 d1 g( E+ }- |
    对称关系) x2 y" T  H$ h% p1 z4 F0 V
    T0 -空间
    ) H% z7 J5 O. g' W+ zT1 -空间4 v) I( r3 o1 b# k1 i
    T2 -空间# D( B( `8 K" e+ u
    塔斯基代数
    4 ]) g' w$ n; c% q紧张代数
    ) u' ?2 \) O9 M. ^/ A) `时空代数
    $ r3 ~5 @4 d+ ]  e* F* p/ R拓扑群) Z4 O/ q, g( `& t, }$ ]
    拓扑空间
    , P* E; F' z$ ~1 T拓扑向量空间
    # B/ ]5 X1 D; W& C' p扭转组, Q* X2 o4 D9 I& c
    全序的阿贝尔群1 k$ _, f/ M) O! Z0 x
    全序的群体/ y7 p6 A9 \7 d  X, w( R5 H
    完全下令半群6 E& Z8 G/ O  ?3 `) T
    Transitive的关系/ B0 @1 l; Q) G! m5 [2 P) V% o4 e* l
    - ?5 @: C0 h! i2 Z# X4 o! e
    锦标赛) u8 y" e6 j" b
    一元代数
    1 E0 z2 [, g: R! T! F- ~唯一分解域; ^/ G2 Z4 w/ Y
    Unital环
    ) W( h* W" L" l向量空间
    4 w9 _/ x7 P, B# B! A1 M# LWajsberg代数
    ( l0 L" a9 e# y" I& C* c. P: mWajsberg箍
    - }. B+ U$ `! H( d5 ?弱关联格+ |0 Q4 I) h  \3 c
    弱关联关系代数0 i# i  X' [  S  v( n
    弱表示关系代数
    回复

    使用道具 举报

    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:50 , Processed in 0.387636 second(s), 78 queries .

    回顶部