* If S and T are in M then so are S ∪ T and S ∩ T, and also a ( S ∪ T )

* If S and T are in M with S ⊆ T then T − S is in M and a ( T − S ) =

* If a set S is in M and S is congruent to T then T is also in M and a ( S )

* Every rectangle R is in M. If the rectangle has length h and breadth k then a ( R ) =

* If M is some set and S denotes the set of all functions from M to M, then the operation of functional composition on S is associative:

If M is a Turing Machine which, on input w, outputs string x, then the concatenated string < M > w is a description of x.

Let ( m, n ) be a pair of amicable numbers with m < n, and write m = gM and n = gN where g is the greatest common divisor of m and n. If M and N are both coprime to g and square free then the pair ( m, n ) is said to be regular, otherwise it is called irregular or exotic.

If ( m, n ) is regular and M and N have i and j prime factors respectively, then ( m, n ) is said to be of type ( i, j ).

If X is a set and M is a complete metric space, then the set B ( X, M ) of all bounded functions ƒ from X to M is a complete metric space.

If X is a topological space and M is a complete metric space, then the set C < sub > b </ sub >( X, M ) consisting of all continuous bounded functions ƒ from X to M is a closed subspace of B ( X, M ) and hence also complete.

If used, the word „ gothic “ was used to describe ( mostly early ) works of F. M. Dostoevsky.

If ψ is satisfiable in a structure M, then certainly so is φ and if ψ is refutable, then is provable, and then so is ¬ φ, thus φ is refutable.

If is satisfiable in a structure M, then, considering, we see that is satisfiable as well.

If the password is correct, then M releases the transferred sum to B ( 3b ), usually minus a small commission.

If M is an R module and is its ring of endomorphisms, then if and only if there is a unique idempotent e in E such that and.

If the circumstances are faced frankly it is not reasonable to expect this to be true.

If his dancers are sometimes made to look as if they might be creatures from Mars, this is consistent with his intention of placing them in the orbit of another world, a world in which they are freed of their pedestrian identities.

If a work is divided into several large segments, a last-minute drawing of random numbers may determine the order of the segments for any particular performance.

If they avoid the use of the pungent, outlawed four-letter word it is because it is taboo ; ;

If Wilhelm Reich is the Moses who has led them out of the Egypt of sexual slavery, Dylan Thomas is the poet who offers them the Dionysian dialectic of justification for their indulgence in liquor, marijuana, sex, and jazz.

If he is the child of nothingness, if he is the predestined victim of an age of atomic wars, then he will consult only his own organic needs and go beyond good and evil.

If it is an honest feeling, then why should she not yield to it??

If he thus achieves a lyrical, dreamlike, drugged intensity, he pays the price for his indulgence by producing work -- Allen Ginsberg's `` Howl '' is a striking example of this tendency -- that is disoriented, Dionysian but without depth and without Apollonian control.

If love reflects the nature of man, as Ortega Y Gasset believes, if the person in love betrays decisively what he is by his behavior in love, then the writers of the beat generation are creating a new literary genre.

If he is good, he may not be legal ; ;

If the man on the sidewalk is surprised at this question, it has served as an exclamation.

If the existent form is to be retained new factors that reinforce it must be introduced into the situation.

If we remove ourselves for a moment from our time and our infatuation with mental disease, isn't there something absurd about a hero in a novel who is defeated by his infantile neurosis??

If many of the characters in contemporary novels appear to be the bloodless relations of characters in a case history it is because the novelist is often forgetful today that those things that we call character manifest themselves in surface behavior, that the ego is still the executive agency of personality, and that all we know of personality must be discerned through the ego.

If he is a traditionalist, he is an eclectic traditionalist.

If our sincerity is granted, and it is granted, the discrepancy can only be explained by the fact that we have come to believe hearsay and legend about ourselves in preference to an understanding gained by earnest self-examination.

If to be innocent is to be helpless, then I had been -- as are we all -- helpless at the start.

If a particular object did not support a, it could be easily added in the module.

If a is an idempotent of the endomorphism ring End < sub > R </ sub >( M ), then the endomorphism is an R module involution of M. That is, f is an R homomorphism such that f < sup > 2 </ sup > is the identity endomorphism of M.

If r represents an arbitrary element of R, f can be viewed as a right R-homomorphism so that, or f can also be viewed as a left R module homomorphism, where.

If M is a free module over a principal ideal domain R, then every submodule of M is again free.

If I is a right ideal of R, then I is simple as a right module if and only if I is a minimal non-zero right ideal: If M is a non-zero proper submodule of I, then it is also a right ideal, so I is not minimal.

If k is a field and G is a group, then a group representation of G is a left module over the group ring k. The simple k modules are also known as irreducible representations.

Since a one sided maximal ideal A is not necessarily two-sided, the quotient R / A is not necessarily a ring, but it is a simple module over R. If R has a unique maximal right ideal, then R is known as a local ring, and the maximal right ideal is also the unique maximal left and unique maximal two-sided ideal of the ring, and is in fact the Jacobson radical J ( R ).

* If L is a maximal left ideal, then R / L is a simple left R module.

If R is a commutative ring, and M is an R-module, we define the Krull dimension of M to be the Krull dimension of the quotient of R making M a faithful module.

The latter example leads to a generalization of modules over rings: If C is a preadditive category, then Mod ( C ) := Add ( C, Ab ) is called the module category over C. When C is the one-object preadditive category corresponding to the ring R, this reduces to the ordinary category of ( left ) R-modules.

* If a module is simple, then its endomorphism ring is a division ring ( this is sometimes called Schur's lemma ).

If the module is an injective module, then indecomposability is equivalent to the endomorphism ring being a local ring.

If the module is Artinian, Noetherian, projective or injective, then the endomorphism ring has a unique maximal ideal, so that it is a local ring.

* If an R module is finitely generated and projective ( that is, a progenerator ), then the endomorphism ring of the module and R share all Morita invariant properties.

If we interpret the object as the left module, then this matrix category becomes a subcategory of the category of left modules over.

If K is only a commutative ring and not a field, then the same process works if A is a free module over K. If it isn't, then the multiplication is still completely determined by its action on a set that spans A ; however, the structure constants can't be specified arbitrarily in this case, and knowing only the structure constants does not specify the algebra up to isomorphism.

If H is a left module over the ring R, one forms the ( algebraic ) character module H * consisting of all abelian group homomorphisms from H to Q / Z.

If F ( U ) is a module over the ring O < sub > X </ sub >( U ) for every open set U in X, and the restriction maps are compatible with the module structure, then we call F an O < sub > X </ sub >- module.