relative automorphism
1Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown …
2Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… …
3Symmetric group — Not to be confused with Symmetry group. A Cayley graph of the symmetric group S4 …
4Mathematics of Sudoku — The class of Sudoku puzzles consists of a partially completed row column grid of cells partitioned into N regions each of size N cells, to be filled in using a prescribed set of N distinct symbols (typically the numbers {1, ..., N}), so that each …
5New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …
6BRST quantization — In theoretical physics, BRST quantization (where the BRST refers to Becchi, Rouet, Stora and Tyutin) is a relatively rigorous mathematical approach to quantizing a field theory with a gauge symmetry. Quantization rules in earlier QFT frameworks… …
7Unitary group — In mathematics, the unitary group of degree n , denoted U( n ), is the group of n times; n unitary matrices, with the group operation that of matrix multiplication. The unitary group is a subgroup of the general linear group GL( n , C).In the… …
8Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… …
9Ergodic theory — is a branch of mathematics that studies dynamical systems with an invariant measure and related problems. Its initial development was motivated by problems of statistical physics. A central concern of ergodic theory is the behavior of a dynamical …
10Transcendence degree — In abstract algebra, the transcendence degree of a field extension L / K is a certain rather coarse measure of the size of the extension. Specifically, it is defined as the largest cardinality of an algebraically independent subset of L over K .A …