|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Hazewinkel M. — Handbook of Algebra (part 2) |
|
|
|
| Предметный указатель |
Morphism of passive databases 100
Morphism of the second kind 135
Morphism of the third kind 139
Morphism of theories 95
Morphism of topological a-modules 157
Moskalenko, A.I. 694
Motion group 709
Muller, E. 686
Multi-operator functional calculus 214
Multi-operator spectral theory 153
Multicategory 51
Multihomogeneous 591
Multihomogeneous identity 562 602
Multilinear identity 602
Multiplication module 401
Multiplicative connective 49
Multiplicative linear logic 56 57
Multiplicative semigroup of endomorphisms 689
Multiplicatively-convex  -algebra 155
Multiplier algebra 245
Multisorted universal algebra 6
Mumford, d 472
Murley, c.e. 690
Murre, J. 472
Murskii, v. 559
Mutual commutator 587
Mutually outer automorphisms 374
Mutzbauer, o. 686
N henkin model 28
N(g) 304
N-amenable algebra 243
N-ary logical relation 28
N-ary term operation 549
N-dimensional chain 220
N-dimensional coboundaries 218
N-dimensional cochain 217
N-dimensional cocycle 218
N-dimensional cohomology functor 194
N-dimensional completely bounded cohomology group 231
N-dimensional cyclic cohomology group 259
N-dimensional cyclic homology group 259
N-dimensional homology functor 194
N-disk algebra 156
n-element 289
N-engel 290
N-integrally closed 406
N-projective 445
N-th engel identity 290
N-th projective derived functor 206
N-triangular element 244
N.db a 243
Nagarajan, k. 372
Nagata 564
Nagata local ring 327
Nagata — hilbert theorem 389 390
Nakayama lemma 344
Nastasescu, c. 471
Nation, J.B. 554
Natural a-module 160
Natural deduction rules for strong sums 16
Natural homomorphism 404 423
Natural numbers 15
Natural numbers flat pointed- 18
Natural numbers object 17
Natural transformation 37 128
Natural transformation for monoidal functors 47
Natural transformation of mackey functors 809
Naturality conditions 37
Near isomorphic abelian groups 687
Nearly isomorphic groups 686
Neatness 699
Negation rule 52
Negative root of a semisimple lie algebra 645
Nelis, p. 483
Neron, A. 346
Neroslavskii, o.m. 387
Nerve 817 818
Nerve of a category 817
Nesin, A. 280 303
Nest 156
Nest algebra 156 174 178 233
Nested subrings 340
Neumann, P. 572
Nice subgroup 676 682
Nielsen — Schreier theorem 561 572
Nielsen, J.P. 233
Nielsen, M. 67
Nil-ideal 428 442
Nilindex 619 620 624
Nilpotency class 289 523 587 619
Nilpotent algebra 555
Nilpotent banach algebras 254
Nilpotent colour lie superalgebra 587
Nilpotent Lie algebra 619
Nilpotent of class at most n 555
Nilpotent p-map 601
Nilpotent radical 587
Nilpotent standard subalgebra 647
Nilpotent subgroup 289
Nilpotent-by-finite 280
Nilpotently invariant 432
Nilradical 516 519 619 631
Noerherian colour lie superalgebra 607
Noether theorem 389
Noether — Skolem theorem 470
Noether, E. 389
Noetherian 607
Noetherian ring 371 419
Non-analycity of gel'fand transforms 245
Non-commutative algebra 468
Non-commutative differential calculus 709
Non-commutative differential geometry 709
Non-commutative Galois theory 361
Non-commutative geometry 709
Non-commutative molien — weyl theorem 394
Non-degenerate part 165
Non-forking extension 309
Non-forking realization 307
Non-forking relation 311
Non-halting computations 26
Non-interference 36
Non-measurable cardinal 679
Non-normalized bar-resolution 198
Non-normalized bimodule bar-resolution 199
Non-normalized standard resolution 198
Non-normed topological algebra 244
Non-selfadjoint algebra 174
Non-splittable radical extension 226
Non-termination 24 34
Non-trivial partial trace function 363
Non-trivial radical 701
Noncommutative cyclic linear logic 40
Noncommutative fragment of  51
Noncommutative invariant theory 388
Noncommutative nagata — hilbert theorem 390
Noncompact quantum algebra 710
Noncompact real form 723
Noncomplemented subspace 193
Nondeterminisin 25
Nongenerated cocycle 531
Nongxa, l.g. 678 696
Nonprincipal ultrafilter 328
Nonsingular ring 369
Nonsingular ring left 381
Nonsingularly prime ideal 429
Nonsingularly semiprime ideal 429
Norm closed *-subalgebra of  162
normal 188
Normal 2-rank 304
Normal a-module 162
| Normal amenability 187
Normal cochain 228
Normal cohomology complex 229
Normal form 26 33 82
Normal form function 30
Normal Form Theorem 9
Normal functional 162
Normal hilbert module 170
Normal homological bidimension 243
Normal n-dimensional cohomology group 229
Normal operator 162
Normal part 162
Normal ring 402 445 448
Normal subgroup 555
Normalization 29
Normalization algorithm 29
Normalization of lambda terms 48
Normalization of proofs 52
Normalized bar-resolution 197
Normalized bimodule bar-resolution 199
Normalized chain complex of a simplicial object 817
Normalized commutator condition 289
Normalized standard resolution 197
normalizer 288 741
Normalizer condition 291
Nuclear 154
Nuclear C*-algebra 186
Nuclear in the sense of grothendieck 212
Nuclear norm 156
Nunke, r.j. 676 697 698 700
O'campbell, m.n. 684
O'hearn, p. 36 43
O-minimal field 286
O-minimal ordered structure 312
o-minimal structure 312
Oates 559
Object of computations 131
Object of finite lists 18
Object of queries 135
Object of replies 135
Observable behaviour 35
Observational equivalence 35
Observationally equivalent 35
Obstruction to lifting 211
Odd element 582
Odd type group 303
Ogneva, O.S. 171 252
Ol'shanskii, a. 254 280 559 560 561 567 571 572
Oles, f.j. 36 43
One-based group 280
One-based model 305
One-dimensional coboundaries 176
One-dimensional cocycle 175
One-dimensional cohomology 155 177
One-dimensional cohomology group 177
One-dimensional ext-spaces 155
One-parameter group of automorphisms 175
Ong, l. 36 56
Open formula 89
Open map 166
Open term 11
Operational semantics 29 35 48 51 66
Operational semantics for  33
Operational semantics of  -calculi 29
Operational semantics of typed lambda calculus 10
Operator algebra 153
Operator c*-algebra 162
Operator norm 156
Operator space 230
Opposite algebra 155
Optimal reduction 54
Order 425
Order complex 818
Order property 283
Order topology 250
Order-extensional model 34
Ordered structure 312
Ordinary lie superalgebra 582
Ore domain 361 369
Ore, O. 561
Oriented rewriting 10
Ort 168
Orthogonal algebra 731
Orthogonal group 710
Orthogonal idempotents 443
Orthogonal polynomials 709
Orthogonally finite ring 444
Osp(1, 2) 606
Osterburg, j. 362 369 373 381 386 387
Ot(g) 678
Outer derivation 176
Outer direct sum 671
Outer type 678
Overnilpotent radical 376
PAC 62 64
Pac-like trace 66
Page, a. 377 381
Palyutin, E. 561
Panangaden, p. 64
Parabolic subalgebra 516 644
Parabolic subgroup 711
Paracompact spectrum 168
Paracompactness 153
Parallel computation 52
Parametric modelling of system  41
Parametric per model 43
parametric polymorphism 19
Parametric universal quantifier 40
Parametricity in polymorphism 36
Parametrized iteration 18
Parametrized trace 59
Parametrized trace operator 60
Pare — schelter theorem 365
Parrot, s.k. 178
Partial combinatory algebra 8
Partial equivalence relation 8 31
Partial functions 24
Partial n-type 283
Partial recursive function 8
Partial trace function 363
Partially additive category 61 62
Partially additive monoid 61
Partially ordered abelian group 702
Partially ordered set 763
Partially-defined functor 60
Partition 61
Partition-associativity axiom 61
Pascaud, j.l. 364 368 370 371 373 376 377 378 379 381
Passive  98
Passive database 96 99
Passman, d. 363 365 377 383 384 386 566 567 602
Pastijn, e 573
Paterson, a.l.t. 188
Patil, k. 570
Paulsen, V.I. 239
Pchelincev, s. 568
Peak point 167
Pedersen, g.k. 177
Pentus, m. 51
PER 8 31 32
Per model 8 42
Per morphism 40
Per-based model 54
Perfect 742
Perfect group 742
Periodic cyclic (co)homology 263
Perkins 559
Permanent part of a db 96
Permutation bimodule 792
Permutation lattice 758
|
|
|
| Реклама |
|
|
|
|
|
О проекте