Search results
Results from the WOW.Com Content Network
That implies that any two rational functions F and G, in the function field of the modular curve, will satisfy a modular equation P(F,G) = 0 with P a non-zero polynomial of two variables over the complex numbers. For suitable non-degenerate choice of F and G, the equation P(X,Y) = 0 will actually define the modular curve.
Variables in a rule are automatically posted to the Variable Sheet when the rule is entered and the rule is displayed in mathematical format in the MathLook View window at the bottom of the screen. Any variable can operate as an input or an output, and the model [8] will be solved for the output variables depending on the choice of inputs.
The matrices [e 1, ..., e n] are divisible by all non-zero linear forms in the variables X i with coefficients in the finite field F q. In particular the Moore determinant [0, 1, ..., n − 1] is a product of such linear forms, taken over 1 + q + q 2 + ... + q n – 1 representatives of ( n – 1)-dimensional projective space over the field.
In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable.It generalizes the Boolean satisfiability problem (SAT) to more complex formulas involving real numbers, integers, and/or various data structures such as lists, arrays, bit vectors, and strings.
In mathematics, Felix Klein's j-invariant or j function, regarded as a function of a complex variable τ, is a modular function of weight zero for special linear group SL(2, Z) defined on the upper half-plane of complex numbers. It is the unique such function that is holomorphic away from a simple pole at the cusp such that
The modular function is a continuous group homomorphism from G to the multiplicative group of positive real numbers. A group is called unimodular if the modular function is identically 1 {\displaystyle 1} , or, equivalently, if the Haar measure is both left and right invariant.
The braid group B 3 is the universal central extension of the modular group, with these sitting as lattices inside the (topological) universal covering group SL 2 (R) → PSL 2 (R). Further, the modular group has a trivial center, and thus the modular group is isomorphic to the quotient group of B 3 modulo its center; equivalently, to the group ...
A modular function is a function that is invariant with respect to the modular group, but without the condition that it be holomorphic in the upper half-plane (among other requirements). Instead, modular functions are meromorphic : they are holomorphic on the complement of a set of isolated points, which are poles of the function.