|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Hazewinkel M. — Handbook of Algebra (part 2) |
|
|
|
| Предметный указатель |
Euler — poincare characteristic of a poset 764
Euler — poincart characteristic 741 764
Evaluation 38
Evaluation map 7 44
Evaluations in dbs 139
Evans, m.j. 690
Even element 582
Even type conjecture 304
Even type group 303
Everywhere split 818
Exact complex 157
Exact functor 208 465 812
Exact on the left 207
Exact sequence 157 674 693
Exactly solvable integrable system 709
Excellent dedekind ring 324
Excellent local ring 327
Exchange property 441
Exchange ring 402 405 408 426 441 454
Excision theorem 262
Execution formula 54
Existence theorem 675
Existential quantifier 41 87 94
Existentially closed difference field 280 312
Existentially closed field 308
Exponential connective 50
Exponential type 12
Ext exact sequence 693
Ext group 821
Ext(b,m 692
Ext(x,z) 180
Ext-computing complex 209
Ext-space 155
Extended centroid 369
Extension 153 692
Extension of a by i 221
Extensions in operator theory 153
Exterior algebra 584
Exterior semisimple derivation 518
External model 24
Extremal basic root 647
F(G) 2895
F-acyclic 208
Face morphism 264
Factor 156
Factor algebra 85
Factorial 334
Faddeev, L.D. 709
Faith, C. 361 369 381
Faithful database 106
Faithful distributive module 401
Faithful module 170
Faithful semidirect sum 631
Farkas, D. 363 370 371
Favre, g. 639 649
Fay, t.h. 701
Feasible higher-order computation 67
Feasible state 83 99
Feedback 58
Feedback circuit 60
Feldman, C. 225
Feschbach, m. 799 832
Fiat 409
Fiat morphism 331
Fiat preresolution 195 200
Fibration 67
Fibred category 24
Fibred category models 67
Field extension 463
Field of finite morley rank 302
Files, s.t. 688
Filiform 624
Filiform algebra 511
Filiform lie algebra 524 525 617 626
Filiform nilradical 523
Filter 90 121 328
Filter of all cofinite subsets 328
Filtered inductive limit 336
Final t-coalgebra 15
Fine spectrum of a variety 560
Finite exchange property 441
Finite generation 389
Finite generation of intersections theorem 598
Finite list object 18
Finite lists 18
Finite morley rank 280 302
Finite representation type property 466
Finite separability 598
Finite support 88
Finite ulm type 694
Finite width 157 174
Finite-dimensional irreducible representation of u_q(g) 710
Finitely based algebra 559
Finitely based subvariety 559
Finitely butler groups 678
Finitely generated group 670
Finitely presented 335
Finiteness condition 588 607
First invariant of a direct sum of dorsion complete p-group 683
First order  equations 21
First order calculus 89
First order language 556
First order- 21
First prufer theorem 674
First-order  -logic 86 97
First-order logic 81 83
First-order theory 279
Fisher, J. 369 377 387 391
Fitting subgroup 289
Fixed element 361
Fixed point 26
Fixed points functor 742
Fixed points homomorphism 746
Fixed ring 361
Fixed ring theory 369
Fixed-point combinator 26 34
Fixed-point identity 62
Flag 618
Flat algebra 335
Flat banach module 172
Flat bidimension 154
Flat module 166
Flat pointed natural numbers 18
Flowchart scheme 62
Fock space 54
Fomin duality 691
Fomin, a.a. 684 685 689 691 695 696
Forbidden value for dg 246
Forbidden values 154
Foreign type (to a family) 309
Forgetful functor 465
Forking geometry 307 309
Forking realization 307
Forking type 283
Formal deformation 513
Formal fiber 327
Formal jacobi identity 513
Formal logics of parametricity 43
Formally smooth algebra 341
Formanek central polynomial 570
Formanek, E. 390 391 394 395 565
Formation 305
Formulas-as-types 5 13
Fossum, r. 481
Founding fathers of homological algebra 166
Fraisse's universal-homogeneous model 312
Frattini subgroup 305 770
Frechet a-module 157
Frechet algebra 155 212
Frechet algebra of holomorphic functions 156
| Frechet algebra of infinitely smooth functions 156
Frechet space 193
Free  -autonomous category 57
Free  -ccc 33
Free  -module 159
Free  -module 159
Free Abelian group 671
Free algebra 26 85
Free algebra in 0 94 122
Free algebra of a variety 602
Free alternative algebras 568
Free banach left a-module 164
Free banach module 159
Free c-monoid 26
Free cartesian closed category 29
Free category 5 55
Free CCC 9 14 32 55
Free ccc generated by a directed multigraph 9
Free colour lie p-superalgebra 591
Free colour lie superalgebra 588
Free compact closure 66
Free coresolution 195
Free frechet module 159
Free functor 55
Free g-graded associative algebra 589
Free g-graded nonassociative algebra 589
Free group 671
Free group on two generators 233
Free group with two generators 227
Free group,  672
Free k -algebra over (base) x 548
Free Lie algebra 588 595
Free lie ring 595
Free Lie superalgebra 586 588
Free mal'cev algebra 570
Free metabelian colour lie superalgebra 592
Free p-algebra 595
Free product 123
Free product of colour lie p-superalgebras with amalgamated homogeneous subalgebra 593
Free product with amalgamated of colour lie subalgebras 592
Free resolution 195
Free set of generators 671
Free simply typed lambda calculus 29
Free spectrum of a variety 561
Free term model of system f 42
Free type variable 21
Free valuated group 699
Free variable 11
Free, 672
Freely generated simply typed lambda calculus 12
Freely generated types 7
Freeness of subalgebras of free algebras theorem 595
Freese, R. 554
Freezing isomorphism 165
Freyd adjoint functor theorem 23
Freyd, P. 22—25 68
Friedman, H. 54
Frobenius axiom 809
Frobenius functor 807
Frobenius identity 743 747
Frobenius, G. 669 753
Fuchs problem 34 87 89 688 689 691
Fuchs, L. 675 678 683 687 696
Fulfillment of a formula 85
Full abstraction 66
Full abstraction problem 36
Full completeness 7 51
Full completeness for  56
Full completeness for binary sequents 57
Full completeness problem 36
Full completeness theorem 46 55 57
Full faithful functor 464
Full type hierarchy 7 54 56
Fully abstract model 35
Fully abstract order-extensional model of \mathbf{pcf} 36
Fully characteristic congruence 85
Fully complete model category 55
Fully faithful embedding 54
Fully faithful representation theorem 57
Fully integral 364
Fully invariant abelian group 701
Fully invariant submodule 419
Fully transitive abelian group 701
Fully transitive group 701
Function space 6
Functional abstraction 10
Functional analytic model of ll 54
Functional completeness 9 12 26
Functional completeness theorem 9
Functional dependency 82
Functional language 12 26
Functor category 7
Functor category model 37
Functorial interpretation 56
Functorial subgroup 700
Functorial type constructor 15
Fundamental covariant 395
Fundamental system of solutions 310
Fuzzy -algebras 96
Fuzzy information 131
Fuzzy set 95
G(R) 473
G-acyclic 766
G-cw complex 817
G-galois extension 369
G-graded associative algebra 581
G-graded ring 471
G-graded set 588 589
G-graded tensor product 585
G-graded vector space 581
G-homogeneous basis 585
G-poset 765 766
G-set 7 46 741 810
G-simplicial complex 817
G-space 817
G/H 741
Gabber, O. 472
Gabriel filter 481
Gabriel topology 378
Gabrielov, A.M. 340
Galois closure 112
Galois cohomology 470
Galois correspondence 112
Galois correspondence theorem 390
Galois extension 382 470
Galois extension of rings 470
Galois group 826
Galois theory 112 119 361 463
Galois theory for a universal database 113
Galois theory of dbs 81
Galois theory of extensions of commutative rings 463
Galois theory of prime and semiprime rings 364
Galois theory of semiprime rings 368
Galois — kummer extension 483
Game semantics 54 56 65
Games model of ll 53
Games semantics for programming languages 36
Gamma function 722
Gardner, b.j. 700
Gauss decomposition 711
Gauss, C.F. 669
GCH 677 688 694
Gcr c*-algebra 186
GCR-algebra 245
Gel'fand spectrum 156 168
Gel'fand theorem 205
Gel'fand theory 249
Gel'fand topology 156 251
Gel'fand transform 156
Gel'fand — kirillov dimension 386
|
|
|
| Реклама |
|
|
|
|
|
О проекте