QQ登录

只需要一步,快速开始

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

    5 ~- R3 B* X- v
    % g4 T" e! i% H% R) w' s- m$ IAbelian groups     Abelian group
    + L* L, a/ F) A; _: m' _Abelian lattice-ordered groups: a: F+ h5 ?7 m& _6 v9 d( t+ I
    Abelian ordered groups
    * H/ g/ e; \$ U0 tAbelian p-groups7 K) `8 |3 \9 E/ v
    Abelian partially ordered groups
    - t% u( ]. f" d$ nAction algebras     Action algebra! A* z7 q, L: w: O: ]8 O
    Action lattices
    % B& q) n# f$ {% C5 |* q' w3 QAlgebraic lattices" O- L9 l3 Y$ e- E& a- w
    Algebraic posets     Algebraic poset
    / N' L' _- R) T4 W* x* `1 vAlgebraic semilattices: U' p  y3 o: o3 U7 s7 A
    Allegories     Allegory (category theory)
    * H+ G4 i8 r2 ^- h! f+ |6 @: v4 jAlmost distributive lattices$ v2 |  `- K* W2 [. ?
    Associative algebras     Associative algebra9 H' w1 Y. X5 G% \1 m5 d. {
    Banach spaces     Banach space
    ' B- u: b: B& ?Bands     Band (mathematics), Finite bands$ |% I$ F! V, ~$ O. o, z% R; m
    Basic logic algebras
    . r' x. m8 v5 `8 T8 y- q; HBCI-algebras     BCI algebra/ h9 f' \9 `, b; F
    BCK-algebras     BCK algebra
    + r$ ?  [( U) XBCK-join-semilattices2 a  a* h# P8 @/ U# J0 \' T
    BCK-lattices
    2 U4 S) a7 U1 h5 QBCK-meet-semilattices
    + A7 \9 T! x4 G, E" o+ g2 z3 gBilinear algebras' y; B( d5 Z* {8 O1 W  M& o
    BL-algebras7 a/ T  }% l7 }+ s  Z
    Binars, Finite binars, with identity, with zero, with identity and zero, 4 c* U: ~0 N  Y# K8 H8 v
    Boolean algebras     Boolean algebra (structure)8 O/ v2 W/ S$ N" Q
    Boolean algebras with operators4 w7 |2 w3 i# I+ e
    Boolean groups
    ! H; b4 Q2 X- N$ aBoolean lattices
    1 i4 n) Q( m3 {) I4 D; W$ W6 }4 \Boolean modules over a relation algebra
    0 G3 m8 `/ W( H4 M" nBoolean monoids" c0 }3 V! y1 T6 c. K, z5 g
    Boolean rings
    7 w4 p" ]) b' O+ n+ |8 \Boolean semigroups) A/ B& |$ Y( ^' a% z" o& m
    Boolean semilattices
    . k- ?+ P8 q& c6 s; [5 fBoolean spaces
    % E3 |4 _3 x3 c# I5 Q) hBounded distributive lattices
    5 l4 A* U6 n$ j7 Z; tBounded lattices( U$ U* G& e' w% `9 ]3 M% v
    Bounded residuated lattices
    % [; H6 V' E5 j7 cBrouwerian algebras
    . K4 E6 e, L; L$ hBrouwerian semilattices# \9 Z3 {" I( @
    C*-algebras
    ; D" ^5 W, F: |! V# UCancellative commutative monoids0 P: ]- z/ g% h# j, V8 R. O4 e
    Cancellative commutative semigroups$ J( [5 K+ g2 `6 }, A
    Cancellative monoids
    # }" c) T2 j% @, JCancellative semigroups
    5 A! i% R: g- x" t' Z: ~( ZCancellative residuated lattices! ~$ W0 s# J/ k( w
    Categories
    " Z% N9 l( r/ K. P, }4 ?# U/ TChains
    * l3 ?, j! z! i  J+ n* C/ P: K6 e4 K4 pClifford semigroups
    - X  q( k- H. O# x' N/ pClifford algebras
    4 p6 J" q8 x& k8 F: D9 [3 MClosure algebras
    " n. ^3 ]$ v3 u+ M, `Commutative BCK-algebras
    5 Y/ |2 P$ _. X0 v- G3 YCommutative binars, Finite commutative binars, with identity, with zero, with identity and zero
    + H8 S0 I+ r0 g6 M" w) @9 o; Mcommutative integral ordered monoids, finite commutative integral ordered monoids
    # e7 Q3 R% A+ PCommutative inverse semigroups
    4 h* Y8 @7 q3 `7 g) cCommutative lattice-ordered monoids
    6 H5 r2 D2 @# e7 G4 u/ NCommutative lattice-ordered rings& q1 V/ T4 P# B2 s
    Commutative lattice-ordered semigroups. J3 S) J+ Z4 ]4 ~( V, A8 d
    Commutative monoids, Finite commutative monoids, Finite commutative monoids with zero0 d& X3 G* p( Z, X+ ]4 }% [
    Commutative ordered monoids
    # u* U0 ?0 ^' @( ACommutative ordered rings
    + _2 L. G6 |4 ~& k0 ?Commutative ordered semigroups, Finite commutative ordered semigroups
    . G/ y0 J/ s, ?% y1 T! |Commutative partially ordered monoids) d. }( U1 l! _* B; [$ W) ~
    Commutative partially ordered semigroups
    % I& G( E8 P5 v/ y3 i) {Commutative regular rings
    ' a6 f* g" W# V3 K- \( RCommutative residuated lattice-ordered semigroups- I! [) \6 c* S) j/ [- L
    Commutative residuated lattices
    ) a0 ~6 Z+ V+ X2 R3 d5 @& ECommutative residuated partially ordered monoids
    # B1 h2 I7 K5 {; p6 _: GCommutative residuated partially ordered semigroups
    / c7 K, a/ @/ s' l; vCommutative rings
    1 y9 \* u, \, K# M7 fCommutative rings with identity
    ! M( R# a' K& q2 r) Y9 xCommutative semigroups, Finite commutative semigroups, with zero4 Z8 ?3 z$ J+ a" ?
    Compact topological spaces
    # h( v8 Z9 U( ]$ bCompact zero-dimensional Hausdorff spaces. {4 u/ b3 h8 r
    Complemented lattices2 u. L) V+ r- A7 e( E; B) U/ L
    Complemented distributive lattices  i" I& r$ |2 c- [) q9 G, ]  ]
    Complemented modular lattices1 U) m; e- J/ }, Y' d9 s" u( y
    Complete distributive lattices
    , d! u7 J  _, K! J) f2 gComplete lattices. m6 f, l4 g0 F6 [' Y
    Complete semilattices. d  I$ y2 M" Y0 y7 Q0 x
    Complete partial orders
      E/ K/ ]4 ^7 N$ k- T+ v- \Completely regular Hausdorff spaces
    $ x$ N+ Z* @- ~# d: U* h- tCompletely regular semigroups5 V+ H* I) i* i/ u
    Continuous lattices6 d# U: a5 a  T7 {3 D; g
    Continuous posets
    * b; U7 Q4 X: JCylindric algebras; j) B% s: g0 k- R) o
    De Morgan algebras4 e+ m6 A: w! U5 H. J
    De Morgan monoids/ p6 Q$ f* X4 e
    Dedekind categories3 B# U( W! |: G9 k! Y
    Dedekind domains
    4 }4 P9 w! S1 [, \( pDense linear orders
    ' F! e4 L& s1 P5 }  o. PDigraph algebras1 Y# t1 q9 W+ g
    Directed complete partial orders! P( |: O# ^' w9 ?6 W
    Directed partial orders1 D6 V: C- u- X* _' J% n' Q1 V; k
    Directed graphs
    - V, o/ p. ?8 Y! R$ k% `Directoids" l6 X8 t8 E. i9 y+ S
    Distributive allegories$ k* f! z6 M6 {" y) f; P: X. |; v
    Distributive double p-algebras9 Z7 K# O+ j( U# `! E
    Distributive dual p-algebras
    & g9 w7 u! T/ j' hDistributive lattice expansions% \2 ~$ H; h* ~7 b* D
    Distributive lattices
    ' Y# ]1 F) e. q) r8 mDistributive lattices with operators  d$ }  I& j0 q
    Distributive lattice ordered semigroups
    $ O+ J6 H& J# X3 B4 j1 Y' IDistributive p-algebras
    & f. p- z# p, M  _/ t* S3 rDistributive residuated lattices
    / Q7 @! k" G' E* |- d5 t' XDivision algebras
    4 M6 n6 K5 O. V& T3 n) \. dDivision rings
    # G1 Y* L9 o! z9 ODouble Stone algebras
    9 A4 U- k: U4 _0 X' y1 Z  o( K4 \, UDunn monoids! [4 Y5 I! W# _. x6 }; ^7 Q
    Dynamic algebras# {- K' D& U: r, _2 W7 Y0 H+ D
    Entropic groupoids& a+ s( f$ ^' e* T) G9 B/ E
    Equivalence algebras2 E0 N+ _  c# B3 u! R' m  m
    Equivalence relations, u- K4 I! S1 n: X! }9 {$ H
    Euclidean domains3 r) b; E. L9 T5 `
    f-rings
    7 B1 e  E. v. X! O0 [6 A5 VFields+ b) }; h% r1 X* O$ x. E9 x% N
    FL-algebras
    / C$ f' @4 u( S! u2 kFLc-algebras
    / F& c( Q- y8 rFLe-algebras
    1 ], V& t) l* N- g( G; @  C) y9 G) }FLew-algebras1 Y- r+ o+ _7 X, c2 m$ P; K2 l
    FLw-algebras
    / ~! X" k  ?: m' R3 t: W/ s1 LFrames. s) L1 k# ?0 U/ t( T1 I& `
    Function rings
    6 _$ F9 a# M  W/ a" ^" v( LG-sets
    & h8 B0 P- W: z: N2 xGeneralized BL-algebras2 |- ~+ t% o. k) `8 ~' u6 l
    Generalized Boolean algebras# Y3 P' t% a8 `' g2 B+ E% [  W" Q
    Generalized MV-algebras/ ~1 V% E! p2 ]" r/ e: y2 z- K
    Goedel algebras$ H( ?7 e# X% C# D
    Graphs2 p( u. ?( i4 a( _2 J/ }
    Groupoids) n# P7 r) q  y0 i# Y- s! s: G  E9 y
    Groups
    + W+ w8 G) b# UHausdorff spaces2 c8 _# o8 K/ x
    Heyting algebras+ [5 b# B( n  ^9 J2 o2 E9 k
    Hilbert algebras
    ) d0 e# M: e4 m8 g7 h2 C) jHilbert spaces
    0 q+ b* y# V: l3 {Hoops
    1 g- b+ j2 w; p, ~: {Idempotent semirings9 Y" I- I' u+ c& ~
    Idempotent semirings with identity6 s8 q* L6 u8 d
    Idempotent semirings with identity and zero$ ?  K8 o1 ?! A- U3 e  V
    Idempotent semirings with zero
    * i& k" q$ b# y0 I2 \Implication algebras
    ) p7 M) f7 Y) v; L+ ?Implicative lattices
    ; l) z! g2 [  D% a/ AIntegral domains7 `. a1 P' b* {( {1 j8 G8 o/ B. e
    Integral ordered monoids, finite integral ordered monoids+ v4 n# a/ {2 p1 t3 [2 ^, `5 E
    Integral relation algebras# G" w3 S6 a$ F$ X" L2 \9 A
    Integral residuated lattices3 t/ Q" g5 S' p* q
    Intuitionistic linear logic algebras
    * [) G! Z+ Z: o- j+ WInverse semigroups
    1 l3 `% {& B0 Q  g# O  c3 XInvolutive lattices
    * y* [9 p. F; Q+ x1 J! fInvolutive residuated lattices1 u# A, }, R, J% v9 w8 x) G. X
    Join-semidistributive lattices% b# _' o4 z9 m, U$ ^
    Join-semilattices2 n5 `( |' g4 p5 _, C/ D+ l2 z9 w
    Jordan algebras: e- g, H' [( o4 l- a6 [0 ?  ^9 Y+ U
    Kleene algebras
    7 C2 {2 j9 ], @Kleene lattices
    " N* B/ r+ h# J& WLambek algebras4 i) M7 f7 I  u# m7 @" J1 W2 c
    Lattice-ordered groups1 t5 i. M, a' [' w, \* Z. b
    Lattice-ordered monoids
    ( X" ]4 E- d8 b6 t' ^4 s( mLattice-ordered rings- U& t+ H- i, i4 }2 ]; A
    Lattice-ordered semigroups6 J+ D) F9 r% t! Z+ w7 O
    Lattices9 @; W% f' l% b! j
    Left cancellative semigroups( z5 S# C6 }( G
    Lie algebras
    1 a) }4 U/ {6 w4 S0 ?4 CLinear Heyting algebras
    , I# ^3 i8 B2 C' r# iLinear logic algebras3 ]2 T1 W  B: y; E( U. D/ \
    Linear orders6 m% W' J5 ?9 Y+ O( [' a  @
    Locales6 `$ R% ?& b; C0 s" s
    Locally compact topological spaces' U4 S# N) i! c9 E
    Loops' i6 B* Z0 @! C$ c! K
    Lukasiewicz algebras of order n' E% o7 t; o4 Z" {2 K: ^% q
    M-sets
    ' X7 B$ X1 L/ h6 |0 u# f) @  XMedial groupoids0 N$ {; a7 f: R8 P. s! ^/ C
    Medial quasigroups' P, z0 P% s, r# X: S, A( ~0 R
    Meet-semidistributive lattices2 p$ R  K' t6 l% R4 `) o9 P
    Meet-semilattices
    % k5 j. O& U' p. o; H/ J  {Metric spaces
    3 Y6 Z& d1 |( \Modal algebras- L, \6 P% U( A, i7 @
    Modular lattices
    - Q3 D+ B6 o$ J; \Modular ortholattices
      h9 \& z6 I8 m0 K- O, Y" SModules over a ring
    ' d. X2 b: O! ^Monadic algebras
    1 O2 S1 [- l; m! H* P3 n8 DMonoidal t-norm logic algebras
    % f: T( v' ^, H4 \; h, bMonoids, Finite monoids, with zero5 n7 r- O1 A8 ]0 E' \' E
    Moufang loops4 d6 F$ \* Y! j- i
    Moufang quasigroups
    2 D. G; \6 P" o% E6 R; j( qMultiplicative additive linear logic algebras2 j' H5 [% |' i0 g" c0 a
    Multiplicative lattices0 U9 b# E& C! o; @
    Multiplicative semilattices3 H( ?* P5 d( Z# y$ K: d; N  T
    Multisets
    2 Y; j2 z. v7 m! D6 n3 ^4 E; RMV-algebras6 @* z) r4 H. D
    Neardistributive lattices7 `. g4 k6 E! A
    Near-rings2 n6 D4 I4 n+ L+ y7 s) D
    Near-rings with identity. S0 L% {' i1 L. o
    Near-fields& l+ E& [0 E$ u0 h
    Nilpotent groups
    3 }6 ^. Y; Y- ]# Z0 @Nonassociative relation algebras9 `8 x5 |, f5 s! Q9 s
    Nonassociative algebras# i% w+ r( e; t2 a3 ~1 E4 S: v
    Normal bands
    & G9 _( b5 J' C( [: x1 d: r- MNormal valued lattice-ordered groups$ f7 ?- A7 y" z! c; R# z6 Y- h
    Normed vector spaces
    , x4 ]9 I# y' G3 O4 uOckham algebras
    ) I" z$ K" S$ M0 gOrder algebras4 p! e; H, H. f  G9 h2 \
    Ordered abelian groups0 ~! i( `) A) |6 g- R
    Ordered fields
    1 F% ]% J, R% v1 S  iOrdered groups
    % [  F2 ^% t3 M; ]/ g4 I5 _1 m% N, POrdered monoids
    - B8 N  |8 G  I. w3 ]Ordered monoids with zero
    ; V" i; M5 P$ G$ X1 C  d2 y& lOrdered rings" l" |$ L! \3 y
    Ordered semigroups, Finite ordered semigroups, Finite ordered semigroups with zero
    / Q8 F7 d4 K  Q' \0 L  ?0 }& rOrdered semilattices, Finite ordered semilattices7 i/ H( e8 K5 d9 |- V0 C* R0 J
    Ordered sets
    ) j" u# s- h2 u& r: SOre domains* G, i$ P7 v9 U$ v: j
    Ortholattices
    % I8 l7 e' p8 i$ ~8 x* S$ XOrthomodular lattices( v/ J9 g  K2 S# d6 S$ R
    p-groups
    * F( s6 f: h. V+ h1 D6 kPartial groupoids
    9 k: N; ]+ J9 n! Y. M! i: GPartial semigroups# Z2 P4 t+ `' c4 q
    Partially ordered groups
    5 c$ c6 i! ]- cPartially ordered monoids
    5 i( ~  v  _% b! rPartially ordered semigroups
    . f  T9 M( y; aPartially ordered sets1 ~+ d/ j, q' g; L
    Peirce algebras1 l1 `3 k) t, i5 s
    Pocrims
      Y2 {( m- G5 q! I3 h& W/ x& _1 qPointed residuated lattices! Q3 @2 j2 W. T% g
    Polrims& v4 a. a( [& q' z1 E: ~
    Polyadic algebras/ S9 m6 i: K1 u5 [* v3 ^# }& a, x
    Posets
    ! g6 e0 `% d9 E3 R4 L$ ~Post algebras: |7 b; j! O* k4 t6 V3 Z; B
    Preordered sets! c% @7 f2 R6 x- C+ u" H8 e
    Priestley spaces
    + K$ Z9 C" }2 x8 r! kPrincipal Ideal Domains+ J3 J0 V( v, X6 U4 p/ O6 E
    Process algebras2 a+ l' I0 Z# J: B6 ?  N' C$ V
    Pseudo basic logic algebras
    " N) o# k/ \8 S& GPseudo MTL-algebras7 Y" I# N) S/ ]# G! f. P
    Pseudo MV-algebras
    : c! H) |, t# @6 ]" j' }$ H/ @Pseudocomplemented distributive lattices3 j. a8 [/ {! H* G2 h3 t
    Pure discriminator algebras
    & m# ?7 B( H) S& W0 X. L8 B5 GQuantales
    1 i7 `' Q: G4 E8 EQuasigroups+ u' b7 u# h2 L! t* a
    Quasi-implication algebras* b' [. F3 O* s3 w' ~
    Quasi-MV-algebra
    7 W% Z( }" x/ S! {- I& CQuasi-ordered sets) `$ c8 C, C+ o# `( w
    Quasitrivial groupoids) S, y. t6 A* C6 R3 V( C. r
    Rectangular bands
    ) a1 s: H% c; x8 I6 U* qReflexive relations
    / }7 X/ {- s" v5 }2 K9 YRegular rings* ]: X; q/ A7 e. @' Y( B/ m
    Regular semigroups
    & C+ v+ K+ w7 W/ ZRelation algebras( s) G- a1 F5 P6 s9 N
    Relative Stone algebras9 C( t8 v$ M- ?1 W
    Relativized relation algebras
    1 \3 W6 Y! g8 ]% m8 QRepresentable cylindric algebras
    1 ^+ v; a- @& v$ D2 B- QRepresentable lattice-ordered groups# I0 V) F" Q) F) H. H
    Representable relation algebras9 D# L+ P5 x- M. q
    Representable residuated lattices# v! ~1 P4 u: l" K
    Residuated idempotent semirings  N% r! x. h6 X8 L
    Residuated lattice-ordered semigroups" F' y4 D4 k0 q/ d7 E
    Residuated lattices! y; H2 F/ [) y+ H9 K0 l
    Residuated partially ordered monoids8 Y) s  p2 G9 e8 W  F
    Residuated partially ordered semigroups
    * P) a0 B' ~# f! z* dRings  H0 e4 A5 {! F  n
    Rings with identity7 y. b8 V! j& L+ ~
    Schroeder categories. l3 x  f  t( j! _" w+ d
    Semiassociative relation algebras
    ; k+ i! j) l( h1 a2 KSemidistributive lattices: X7 }! r) A4 f* I4 C
    Semigroups, Finite semigroups
      D! f# {% _/ J7 f/ U  `9 PSemigroups with identity( y, v- f7 q' |- ?5 h; P
    Semigroups with zero, Finite semigroups with zero- B0 l3 f+ U2 H
    Semilattices, Finite semilattices% q5 k. I" w- t2 z. V+ w
    Semilattices with identity, Finite semilattices with identity) Y; R% s/ x- b5 b
    Semilattices with zero
    , G  z6 K$ t8 c# o$ ~/ ?2 ^Semirings
    % J# ^. Q5 u: V$ JSemirings with identity- `) p+ C' w2 \! l5 z
    Semirings with identity and zero$ R4 l: b7 @/ T0 c$ ~. Z  T
    Semirings with zero2 B0 q% A) Q9 R
    Sequential algebras
    9 G* x' `6 _6 r: `Sets
    9 R) k5 c% J0 a$ {1 S8 Q, ZShells& k  K! w; |8 A) K9 `  b. X5 Z
    Skew-fields
    9 M6 c( Y+ ~( `8 A! jSkew_lattices/ x) N$ h: ?7 @* k
    Small categories# M& T% F; I9 V' X0 t4 P
    Sober T0-spaces
    & o4 G6 ?* B' X2 hSolvable groups
    ; `& D5 N( s0 F4 R+ V: XSqrt-quasi-MV-algebras
    ' [. ~8 \: x7 [( bStably compact spaces
    4 q4 V- p; x( uSteiner quasigroups
    1 H8 Q" W& K& V+ S2 I4 X) BStone algebras
      _9 \# E+ A' X2 fSymmetric relations& Z$ W* v+ Q9 ~& n
    T0-spaces
    . G1 `8 x3 d8 b, X  `T1-spaces
    . C% x2 K" W9 p& G: B3 IT2-spaces1 R( J6 r; h  o5 U1 M
    Tarski algebras
    8 T/ Z/ {  i9 ]Tense algebras. D1 O+ Q9 ?# a
    Temporal algebras
    : W7 D' P, J8 f' XTopological groups/ F* S6 p. P  s+ ?, b
    Topological spaces" Z* J" X" @+ x& j% u% ~. ^
    Topological vector spaces  G/ `: T: A' J: ^# O+ R3 `, R
    Torsion groups
    & v0 I  T8 H& u' ^4 S$ hTotally ordered abelian groups
    & x: r+ D2 L4 S3 K4 o1 OTotally ordered groups
    , p+ K" t9 f, Y- Z" L# {1 hTotally ordered monoids/ S2 y7 S( z) b8 |! h/ j5 F
    Transitive relations
    ! o" G' u! s1 fTrees
    ! i! M# o; w: S- L/ LTournaments* [; |& n% Y) N# p* C$ K3 T. K
    Unary algebras) A& b  A/ L+ L% O
    Unique factorization domains
    1 k. C: T2 }2 p' f' E" U5 hUnital rings
    4 J  g& Z4 D# ]Vector spaces
    1 l9 y# w! p# H+ sWajsberg algebras: {% }4 s6 E) K# ~7 J7 [( K, E
    Wajsberg hoops) U2 P3 r4 u) O: M. B
    Weakly associative lattices
    # r: J* f/ ]+ ^) C' q9 Y8 n3 K2 CWeakly associative relation algebras
    ' b3 \  `, J- {; UWeakly representable relation algebras4 E* R; Z/ a% t1 }4 A
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    ZONDA        

    0

    主题

    4

    听众

    3

    积分

    升级  60%

    该用户从未签到

    回复

    使用道具 举报

    qazwer168        

    0

    主题

    4

    听众

    53

    积分

    升级  50.53%

    该用户从未签到

    回复

    使用道具 举报

    74

    主题

    6

    听众

    3303

    积分

    升级  43.43%

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

    [LV.9]以坛为家II

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

    群组数学建摸协会

    群组Matlab讨论组

    群组小草的客厅

    群组数学建模

    群组LINGO

    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    阿贝尔群Abel群& C; Y# E3 W8 S7 s
    阿贝尔格序群
    5 T) d, @9 {! i" e阿贝尔下令组' V/ `/ M+ n6 X( D" C: v
    阿贝尔p -群
    - ^) }2 t6 k( y9 y$ J- C9 v/ P7 ^* W- y) T阿贝尔部分下令组
    4 T: c  f, |6 i0 j" u, l  f  q1 t行动代数行动代数
    / e+ n9 e% k( U( [# X( w0 n行动晶格; W6 p/ M) k1 }" J7 L" M
    代数晶格
    3 f- m% j3 H. Y2 z代数偏序代数偏序集
    # S6 r9 B# {# l- T. w- ]代数半格$ c% c. R7 ]! i9 M  W& X; R- h7 O# \
    寓言的寓言(范畴论)2 B+ Y8 J) v. a/ C
    几乎分配格
    9 O* P& c+ t, y( r& O8 j: x关联代数关联代数" y" h6 Y3 Y! }1 @& P9 I/ @
    Banach空间的Banach空间
    + w0 j% e6 ], b( _' v/ l( u乐队乐队(数学),有限频带; v" L+ X: p( R. L' p2 J
    基本逻辑代数
    ; }' L$ F8 ~9 H7 w: e% ABCI -代数的BCI代数
    ' _4 V! K+ }. k/ m8 G$ P9 wBCK -代数BCK代数0 ?: _) f1 w- I, k$ n! i2 X9 V
    BCK联接,半格; O, V: X; x. ]  v
    BCK晶格
    ; g  {0 H# g7 \BCK -满足的半格
    / Q% T4 R! E9 u+ c% L双线性代数
    * T7 ]1 M, ^6 h3 O! l0 ~0 lBL -代数3 D) ]9 h/ c) a5 e( _, i( A
    Binars,有限的binars,与身份,身份和零与零,  j& e1 m: ?8 N5 V
    布尔代数布尔代数(结构)
    + d, s+ N% {$ }# @5 [/ k2 }与运营商布尔代数* @3 ]6 m. n9 E2 k9 G# T4 k7 \
    布尔组
    % p- y# N; `$ t布尔晶格
    + d5 T+ e* R' b) z( e对关系代数的布尔模块
    $ @1 t' E/ E2 `2 z6 J( I- w布尔半群2 W9 _+ T) n5 |( n
    布尔环- y' b5 k2 L2 x- |6 K7 [
    布尔半群
    2 r: e6 W/ t1 f1 ^* a0 D6 ?布尔半格! [/ A2 J) p0 w9 H9 v# b& \3 e7 z* Q
    布尔空间
    7 F- G  s% H+ @, ^! `( O% g( e有界分配格9 k. J. L* w; C; S
    界晶格
    9 }8 O8 T; V6 F6 \界剩余格/ E, S: m8 H. _9 C
    Brouwerian代数
    , D+ I! M% v- o- `Brouwerian半格5 D, K4 U- C1 }
    C *-代数
    % |- d7 y& ~# Q- m! @消可交换半群
    # ^9 L  ~  H! }/ p6 |: u/ H消可交换半群$ ^+ {8 o3 W% n9 o+ A" |. R
    可消半群* e0 }$ E: q  ?1 i$ i3 e
    可消半群. C+ k" s( i* _
    消residuated格
    ( C3 ^% a3 J# O; k分类
    " j9 s( N- Z. @* F4 @* R+ G" B; S
    8 h( o4 n. J4 }4 j* n克利福德半群# O, H' d7 @. V6 _3 |* l
    Clifford代数
    , V- [) i$ c+ R0 R/ W封闭代数
    8 [3 g0 x* W0 M! Y可交换BCK -代数
    4 `% N2 B  k  R交换binars,有限的可交换binars,与身份,零,身份和零& _; _& V' I) t
    可交换的组成下令半群,有限可交换积分下令半群
    / G2 {6 |5 O% y, L0 a7 {6 F6 s交换逆半群, b2 x' |3 `( b% q
    交换点阵有序的半群% L1 ~$ @& F. }6 n! Q1 p- ]0 B# D
    交换格序环) Q% i( X9 Z9 ]# ?
    交换格序半群  I* V  l9 I' T8 B+ g0 k% t
    交换半群,有限可交换半群,零的有限可交换半群# ]6 K* r: e8 N7 b) j% ]+ P( o5 b
    交换下令半群8 T7 o" c* e& S
    交换下令戒指
    ' y  U2 P' l2 O  u有限交换交换序半群,序半群; ]. c; S4 O+ M
    可交换部分有序的半群
    & J& W0 T4 D6 R9 t' I可交换部分序半群
    - O2 F2 X" g& Z9 Z2 K9 s交换正则环' r; }& f/ ^! j3 ?/ E6 X3 C* m
    交换剩余格序半群
    3 v" T4 d5 q' }) ~9 D: M交换residuated格/ _+ F2 n7 J! J) ?5 E4 p4 N
    可交换residuated偏序半群
    1 N' Q8 Z& q+ D8 v可交换residuated偏序半群- i  i5 f% z6 T! `
    交换环
    : s  Y- M; V: r+ D1 `4 G/ c与身份的交换环4 Q) T5 e' q% U4 ]4 x1 f! x
    交换半群,有限可交换半群,零7 N0 Z' m) q1 J/ l
    紧凑型拓扑空间' {6 n2 }0 n7 S  o9 r7 E
    紧凑的零维的Hausdorff空间
    ' e$ E, e3 j- D( |3 O+ p补充晶格
    # f' [+ D, Z) }" {有补分配格; {, R* @6 V8 o2 Z0 P& f
    补充模块化晶格# y6 |6 i/ ]4 t8 N5 a" ~
    完整的分配格! {, A# b. q$ ^+ u3 C+ U
    完备格# b% T: t- _/ I* K
    完整的半格
    , y: e# u8 M7 T+ w" G5 b完成部分订单
    ( B- r2 q! I% C; U! {* U完全正则豪斯多夫空间6 J) m8 d- Z& m
    完全正则半群9 ^4 T- T6 m7 L1 P9 x
    连续格7 y! b( z$ c, H- t# s* A7 {+ _
    连续偏序集
    3 U* {5 }* X5 }柱形代数
    0 w$ T+ i9 i$ |德摩根代数
    : ]3 H! H  B/ P( j德摩半群2 D9 W4 }. W: C- x" a' K5 {- ^
    戴德金类别; e( t& J4 o7 n& |& e" V+ R) O
    戴德金域
    & y7 F( M6 [& N8 e) w+ C稠密线性订单, m5 o- ]7 r1 }
    有向图代数
    * s3 U) g8 w* g9 ]导演完成的部分订单! `+ j: \- w+ y( C7 n& ]3 n
    导演部分订单0 ~5 o& P: m/ J6 O. R
    有向图* T! x$ S! G  y5 G% M# q# `
    Directoids
    7 [; o( y6 I+ G& ]5 J分配寓言( J2 I6 B0 @# {6 i( T
    分配的双p -代数
    0 z1 c, p" b8 \# x% C分配的双P -代数
    ' C, q1 q7 s$ Y- A, @4 [5 p, F分配格扩展+ L+ F1 f% A# t* ~3 z) z
    分配格
      n$ X  R  T! v与运营商分配格
    - q" m! @& z5 K+ i/ F& h) U4 o6 ?" i分配格序半群
    ) E& y2 }0 Q& c$ [分配p -代数) K) `: s* N; C' }# ]+ B
    分配residuated格
      V4 V9 X2 D8 F司代数* A; l! {: A5 Z4 }3 ~: _1 S
    科环
    ( \# V. E* j. F+ S" x双Stone代数
    8 o/ R- M1 |& f* A2 K8 j邓恩半群
    - Z3 P! [5 w3 \3 r" m* x2 ?动态代数. f; @( s) ~: q
    熵groupoids3 h( j( D& B& P
    等价代数8 |# N* S7 s8 }1 `% u3 i
    等价关系- t/ a9 l! d& B2 S9 b
    欧几里德域
    5 V5 w$ d  _6 S) uF -环
    ' x" a/ b1 w' ~3 S) ?0 f8 Q字段5 _8 n/ w9 g& S+ m! H
    FL -代数
    1 i9 G) E. u) |# }1 s' _/ HFLC -代数' u0 m6 C/ ]' x/ `9 d
    FLE -代数
    ( H; \" o% D, m  i飞到-代数2 W5 e5 \! w- ^: |) x) J0 k
    FLW -代数5 W" Y% S; @: K! K  }# _
    框架( r5 X9 F: V/ z  M% g8 T
    功能戒指& }3 {* v) o! g: {$ o4 R& I
    G - 组& A8 x+ s4 [) N# u' \3 w
    广义BL -代数& a* u, M# m9 j3 _! M& d
    广义布尔代数
    0 d% o7 F' x$ V. s/ O广义的MV -代数/ \* q" H- L9 z- w* W
    Goedel代数
    $ ]$ Q' Q/ k/ r+ w9 r' {: {6 b! \* P2 t1 P: b$ P/ p+ X, b) u
    Groupoids
    7 g# Q4 P, S! K3 |; i" b& j6 P$ k0 W& _
    豪斯多夫空间
    2 l$ I* ?3 p2 c: q. z5 BHeyting代数
    1 F; P. @5 T$ m6 j( O2 S, N9 ?希尔伯特代数: u' G7 B2 x  C
    Hilbert空间
    0 |' u5 U) {; k' y: z篮球" `$ m; p9 i0 q  `: g) |9 \! R; E
    幂等半环2 W$ I6 B- ~2 X
    幂等半环与身份2 M  j4 h' O- U
    幂等半环的身份和零
    2 C* ]. b# ?+ L& W$ J$ v幂等半环与零
    3 u% c2 K7 ?# }- t蕴涵代数
    ) R! v( V* D' J* u. o5 W& ~含蓄的格子5 K2 F8 A$ M! ^/ p! H8 O6 G% N
    积分域
    / @' h' X. L: k( f) c) g% p积分下令半群,有限积分下令半群
    ) Z- D/ T8 s. Z# y积分关系代数
    - d# X& P& j( n3 r* d2 j1 u集成剩余格. @( Y  C1 _( E
    直觉线性逻辑代数4 ~- L, d, D7 y# |* y
    逆半群
    ' G$ d" }% ]" O, l合的格子
    ; Q# v% @7 ?* K9 o! s7 U3 G4 G  k合的residuated格) W) w) q( ^/ B" d% g, K+ J
    加盟semidistributive格
    $ B( N+ o. S) m. `5 H加盟半格, I- T" _$ s1 ^
    约旦代数5 X- ^% Y, J! L6 h# \- ~
    克莱尼代数
    & K4 U9 e: a1 z克莱尼晶格: s6 [8 S( P( |, K
    Lambek代数
    , u# e; M1 Y$ U2 _8 u& l8 e$ t格序群; i0 W! `4 n0 B4 u: ^
    格子下令半群2 _# x. F2 C3 I
    格序环0 \, n* ]" B9 m" c3 r/ F! B, g
    格序半群# F. |4 x' J! K

    8 H% e/ P- t6 P$ P4 L& K左可消半群
    & q# Q& R1 M& _% b1 X  D李代数
    - S+ \' }& q9 @) q$ @' I" o线性Heyting代数6 \, ~, y8 o# ?" G3 A
    线性逻辑代数
    ! W( r/ i+ O! a& j/ {线性订单
    ' }4 y4 e7 S" D5 U- K语言环境
    0 D* D7 N0 f/ H1 s, |局部紧拓扑空间
    % N: T: a& ^) j9 w4 Y) A循环
    ) p2 I! x' E5 m9 w" ^* R9 rn阶Lukasiewicz代数
    1 n/ R) n- m/ f; [2 ?0 F8 l: ]M -组5 g) [" G6 F8 r* C
    内侧groupoids# J, W0 B" H& X$ T) f) y' r3 r4 b
    内侧quasigroups
    * E$ W1 [% Z# i& Q" J+ H0 N/ @会见semidistributive格
    4 H" v6 Z+ V7 q会见半格
    % p+ T. l. j% r. ]* f1 ^' Y) @度量空间+ Q5 ^8 M4 p7 w! U$ f: D$ ^4 Q  i
    模态代数
    % s4 E. i& c, M2 H4 O模块化晶格5 U% H5 H. g' h  N* V8 @* K- B+ Q, N1 w
    模块化ortholattices1 U" f* Q/ G( C5 p* N
    环比一个模块
    # R% ~, S: T6 K# {) N7 [, `单子代数
    7 K) L+ B% N2 ]4 |& @6 J4 k* H: pMonoidal t -模的逻辑代数( D" E! H' J7 W0 |' M
    幺半群,有限半群,零
    ! H2 m6 G& x( i4 |0 _' J$ PMoufang循环: l, _* q- w3 L' P: H; d8 j
    Moufang quasigroups
    7 I, S' ]7 L1 x3 p0 t0 Q乘添加剂的线性逻辑代数. ], h1 @- T. H& c' w
    乘晶格& o2 B3 e8 @4 O8 H; A: X/ ]8 M1 [5 i' x* b
    乘法半格
    # O& l7 ~1 O9 J多重集& |2 [, [- c& u% u5 `8 J
    MV -代数
    8 F6 ~0 d+ A( N) {Neardistributive晶格  O- y- ]. y3 b0 r; d7 P1 B
    近环
    , Q) @4 R' Y1 @8 ^5 W% G近环与身份) N! I/ h7 N, n8 J
    近田* `# R* c* T) ~: c
    幂零群
    - r+ {2 c: T* M' q1 w非结合的关系代数
    1 y1 K9 H1 ?' m1 ]: x非结合代数
    / g" I- h  {3 S; m普通频段4 l" G; d3 e1 O, M
    正常价值格序群
    ( O0 G! s, ^: A7 [赋范向量空间
    8 i7 O7 J# |5 k/ ?奥康代数
    8 C0 L, v9 L, y订购代数0 u: b7 R" A" x
    有序阿贝尔群6 \5 l8 c9 Q$ \3 \. i- O  |4 n7 B
    有序领域, X6 ]1 w% u* Y) G1 m
    序群
    ) t+ I# I8 {+ C& ~( u# e有序半群
    4 D+ V1 X6 u9 W; |# }与零有序的半群; x& M$ ~# n: D. T+ |
    有序环
    ; f. a1 g4 t0 h; U序半群,有限序半群,有限下令零半群
    6 i; ?6 L" L* v. O$ t0 I有序半格,有限下令半格
    ) h; b* g& S* G! g  r+ e( f5 ?, R有序集
    ! t) \5 A( m8 k" d矿石域
    ' a' r  @) t4 {Ortholattices
    8 t/ S  h) X2 R( ?% F+ k" \: Q# @正交模格
    3 v9 c) z) u) I$ Q6 b( n* op -群- u/ f+ ]7 C2 k8 e0 s0 j" o
    部分groupoids/ y6 v, U0 Z% c5 Y8 r
    部分半群
    4 @2 a5 o0 `  M+ A. y1 w. J. F. X部分有序的群体: y7 ?) d: l, x3 w
    部分下令半群
    : J: x- H" \2 ]& o* g- J1 t) V- _3 D部分序半群
    3 p4 V! Q6 L/ J* d部分有序集: V! E( H) e" @% E
    皮尔斯代数
    " c0 h6 T; ^* `# R, w  pPocrims/ O2 C5 i7 I# y  v
    指出residuated格
    : w$ ~& N9 y, K  Y) e( bPolrims% }5 w. g, F5 A1 E/ q, t( |
    Polyadic代数" Q# Z9 C* W- A
    偏序集) S1 k' l6 S7 \9 A5 n
    邮政代数
    / p+ @5 `" }; @( F3 S6 \& oPreordered套! s+ R; ?# ~+ o/ v3 I
    普里斯特利空间
    ' d( d" r5 |9 r主理想域( l6 p0 j% Y8 s- ?
    进程代数% A: B' ^5 {% I2 H$ R- b
    伪基本逻辑代数2 D; u' u& ]3 i4 I7 V/ c
    伪MTL -代数* M6 d  Y# j* ]( U; l# G
    伪MV -代数
    " T* P8 S$ y* G9 M9 X  \5 [Pseudocomplemented分配格
    # U3 y$ I) C# D6 n纯鉴别代数6 r! U; T1 g# K0 I! S
    Quantales) l) \, L6 d, B9 e) ]
    Quasigroups
    : M/ x& J3 U% m1 y! Z- s$ K准蕴涵代数
    . Z/ \9 [; U" K+ d  Y: G准MV -代数) s! Z. @% \# O6 f. x* u+ G
    准有序集8 a4 L0 G, r& {9 Y8 f; b* F- M. X
    Quasitrivial groupoids
    9 l* I: g1 w3 r6 ~) V, h矩形条带
    , R+ i8 S, w: T2 U- P自反关系
    9 N) X$ j5 X8 F+ ?/ ~$ X8 s正则环
    6 \9 c8 ?$ y8 o) s: a7 ^! u正则半群
    . o: y; U3 ]( N4 Q8 e关系代数
    & a5 w, t9 i# `+ N1 H7 u相对Stone代数
    5 H: ~  D9 m% ]& i8 Q相对化的关系代数* F2 F0 [# Q  `* h* V+ s
    表示的圆柱代数( ]# O/ e! s9 K3 |: U9 i
    表示的格序群体
    0 m1 `( [3 \/ b' q% i) Z( P* d表示的关系代数
    3 S2 i& ?  k5 ]: Q+ T7 B/ U表示的residuated格
    ' {2 [8 z/ Y" X) O/ IResiduated幂等半环
    & M; z" O% o( I! u. g' c/ K剩余格序半群$ y( i4 V0 B$ y) p* Q  u" W) w
    剩余格  i. r' ]8 \& z/ u- Z, }% d4 V/ c2 \
    Residuated部分有序的半群0 S) R% V+ h8 O/ o1 l/ \
    Residuated部分序半群4 F' |. k5 e# N: e
    戒指
    / n* X* Q* z( l戒指与身份
    4 ?7 {1 Y, \* }8 X! T施罗德类别
    ( Y7 S5 I( n6 |' K$ R+ _9 l% oSemiassociative关系代数
    * F8 I  Y6 D3 R3 m, b" @Semidistributive晶格: ^, P& k% `4 e, [; c# G( @# o
    半群,有限半群
    0 D) h# q1 `( U- _, M- D半群与身份% b8 q5 K% J; i
    半群与零,有限半群与零6 u& S: v3 c3 [( }5 o4 K
    半格,有限半格
    : X' x( m; @' i与身份,与身份的有限半格半格  r, T; a! v- B1 r
    半格与零: F$ g8 X: ]" ?1 p) Z
    半环
    4 m! h- H( w, f3 q/ I半环与身份
    8 Z8 B% t& |: @5 W5 R半环与身份和零
    ; x6 S# a% ?2 A% s半环与零" B% }" n& p3 l* A5 f% _
    连续代数
    * E' t. @9 t1 W7 U( l
      o6 g- }2 B, d8 o  \. Y3 @# [
    % x5 x+ J# d' ^  O歪斜领域
    ) @6 x9 [" U; n: m5 B0 E0 z4 s. mSkew_lattices
    7 G2 M- [# O: N8 m. S小类, r- e0 d. {# G7 F5 |5 i, i0 M
    清醒T0 -空间
    / s- e. d4 b* O, \可解群( O( O* _1 U4 s8 ?# [& b
    SQRT准MV -代数
    * B" n: b( I( R9 W" O稳定紧凑的空间
    , m* d. S  p) t: F& Q7 n) N施泰纳quasigroups
    # ^- E( W! X/ V) L1 [! D8 \( i+ DStone代数6 n1 @  X5 v: v/ J& k( v" b3 |
    对称关系
    % L( d2 V- @; x* h7 gT0 -空间
    - M* u$ w9 s' uT1 -空间
    4 n: `( o& s4 l/ R  \T2 -空间4 B3 K" _% x% A+ w
    塔斯基代数2 U2 F5 w8 }4 a# O
    紧张代数
    ! ~* Y& O2 J5 I+ ~) U3 p2 f时空代数
    - K- n& F! Q0 H: l2 K  ^$ b拓扑群! E6 z# g& s" x' Z& m: t
    拓扑空间8 K% ]/ ]3 j5 ]! ~8 u) j
    拓扑向量空间6 r6 k  g. }5 U3 E0 X4 H# d+ {" U, A
    扭转组
    ! z3 U: r1 x% i7 L. ^+ |0 l全序的阿贝尔群
      O8 d' H& u5 N2 a3 b8 G全序的群体# S; B7 x+ K) m3 A
    完全下令半群/ I4 K) p0 F3 q# W& H! B0 p
    Transitive的关系
    / ]8 N! ]8 W: W, _7 x/ H" H9 x" E$ k4 S
    锦标赛4 F- a# Q" L: a* `: y6 H
    一元代数& j1 \$ x! ?" F: A
    唯一分解域
    7 ]3 I: N# ~8 N( W( HUnital环
    0 q' L+ ^- E* K* E向量空间5 q; i8 L. n2 G5 y" R2 P" l0 K
    Wajsberg代数2 ?' l0 O4 a3 L+ z* ?+ I2 u/ l
    Wajsberg箍
    / I7 ~# K, r" j; h$ J弱关联格
    7 B1 S- O+ g- P3 t7 a7 o弱关联关系代数
    7 t: r' k6 t6 M# {# @, X弱表示关系代数
    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-8-15 16:22 , Processed in 0.354125 second(s), 82 queries .

    回顶部