QQ登录

只需要一步,快速开始

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

    ; C( q7 K# Z) n4 y' C, l# W
    " B! x& u: W+ X# lAbelian groups     Abelian group
    1 ]. {9 j4 I! P7 @; k+ t" C' @$ u$ uAbelian lattice-ordered groups3 N! f# |0 P$ M  o# E: r# p
    Abelian ordered groups
    2 S) ~! }3 a2 {Abelian p-groups" H- v% ^2 i# E, ]; V( t* m
    Abelian partially ordered groups
    8 d6 r( q0 `9 o! J; ?$ XAction algebras     Action algebra7 M: R( M& ]( B% i. L! M: u# p8 J
    Action lattices7 d' u1 Y) m; g
    Algebraic lattices
    ! w- |$ _  |% u% I4 O. yAlgebraic posets     Algebraic poset
    1 @5 Y, p2 G8 e2 jAlgebraic semilattices' v: r& v1 M2 c8 Z
    Allegories     Allegory (category theory)
    : d: }4 n. Q+ [; t0 ?Almost distributive lattices& p! H% |" l8 w, l
    Associative algebras     Associative algebra! ]- F7 l+ C, I, K; @( f
    Banach spaces     Banach space/ [9 F( r4 J- L2 {+ U  A  a5 }
    Bands     Band (mathematics), Finite bands
    - f) L$ X' R& X: GBasic logic algebras$ ]5 M' k/ e! {  @, d1 l
    BCI-algebras     BCI algebra
    8 f; L! G6 p$ HBCK-algebras     BCK algebra
    7 E" b* F- @! Z# R9 W- F: U7 s% }1 yBCK-join-semilattices, N# U  c% y1 k. s' Y* q
    BCK-lattices3 s1 v/ v- v; K+ c; N
    BCK-meet-semilattices5 I, @& R1 V: w2 \, i& v0 W
    Bilinear algebras2 B% O" p8 `/ R0 N7 T
    BL-algebras4 j* E* b: u/ F* T% ^$ M6 ~0 U& Z
    Binars, Finite binars, with identity, with zero, with identity and zero, - }3 a( R; V# V# I4 n
    Boolean algebras     Boolean algebra (structure)
    : ?( T/ v2 m" D& K4 |Boolean algebras with operators/ }  F" h' C! d
    Boolean groups! i* f, ^8 t/ ~4 c+ @
    Boolean lattices- t$ a4 r$ x8 [1 d2 r# w$ `- V
    Boolean modules over a relation algebra% a* @& ?9 z" P) \8 N- e
    Boolean monoids8 }" @' I, w  V+ W  Q3 L8 r
    Boolean rings: E+ U' ?  @. T$ q
    Boolean semigroups
    8 i5 G6 N! B, {. \: s3 D7 \Boolean semilattices: l) _7 |2 {4 F2 [9 a' j) I
    Boolean spaces+ {% Y$ [8 p) n
    Bounded distributive lattices
    0 ^$ R. C' Z8 Z  c4 u" zBounded lattices
    8 C* U! N2 _5 N1 {Bounded residuated lattices
    ( Q4 j6 y8 q2 {: ]5 p7 tBrouwerian algebras+ P) {. Q% q5 S, W
    Brouwerian semilattices
    8 k& C( W9 l) e$ n0 h' X1 IC*-algebras! m) p$ K% _4 m
    Cancellative commutative monoids8 c2 a0 U+ I1 n' N2 v% s
    Cancellative commutative semigroups- ]$ E- b4 ~, K2 @
    Cancellative monoids
    8 n3 L3 _( M. ^5 _! |- W# nCancellative semigroups8 \% Z! J5 z4 N0 I( E
    Cancellative residuated lattices0 t9 X: a2 k3 b/ }- Y; i
    Categories
    : a8 ~+ j! W- p  w. X5 RChains
    2 m3 [$ {/ e% z5 A6 uClifford semigroups( N9 V& h* B* Y8 h, G1 ~( |0 X
    Clifford algebras+ |7 y; N0 ]( R( J4 d& G
    Closure algebras9 y! p# G9 g  B; o( B/ c6 T
    Commutative BCK-algebras
    9 j) A; V. b, [  M4 {2 n% [Commutative binars, Finite commutative binars, with identity, with zero, with identity and zero ; A% H5 s9 U; d1 S% I1 ^5 V# Z
    commutative integral ordered monoids, finite commutative integral ordered monoids
    7 n0 \8 L4 Y7 L  D  z/ {8 S+ LCommutative inverse semigroups
    - i# Q3 e+ I' s) pCommutative lattice-ordered monoids
    : u$ r4 I8 J( X9 jCommutative lattice-ordered rings9 Z7 Q7 y0 h1 R
    Commutative lattice-ordered semigroups% V, E% v! H1 u
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero: N! o1 j+ n* N$ |( T
    Commutative ordered monoids
    / }2 o0 P. X4 CCommutative ordered rings2 Z& _' [4 `* ?
    Commutative ordered semigroups, Finite commutative ordered semigroups; p3 B3 @% F/ C$ o* `+ z- f
    Commutative partially ordered monoids
    ( X/ c" D9 b: y( I$ f) LCommutative partially ordered semigroups0 Y5 ^, @9 a0 s9 E) F' {8 A3 o% W
    Commutative regular rings
    9 W# r9 e4 x9 W- O% CCommutative residuated lattice-ordered semigroups* U4 m6 [7 q) F9 d
    Commutative residuated lattices
    ' @8 x/ G. ]. o# ~Commutative residuated partially ordered monoids8 q8 V9 q; h! ~: R  R
    Commutative residuated partially ordered semigroups
    6 ?3 s2 P. f: ~% l, t7 e7 }" ]Commutative rings& g. C5 Z/ x# b8 g6 R
    Commutative rings with identity1 ]3 Q7 L7 |0 [5 N
    Commutative semigroups, Finite commutative semigroups, with zero
    : s/ x) H& a$ L) r) F: TCompact topological spaces
    ( m$ h: w4 ~" n* x0 ]9 LCompact zero-dimensional Hausdorff spaces( p+ i$ y: m4 Y3 V$ g# l
    Complemented lattices
    5 H5 m* r- i9 ?% ~8 VComplemented distributive lattices7 U  m* Z  p, m' W
    Complemented modular lattices
    / v& `# _, s: E0 e7 Q8 O, QComplete distributive lattices7 l$ Q! ^/ G- v: h) I
    Complete lattices! f" f7 A9 |- |1 Y5 g7 Q& l
    Complete semilattices* I* Q8 M; ^7 x, j; F1 m1 \
    Complete partial orders
    & \% G1 }5 O; t$ t8 Z1 W# SCompletely regular Hausdorff spaces
    & z, H; g( f- u6 O& R+ f% h3 _1 ], _% QCompletely regular semigroups% s$ j+ |9 y. @3 L7 j/ d
    Continuous lattices
    : m8 x2 w! f% y( C& z8 P0 aContinuous posets( c/ N" r  [0 G8 }3 j0 J9 d
    Cylindric algebras( Z; O/ j1 F! a4 S; ^3 W
    De Morgan algebras
    , k( b' M2 N1 J, S' j# T* FDe Morgan monoids7 S) P$ w1 Y, e0 D3 q
    Dedekind categories- u0 o4 n4 d9 r6 l: ?  C
    Dedekind domains& O, A" E4 N) @5 H* Q) p/ H$ k; S5 H3 Y
    Dense linear orders- G% U5 A# L* A6 g: l" E/ W4 ]
    Digraph algebras
    1 n& j2 S) E, pDirected complete partial orders
    ! W, l$ e+ Y; _8 }6 N3 U0 v4 ]( _Directed partial orders
    * _; H4 s3 l2 _% X' d. }8 O0 |Directed graphs
    + ~$ t# m  a% E: L* lDirectoids
    & T0 U9 a" h; }1 a" p) YDistributive allegories+ f5 M1 h: W# f" w) r3 z4 l7 Z7 U4 V
    Distributive double p-algebras# q; p3 d1 W' U; w# C2 z
    Distributive dual p-algebras9 Q/ k: U7 e6 _1 c, v! f; G5 P
    Distributive lattice expansions9 Y) B; c8 O% r3 }9 y6 C
    Distributive lattices8 A$ p8 P5 O6 ]1 c) x) p. j
    Distributive lattices with operators0 Y: Q0 o: `( Q3 n8 v' O% o
    Distributive lattice ordered semigroups
    " y8 o& i7 T- k/ X, Z! h2 ODistributive p-algebras
    5 M) C; A1 Q3 {( o4 WDistributive residuated lattices
    4 q, c- E8 }0 F5 n* j" m9 eDivision algebras
    ' D: S3 g& t9 c3 t3 m6 ~' XDivision rings
    : q+ W8 L6 _+ _. c& D3 d' e9 sDouble Stone algebras9 [3 E( l* Y! S4 k' y- R- l( j
    Dunn monoids
    3 x7 Z/ O! W* NDynamic algebras9 h; ^* `* [( M
    Entropic groupoids' T4 p/ K6 L( _5 x5 v0 z
    Equivalence algebras
    : x* ]" G% z# D6 D# U. BEquivalence relations
    5 m/ b' T, j- e! D- z$ W$ h9 IEuclidean domains
    . I4 J% K* m! f0 sf-rings3 l. M$ W; n2 u, ^6 L5 F8 Y
    Fields
    , p9 t  U8 S) s. AFL-algebras
    , V. P! ?5 p1 I4 {) B: IFLc-algebras4 @3 t4 z' n+ b
    FLe-algebras9 Q5 {4 B: H2 A# t- N1 ?
    FLew-algebras
    " |# T( K$ r- R5 Y6 |FLw-algebras9 l7 U+ s: g8 q7 ]
    Frames
    # c% h! e7 {) D( vFunction rings
    2 ^( j8 O# Y) `6 eG-sets( L8 A4 c! m% l) B- }& F( z, \5 _3 M
    Generalized BL-algebras
    7 [. b$ z. i3 }Generalized Boolean algebras
    : e3 g2 }/ P5 X3 qGeneralized MV-algebras
    : c# q# Q3 S1 v! p) JGoedel algebras
    $ {0 W/ }) q: S8 ]- l6 `2 J' ^2 T) qGraphs1 E1 w( O# I" l  a4 U% b
    Groupoids
    , z& P) r3 k( ?Groups) W! l' R/ R2 b1 l9 M' ^; x" E
    Hausdorff spaces" g7 D1 d8 x  V( J: e3 f
    Heyting algebras  n& S4 L: X! |) p
    Hilbert algebras7 P3 u$ e# H! E, O1 s' w
    Hilbert spaces
    4 d8 b" z& m. D9 AHoops$ Q/ H. [( _+ w- t
    Idempotent semirings
    0 o# \' m  F3 F1 E+ ]& d1 y6 KIdempotent semirings with identity
    5 j6 l+ ~6 o, B9 UIdempotent semirings with identity and zero# ^# Y  X7 O$ W: \
    Idempotent semirings with zero
    4 {: q# x0 p( }/ XImplication algebras
    0 _0 Y; D/ y6 ?& `* l6 {Implicative lattices
    0 D, |  P) i$ `; LIntegral domains2 |7 \' t8 N! b) ?2 Q! X
    Integral ordered monoids, finite integral ordered monoids
    ' }6 Q3 z2 ?' a7 z5 NIntegral relation algebras/ t; @9 X; L, ^+ M, S
    Integral residuated lattices* i, Q+ y- u$ C5 I
    Intuitionistic linear logic algebras9 F1 [+ r( I; c/ O+ ~
    Inverse semigroups
    * a4 ?3 v5 s  G' j# F2 tInvolutive lattices$ Z6 ]6 o  P* R" `7 }
    Involutive residuated lattices% f( x( P0 X6 M; C
    Join-semidistributive lattices
    3 x% t3 b  n$ {Join-semilattices+ q7 j3 j( @, t6 n* N, Y7 {3 B
    Jordan algebras! ?9 S5 l$ m" k! e
    Kleene algebras
    2 ~/ D& [# r' o' S1 ?2 IKleene lattices7 z* Y7 v( p2 Q+ |$ o! ~# ]
    Lambek algebras
    5 O  I7 x0 G, L! [0 K' zLattice-ordered groups5 [9 ^: w# q3 P
    Lattice-ordered monoids
    4 A8 @6 ^. q" l& W+ pLattice-ordered rings  ?! r) n: a4 f% ?) h
    Lattice-ordered semigroups* f& W. L7 z, r# S8 E
    Lattices
    . I: s" g3 U. S! X: B6 q* |* [3 jLeft cancellative semigroups
    4 X% r6 M2 u3 A  KLie algebras
    . g. D/ _7 Y% f* tLinear Heyting algebras; `; E; B4 Z; P
    Linear logic algebras& O1 l  h7 s' e! Y0 K
    Linear orders
    0 J) I3 v; E9 e+ s+ y% yLocales
    ) w: x- Z" |# O' a' i0 ^Locally compact topological spaces1 [8 m) E- y! D* b' d
    Loops
    * k/ A7 F8 D) n" }. y# zLukasiewicz algebras of order n+ p* J+ n7 P$ C1 U, e4 l
    M-sets
    / b2 e0 @9 l* y7 xMedial groupoids" m" G  A. m) x) F0 O# g/ w
    Medial quasigroups
    $ B- v8 K3 D) ?Meet-semidistributive lattices
    ' c& ~% e, G/ O8 F: }  yMeet-semilattices. ^5 C+ S0 V4 }; T) X0 W
    Metric spaces
    : F( T+ }% {" e/ N; i, ~! Y% ?2 w# aModal algebras- Q8 n9 w+ j# t
    Modular lattices7 l' `$ T  k9 {' \' a+ f1 Y" m
    Modular ortholattices  R  R4 }" Q# e  Q  i, C; z9 n( B
    Modules over a ring
    5 d* \4 Y- Y8 U& KMonadic algebras' l" F) E& l% b* K0 ~
    Monoidal t-norm logic algebras9 v7 Q1 N! v( y2 S  B5 q' i& O
    Monoids, Finite monoids, with zero, q2 Y) X; t6 P5 i, I, q
    Moufang loops. `6 z( _3 @. V
    Moufang quasigroups
    . Y3 z& @! O5 M: p6 f& o5 g" QMultiplicative additive linear logic algebras
    1 H7 C& |) U' r( x; V6 uMultiplicative lattices
    / T6 r. G% U/ S& t4 AMultiplicative semilattices
    / G$ z' o4 v3 J( L1 SMultisets
    . k5 t# u( y' n0 P  P: x/ CMV-algebras. q# V+ f( G* D0 z, _, K
    Neardistributive lattices
    * p$ ^- v) i7 F8 ?; M0 ANear-rings/ Q$ J* P( C/ i, [5 M* |0 v- D
    Near-rings with identity# j6 Y/ U0 Y) q1 |
    Near-fields
    1 [2 f# `2 e, @Nilpotent groups
    4 s2 u# b0 f& v1 j6 MNonassociative relation algebras
    ! s9 w% H; N6 V! z0 Z+ RNonassociative algebras
    $ b2 [& M8 @5 S: Q7 SNormal bands
    8 ]+ p6 i, Q& r% zNormal valued lattice-ordered groups- N, r7 X5 J2 x& ?6 `
    Normed vector spaces
    & F# F* d% \+ m$ U# J1 DOckham algebras
    # l5 ^+ T8 c$ {2 o1 BOrder algebras
      _1 I& c/ J  M+ E. j# H& AOrdered abelian groups8 Q4 [1 P$ @9 R
    Ordered fields
    - c& G7 x9 n+ i( K+ t' A% QOrdered groups
    + y: G7 W4 m8 k+ TOrdered monoids
    / ]5 o& ^; {. ]6 |# w: X% K8 gOrdered monoids with zero
    9 P! W$ M$ h6 @( u9 oOrdered rings' z: |( J2 A+ K- M) H5 ?
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    8 ^6 X$ Q$ K- @Ordered semilattices, Finite ordered semilattices6 E8 S0 j6 a+ z0 O8 O
    Ordered sets
    5 q$ O/ D; r( v0 U6 _Ore domains
    1 {  h  ~1 C, ~8 [Ortholattices) `+ }2 u  l+ P7 Z
    Orthomodular lattices
    , J4 s- \4 y) C+ n! m; ]9 ~# Mp-groups+ r0 D' ]# P& l" l* q$ r1 J/ q
    Partial groupoids' v) @- T7 }2 T" E# g
    Partial semigroups; a2 x( x4 y0 d7 \# Q- T. |7 ]% @8 {
    Partially ordered groups' d6 j& ?4 Y6 s4 r- m3 M8 U5 v
    Partially ordered monoids
      U8 D: Y1 r' T. n, H& `1 o9 TPartially ordered semigroups
    $ G# R3 ~7 N9 H( V* zPartially ordered sets6 q. p7 l4 D3 p+ f8 Q- W
    Peirce algebras
    7 a. ~" r+ H+ K0 a; l2 K! nPocrims- k  e7 [2 B# g8 E7 l4 ^- X) \
    Pointed residuated lattices) n3 E7 \8 z8 x3 s- W
    Polrims
    4 L' {, u, w  `, }Polyadic algebras
    " a  B  i3 I% ^) H3 j  L9 ~' }$ UPosets
    + Y" Z8 `% q8 z0 _* C+ L: Q8 J3 aPost algebras
    - z# q$ \  K) f8 GPreordered sets
    / N, v4 _) O7 K3 P" dPriestley spaces
    ! J+ m7 _, [1 S2 N* EPrincipal Ideal Domains/ B1 z" d" T+ w% j+ r; X
    Process algebras( m+ O2 h9 A6 G1 u5 w
    Pseudo basic logic algebras' f  e1 o# t7 P: T( _4 g" e4 h. G) `
    Pseudo MTL-algebras) G) v4 X1 ?3 m6 l
    Pseudo MV-algebras
    4 V6 o, }3 v! @Pseudocomplemented distributive lattices
    - V8 B0 x0 G- r& |0 o* ?Pure discriminator algebras3 T7 B1 ~. k1 U  F* r% Z
    Quantales; g! r/ N, X& J  D3 y* @6 g
    Quasigroups
    $ f9 U! G5 c; Z, |Quasi-implication algebras5 h6 B2 k2 v& v6 u. d( `
    Quasi-MV-algebra
    4 C! Y0 H" Y! F- X  w$ ?Quasi-ordered sets9 Z( b. s' m; E2 X# Y
    Quasitrivial groupoids+ P3 t, w( t/ X3 P7 U4 |8 p! y
    Rectangular bands
    7 x9 ?6 `( q5 X0 G' t' X2 }* gReflexive relations2 x% h1 m3 E7 C
    Regular rings
    6 r; g- F* A' ?! L4 u) ~, TRegular semigroups
    3 z  ^) l7 J( j6 U$ _3 x  i1 ?# D# iRelation algebras
    ; A" Q+ Z0 @0 u6 ERelative Stone algebras
    1 V7 `5 C" W0 x) tRelativized relation algebras
    . P( j0 p5 y3 TRepresentable cylindric algebras
    ( P" E4 d5 o6 q( y9 MRepresentable lattice-ordered groups
    ) _$ [0 ~. S# O( J9 z+ NRepresentable relation algebras; `1 g, K" D. ]+ W) S( C
    Representable residuated lattices
    8 ~0 S$ v, d8 v" K: T# B: o" `6 ZResiduated idempotent semirings
    ) {2 k' a7 l' EResiduated lattice-ordered semigroups2 L& V5 X3 t( Y. E+ a' s
    Residuated lattices, d, N& o9 k4 y; ?- j' @' P
    Residuated partially ordered monoids3 M. D& R: J% n0 u4 J+ j
    Residuated partially ordered semigroups! W+ a2 @7 d- X4 i. D3 X6 w
    Rings; e! w; P9 b5 O  J
    Rings with identity
    3 ~4 u- M; @, C7 USchroeder categories! m( i/ |. C# a7 J4 ^
    Semiassociative relation algebras
    , u/ L. o* |* n; r5 OSemidistributive lattices$ m# W; l* g* \1 m
    Semigroups, Finite semigroups
    ' f. U4 {/ E8 {% E2 |9 \: NSemigroups with identity
    ' U$ v' U& u. t' [7 qSemigroups with zero, Finite semigroups with zero; O+ U' B5 u5 h
    Semilattices, Finite semilattices! B7 y. K( n# X$ }# M' ]9 V! W( T  Q
    Semilattices with identity, Finite semilattices with identity
    ' C1 w* v0 x* z$ s' y! OSemilattices with zero
    " l5 ?/ o+ h% W0 e1 w$ L  U# x: tSemirings
    7 [0 X1 ]7 o6 G4 d# ~/ w8 E! G- oSemirings with identity/ t+ d& w: X0 G4 y+ r/ Y3 x# T
    Semirings with identity and zero
    # [  d/ B; u+ `4 [7 E: y7 |Semirings with zero# R& E) V* N( s; g- L* i4 C4 o
    Sequential algebras; `& t. b; T4 ]
    Sets
    2 n9 b: {% ]. p. ~3 |Shells( i" Z! O  ~" \, M
    Skew-fields; I2 e- {; s5 ?
    Skew_lattices$ r7 z+ k: ?2 u3 @- R( R
    Small categories
    * }: X- C5 r2 n7 o3 d0 ^* o/ d3 y4 ySober T0-spaces
    5 o+ ]- v' k8 z, d% t+ W7 NSolvable groups
    ; u6 t# D3 ], J) F" n% zSqrt-quasi-MV-algebras0 f% k8 W2 `& |( Z" Y
    Stably compact spaces' F& g6 a) ]; j3 x9 X! c
    Steiner quasigroups2 ?  |) x# Y; o6 ~- H( j8 E
    Stone algebras1 ~, O; I2 \9 I, t
    Symmetric relations& c5 {& j1 B. n$ X/ P
    T0-spaces' X9 L) d% X" I; ^3 r
    T1-spaces
    $ f$ w# _3 p) p. f: m1 `8 ET2-spaces4 [+ E) k4 W+ `. {# G. x! g7 b
    Tarski algebras
    0 E3 Q# x  P% i4 j! O  l+ b& tTense algebras9 l' t: i+ i9 _5 U. U* z; ^9 K; n
    Temporal algebras4 B% L! D/ s% z1 d: J
    Topological groups' O0 E, Q* ?/ [# J7 O* J
    Topological spaces* b* y9 u; m8 q
    Topological vector spaces8 Z; q4 q& T" ]+ c
    Torsion groups
    5 u2 f* B  v% z' r7 J, u1 e8 NTotally ordered abelian groups, h6 ~- P  p0 t6 i/ I6 y
    Totally ordered groups- R( |% h! Q8 N: p# I4 t
    Totally ordered monoids5 ~. @5 j- k; r7 F2 U4 _% |5 J
    Transitive relations
    ' [5 U& r8 F4 N- tTrees
    0 b( c* Q" M( r+ LTournaments9 a/ z9 l, N/ Y9 Y3 X3 N5 E$ h
    Unary algebras
    , v7 M. t6 x6 QUnique factorization domains
    ( f* I" j' C6 J0 kUnital rings
    & N8 V5 t( X+ B7 l- I. BVector spaces
    ' ]6 H) F! }/ m4 w! S) TWajsberg algebras3 _0 {+ J9 H2 O
    Wajsberg hoops; N% n0 m; i1 x' H% m  V
    Weakly associative lattices& {5 x4 R1 h" w( ]2 _) Q( ?. m
    Weakly associative relation algebras
    0 O3 u/ o  I  f' y: e8 n  uWeakly representable relation algebras" r% z( y; G/ y$ C5 T( p9 x
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群
    & n! v/ ^$ \+ _1 ?. a阿贝尔格序群
    ; M- A1 }" }+ [阿贝尔下令组
    & t  x, {3 y" V阿贝尔p -群
    % }/ A7 M% k( M( ?$ K阿贝尔部分下令组/ Z- J5 [4 ]: L! r
    行动代数行动代数
    . R% h3 i$ W1 W# M1 K$ Y- w! o) f3 t3 ~1 ]行动晶格& O7 F. |- e; b8 h& L0 I& ?
    代数晶格9 l! A, n" p+ X( c  s; \' v8 m
    代数偏序代数偏序集
    ) E2 H1 \/ X0 h1 A6 Q' z代数半格. q! _  `& C: ?6 o& `6 j
    寓言的寓言(范畴论)
    5 f7 g. o3 I! n* R* E4 d0 e几乎分配格
    : z  |7 L/ M2 _* v# ~关联代数关联代数
    3 U, a5 E1 g0 F5 TBanach空间的Banach空间3 B% S; j1 U: ~
    乐队乐队(数学),有限频带
    ' t; o  f0 b  I! H, B4 }基本逻辑代数; f: V# f1 Y5 \
    BCI -代数的BCI代数
    2 x; {) s& i3 H8 l/ W$ o/ aBCK -代数BCK代数8 }5 Y* O4 p9 N8 {
    BCK联接,半格
    + [& k7 M" i' b+ I7 `  p1 z. k4 n+ o7 _BCK晶格
    ( E8 ?+ q& c' \" G  Y) IBCK -满足的半格2 K0 ?* ?% Z) i( G  v) ]
    双线性代数5 m- O% C& [% Y
    BL -代数) t1 R6 n$ E! H4 f6 G* C: h
    Binars,有限的binars,与身份,身份和零与零,7 ~) w+ m' B" f) @8 s
    布尔代数布尔代数(结构)
    : v+ ]. |/ T+ C与运营商布尔代数+ T( h+ y. @8 O. v0 N
    布尔组
    % x: d) V3 K- B; Z) h$ d" l, {布尔晶格
    4 ~6 Y; T# S  m对关系代数的布尔模块  d& X  V3 E9 r# y( p
    布尔半群' v3 N9 |9 q% c5 Z
    布尔环
    ! G% e; L3 i+ m7 @% Z0 F布尔半群9 _' F+ Q% i; ~/ w: O+ G; `; c
    布尔半格6 v+ P2 m( k( O# N8 K
    布尔空间7 y2 _# e/ k1 m- j
    有界分配格
    * F# r: S' m' q5 @. T界晶格  A# s- a9 V  @, V. e: O3 b- G
    界剩余格# w# K6 K4 v! _! R; i, B
    Brouwerian代数
    & o* ?& c5 i% M( Y+ T3 cBrouwerian半格1 L, Y& F: h# L( y( p3 m
    C *-代数
    " A0 c( x; Z& K; {; [3 N消可交换半群
    " P. A* m8 |/ e" V% f1 A消可交换半群
    * Q7 E4 H/ n' [6 D. a" u+ ?可消半群
    ) ]' l( j- b1 `% _! G7 n: V2 e" F可消半群
    ' C3 c" ]. G6 t消residuated格
    8 d/ X$ o5 w+ o4 X" _( H分类
    , S  k  u; f4 G) ^4 p: {
    8 p- b- o; m! I% n! f克利福德半群
    1 K( T& V7 z" S4 `Clifford代数
    / f5 h% t9 c- x( F# g* S/ A3 F封闭代数1 \6 _$ ~9 z, ?$ g
    可交换BCK -代数
      A5 v: b- m. k1 S5 t交换binars,有限的可交换binars,与身份,零,身份和零7 z7 M- }4 T/ ]3 U) o
    可交换的组成下令半群,有限可交换积分下令半群
    % e1 p# O0 t1 F交换逆半群
    $ Y) w2 E+ D$ w, ?+ o& s交换点阵有序的半群
    # P& B2 }* x9 Y; o交换格序环
    : N0 f$ R( X# B* Q' g% H5 {交换格序半群$ ]2 L; |2 q+ _, r" g0 R6 B
    交换半群,有限可交换半群,零的有限可交换半群
    . h' c! _7 L" [$ ~# L9 M+ i: X交换下令半群
    ) a* H6 h4 `7 X2 h6 y$ [. O8 D交换下令戒指
    ) ~0 @) y" B' `, O2 `2 K有限交换交换序半群,序半群
    ! W; E! d# e/ t* _可交换部分有序的半群. j/ E$ }1 ?( f* D$ M  X& e9 v1 _
    可交换部分序半群
    * y# p- K! H& b交换正则环
    ) e& h5 g  _+ S交换剩余格序半群/ f" j3 l+ u; ?' ]7 j8 g
    交换residuated格: Z: ^2 Q9 z9 D+ h9 Y# h. G) o
    可交换residuated偏序半群
    4 }# H& y/ R: ]8 m) i可交换residuated偏序半群& e$ x/ Y5 D7 j% I
    交换环
    1 _2 \' q( d* }9 I/ A# A( `与身份的交换环
    # |' A+ t# ^- G0 [; \  W' b交换半群,有限可交换半群,零$ H* R, G1 `0 S7 R2 \
    紧凑型拓扑空间6 C! p. A. @3 L6 `
    紧凑的零维的Hausdorff空间" K2 h8 p* P+ x: _: f
    补充晶格
    ' t7 B* }8 E4 ^3 L* l有补分配格: |) k$ J" `. F$ n  o& ]1 M8 j
    补充模块化晶格
    1 N8 b; r; f8 r7 N2 L, l# _完整的分配格! V0 ^& z! b' x9 {- F) \* m
    完备格/ S! U4 k' |, L* g# H
    完整的半格
    7 j" h; |* ?# Y5 y1 n完成部分订单
    ! j( q8 W+ b$ y  o0 P4 L! ]完全正则豪斯多夫空间
    , Y) z# J: p# w) `: |9 P2 {& h完全正则半群
    ; R9 ^. q  ]  O连续格$ u3 K' l: I, J/ }  d7 X
    连续偏序集% r& Z/ C" ^# R: r' R
    柱形代数
    . n0 r) U4 e: P: A& V6 }# T8 }+ n德摩根代数. |/ D0 c4 u8 o/ D
    德摩半群
    0 a( j# G9 J% j1 z: c戴德金类别7 _2 D+ U- s) r0 o/ y3 N
    戴德金域
    * y% H0 i6 ~2 H/ x稠密线性订单# g5 a1 c& j/ e, t
    有向图代数
    7 x) J4 u+ [  r3 m) u导演完成的部分订单8 P; o+ d0 k% d0 ^
    导演部分订单
    / G* H# w( x8 J" m/ i1 K/ W有向图6 d5 {6 U# t3 t7 r3 S1 P6 Y7 d
    Directoids8 n* _1 K0 S- K2 |1 {
    分配寓言
      B6 v# w/ e! O4 {1 c分配的双p -代数) a( E* Q6 C5 S( @& J2 S- b
    分配的双P -代数+ v3 I% N/ j- R3 r
    分配格扩展, Z2 V4 j) ^* U7 l. c8 c$ q
    分配格% W! U8 V7 z8 s* H+ \
    与运营商分配格8 V4 y! b+ M3 T1 J" E, U
    分配格序半群* x5 _+ I( a, F
    分配p -代数
    % S, t4 B! m4 D/ A分配residuated格
    + y; w' M2 o# @3 L& e; I' u司代数
    ! m9 D2 Y8 O6 A0 m( {, P1 v: N' ?科环) g& e! S0 W/ }, q3 Q# C4 a
    双Stone代数
    5 Y, a1 R4 }; @8 Z7 n' m0 x8 W7 P邓恩半群
    ! f% m8 J6 P. k+ D动态代数. z2 m' W! ?! N& N7 q& U, l9 ]
    熵groupoids
    # e* T% X. W- g7 d7 T* b* Z3 ]: r等价代数1 i/ M, K/ D8 c* C4 r6 f, W$ |6 Y+ q0 ^, a
    等价关系+ n& W3 h1 C2 A# G; w7 D
    欧几里德域
    ( s* d! Z& y# f  z5 O* M; ?F -环& Z; ~8 Z9 g+ g* ?
    字段
    1 P% ?8 z4 P4 i9 IFL -代数, U8 \7 T7 }2 R) l2 ^* N
    FLC -代数, T! ~6 l1 s- F
    FLE -代数
    9 @7 d. A  {2 p飞到-代数# ^5 ]4 M3 {% B! ?) p
    FLW -代数
    3 Q$ ^+ z) R, }( y' N- X3 m框架! f! N2 u4 C+ S1 v
    功能戒指( ^5 g$ s- F( L8 ~4 h. g5 f
    G - 组4 ^1 l0 \; b2 I' t5 d" D
    广义BL -代数% b6 N7 `% {+ Y( W
    广义布尔代数
    - g+ A0 Z  T, v  k4 w2 C# ?; l广义的MV -代数; A2 U# o4 k& o; v4 Y
    Goedel代数) T. z. _# U) Q! _% J

    ( b, s+ p# p+ m9 [# y7 s9 E: a: aGroupoids3 M, \5 l. B1 W( {3 x
    1 x9 T2 \; {' J2 R$ G$ Z
    豪斯多夫空间
    ; ^3 O9 o$ `/ ^% L1 S' G4 QHeyting代数
    $ m7 h0 u2 P* s5 W* T希尔伯特代数
    ) |' H6 u/ X" V8 G% z. nHilbert空间
      n. `( D9 L5 Z5 X* i篮球; K# A9 x2 F) t/ D0 o' e, I3 `
    幂等半环" t) n! }% O2 H; P1 p* q, ]
    幂等半环与身份
    3 G6 M1 C: p0 K3 X4 `幂等半环的身份和零2 N: u) e1 a2 |2 Y: D
    幂等半环与零5 }$ L0 L( C5 p4 }
    蕴涵代数
    / l8 N, V, @& k5 Q, K' V含蓄的格子
    , L5 h& C! ~) B' x. R6 J积分域* }" {+ X7 t8 ?* P/ p# S8 \
    积分下令半群,有限积分下令半群
    ! e6 g% Q' e) q积分关系代数; e3 G* Q  B% I2 h% w
    集成剩余格  f7 g- v' i- @, j+ H
    直觉线性逻辑代数. f/ D7 Y' {' ^; q9 p
    逆半群, I3 ~0 S, Q' u6 x0 J* k
    合的格子$ u. @! i, y  c( O6 r+ j- d; R3 s
    合的residuated格( j% W1 D/ H4 @& l7 S) Z
    加盟semidistributive格3 C/ ?0 F1 @. H" {5 p0 c8 D# _
    加盟半格/ e4 c7 B# I' \6 I) [+ {
    约旦代数
    ( M: J8 y) h' a, [1 J克莱尼代数0 G1 E8 Y9 X  u! j
    克莱尼晶格
    $ j9 W& G) {; D% y- l* VLambek代数$ f) ~" y7 l6 h5 N: h1 q
    格序群' S' {7 E! z: Y, H* K1 ?' w
    格子下令半群
    7 m) D& H" k, ^, m格序环( U+ E$ Y, O6 B
    格序半群. O- G+ s& k$ E5 J- ?2 G& R

    $ I; c& ]  H0 i  z' B5 j/ X  o左可消半群/ E: u6 z' w; o  I& z
    李代数3 S) x* p9 b3 {8 B# J3 i
    线性Heyting代数" R0 C+ r3 \" f) _  w6 _1 g
    线性逻辑代数* o9 F4 D6 }) ?5 g2 o5 s# Y: u5 }
    线性订单
    , J, U: l4 S8 Y# e# n语言环境7 B/ B2 E3 ]/ F
    局部紧拓扑空间6 Y/ H5 j/ b7 G% n* A( W
    循环0 l/ A; D2 M! n# m5 {8 v% U0 i
    n阶Lukasiewicz代数- U  [/ ]/ c; g9 x+ i  M
    M -组
      y* r$ {+ Z6 ~) V内侧groupoids
    1 |/ l" f; S1 A& K2 O$ V8 k- a, s1 P: O内侧quasigroups0 T$ L, g- S5 [" P8 \; G3 R
    会见semidistributive格6 f2 [0 x8 N8 a' F
    会见半格& X% [- `3 g% |6 O4 i$ G' W+ O
    度量空间/ |* i, q/ Y& S) ]0 U( ]' v
    模态代数' v. l* M1 h; i1 }
    模块化晶格
    $ [4 ?- Z! Y- c* k模块化ortholattices& a+ Z! h9 C4 p
    环比一个模块$ e9 i. J! w  I
    单子代数
    4 U0 X4 x, L# YMonoidal t -模的逻辑代数% B7 [# E2 W* J' v
    幺半群,有限半群,零9 e, Q& E9 Z; q+ z2 Z2 J# `9 \8 a+ G
    Moufang循环
    3 S* {/ R$ E" r) t8 j( i- GMoufang quasigroups
      J4 e# B8 O4 v  N) J; P! q. U乘添加剂的线性逻辑代数
    7 X0 m. ?% ^) ~, \: K( R' _9 v. r乘晶格
    8 R- m- w9 N7 C  S1 E. V乘法半格
    $ x/ F" t( ?" w/ _% E' E5 k多重集
    0 F4 S0 g$ r( Y8 r: `MV -代数( D/ T2 S: V8 w: L
    Neardistributive晶格
    - i, |' x" s+ F- z2 W近环
    ! T3 m  J' Z- G, Q) w近环与身份. l  p3 e1 S( F& U7 i7 U+ \
    近田; M# f7 I$ H; G* z
    幂零群5 G! A5 @. F) |- M0 t- E$ V2 {  Y
    非结合的关系代数
    % m# M# C( e. i" ]6 x; c非结合代数( K$ ~; g9 R9 n' V4 s/ j6 U' d
    普通频段
    / |( K+ X3 k3 F% c( R! P正常价值格序群
    0 f' Q* @  ?# R4 }" Y* i4 j2 V赋范向量空间. T6 u3 P% F1 ?8 m; S8 X2 C5 B3 g# B
    奥康代数
    ' [. v  r. c) T4 N: R- d  }7 D( Q( s订购代数  j) w; U$ E6 o+ R
    有序阿贝尔群1 o) L" {4 ^' U
    有序领域
    . g4 T2 G7 K  q5 H- u+ }5 y序群
    / ~; w& K4 b; ^, e' d有序半群/ z& c' {7 `! x
    与零有序的半群4 V& [6 @/ o+ @& I9 C6 P( Q4 W
    有序环
    # I5 d0 c9 J2 g1 X9 X序半群,有限序半群,有限下令零半群
    ) i2 L7 B0 a) w9 z有序半格,有限下令半格
    ! D9 h  }5 _' a) ~  q, ^有序集8 d" J/ G1 C, i, l0 T
    矿石域
    / Z# M7 w% S1 K" C) \- YOrtholattices4 y0 U7 x' t5 Q+ k
    正交模格) M; Q: U& n' e2 ~3 ]9 l
    p -群9 r" ~8 p9 x) O
    部分groupoids
    ( R! y+ D$ T6 ^5 O部分半群
    4 d; z% \* m. L4 J6 t部分有序的群体
    3 z0 D4 Y) L1 o  b  C$ O  Q  ^部分下令半群. c; x, ]8 t9 k# t; `
    部分序半群
    ! W7 u: h  f6 S$ Y. a. Q7 _8 x部分有序集
    2 m3 @( d0 O+ }+ m: Y) K皮尔斯代数
    & M$ O5 t: s0 x5 }8 pPocrims, i! w: V  \" Y9 j, V% R
    指出residuated格$ e6 O0 M' M6 E% s) b% w
    Polrims
    4 g5 n2 ~4 Z; V1 z4 dPolyadic代数
    % z5 P6 Z% m  b+ N1 e+ l: L* C9 J偏序集
    ( Z4 ~5 A% y5 M( ]邮政代数% L; u& b/ s6 l, f2 R# }/ j
    Preordered套
    4 S  t0 n; Z* y4 \7 k普里斯特利空间! C  F" u& i5 @: W" ?6 ~) w
    主理想域
    9 o& m: K% w2 n$ _进程代数
    4 |% X* j" T$ ]2 C% c8 F伪基本逻辑代数/ J0 b- x2 t2 j  C: H: ?( L1 w
    伪MTL -代数! s5 T' i& r% O9 u) c
    伪MV -代数9 ^! r  f( a2 p2 Y0 }: y$ d- b4 X4 G
    Pseudocomplemented分配格2 S. e  O! h" n
    纯鉴别代数0 ^4 @$ f0 R2 T  n2 Y) L
    Quantales( t, D, T4 E9 d* r- S* l% h" y
    Quasigroups
    ! W7 j9 ]- a. ^: S' Q( z- s$ r* Q准蕴涵代数
    , {- J4 N: R5 n- W$ @- |) H准MV -代数6 ^- @) O; @# J; e) m
    准有序集
      @4 D% b* j, q  D! K( MQuasitrivial groupoids- @: J6 x% i7 F
    矩形条带! M  |4 I2 _. H$ N( @
    自反关系. e" O) P+ u8 }  u
    正则环/ [, j2 ~. S8 K, ?
    正则半群3 d" o* n$ v' L, Q. g
    关系代数; G" H/ M7 S9 B7 n: b8 k
    相对Stone代数4 r9 G( f0 A7 I2 f
    相对化的关系代数, Z4 F/ t9 X+ D
    表示的圆柱代数
    9 H3 X7 x" U$ K. i! t/ @9 G5 l2 A表示的格序群体7 a( E! U7 x, m" c9 ]" `
    表示的关系代数
    : V. _, e; q+ h& A; R; C% o3 ?5 J3 K表示的residuated格
    : R( b  Y4 }% x1 I! V6 m% q+ WResiduated幂等半环  M' @3 U3 B6 Z" U7 B
    剩余格序半群
    % F( z  c7 {. {3 Z% t3 D剩余格
    , g% @' p8 F7 _" z8 lResiduated部分有序的半群- y2 o# Q7 O9 P4 C/ H% @
    Residuated部分序半群, s7 S# a5 p- p9 a1 ?! l' k
    戒指
    5 s2 h( F% p& k0 @7 T$ C戒指与身份" E- V" B. M' _4 r
    施罗德类别
    ( \: L$ y* a8 Q, e  ESemiassociative关系代数6 O& \$ g; f( ?( s% ?' @' K- e
    Semidistributive晶格
    " M" r, g4 r- L半群,有限半群7 X; l  T+ V4 J+ u  C
    半群与身份
    6 v4 [9 ~) e$ K1 C5 y3 d. h半群与零,有限半群与零
    * R9 L! I" z/ x9 k1 q; M半格,有限半格
    + \7 V+ ^6 i9 T与身份,与身份的有限半格半格$ B5 [7 O( Z/ ^2 A0 d
    半格与零
    , f7 ]. K. W  j: R5 s  H) N半环
    $ i: F* e! w0 I) d( J4 T' d3 k# v半环与身份
    & M! R, ]2 b9 m% x1 S半环与身份和零
    2 F: F9 j4 Y/ g- s& n3 e! H/ @半环与零( E( G) L7 b8 P# `* B3 K1 ?- j: u
    连续代数
    / V) N* x3 }# M. Z; x& y4 _5 B" F1 c, T. r
    / F8 s. C+ u. y" d8 b2 f
    歪斜领域
    / ?# D' o7 H- o* B: e3 uSkew_lattices
    ! j, K/ x/ g) h$ g; x小类
    + E6 V4 g# y( I清醒T0 -空间
    6 [# `" h( A$ y' U& p可解群
    , e) M5 z! b4 f; W3 w2 nSQRT准MV -代数0 R! V& Q: }1 B6 `5 Y. N3 f: |
    稳定紧凑的空间
    2 R& P7 C& n* r; P0 o施泰纳quasigroups; E/ C# e' `- T8 J9 ~
    Stone代数
    . R& a5 ~3 k: p/ }5 f' B4 Y- t- e对称关系4 H; `' W0 Z3 S. z4 o. R" _
    T0 -空间# C, J, b& q* G* _6 n4 l3 X
    T1 -空间
    3 O! q9 |+ T4 s" L2 jT2 -空间
    ; ^% U0 r) j; u塔斯基代数
    ( G5 `; A3 D5 i( G; `! w2 ^3 @& D紧张代数+ Q0 m/ K5 I) x0 X: A6 ]( l
    时空代数1 D" o3 F  f9 W9 z. j
    拓扑群
    6 C" Q4 D& x6 \拓扑空间! ?) @3 V7 C- X
    拓扑向量空间3 V+ `% \1 N1 O3 n) m' z
    扭转组% E: Y2 l) c6 F
    全序的阿贝尔群8 O8 A( D5 T  V' W& k! g% O
    全序的群体9 O, I4 }% Y1 n' I
    完全下令半群
    8 i$ G8 b6 u- u0 N1 ~. k, O5 UTransitive的关系
    ( t# m% e9 @/ `4 E( T# `
    . k* W7 a1 H! _9 y锦标赛, B/ S' a* ]0 E+ t' W
    一元代数
    / N9 ]1 M$ ~- G& b% X" D唯一分解域
    & e; ]9 J3 {6 @6 zUnital环
    . O! ?  O2 y5 N& n* |- V向量空间
    - g+ x- g9 A* c" O& yWajsberg代数7 v, H: N4 x$ i: r
    Wajsberg箍$ V" O: ]6 X9 o& E! p( w
    弱关联格" o' ^  a6 Q+ \
    弱关联关系代数/ }' A  e, e' |0 m$ D, z3 J
    弱表示关系代数
    回复

    使用道具 举报

    74

    主题

    6

    听众

    3302

    积分

    升级  43.4%

  • TA的每日心情
    无聊
    2015-9-4 00:52
  • 签到天数: 374 天

    [LV.9]以坛为家II

    社区QQ达人 邮箱绑定达人 发帖功臣 最具活力勋章

    群组数学建摸协会

    群组Matlab讨论组

    群组小草的客厅

    群组数学建模

    群组LINGO

    回复

    使用道具 举报

    qazwer168        

    0

    主题

    4

    听众

    53

    积分

    升级  50.53%

    该用户从未签到

    回复

    使用道具 举报

    ZONDA        

    0

    主题

    4

    听众

    3

    积分

    升级  60%

    该用户从未签到

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-7-6 18:16 , Processed in 0.509011 second(s), 78 queries .

    回顶部